public final class TextualJMLClassInv extends TextualJMLConstruct
mods, name
Constructor and Description |
---|
TextualJMLClassInv(ImmutableList<java.lang.String> mods,
JmlParser.Class_invariantContext ctx) |
TextualJMLClassInv(ImmutableList<java.lang.String> mods,
org.antlr.v4.runtime.ParserRuleContext inv,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
org.antlr.v4.runtime.ParserRuleContext |
getInv() |
java.lang.String |
getName() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition, setPosition, setPosition
public TextualJMLClassInv(ImmutableList<java.lang.String> mods, org.antlr.v4.runtime.ParserRuleContext inv, java.lang.String name)
public TextualJMLClassInv(ImmutableList<java.lang.String> mods, JmlParser.Class_invariantContext ctx)
public org.antlr.v4.runtime.ParserRuleContext 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()
Copyright © 2003-2019 The KeY-Project.