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