Deprecated API

Contents

• Deprecated Interfaces
• Deprecated Classes
• Deprecated Fields
• Deprecated Methods
• Deprecated Constructors

Deprecated Interfaces

Interface and Description
de.uka.ilkd.key.strategy.quantifierHeuristics.Constraint

Deprecated Classes

Class and Description
de.uka.ilkd.key.strategy.quantifierHeuristics.Constraint.Top
de.uka.ilkd.key.java.abstraction.DefaultConstructor is actually never used
de.uka.ilkd.key.strategy.quantifierHeuristics.EqualityConstraint
de.uka.ilkd.key.strategy.quantifierHeuristics.Metavariable
de.uka.ilkd.key.rule.NewDependingOn
de.uka.ilkd.key.strategy.quantifierHeuristics.ReplacerOfQuanVariablesWithMetavariables
de.uka.ilkd.key.util.pp.WriterBackend

Deprecated Fields

Field and Description
de.uka.ilkd.key.strategy.quantifierHeuristics.ConstraintAwareSyntacticalReplaceVisitor.metavariableInst
de.uka.ilkd.key.rule.Taclet.varsNewDependingOn

Deprecated Methods

Method and Description
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.buildFrameClause(List<LocationVariable>, Map<Term, Term>, ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.buildFrameClause(List<LocationVariable>, Map<Term, Term>, ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.buildFrameClause(List<LocationVariable>, Map<Term, Term>, ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.buildFrameClause(List<LocationVariable>, Map<Term, Term>, ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.buildOperationBlocks(ImmutableList<LocationVariable>, ProgramVariable, ProgramVariable, Services)
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.buildOperationBlocks(ImmutableList<LocationVariable>, ProgramVariable, ProgramVariable, Services)
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.buildOperationBlocks(ImmutableList<LocationVariable>, ProgramVariable, ProgramVariable, Services)
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.buildOperationBlocks(ImmutableList<LocationVariable>, ProgramVariable, ProgramVariable, Services)
de.uka.ilkd.key.speclang.jml.translation.JMLTranslator.JMLBoundedNumericalQuantifierTranslationMethod.combineQuantifiedTerms(Term, Term)
de.uka.ilkd.key.logic.Semisequent.complete(SemisequentChangeInfo) Use de.uka.ilkd.key.logic.SemisequentChangeInfo#complete(de.uka.ilkd.key.logic.Semisequent) instead
de.uka.ilkd.key.proof.mgt.ProofCorrectnessMgt.contractApplicableFor(KeYJavaType, IObserverFunction)
de.uka.ilkd.key.core.KeYMediator.enableWhenProofLoaded(AbstractButton)
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.generateMbyAtPreDef(ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.generateMbyAtPreDef(ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.generateMbyAtPreDef(ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.generateMbyAtPreDef(ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.parser.proofjava.JavaCharStream.getColumn()
de.uka.ilkd.key.parser.schemajava.JavaCharStream.getColumn()
de.uka.ilkd.key.speclang.WellDefinednessCheck.getDep(LocationVariable, boolean, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, ? extends ProgramVariable>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getDep(LocationVariable, boolean, Term, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.parser.AmbigiousDeclException.getErrorMessage()
de.uka.ilkd.key.parser.GenericSortException.getErrorMessage()
de.uka.ilkd.key.parser.JavaParserException.getErrorMessage()
de.uka.ilkd.key.parser.KeYSemanticException.getErrorMessage()
de.uka.ilkd.key.speclang.WellDefinednessCheck.getGlobalDefs(LocationVariable, Term, Term, ImmutableList<Term>, Services)
de.uka.ilkd.key.java.recoderext.RKeYMetaConstructExpression.getIndexOfChild(int)
de.uka.ilkd.key.java.recoderext.RKeYMetaConstructType.getIndexOfChild(int)
de.uka.ilkd.key.rule.metaconstruct.UnwindLoop.getInnerLabelSV()
de.uka.ilkd.key.logic.op.ProgramMethod.getKJT()
de.uka.ilkd.key.parser.proofjava.JavaCharStream.getLine()
de.uka.ilkd.key.parser.schemajava.JavaCharStream.getLine()
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getMby(Map<LocationVariable, Term>, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getMby(Map<LocationVariable, Term>, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getMby(ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getMby(ProgramVariable, ImmutableList<ProgramVariable>, Services)
de.uka.ilkd.key.rule.metaconstruct.UnwindLoop.getOuterLabelSV()
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.getPost(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, ProgramVariable, ProgramVariable, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.getPost(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, ProgramVariable, ProgramVariable, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.getPost(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, ProgramVariable, ProgramVariable, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.getPost(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, ProgramVariable, ProgramVariable, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(List<LocationVariable>, Map<LocationVariable, Term>, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(List<LocationVariable>, Map<LocationVariable, Term>, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, ? extends ProgramVariable>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, ? extends ProgramVariable>, Services)
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.getPre(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.getPre(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.getPre(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.getPre(List<LocationVariable>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, LocationVariable>, Services)
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(LocationVariable, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, ? extends ProgramVariable>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(LocationVariable, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, ? extends ProgramVariable>, Services)
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(LocationVariable, Term, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(LocationVariable, Term, Term, ImmutableList<Term>, Map<LocationVariable, Term>, Services)
de.uka.ilkd.key.speclang.FunctionalOperationContractImpl.getReplaceMap(LocationVariable, Term, Term, ImmutableList<Term>, Services)
de.uka.ilkd.key.speclang.FunctionalOperationContractImpl.getReplaceMap(LocationVariable, Term, Term, ImmutableList<Term>, Term, Term, Term, Services)
de.uka.ilkd.key.java.recoderext.EnumClassBuilder.makeExplicit(TypeDeclaration) THIS DOES NOT WORK ANY MORE, SINCE THE CACHE ONLY CONSIDERS CLASSE TYPES, NOT ENUMS!
de.uka.ilkd.key.gui.proofdiff.diff_match_patch.patch_make(String, String, LinkedList<diff_match_patch.Diff>) Prefer patch_make(String text1, LinkedList diffs).
de.uka.ilkd.key.gui.IconFactory.resumeDisabledLogo(int)
de.uka.ilkd.key.gui.IconFactory.resumeLogo(int)
de.uka.ilkd.key.gui.IconFactory.reuseLogo()
de.uka.ilkd.key.gui.IconFactory.selectStrategyArrow(int)
de.uka.ilkd.key.gui.actions.KeyAction.setAcceleratorKey(KeyStroke)
de.uka.ilkd.key.gui.actions.KeyAction.setAcceleratorLetter(int)
de.uka.ilkd.key.speclang.jml.translation.JMLTranslator.JMLBoundedNumericalQuantifierTranslationMethod.translateQuantifier(QuantifiableVariable, Term)
de.uka.ilkd.key.speclang.jml.translation.JMLTranslator.JMLBoundedNumericalQuantifierTranslationMethod.translateQuantifiers(Iterable<LogicVariable>, Term, Term)

Deprecated Constructors

Constructor and Description
de.uka.ilkd.key.java.declaration.ConstructorDeclaration(Modifier[], ProgramElementName, ParameterDeclaration[], Throws, StatementBlock, boolean)
de.uka.ilkd.key.java.abstraction.DefaultConstructor(String, boolean)
de.uka.ilkd.key.speclang.DependencyContractImpl(String, KeYJavaType, IObserverFunction, KeYJavaType, Map<LocationVariable, Term>, Term, Map<ProgramVariable, Term>, ProgramVariable, ImmutableList<ProgramVariable>, Map<LocationVariable, ? extends ProgramVariable>)