Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> apache >> taglibs >> rdc >> [ scxml overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.apache.taglibs.rdc.scxml
Class SCXMLHelper  

java.lang.Object
  org.apache.taglibs.rdc.scxml.SCXMLHelper

---

public class SCXMLHelper

extends java.lang.Object

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 org.apache.taglibs.rdc.scxml.model.TransitionTarget	getLCA(org.apache.taglibs.rdc.scxml.model.TransitionTarget tt1, org.apache.taglibs.rdc.scxml.model.TransitionTarget tt2)           finds the least common ancestor of transition targets tt1 and tt2 if one exists.
static java.util.Set	getStatesExited(org.apache.taglibs.rdc.scxml.model.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(org.apache.taglibs.rdc.scxml.model.Transition t1, org.apache.taglibs.rdc.scxml.model.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(org.apache.taglibs.rdc.scxml.model.TransitionTarget tt, org.apache.taglibs.rdc.scxml.model.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

SCXMLHelper

public SCXMLHelper()

Method Detail

isStringEmpty

public static final boolean isStringEmpty(java.lang.String attr)

Return true if the string is empty

---

isDescendant

public static final boolean isDescendant(org.apache.taglibs.rdc.scxml.model.TransitionTarget tt,
                                         org.apache.taglibs.rdc.scxml.model.TransitionTarget ctx)

Checks whether a transition target tt (State or Parallel) is a descendant of the transition target ctx.

---

getAncestorClosure

public static final 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. Null upperBound means root of the state machine.

---

isLegalConfig

public static final 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).

---

getLCA

public static final org.apache.taglibs.rdc.scxml.model.TransitionTarget getLCA(org.apache.taglibs.rdc.scxml.model.TransitionTarget tt1,
                                                                               org.apache.taglibs.rdc.scxml.model.TransitionTarget tt2)

finds the least common ancestor of transition targets tt1 and tt2 if one exists.

---

getStatesExited

public static final java.util.Set getStatesExited(org.apache.taglibs.rdc.scxml.model.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. Current states are necessary to be taken into account due to orthogonal states and cross-region transitions - see UML specs. for more details.

---

inConflict

public static final boolean inConflict(org.apache.taglibs.rdc.scxml.model.Transition t1,
                                       org.apache.taglibs.rdc.scxml.model.Transition t2,
                                       java.util.Set currentStates)

According to the UML definition, two transitions are conflicting if the sets of states they exit overlap.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> apache >> taglibs >> rdc >> [ scxml overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---