public final class TextualJMLLoopSpec extends TextualJMLConstruct
Modifier and Type | Field and Description |
---|---|
private Map<String,ImmutableList<PositionedString>> |
assignables |
private ImmutableList<PositionedString> |
infFlowSpecs |
private Map<String,ImmutableList<PositionedString>> |
invariants |
private PositionedString |
variant |
mods, name
Constructor and Description |
---|
TextualJMLLoopSpec(ImmutableList<String> mods) |
Modifier and Type | Method and Description |
---|---|
void |
addAssignable(PositionedString ps) |
void |
addInfFlowSpecs(ImmutableList<PositionedString> l) |
void |
addInfFlowSpecs(PositionedString ps) |
void |
addInvariant(PositionedString ps) |
boolean |
equals(Object o) |
ImmutableList<PositionedString> |
getAssignable() |
ImmutableList<PositionedString> |
getAssignable(String hName) |
Map<String,ImmutableList<PositionedString>> |
getAssignables() |
ImmutableList<PositionedString> |
getInfFlowSpecs() |
ImmutableList<PositionedString> |
getInvariant() |
ImmutableList<PositionedString> |
getInvariant(String hName) |
Map<String,ImmutableList<PositionedString>> |
getInvariants() |
PositionedString |
getVariant() |
int |
hashCode() |
void |
setVariant(PositionedString ps) |
String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, setPosition
private PositionedString variant
private Map<String,ImmutableList<PositionedString>> assignables
private ImmutableList<PositionedString> infFlowSpecs
private Map<String,ImmutableList<PositionedString>> invariants
public TextualJMLLoopSpec(ImmutableList<String> mods)
public void addInvariant(PositionedString ps)
public void addAssignable(PositionedString ps)
public void addInfFlowSpecs(PositionedString ps)
public void addInfFlowSpecs(ImmutableList<PositionedString> l)
public void setVariant(PositionedString ps)
public ImmutableList<PositionedString> getInvariant(String hName)
public ImmutableList<PositionedString> getInvariant()
public ImmutableList<PositionedString> getAssignable()
public ImmutableList<PositionedString> getAssignable(String hName)
public Map<String,ImmutableList<PositionedString>> getAssignables()
public ImmutableList<PositionedString> getInfFlowSpecs()
public Map<String,ImmutableList<PositionedString>> getInvariants()
public PositionedString getVariant()