EFM-SYMBEX : Runtime
Source code structure
Interfaces
Classes
Processes
- PID as Process Identifier of Instance of Machine
- Process as Instance at runtime stage in an Execution Context snapshot
- ProcessTable as Process Table
Table
- ValueTable as Value Table of Process w.r.t Variable Table of Instance Model, aka Machine
- BufferInstanceTable as Buffer Instance Table of Process w.r.t Buffer Model Table of Instance Model, aka Machine
Message Table
Interfaces
- IMessageTable as Runtime Buffer Interface for message storage
Classes
- FifoMessageTable as Message Table with FIFO storage handler
- LifoMessageTable as Message Table with LIFO storage handler
- BagMessageTable as Message Table with BAG storage handler
- SetMessageTable as Message Table with SET storage handler
- RamMessageTable as Message Table with RAM storage handler
Factories
- MessageTable as Smart Pointer
Factories