Package | Description |
---|---|
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Method and Description |
---|---|
AssertSignal |
SsmeFactory.createAssertSignal()
Returns a new object of class 'Assert Signal'
|
Modifier and Type | Class and Description |
---|---|
class |
AssertSignalImpl
An implementation of the model object 'Assert Signal'
|
Modifier and Type | Method and Description |
---|---|
AssertSignal |
SsmeFactoryImpl.createAssertSignal() |
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseAssertSignal(AssertSignal object)
Returns the result of interpreting the object as an instance of 'Assert Signal'
|