Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
LabelledProcessImpl |
signalTreeAPI.STree_mkLabelledModelCall(java.lang.String label,
java.lang.String pname)
Makes a labeled process call of a process (pname)
|
LabelledProcessImpl |
signalTreeAPI.STree_mkLabelledProcessCall(java.lang.String label,
ExprProcess exp)
Makes a labeled process call of a process
|