Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions | |
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Method and Description |
---|---|
void |
signalTreeAPI.STree_addDeclarationToConfinedExpr(RestrictionProcess p_conf,
java.util.ArrayList<Declaration> vdecl)
Adds a list of declarations(vdecl) to an assumed confined expression (p_conf).
|
Modifier and Type | Method and Description |
---|---|
RestrictionProcess |
SsmeFactory.createRestrictionProcess()
Returns a new object of class 'Restriction Process'
|
Modifier and Type | Class and Description |
---|---|
class |
RestrictionProcessImpl
An implementation of the model object 'Restriction Process'
|
Modifier and Type | Method and Description |
---|---|
RestrictionProcess |
SsmeFactoryImpl.createRestrictionProcess() |
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseRestrictionProcess(RestrictionProcess object)
Returns the result of interpreting the object as an instance of 'Restriction Process'
|