de.cau.cs.kieler.synccharts.codegen.sc
Class StatePlusTransition
java.lang.Object
de.cau.cs.kieler.synccharts.codegen.sc.StatePlusTransition
public class StatePlusTransition
- extends Object
An implementation of a "triple" with a state, its type and one of its transitions.
- Rating

- (2010-06-14)
StatePlusTransition
public StatePlusTransition(State state,
int type,
Transition transition)
- Constructor, setting the fields.
- Parameters:
state
- the statetype
- the typetransition
- the transition
StatePlusTransition
public StatePlusTransition()
- Constructor without setting fields.
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