|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.synccharts.codegen.sc.Helper
public final class Helper
The Helper class provides some helping functions for the generation of code.
Method Summary | |
---|---|
static List<Signal> |
allSignals(State state)
Computes a list of all signals (global and local) that are used in the state and his child-states. |
static List<StatePlusTransition> |
computeThreadPriorities(State state)
Computes a list with all states in the right order of their priority. |
static void |
debug(String s)
A simple method to print debug information. |
static void |
error(String s)
A method to throw an error. |
static int |
getMaxPriority()
Returns the number of computed Threads without optimization of priorities. |
static int |
getOptimizedWeakThreadPriority(State state)
Computes the weak optimized priority of the given state. |
static int |
getRealOptimizedThreadPriority(State state)
Computes the real optimized priority of the given state. |
static int |
getRealThreadPriority(State state)
Computes the real priority of the given state. |
static int |
getSmallestThreadPriority(State state)
Computes the real priority of the given state. |
static String |
getStateNameByFlag(State state,
Integer flag)
Returns unique a label for a state independent on the flag. |
static List<StateAndSignals> |
getStateSignals(State state)
Not used? |
static int |
getWeakThreadPriority(State state)
Computes the weak priority of the given state. |
static boolean |
hasDependentState(Transition transition)
Computes if the given state has signal dependent states. |
static boolean |
isSignalDependent(Transition transition)
Computes if the given state has signal dependent states. |
static List<State> |
sortStateControlFlow(State state)
Computes a sorted list with states. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static List<StatePlusTransition> computeThreadPriorities(State state)
state
- the root state to start with
public static int getRealThreadPriority(State state)
state
- the state you want to get the priority
public static int getRealOptimizedThreadPriority(State state)
state
- the state you want to get the priority
public static int getSmallestThreadPriority(State state)
state
- the state you want to get the priority
public static int getWeakThreadPriority(State state)
state
- the state you want to get the priority
public static int getOptimizedWeakThreadPriority(State state)
state
- the state you want to get the priority
public static void debug(String s)
s
- debug informationpublic static void error(String s) throws KiemInitializationException
s
- error information
KiemInitializationException
- for error handlingpublic static List<State> sortStateControlFlow(State state)
state
- the initial state to start with
public static List<Signal> allSignals(State state)
state
- the state in which signals should be listed
public static String getStateNameByFlag(State state, Integer flag)
state
- the state for which a label should be generatedflag
- what kind of label is desired
public static List<StateAndSignals> getStateSignals(State state)
state
- nut used?
public static boolean hasDependentState(Transition transition)
transition
- transition to search for dependencies
public static boolean isSignalDependent(Transition transition)
transition
- transition to search for dependencies
public static int getMaxPriority()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |