public final class TextualJMLClassAxiom extends TextualJMLConstruct
Modifier and Type | Field and Description |
---|---|
private PositionedString |
inv |
mods, name
Constructor and Description |
---|
TextualJMLClassAxiom(ImmutableList<java.lang.String> mods,
PositionedString inv)
new textual representation.
|
TextualJMLClassAxiom(ImmutableList<java.lang.String> mods,
PositionedString inv,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
PositionedString |
getAxiom() |
java.lang.String |
getName() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition
private final PositionedString inv
public TextualJMLClassAxiom(ImmutableList<java.lang.String> mods, PositionedString inv)
mods
- modifiers (are currently ignored)inv
- the expression in this clausepublic TextualJMLClassAxiom(ImmutableList<java.lang.String> mods, PositionedString inv, java.lang.String name)
public PositionedString getAxiom()
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()