public class TermLabelState
extends java.lang.Object
TermLabelState
is used to share information between participants
which manage TermLabel
s during rule application. Participants are:
Exactly one TermLabelState
instance is created in each
Rule#apply(de.uka.ilkd.key.proof.Goal, de.uka.ilkd.key.java.Services, de.uka.ilkd.key.rule.RuleApp)
implementation and passed to each performed TermLabelManager
call
during rule application and thus passed to the participants.
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Name,java.util.Map<java.lang.Object,java.lang.Object>> |
labelStateMap
|
Constructor and Description |
---|
TermLabelState()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.Object,java.lang.Object> |
getLabelState(Name termLabelName)
|
java.lang.String |
toString() |
private final java.util.Map<Name,java.util.Map<java.lang.Object,java.lang.Object>> labelStateMap
public java.util.Map<java.lang.Object,java.lang.Object> getLabelState(Name termLabelName)
public java.lang.String toString()
toString
in class java.lang.Object