public final class TextualJMLLoopSpec extends TextualJMLConstruct
Modifier and Type | Class and Description |
---|---|
static class |
TextualJMLLoopSpec.ClauseHd
Heap-dependent clauses
|
mods, name
Constructor and Description |
---|
TextualJMLLoopSpec(ImmutableList<java.lang.String> mods) |
Modifier and Type | Method and Description |
---|---|
TextualJMLLoopSpec |
addClause(TextualJMLLoopSpec.ClauseHd clause,
LabeledParserRuleContext ctx) |
TextualJMLLoopSpec |
addClause(TextualJMLLoopSpec.ClauseHd clause,
Name heapName,
LabeledParserRuleContext ctx) |
boolean |
equals(java.lang.Object o) |
ImmutableList<LabeledParserRuleContext> |
getAssignable() |
java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> |
getAssignables() |
java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> |
getAssignablesInit() |
java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> |
getFreeInvariants() |
ImmutableList<LabeledParserRuleContext> |
getInfFlowSpecs() |
java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> |
getInvariants() |
LabeledParserRuleContext |
getVariant() |
int |
hashCode() |
void |
setVariant(LabeledParserRuleContext ps) |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition, setPosition, setPosition
public TextualJMLLoopSpec(ImmutableList<java.lang.String> mods)
public TextualJMLLoopSpec addClause(TextualJMLLoopSpec.ClauseHd clause, LabeledParserRuleContext ctx)
public TextualJMLLoopSpec addClause(TextualJMLLoopSpec.ClauseHd clause, @Nullable Name heapName, LabeledParserRuleContext ctx)
public void setVariant(LabeledParserRuleContext ps)
public ImmutableList<LabeledParserRuleContext> getAssignable()
public java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> getAssignables()
public java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> getAssignablesInit()
public ImmutableList<LabeledParserRuleContext> getInfFlowSpecs()
public java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> getInvariants()
public java.util.Map<java.lang.String,ImmutableList<LabeledParserRuleContext>> getFreeInvariants()
public LabeledParserRuleContext getVariant()
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
Copyright © 2003-2019 The KeY-Project.