Package | Description |
---|---|
de.uka.ilkd.key.speclang.jml.pretranslation | |
de.uka.ilkd.key.speclang.jml.translation |
Modifier and Type | Method and Description |
---|---|
TextualJMLLoopSpec |
TextualJMLLoopSpec.addClause(TextualJMLLoopSpec.ClauseHd clause,
LabeledParserRuleContext ctx) |
TextualJMLLoopSpec |
TextualJMLLoopSpec.addClause(TextualJMLLoopSpec.ClauseHd clause,
Name heapName,
LabeledParserRuleContext ctx) |
Modifier and Type | Method and Description |
---|---|
LoopSpecification |
JMLSpecFactory.createJMLLoopInvariant(IProgramMethod pm,
LoopStatement loop,
TextualJMLLoopSpec textualLoopSpec) |
Copyright © 2003-2019 The KeY-Project.