Google Git
Sign in
eclipse / efm / org.eclipse.efm-symbex / refs/heads/master / . / org.eclipse.efm.symbex / src / fml / infrastructure
tree: 63e74f354b9e9bf4977a97303b39d77593f3b4d3 [path history] [tgz]
  1. BehavioralPart.cpp
  2. BehavioralPart.h
  3. Buffer.cpp
  4. Buffer.h
  5. Channel.cpp
  6. Channel.h
  7. ComPoint.cpp
  8. ComPoint.h
  9. CompositePart.cpp
  10. CompositePart.h
  11. ComProtocol.cpp
  12. ComProtocol.h
  13. ComRoute.cpp
  14. ComRoute.h
  15. Connector.cpp
  16. Connector.h
  17. DataType.cpp
  18. DataType.h
  19. InstanceSpecifierPart.cpp
  20. InstanceSpecifierPart.h
  21. InteractionPart.cpp
  22. InteractionPart.h
  23. Machine.cpp
  24. Machine.h
  25. MachineQuery.cpp
  26. MachineQuery.h
  27. ModelOfComputationPart.cpp
  28. ModelOfComputationPart.h
  29. Package.cpp
  30. Package.h
  31. Port.cpp
  32. Port.h
  33. PropertyPart.cpp
  34. PropertyPart.h
  35. README.md
  36. Routine.cpp
  37. Routine.h
  38. System.cpp
  39. System.h
  40. Transition.cpp
  41. Transition.h
  42. TransitionMoc.cpp
  43. TransitionMoc.h
  44. Variable.cpp
  45. Variable.h
org.eclipse.efm.symbex/src/fml/infrastructure/README.md

EFM-SYMBEX : Infrastructure

Object lyfe cycle / stage

Modeling

Compiled

Runtime

Elements

ModelingCompiledRuntime
SystemExecutableSystemExecution Context/Data
SystemExecutableFormRuntimeForm
MachineExecutableFormRuntimeForm
MachineInstanceOfMachineOptimized Runtime Process Access
StatemachineExecutableFormRuntimeForm
StatemachineInstanceOfMachineOptimized Runtime Process Access
StateExecutableForm?? RuntimeForm
StateInstanceOfMachine?? Optimized Runtime Process Access
ProcedureExecutableFormRuntimeForm
ProcedureInstanceOfMachineOptimized Runtime Process Access
InstanceInstanceOfMachineOptimized Runtime Process Access
InstanceInstanceOfMachineSpecific Primitive Routine Code
Primitive RoutineProgramOptimized
RoutineProgramOptimized
TransitionProgramOptimized
TransitionProgramOptimized
VariableInstanceOfDataOptimized Runtime [L/R] Value Access
BufferInstanceOfBufferOptimized Runtime Concrete Buffer Access
PortInstanceOfPortOptimized Runtime Routing Data Access
Signal/MessageMessage Data
ConnectorInstanceOfConnector
ExpressionBytecodeOptimized Bytecode
InstructionBytecodeOptimized Bytecode

Source code structure

Interfaces

Classes

  • System
  • Machine
  • Behavior
  • Routine
  • Procedure
  • Instance
  • Connector
  • Router
  • Message

Behavior

  • Statemachine
  • Region
  • State
  • Pseudstate
  • Transition

Statemachine Behavior

  • Statemachine
  • Region
  • State
  • Pseudstate
  • Transition

Factories