de.uka.ilkd.key.logic.label

Class TermLabelState

java.lang.Object

de.uka.ilkd.key.logic.label.TermLabelState

public class TermLabelState
extends java.lang.Object

A TermLabelState is used to share information between participants which manage TermLabels during rule application. Participants are:

• TermLabelPolicy
• TermLabelUpdate
• TermLabelRefactoring

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.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<Name,java.util.Map<java.lang.Object,java.lang.Object>>	labelStateMap Stores for each TermLabel Name the state.

Constructor Summary

Constructors

Constructor and Description
TermLabelState() Constructor.

Method Summary

Modifier and Type	Method and Description
java.util.Map<java.lang.Object,java.lang.Object>	getLabelState(Name termLabelName) Return the state Map in which arbitrary key values pairs can be stored for the given TermLabel Name.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

labelStateMap

private final java.util.Map<Name,java.util.Map<java.lang.Object,java.lang.Object>> labelStateMap

Stores for each TermLabel Name the state.

Constructor Detail

TermLabelState

public TermLabelState()

Constructor.

Method Detail

getLabelState

public java.util.Map<java.lang.Object,java.lang.Object> getLabelState(Name termLabelName)

Return the state Map in which arbitrary key values pairs can be stored for the given TermLabel Name.

Parameters:

termLabelName - The Name of the TermLabel.

Returns:

The Map used by the TermLabels participants.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object