public final class TextualJMLRepresents extends TextualJMLConstruct
mods, name
Constructor and Description |
---|
TextualJMLRepresents(ImmutableList<java.lang.String> mods,
LabeledParserRuleContext represents) |
TextualJMLRepresents(ImmutableList<java.lang.String> mods,
LabeledParserRuleContext represents,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.lang.String |
getName() |
LabeledParserRuleContext |
getRepresents() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition, setPosition, setPosition
public TextualJMLRepresents(ImmutableList<java.lang.String> mods, LabeledParserRuleContext represents)
public TextualJMLRepresents(ImmutableList<java.lang.String> mods, LabeledParserRuleContext represents, java.lang.String name)
public LabeledParserRuleContext 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()
Copyright © 2003-2019 The KeY-Project.