Package | Description |
---|---|
de.uka.ilkd.key.java.recoderext | |
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
de.uka.ilkd.key.rule.conditions | |
de.uka.ilkd.key.rule.match.vm.instructions | |
de.uka.ilkd.key.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
Modifier and Type | Method and Description |
---|---|
ProgramSV[] |
RKeYMetaConstruct.getSV() |
Modifier and Type | Method and Description |
---|---|
static ProgramSV |
SchemaVariableFactory.createProgramSV(ProgramElementName name,
ProgramSVSort s,
boolean listSV)
creates a SchemaVariable representing a program construct
|
Modifier and Type | Method and Description |
---|---|
void |
LogicPrinter.printProgramSV(ProgramSV pe)
Pretty-prints a ProgramSV.
|
Constructor and Description |
---|
HasLoopInvariantCondition(ProgramSV loopStmtSV,
SchemaVariable modalitySV) |
IsLabeledCondition(ProgramSV stmtSV,
boolean negated) |
LoopFreeInvariantCondition(ProgramSV loopStmtSV,
SchemaVariable modalitySV,
SchemaVariable invSV) |
LoopInvariantCondition(ProgramSV loopStmtSV,
SchemaVariable modalitySV,
SchemaVariable invSV) |
LoopVariantCondition(ProgramSV loopStmtSV,
SchemaVariable variantSV) |
StoreStmtInCondition(ProgramSV resultVarSV,
Term term) |
Modifier and Type | Method and Description |
---|---|
static MatchSchemaVariableInstruction<? extends SchemaVariable> |
Instruction.matchProgramSV(ProgramSV sv) |
Constructor and Description |
---|
MatchProgramSVInstruction(ProgramSV sv) |
Constructor and Description |
---|
EnhancedForElimination(ProgramSV execContextSV,
EnhancedFor forStatement)
Creates a new enhaced for-loop elimination.
|
ForInitUnfoldTransformer(ProgramSV programSV) |
MethodCall(Name name,
ProgramSV ec,
SchemaVariable result,
ProgramElement body)
creates the methodcall-MetaConstruct
|
MethodCall(ProgramSV ec,
SchemaVariable result,
ProgramElement body)
creates the methodcall-MetaConstruct
|
Copyright © 2003-2019 The KeY-Project.