Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
SignalsDeclarationImpl |
ASME2SSME_Translate_Common.ASME2SSME_BehavioredImpl_SubprogramSubcomponent1(org.osate.aadl2.SubprogramSubcomponent sub_sp,
org.osate.aadl2.BehavioredImplementation t)
Translates a subprogram subcomponent (x: subprogram sp) of a thread (or subprogram) t
as an input event: event x,
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_DataPort(org.osate.aadl2.DataPort dataPort)
Returns a Signal signal declaration that represents an AADL data port (data port of a process or system component, but not a thread)
The signal name is the same as the data port name,
and its type name is same with the data type
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_EventDataPort(org.osate.aadl2.EventDataPort p)
Returns a Signal signal declaration that represents an AADL event data port
The signal name is the same as the event data port name,
and its type name is same with the Signal name of its data type
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_EventPort(org.osate.aadl2.EventPort e)
Returns a signal declaration that represents an AADL event port
The signal name is the same as the event port name,
and its type name is "event"
|
SignalsDeclarationImpl |
ASME2SSME_Translate_FeatureGroup.ASME2SSME_FeatureGroup_bw(org.osate.aadl2.FeatureGroup pg)
Translates feature group.
|
SignalsDeclarationImpl |
ASME2SSME_Translate_FeatureGroup.ASME2SSME_FeatureGroup_wb(org.osate.aadl2.FeatureGroup pg)
Translates feature group.
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_Parameter(org.osate.aadl2.Parameter p)
Returns a Signal signal declaration that represents an AADL paramter (feature)
The signal name is the same as the paramter,
and its type name is same with the data type
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_Port(org.osate.aadl2.Port p)
A port is represented as a signal
|
SignalsDeclarationImpl |
ASME2SSME_Translate_PortGroup.ASME2SSME_PortGroup_bw(org.osate.aadl2.FeatureGroup pg)
Translates port group (feature group in OSATE2).
|
SignalsDeclarationImpl |
ASME2SSME_Translate_PortGroup.ASME2SSME_PortGroup_wb(org.osate.aadl2.FeatureGroup pg)
Translates port group (feature group in OSATE2).
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_RequiresDataAccess_Bundle(org.osate.aadl2.DataAccess da1)
Translates a requires data access feature x as an output bundle: bundle x;
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_RequiresDataAccess_ReadTime(org.osate.aadl2.DataAccess da1)
Translates a requires data access feature x as an output event: event x_ReadTime;
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_RequiresDataAccess_reset(org.osate.aadl2.DataAccess da1)
Translates a requires data access feature x as an output event: event x_reset;
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_RequiresDataAccess_WriteTime(org.osate.aadl2.DataAccess da1)
Translates a requires data access feature x as an output event: event x_WriteTime;
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_RequiresSubprogramAccess_call(org.osate.aadl2.SubprogramAccess da1)
Translates a requires subprogram access feature x as an output event: event x;
|
SignalsDeclarationImpl |
ASME2SSME_Translate_Feature.ASME2SSME_SubprogramCall1(org.osate.aadl2.SubprogramCall call1,
org.osate.aadl2.BehavioredImplementation t)
Translates a subprogram call x as an event: event x,
if the called subprogram sp is not a subcomponent of the thread t
|
SignalsDeclarationImpl |
signalTreeAPI.mkBooleanDecl(java.lang.String name) |
SignalsDeclarationImpl |
signalTreeAPI.mkDecl(java.lang.String id,
java.lang.String typeId) |
SignalsDeclarationImpl |
signalTreeAPI.mkDecl(java.lang.String id,
Type vtype) |
SignalsDeclarationImpl |
signalTreeAPI.mkEventDecl(java.lang.String id) |
SignalsDeclarationImpl |
signalTreeAPI.mkIntegerDecl(java.lang.String id) |
SignalsDeclarationImpl |
signalTreeAPI.mkStringDecl(java.lang.String id) |
SignalsDeclarationImpl |
signalTreeAPI.STree_mkSignalDeclaration(IdentifierImpl id,
Type vtype,
java.lang.Object vinit)
Returns a signal declaration (in the form of: vtype id init vinit)
|
Modifier and Type | Method and Description |
---|---|
PredefinedTypeImpl |
signalTreeAPI.STree_mkSamePredefinedType(SignalsDeclarationImpl s)
Creates a predefined type that is the same as the signal s's type
|