de.cau.cs.kieler.synccharts.sbase
Class Utils

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.sbase.Utils

public final class Utils
extends Object

Utility class for synccharts sbase.

Rating red

Method Summary
static void copyState(State s)
          Stores the state reference.
static void copyStates(EList<State> states)
          Test.
static State getBufferedState()
          Returns the copied state.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

copyState

public static void copyState(State s)
Stores the state reference.

Parameters:
s - The state to store

copyStates

public static void copyStates(EList<State> states)
Test.

Parameters:
states - Blabla

getBufferedState

public static State getBufferedState()
Returns the copied state.

Returns:
The copied state