public interface InitiallyClause extends SpecificationElement
Modifier and Type | Method and Description |
---|---|
Term |
getClause(ParsableVariable selfVar,
TermServices services)
Returns the formula without implicit all-quantification over
the receiver object.
|
PositionedString |
getOriginalSpec() |
InitiallyClause |
setKJT(KeYJavaType newKjt) |
getDisplayName, getKJT, getName, getVisibility
Term getClause(ParsableVariable selfVar, TermServices services)
PositionedString getOriginalSpec()
InitiallyClause setKJT(KeYJavaType newKjt)