vm

Type Members

1. abstract class AACodeFragmentExecutor[R] extends CodeExecutorTrait

   

2. case class AAHappened(node: CallGraphNode, child: CallGraphNode, mode: AAHappenedMode) extends CallGraphMessageN with Product with Serializable

   

3. abstract class AAHappenedMode extends AnyRef

   

4. case class AAToBeReexecuted[R](node: N_code_fragment[R]) extends CallGraphMessageN with Product with Serializable

   

5. case class Activation(node: CallGraphNode) extends CallGraphMessageN with Product with Serializable

   

6. case class ActualAdaptingParameter[T](adaptee: FormalConstrainedParameter[T], constraint: (T) ⇒ Boolean = null) extends ActualParameter[T] with ParameterTransferrerTrait[T] with FormalConstrainedParameter[T] with Product with Serializable

   

7. case class ActualConstrainedParameter[T](originalValue: T, transferFunction: (T) ⇒ Unit, constraint: (T) ⇒ Boolean) extends ActualParameter[T] with ParameterTransferrerTrait[T] with FormalConstrainedParameter[T] with Product with Serializable

   

8. case class ActualOutputParameter[T](originalValue: T, transferFunction: (T) ⇒ Unit) extends ActualParameter[T] with ParameterTransferrerTrait[T] with FormalOutputParameter[T] with FormalConstrainedParameter[T] with Product with Serializable

   

9. abstract class ActualParameter[T] extends ActualParameterTrait[T]

   

10. trait ActualParameterTrait[T] extends FormalParameter[T]

    

11. case class ActualValueParameter[T](originalValue: T) extends ActualParameter[T] with FormalInputParameter[T] with FormalConstrainedParameter[T] with Product with Serializable

    

12. case class Break(node: CallGraphNode, child: CallGraphNode, activationMode: ActivationModeType) extends CallGraphMessageN with Product with Serializable

    

13. case class CAActivated(node: CallGraphNode, child: CallGraphNode) extends CallGraphMessageN with Product with Serializable

    

14. case class CAActivatedTBD[R](node: N_call[R]) extends CallGraphMessageN with Product with Serializable

    

15. case class CFActivated(node: CallGraphNode, child: CallGraphNode) extends CallGraphMessageN with Product with Serializable

    

16. case class CFExecutionFinished(node: CallGraphNode) extends CallGraphMessageN with Product with Serializable

    

17. case class CFToBeExecuted[R](node: N_code_fragment[R]) extends CallGraphMessageN with Product with Serializable

    

18. trait CallGraphMessage extends AnyRef

    

19. abstract class CallGraphMessageN extends CallGraphMessage with MessagePriorities

    

20. trait CodeExecutor extends AnyRef

    

21. trait CodeExecutorAdapter[R, CE <: CodeExecutorTrait] extends CodeExecutorTrait

    

22. trait CodeExecutorTrait extends Tracer

    

23. case class CommunicationParameter[T](n: Symbol) extends FormalParameter[T] with Product with Serializable

    

24. case class Continuation(node: N_n_ary_op) extends CallGraphMessageN with Product with Serializable

    

25. case class Continuation1(node: N_1_ary_op) extends CallGraphMessageN with Product with Serializable

    

26. trait Data extends AnyRef

    

27. case class Deactivation(node: CallGraphNode, child: CallGraphNode, excluded: Boolean) extends CallGraphMessageN with Product with Serializable

    

28. case class EventHandlingCodeFragmentExecutor[R](_n: N_code_fragment[R], _scriptExecutor: ScriptExecutor[_]) extends AACodeFragmentExecutor[R] with Product with Serializable

    

29. case class Exclude(parent: CallGraphNode, node: CallGraphNode) extends CallGraphMessageN with Product with Serializable

    

30. trait FormalConstrainedParameter[T] extends FormalParameter_readWrite[T]

    

31. trait FormalInputParameter[T] extends FormalParameter[T]

    

32. trait FormalOutputParameter[T] extends FormalParameter_readWrite[T]

    

33. trait FormalParameter[T] extends AnyRef

    

34. trait FormalParameter_readWrite[T] extends FormalParameter[T]

    

35. case class InvokeFromET(node: CallGraphNode, payload: () ⇒ Unit) extends CallGraphMessageN with Product with Serializable

    

36. case class LocalVariable[V](name: Symbol) extends Product with Serializable

    

37. trait MessagePriorities extends AnyRef

    

38. trait MsgListener extends AnyRef

    

39. trait MsgPublisher extends MsgListener

    

40. case class N_1_ary_op(template: T_1_ary_op) extends CallGraphTreeNode with Product with Serializable

    

41. case class N_annotation[CN <: Child, CT <: Child](template: T_annotation[CN, CT]) extends CallGraphTreeNode with Product with Serializable

    

