Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
ListModuleImpl |
ASME2SSME_Translate_Spec.ASME2SSME_AadlSpec_package(org.osate.aadl2.AadlPackage aadlRootModel)
Returns a ListModuleImpl object (a module) that contains all the components specified in an AADL specification
|
ListModuleImpl |
ASME2SSME_Translate_Spec.ASME2SSME_AadlSpec_PropertySet(org.osate.aadl2.PropertySet aadlRootModel)
Returns a ListModuleImpl object (a module) that contains all the components specified in an AADL specification
|
ListModuleImpl |
signalTreeAPI.STree_mkSkeletonModule()
Returns a skeleton of listmodule
|
Modifier and Type | Method and Description |
---|---|
void |
signalTreeAPI.STree_addModuleToRootModule(ListModuleImpl lmodule,
ModuleImpl amodule)
Add a module (amodule) to the root ListModule (lmodule)
|