|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.apache.taglibs.rdc.scxml.SCXMLHelper
Helper class, all methods static final.
Constructor Summary | |
SCXMLHelper()
|
Method Summary | |
static java.util.Set |
getAncestorClosure(java.util.Set states,
java.util.Set upperBounds)
Creates a set which contains given states and all their ancestors recursively up to the upper bound. |
static TransitionTarget |
getLCA(TransitionTarget tt1,
TransitionTarget tt2)
finds the least common ancestor of transition targets tt1 and tt2 if one exists. |
static java.util.Set |
getStatesExited(Transition t,
java.util.Set currentStates)
Returns the set of all states (and parallels) which are exited if a given transition t is going to be taken. |
static boolean |
inConflict(Transition t1,
Transition t2,
java.util.Set currentStates)
According to the UML definition, two transitions are conflicting if the sets of states they exit overlap. |
static boolean |
isDescendant(TransitionTarget tt,
TransitionTarget ctx)
Checks whether a transition target tt (State or Parallel) is a descendant of the transition target ctx. |
static boolean |
isLegalConfig(java.util.Set states,
ErrorReporter errRep)
Checks whether a given set of states is a legal Harel State Table configuration (with the respect to the definition of the OR and AND states). |
static boolean |
isStringEmpty(java.lang.String attr)
Return true if the string is empty |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public SCXMLHelper()
Method Detail |
public static final boolean isStringEmpty(java.lang.String attr)
attr
- The String to test
public static final boolean isDescendant(TransitionTarget tt, TransitionTarget ctx)
tt
- TransitionTarget to check - a potential descendantctx
- TransitionTarget context - a potential ancestor
public static final java.util.Set getAncestorClosure(java.util.Set states, java.util.Set upperBounds)
upperBounds
-
public static final boolean isLegalConfig(java.util.Set states, ErrorReporter errRep)
states
- a set of stateserrRep
- ErrorReporter to report detailed error info if needed
public static final TransitionTarget getLCA(TransitionTarget tt1, TransitionTarget tt2)
tt1
- tt2
-
public static final java.util.Set getStatesExited(Transition t, java.util.Set currentStates)
t
- transition to be takencurrentStates
- the set of current states (simple states only)
public static final boolean inConflict(Transition t1, Transition t2, java.util.Set currentStates)
t1
- a transition to check against t2t2
- a transition to check against t1currentStates
- the set of current states (simple states only)
getStatesExited(Transition, Set)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |