de.uka.ilkd.key.informationflow.po.BlockExecutionPO.buildFrameClause(List, Map, ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.buildFrameClause(List, Map, ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.buildFrameClause(List, Map, ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.buildFrameClause(List, Map, ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.buildOperationBlocks(ImmutableList, ProgramVariable, ProgramVariable, Services) |
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.buildOperationBlocks(ImmutableList, ProgramVariable, ProgramVariable, Services) |
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.buildOperationBlocks(ImmutableList, ProgramVariable, ProgramVariable, Services) |
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.buildOperationBlocks(ImmutableList, 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, Services) |
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.generateMbyAtPreDef(ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.generateMbyAtPreDef(ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.generateMbyAtPreDef(ProgramVariable, ImmutableList, 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, Map, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getDep(LocationVariable, boolean, Term, Term, ImmutableList, Map, 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, 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, Term, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getMby(Map, Term, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getMby(ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getMby(ProgramVariable, ImmutableList, Services) |
de.uka.ilkd.key.rule.metaconstruct.UnwindLoop.getOuterLabelSV() |
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.getPost(List, ProgramVariable, ImmutableList, ProgramVariable, ProgramVariable, Map, Services) |
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.getPost(List, ProgramVariable, ImmutableList, ProgramVariable, ProgramVariable, Map, Services) |
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.getPost(List, ProgramVariable, ImmutableList, ProgramVariable, ProgramVariable, Map, Services) |
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.getPost(List, ProgramVariable, ImmutableList, ProgramVariable, ProgramVariable, Map, Services) |
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(List, Map, Term, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(List, Map, Term, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(List, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(List, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.informationflow.po.BlockExecutionPO.getPre(List, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.informationflow.po.InfFlowContractPO.getPre(List, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.informationflow.po.LoopInvExecutionPO.getPre(List, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.informationflow.po.SymbolicExecutionPO.getPre(List, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(LocationVariable, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(LocationVariable, ProgramVariable, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.InformationFlowContractImpl.getPre(LocationVariable, Term, Term, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.WellDefinednessCheck.getPre(LocationVariable, Term, Term, ImmutableList, Map, Services) |
de.uka.ilkd.key.speclang.FunctionalOperationContractImpl.getReplaceMap(LocationVariable, Term, Term, ImmutableList, Services) |
de.uka.ilkd.key.speclang.FunctionalOperationContractImpl.getReplaceMap(LocationVariable, Term, Term, ImmutableList, 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)
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.MainWindowAction.setAcceleratorKey(KeyStroke) |
de.uka.ilkd.key.gui.actions.MainWindowAction.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, Term, Term) |