public class TermLabelState extends 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 Map<Name,Map<Object,Object>> |
labelStateMap
|
Constructor and Description |
---|
TermLabelState()
Constructor.
|