Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
TypesDeclarationImpl |
ASME2SSME_Translate_Data.ASME2SSME_DataImpl(org.osate.aadl2.DataImplementation dimpl)
Returns a Signal type declaration that represents an AADL data implementation
(this data implementation is not a subcomponent of any other component.
|
TypesDeclarationImpl |
ASME2SSME_Translate_Data.ASME2SSME_DataType(org.osate.aadl2.DataType dtype)
Returns a Signal type declaration that represents an AADL data type.
|
TypesDeclarationImpl |
ASME2SSME_Translate_FeatureGroup.ASME2SSME_FeatureGroupType_BW(org.osate.aadl2.FeatureGroupType fgt)
Translates feature group (only the port features are considered).
|
TypesDeclarationImpl |
ASME2SSME_Translate_FeatureGroup.ASME2SSME_FeatureGroupType_WB(org.osate.aadl2.FeatureGroupType fgt)
Translates port group.
|
TypesDeclarationImpl |
ASME2SSME_Translate_Process.ASME2SSME_ProcessType(org.osate.aadl2.ProcessType ptype,
org.osate.aadl2.ProcessImplementation pimpl)
Returns a Signal process type declaration
This declaration is in the form of "type process TT_xx_process = (?
|
TypesDeclarationImpl |
signalTreeAPI.STree_mkTypeDeclaration(Identifier type_id,
TypeDescriptionValue value)
returns a type declaration: type type_id = value;
|
Modifier and Type | Method and Description |
---|---|
void |
ASME2SSME_Translate_Data.ASME2SSME_DataImpl_SubData(org.osate.aadl2.DataImplementation dimpl,
TypesDeclarationImpl type_decl)
Translates data subcomponents of a data implementation
|
void |
signalTreeAPI.STree_addaTypeDeclarationToModule(ModuleImpl p,
TypesDeclarationImpl adecl)
Inserts a type declaration (adecl) to a module (m).
|