com.evelopers.unimod.debug
Class BreakpointPositions

java.lang.Object
  com.evelopers.unimod.debug.BreakpointPositions

public class BreakpointPositions

extends java.lang.Object

For any model element returns array of positions, which may be used as breakpoint. It's guaranteed that debugger stops only in these positions.

Method Summary

static Position[]	getPositions(StateMachine sm, State s) Returns positions that must be used as breakpoints to stop in given state, before execution of on-enter action
static Position[]	getPositions(StateMachine sm, State s, Action a) Returns positions that must be used as breakpoints to stop before execution of given action in given state
static Position[]	getPositions(StateMachine sm, State s, StateMachine subMachine)
static Position[]	getPositions(StateMachine sm, Transition t) Returns positions that must be used as breakpoints to stop on given transition, before calculating guard condition
static Position[]	getPositions(StateMachine sm, Transition t, Action a, boolean output) Returns positions that must be used as breakpoints to stop before execution of input or output action on given transition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getPositions

public static Position[] getPositions(StateMachine sm,
                                      State s)

Returns positions that must be used as breakpoints to stop in given state, before execution of on-enter action

Parameters:

s -

Returns:

getPositions

public static Position[] getPositions(StateMachine sm,
                                      Transition t)

Returns positions that must be used as breakpoints to stop on given transition, before calculating guard condition

Parameters:

t -

Returns:

getPositions

public static Position[] getPositions(StateMachine sm,
                                      State s,
                                      Action a)

Returns positions that must be used as breakpoints to stop before execution of given action in given state

Parameters:

s -

a -

Returns:

getPositions

public static Position[] getPositions(StateMachine sm,
                                      State s,
                                      StateMachine subMachine)

getPositions

public static Position[] getPositions(StateMachine sm,
                                      Transition t,
                                      Action a,
                                      boolean output)

Returns positions that must be used as breakpoints to stop before execution of input or output action on given transition

Parameters:

t -

a -

output -

Returns: