de.cau.cs.kieler.synccharts.codegen.sc
Class StateAndSignals

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.codegen.sc.StateAndSignals

public class StateAndSignals
extends Object

An implementation of a "triple" with a state, its trigger signals and effect signals.

Rating yellow
(2010-06-14)

Constructor Summary
StateAndSignals()
           
 
Method Summary
 boolean equals(Object other)
          
 ArrayList<Signal> getEffectSignals()
           
 StatePlusTransition getStatePlusTransition()
           
 ArrayList<Signal> getTriggerSignals()
           
 void setEffectSignals(ArrayList<Signal> newEffectSignals)
           
 void setState(StatePlusTransition newState)
           
 void setTriggerSignals(ArrayList<Signal> newTriggerSignals)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StateAndSignals

public StateAndSignals()
Method Detail

getStatePlusTransition

public StatePlusTransition getStatePlusTransition()
Returns:
the state

setState

public void setState(StatePlusTransition newState)
Parameters:
newState - the state to set

getTriggerSignals

public ArrayList<Signal> getTriggerSignals()
Returns:
the triggerSignals

setTriggerSignals

public void setTriggerSignals(ArrayList<Signal> newTriggerSignals)
Parameters:
newTriggerSignals - the triggerSignals to set

getEffectSignals

public ArrayList<Signal> getEffectSignals()
Returns:
the effectSignals

setEffectSignals

public void setEffectSignals(ArrayList<Signal> newEffectSignals)
Parameters:
newEffectSignals - the effectSignals to set

equals

public boolean equals(Object other)

Overrides:
equals in class Object