예제 #1
0
 public static String getContextPathByRegion(final Region _self) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   Object result = null;
   result = _privk3_getContextPathByRegion(_self_, _self);
   return (java.lang.String) result;
 }
예제 #2
0
 private static State history(final Region _self) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   Object result = null;
   result = _privk3_history(_self_, _self);
   return (fsm.State) result;
 }
예제 #3
0
 /** Returns the active transitions of a vertex */
 public static EList<Transition> getActiveTransitions(
     final Region _self, final AbstractState vertex, final EList<String> events) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   Object result = null;
   result = _privk3_getActiveTransitions(_self_, _self, vertex, events);
   return (org.eclipse.emf.common.util.EList<fsm.Transition>) result;
 }
예제 #4
0
 /**
  * Returns the current state of the machine. It corresponds to the current set of active states.
  */
 public static ArrayList<AbstractState> getCurrentState(
     final Region _self, final Hashtable<String, Object> context, final EList<String> events) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   Object result = null;
   result = _privk3_getCurrentState(_self_, _self, context, events);
   return (java.util.ArrayList<fsm.AbstractState>) result;
 }
예제 #5
0
 public static void addStatesToContext(
     final Region _self,
     final Hashtable<String, Object> context,
     final ArrayList<AbstractState> newStates) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_addStatesToContext(_self_, _self, context, newStates);
 }
예제 #6
0
 public static void removeStatesFromContext(
     final Region _self,
     final Hashtable<String, Object> context,
     final ArrayList<AbstractState> toRemove) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_removeStatesFromContext(_self_, _self, context, toRemove);
 }
예제 #7
0
 public static boolean deepestConflictingTransition(
     final Region _self, final ArrayList<Transition> activeTransitions) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   Object result = null;
   result = _privk3_deepestConflictingTransition(_self_, _self, activeTransitions);
   return (boolean) result;
 }
예제 #8
0
 /**
  * Finds the set of states that are active before the step and that will be left after the step.
  */
 public static void findOldActiveStates(
     final Region _self,
     final ArrayList<AbstractState> oldActiveStates,
     final Transition selectedTransition,
     final Hashtable<String, Object> context) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_findOldActiveStates(_self_, _self, oldActiveStates, selectedTransition, context);
 }
예제 #9
0
 /** Finds the transitions that will be fired during the step. */
 public static void findNewActiveTransitions(
     final Region _self,
     final ArrayList<Transition> newActiveTransitions,
     final Transition selectedTransition,
     final Hashtable<String, Object> context) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_findNewActiveTransitions(
       _self_, _self, newActiveTransitions, selectedTransition, context);
 }
예제 #10
0
 /**
  * Performs a step in the state machine i.e., reads an entry of the input stack and executes it.
  * If there are several events in the same step they are executed sequentially.
  */
 public static void step(
     final Region _self, final Hashtable<String, Object> context, final EList<String> events) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_step(_self_, _self, context, events);
 }
예제 #11
0
 public static void initRegion(final Region _self, final Hashtable<String, Object> context) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_initRegion(_self_, _self, context);
 }
예제 #12
0
 private static void history(final Region _self, final State history) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_history(_self_, _self, history);
 }
예제 #13
0
 public static void getAllChildren(
     final Region _self, final AbstractState vertex, final ArrayList<AbstractState> children) {
   fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
       fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
   _privk3_getAllChildren(_self_, _self, vertex, children);
 }