de.cau.cs.kieler.synccharts.s
Class StatePlusTransition

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.s.StatePlusTransition

public class StatePlusTransition
extends Object

An implementation of a "triple" with a state, its type and one of its transitions.

Rating yellow
(2010-06-14)

Constructor Summary
StatePlusTransition()
          Constructor without setting fields.
StatePlusTransition(State state, int type, Transition transition)
          Constructor, setting the fields.
 
Method Summary
 boolean equals(Object other)
          
 State getState()
           
 Transition getTransition()
           
 int getType()
           
 void setState(State state)
           
 void setTransition(Transition transition)
           
 void setType(int type)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StatePlusTransition

public StatePlusTransition(State state,
                           int type,
                           Transition transition)
Constructor, setting the fields.

Parameters:
state - the state
type - the type
transition - the transition

StatePlusTransition

public StatePlusTransition()
Constructor without setting fields.

Method Detail

getType

public int getType()
Returns:
the type

setType

public void setType(int type)
Parameters:
type - the type to set

getState

public State getState()
Returns:
the state

setState

public void setState(State state)
Parameters:
state - the stateTuple to set

getTransition

public Transition getTransition()
Returns:
the transition

setTransition

public void setTransition(Transition transition)
Parameters:
transition - the transition to set

equals

public boolean equals(Object other)

Overrides:
equals in class Object