Package | Description |
---|---|
de.uka.ilkd.key.speclang.njml |
This package provides the functionalities of parsing JML comments into KeY constructs.
|
Modifier and Type | Method and Description |
---|---|
JmlIO |
JmlIO.atBefore(java.util.Map<LocationVariable,Term> atBefores) |
JmlIO |
JmlIO.atPres(java.util.Map<LocationVariable,Term> atPres) |
JmlIO |
JmlIO.classType(KeYJavaType classType)
Sets the sort/type of the class containing the interpreted JML.
|
JmlIO |
JmlIO.clear()
Clears the internal fields.
|
JmlIO |
JmlIO.exceptionVariable(ProgramVariable excVar)
Sets the variable that is used to store exceptions.
|
JmlIO |
JmlIO.parameters(ImmutableList<ProgramVariable> params)
Sets the current list of known parameter.
|
JmlIO |
JmlIO.resultVariable(ProgramVariable resultVar)
Sets the variable representing
\result . |
JmlIO |
JmlIO.selfVar(ProgramVariable selfVar)
Sets the variable representing the
this reference. |
JmlIO |
JmlIO.services(Services services)
Sets the current services
|
Copyright © 2003-2019 The KeY-Project.