Package | Description |
---|---|
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Interface and Description |
---|---|
interface |
AssertSignal
A representation of the model object 'Assert Signal'
|
interface |
ProcessCall
A representation of the model object 'Process Call'
|
interface |
ProcessCallOrAssert
A representation of the model object 'Process Call Or Assert'
|
interface |
ProcessExpansion
A representation of the model object 'Process Expansion'
|
Modifier and Type | Class and Description |
---|---|
class |
AssertSignalImpl
An implementation of the model object 'Assert Signal'
|
class |
ProcessCallImpl
An implementation of the model object 'Process Call'
|
class |
ProcessExpansionImpl
An implementation of the model object 'Process Expansion'
|
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseProcessInstance(ProcessInstance object)
Returns the result of interpreting the object as an instance of 'Process Instance'
|