public final class TextualJMLRepresents extends TextualJMLConstruct
Modifier and Type | Field and Description |
---|---|
private PositionedString |
represents |
mods, name
Constructor and Description |
---|
TextualJMLRepresents(ImmutableList<java.lang.String> mods,
PositionedString represents) |
TextualJMLRepresents(ImmutableList<java.lang.String> mods,
PositionedString represents,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.lang.String |
getName() |
PositionedString |
getRepresents() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition
private final PositionedString represents
public TextualJMLRepresents(ImmutableList<java.lang.String> mods, PositionedString represents)
public TextualJMLRepresents(ImmutableList<java.lang.String> mods, PositionedString represents, java.lang.String name)
public PositionedString getRepresents()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String getName()