public final class TextualJMLClassInv extends TextualJMLConstruct
Modifier and Type | Field and Description |
---|---|
private PositionedString |
inv |
mods, name
Constructor and Description |
---|
TextualJMLClassInv(ImmutableList<java.lang.String> mods,
PositionedString inv) |
TextualJMLClassInv(ImmutableList<java.lang.String> mods,
PositionedString inv,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
PositionedString |
getInv() |
java.lang.String |
getName() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition
private final PositionedString inv
public TextualJMLClassInv(ImmutableList<java.lang.String> mods, PositionedString inv)
public TextualJMLClassInv(ImmutableList<java.lang.String> mods, PositionedString inv, java.lang.String name)
public PositionedString getInv()
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()