Package | Description |
---|---|
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
Modifier and Type | Method and Description |
---|---|
WellDefinednessCheck.TermAndFunc |
WellDefinednessCheck.getPre(de.uka.ilkd.key.speclang.WellDefinednessCheck.Condition pre,
ParsableVariable self,
ParsableVariable heap,
ImmutableList<? extends ParsableVariable> parameters,
boolean taclet,
Services services)
Gets the full valid precondition, which holds in the element's pre-state.
|
Copyright © 2003-2019 The KeY-Project.