Package | Description |
---|---|
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
Modifier and Type | Method and Description |
---|---|
Contract.OriginalVariables |
Contract.OriginalVariables.add(ImmutableList<ProgramVariable> newParams)
Adds a list of parameters and deletes the prior ones (if any).
|
Contract.OriginalVariables |
AbstractAuxiliaryContractImpl.getOrigVars() |
Contract.OriginalVariables |
FunctionalAuxiliaryContract.getOrigVars() |
Contract.OriginalVariables |
FunctionalOperationContractImpl.getOrigVars() |
Contract.OriginalVariables |
ClassInvariantImpl.getOrigVars() |
Contract.OriginalVariables |
InformationFlowContractImpl.getOrigVars() |
Contract.OriginalVariables |
ClassInvariant.getOrigVars()
Returns the original Self Variable to replace it easier.
|
Contract.OriginalVariables |
LoopSpecification.getOrigVars()
Returns the original Self Variable to replace it easier.
|
Contract.OriginalVariables |
DependencyContractImpl.getOrigVars() |
Contract.OriginalVariables |
WellDefinednessCheck.getOrigVars() |
Contract.OriginalVariables |
RepresentsAxiom.getOrigVars() |
Contract.OriginalVariables |
Contract.getOrigVars()
Returns the original ProgramVariables to replace them easier.
|
Contract.OriginalVariables |
AuxiliaryContract.getOrigVars() |
Contract.OriginalVariables |
LoopSpecImpl.getOrigVars() |
Contract.OriginalVariables |
AuxiliaryContract.Variables.toOrigVars() |
Copyright © 2003-2019 The KeY-Project.