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;
}
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;
}
/** 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;
}
/**
* 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;
}
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);
}
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);
}
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;
}
/**
* 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);
}
/** 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);
}
/**
* 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);
}
public static void initRegion(final Region _self, final Hashtable<String, Object> context) {
fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
_privk3_initRegion(_self_, _self, context);
}
private static void history(final Region _self, final State history) {
fsmrhapsodyaspects.RegionAspectRegionAspectProperties _self_ =
fsmrhapsodyaspects.RegionAspectRegionAspectContext.getSelf(_self);
_privk3_history(_self_, _self, history);
}
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);
}