scxml4py.helper Namespace Reference

Functions
def	getAtomicStates (states)
	helper module part of scxml4py. More...
def	getAncestorsList (states)
def	getAncestorsSet (states)
def	findLeastCommonAncestor (s1, s2)
def	findActionInList (theActionId, theList)
def	findActivityInList (theActivityId, theList)
def	isPreempted (s, transitions)
def	compareStates (s1, s2)
	returns first argument goes before the second argument in the specific strict weak ordering it defines, returns otherwise. More...
def	isStateInList (theState, theList)
def	isTransitionInList (theTrans, theList)
def	getClonedStateAbsId (regionNo, rootState, state, absId)
def	updateClonedTransitionTargets (regionNo, rootState, clonedState, statesMap)
def	formatStatus (status, toBeSorted=True)
def	formatTransitions (transitions)
def	formatState (s, prefix)
def	formatModel (stateMachine)

Function Documentation

compareStates()

def scxml4py.helper.compareStates	(		s1,
			s2
	)

returns first argument goes before the second argument in the specific strict weak ordering it defines, returns otherwise.

findActionInList()

def scxml4py.helper.findActionInList	(		theActionId,
			theList
	)

findActivityInList()

def scxml4py.helper.findActivityInList	(		theActivityId,
			theList
	)

findLeastCommonAncestor()

def scxml4py.helper.findLeastCommonAncestor	(		s1,
			s2
	)

formatModel()

def scxml4py.helper.formatModel

(

stateMachine

)

formatState()

def scxml4py.helper.formatState	(		s,
			prefix
	)

formatStatus()

def scxml4py.helper.formatStatus	(		status,
			toBeSorted = True
	)

formatTransitions()

def scxml4py.helper.formatTransitions

(

transitions

)

getAncestorsList()

def scxml4py.helper.getAncestorsList

(

states

)

getAncestorsSet()

def scxml4py.helper.getAncestorsSet

(

states

)

getAtomicStates()

def scxml4py.helper.getAtomicStates

(

states

)

helper module part of scxml4py.

Authors

: landolfa

Date

: 2016-12-27

Copyright

: LGPL 2.1 This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.

getClonedStateAbsId()

def scxml4py.helper.getClonedStateAbsId	(		regionNo,
			rootState,
			state,
			absId
	)

isPreempted()

def scxml4py.helper.isPreempted	(		s,
			transitions
	)

• Return true if a transition 't' in 'transitions' exits an ancestor of state 's'.
• • In this case, taking 't' will pull the state machine out of 's' and we say that
  • it preempts the selection of a transition from 's'. Such preemption will occur
  • only if 's' is a descendant of a parallel region and 't' exits that region.
  • If we did not do this preemption check, we could end up in an illegal configuration,
  • namely one in which there were multiple active states that were not all descendants
  • of a common parallel ancestor.

isStateInList()

def scxml4py.helper.isStateInList	(		theState,
			theList
	)

isTransitionInList()

def scxml4py.helper.isTransitionInList	(		theTrans,
			theList
	)

updateClonedTransitionTargets()

def scxml4py.helper.updateClonedTransitionTargets	(		regionNo,
			rootState,
			clonedState,
			statesMap
	)