ConForM.CoopnTools.CoKer.ScenarioMgr
Class Step

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ScenarioMgr.Step
All Implemented Interfaces:
java.lang.Cloneable, java.io.Serializable

public class Step
extends java.lang.Object
implements java.io.Serializable, java.lang.Cloneable

Step in the CO-OPN semantics,i.e. a transition and a substitution

See Also:
Serialized Form

Constructor Summary
Step(Transition transition, CoopnSubstitution sigma)
          Build a new step, as a transition and a particular substitution.
 
Method Summary
 java.lang.Object clone()
           
 boolean equals(java.lang.Object obj)
          Equality method.
 int hashCode()
          Hashcode method.
 Step interpret()
          Interpretation of this element according to this substitution.
 Step interpret(CoopnSubstitution sigma)
          Interpretation of this element according to a substitution.
 CoopnSubstitution sigma()
          Get the substitution.
 Transition transition()
          Get the label of the transition.
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Step

public Step(Transition transition,
            CoopnSubstitution sigma)
Build a new step, as a transition and a particular substitution.
Parameters:
transition - the transition; cannot be null
sigma - the substitution; cannot be null
Method Detail

transition

public Transition transition()
Get the label of the transition.

sigma

public CoopnSubstitution sigma()
Get the substitution.

interpret

public Step interpret()
Interpretation of this element according to this substitution.
Returns:
a new ScenarioElement object, coreesponding to the interpretation.

interpret

public Step interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution.
Parameters:
sigma - the substitution; cannot be null
Returns:
a new ScenarioElement object, coreesponding to the interpretation.

equals

public boolean equals(java.lang.Object obj)
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class java.lang.Object
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class java.lang.Object
Returns:
the hash code.

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object