public abstract class TextualJMLConstruct extends Object
Modifier and Type | Field and Description |
---|---|
private Position |
approxPos |
protected ImmutableList<String> |
mods |
protected String |
name
A user-provided identifier to keep an overview over large specification collections
|
private String |
sourceFile |
Constructor and Description |
---|
TextualJMLConstruct(ImmutableList<String> mods) |
TextualJMLConstruct(ImmutableList<String> mods,
String name) |
Modifier and Type | Method and Description |
---|---|
protected void |
addGeneric(Map<String,ImmutableList<PositionedString>> item,
PositionedString ps) |
Position |
getApproxPosition()
Return the approximate position of this construct.
|
ImmutableList<String> |
getMods() |
String |
getSourceFileName()
Return the source file name where this construct appears.
|
protected void |
setPosition(PositionedString ps)
Sets the approximate position of this construct
when first called with a valid position.
|
protected final ImmutableList<String> mods
private Position approxPos
private String sourceFile
protected String name
public TextualJMLConstruct(ImmutableList<String> mods)
public TextualJMLConstruct(ImmutableList<String> mods, String name)
public final ImmutableList<String> getMods()
public Position getApproxPosition()
setPosition
or addGeneric
.public String getSourceFileName()
protected void setPosition(PositionedString ps)
protected void addGeneric(Map<String,ImmutableList<PositionedString>> item, PositionedString ps)