Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
RestrictionProcessImpl |
signalTreeAPI.STree_addLocalBlock(DescriptionImpl p_desc)
Adds an empty "local declaration (where)" area in second child of the p_dec tree (Description).
|
RestrictionProcessImpl |
signalTreeAPI.STree_mkConfinedExpression(ExprProcess expr,
org.eclipse.emf.common.util.EList<Declaration> decl)
Makes an abtract tree representing a Signal confined process
\bsg (| expr |) where
|
RestrictionProcessImpl |
signalTreeAPI.STree_mkEmptyConfinedExpr()
Returns an empty confined process.
|