public abstract class TextualJMLConstruct
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Position |
approxPos |
private boolean |
loopContract |
protected ImmutableList<java.lang.String> |
mods |
protected java.lang.String |
name
A user-provided identifier to keep an overview over large specification collections
|
private java.lang.String |
sourceFile |
Constructor and Description |
---|
TextualJMLConstruct(ImmutableList<java.lang.String> mods) |
TextualJMLConstruct(ImmutableList<java.lang.String> mods,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
protected void |
addGeneric(java.util.Map<java.lang.String,ImmutableList<PositionedString>> item,
PositionedString ps) |
Position |
getApproxPosition()
Return the approximate position of this construct.
|
ImmutableList<java.lang.String> |
getMods() |
java.lang.String |
getSourceFileName()
Return the source file name where this construct appears.
|
boolean |
isLoopContract() |
(package private) void |
setLoopContract(boolean loopContract) |
protected void |
setPosition(PositionedString ps)
Sets the approximate position of this construct when first called with a valid position.
|
protected final ImmutableList<java.lang.String> mods
private Position approxPos
private java.lang.String sourceFile
private boolean loopContract
protected java.lang.String name
public TextualJMLConstruct(ImmutableList<java.lang.String> mods)
public TextualJMLConstruct(ImmutableList<java.lang.String> mods, java.lang.String name)
public final boolean isLoopContract()
true
if and only if this is a loop contract.LoopContract
final void setLoopContract(boolean loopContract)
loopContract
- boolean to identify contract as loop contractisLoopContract()
public final ImmutableList<java.lang.String> getMods()
public Position getApproxPosition()
setPosition
or
addGeneric
.public java.lang.String getSourceFileName()
protected void setPosition(PositionedString ps)
ps
- set position of the constructprotected void addGeneric(java.util.Map<java.lang.String,ImmutableList<PositionedString>> item, PositionedString ps)