42. case class N_break(template: T_break) extends CallGraphLeafNode with Product with Serializable

    

43. case class N_call[R](template: T_call[R]) extends CallGraphTreeNode with ScriptResultHolder[R] with Product with Serializable

    

44. case class N_code_eventhandling[R](template: T_code_eventhandling[R]) extends N_code_fragment[R] with UnsureExecutionResult with Product with Serializable

    

45. case class N_code_eventhandling_loop[R](template: T_code_eventhandling_loop[R]) extends N_code_fragment[R] with LoopExecutionResult with Product with Serializable

    

46. case class N_code_normal[R](template: T_code_normal[R]) extends N_code_fragment[R] with Product with Serializable

    

47. case class N_code_threaded[R](template: T_code_threaded[R]) extends N_code_fragment[R] with Product with Serializable

    

48. case class N_code_tiny[R](template: T_code_tiny[R]) extends N_code_fragment[R] with Product with Serializable

    

49. case class N_code_unsure[R](template: T_code_unsure[R]) extends N_code_fragment[R] with UnsureExecutionResult with Product with Serializable

    

50. case class N_delta(template: T_delta) extends CallGraphLeafNode with Product with Serializable

    

51. case class N_do_else(template: T_do_else) extends CallGraphTreeNode with Product with Serializable

    

52. case class N_do_then(template: T_do_then) extends CallGraphTreeNode with Product with Serializable

    

53. case class N_do_then_else(template: T_do_then_else) extends CallGraphTreeNode with Product with Serializable

    

54. case class N_epsilon(template: T_epsilon) extends CallGraphLeafNode with Product with Serializable

    

55. case class N_if(template: T_if) extends CallGraphTreeNode with Product with Serializable

    

56. case class N_if_else(template: T_if_else) extends CallGraphTreeNode with Product with Serializable

    

57. case class N_launch(template: T_launch) extends CallGraphLeafNode with Product with Serializable

    

58. case class N_launch_anchor(template: T_launch_anchor) extends CallGraphTreeNode with ChildrenState with Product with Serializable

    

59. case class N_localvar[V](template: T_localvar[V]) extends CallGraphLeafNode with Product with Serializable

    

60. case class N_loop(template: T_loop) extends CallGraphLeafNode with Product with Serializable

    

61. case class N_n_ary_op(template: T_n_ary_op, isLeftMerge: Boolean) extends CallGraphTreeNode with OptionalChildrenState with VariablesContainer with Tracer with Product with Serializable

    

    N-ary

    N-ary

    Exclusiveness

    The ; and + operators are fully exclusive. That means that if an atomic action in one operand happens, all other operands are excluded.

    The “/“ operator is semi-exclusive: if an atomic action in one operand happens, all other operands that are older (more to the left) are excluded; for the rest “/“ acts much like “|”.

    “&&” and “||” exclude operands in special cases: for && if one operand fails (i.e. it is deactivated without having a recent success); for || when one operand is deactivated while having a recent success.

62. case class N_nu(template: T_nu) extends CallGraphLeafNode with Product with Serializable

    

63. case class N_optional_break(template: T_optional_break) extends CallGraphLeafNode with Product with Serializable

    

64. case class N_optional_break_loop(template: T_optional_break_loop) extends CallGraphLeafNode with Product with Serializable

    

65. case class N_privatevar(template: T_privatevar) extends CallGraphNode with GraphLeafNode with Product with Serializable

    

66. case class N_while(template: T_while) extends CallGraphLeafNode with Product with Serializable

    

67. class NormalCodeFragmentExecutor[R] extends AACodeFragmentExecutor[R]

    

68. trait ParameterTransferrerTrait[T] extends ActualParameterTrait[T]

    

69. case class Resume(node: CallGraphNode) extends CallGraphMessageN with Product with Serializable

    

70. trait Script[R] extends ScriptResultHolder[R]

    

71. case class ScriptNode[R](template: T_script, p: FormalParameter[_]*) extends CallGraphTreeNode with Script[R] with Product with Serializable

    

72. class SimpleScriptDebuggerClass extends MsgListener

    

73. case class SuccessMsg(node: CallGraphNode, child: CallGraphNode = null) extends CallGraphMessageN with Product with Serializable

    

74. case class Suspend(node: CallGraphNode) extends CallGraphMessageN with Product with Serializable

    

75. class ThreadedCodeFragmentExecutor[R] extends NormalCodeFragmentExecutor[R]

    

76. case class TinyCodeExecutor(n: CallGraphNode, scriptExecutor: ScriptExecutor[_]) extends CodeExecutorTrait with Product with Serializable

    

77. class UnsureCodeFragmentExecutor[R] extends AACodeFragmentExecutor[R]

    

78. case class VariableHolder[V](value: V) extends Product with Serializable