Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
ModuleImpl |
signalTreeAPI.STree_mkModule(Identifier name)
Makes an empty module with an identifier (name).
|
Modifier and Type | Method and Description |
---|---|
void |
ASME2SSME_Translate_Package.ASME2SSME_AADLPackage(org.osate.aadl2.AadlPackage ap,
ModuleImpl vmodule)
an AADL package is translated as a Signal module, the public and private
section are translated separately.
|
ProcessModelImpl |
ASME2SSME_Translate_Process.ASME2SSME_ProcessImpl_Thread(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule)
A thread t is represented as a Singla process depending on its type
|
ProcessModelImpl |
ASME2SSME_Translate_Process.ASME2SSME_ProcessImpl(org.osate.aadl2.ProcessImplementation p,
SignalElementImpl sys_process,
ModuleImpl vmodule,
org.osate.aadl2.AadlPackage aadlpkg)
Returns a Signal process that represents an AADL process implementaton component
The interface is an identifier whose name is "TT_xx" (xx is the name of this Signal process).
|
void |
ASME2SSME_Translate_PropertySet.ASME2SSME_PropertySet(org.osate.aadl2.PropertySet ps,
ModuleImpl vmodule)
Translates AADL property set
|
ProcessModelImpl |
ASME2SSME_Translate_Subprogram.ASME2SSME_SubprogramImpl(org.osate.aadl2.SubprogramImplementation subp_impl,
ModuleImpl vmodule)
Returns a Signal process that represents a device implementation
component.
|
ProcessModelImpl |
ASME2SSME_Translate_Subprogram.ASME2SSME_SubprogramType(org.osate.aadl2.SubprogramType subp_type,
ModuleImpl vmodule)
Returns a Signal process that represents a subprogram type component
An in event "call" is added to give the clock when the subprogram is
called.
|
ProcessModelImpl |
ASME2SSME_Translate_System.ASME2SSME_SystemImpl(org.osate.aadl2.SystemImplementation s,
ModuleImpl vmodule,
org.osate.aadl2.AadlPackage aadlpkg)
translates a system implementation (s) to a Signal process.
|
ProcessModelImpl |
ASME2SSME_Translate_AperiodicThread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule) |
ProcessModelImpl |
ASME2SSME_Translate_PeriodicThread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule) |
ProcessModelImpl |
ASME2SSME_Translate_TimedThread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule) |
ProcessModelImpl |
ASME2SSME_Translate_Thread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule)
Returns a Signal process that represents an AADL thread implementation component
The interface is generated by a method ASME2SSME_ComponentInterface(), where its type component is passed as a parameter.
|
ProcessModelImpl |
ASME2SSME_Translate_SporadicThread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule) |
ProcessModelImpl |
ASME2SSME_Translate_HybridThread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule) |
ProcessModelImpl |
ASME2SSME_Translate_BackgroundThread.ASME2SSME_ThreadImpl(org.osate.aadl2.ThreadImplementation t,
ModuleImpl vmodule) |
void |
signalTreeAPI.STree_addaConstantToModule(ModuleImpl p,
ConstantsDeclarationImpl adecl)
Inserts a type declaration (adecl) to a module (m).
|
void |
signalTreeAPI.STree_addaTypeDeclarationToModule(ModuleImpl p,
TypesDeclarationImpl adecl)
Inserts a type declaration (adecl) to a module (m).
|
void |
signalTreeAPI.STree_addModuleToRootModule(ListModuleImpl lmodule,
ModuleImpl amodule)
Add a module (amodule) to the root ListModule (lmodule)
|
void |
signalTreeAPI.STree_addProcessDeclarationToModule(ModuleImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a module (vtreeproc)
|
void |
signalTreeAPI.STree_adduseModuleToAModule(ModuleImpl amodule,
Identifier mid)
Adds a module ID (mid) to a ModuleImpl (amodule)
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
|
ProcessTypeImpl |
signalTreeAPI.STree_GetProcessTypeDeclarationFromAModule(ModuleImpl vmodule,
java.lang.String aname) |
TypeDescriptionImpl |
signalTreeAPI.STree_GetTypeDescriptionFromAModule(ModuleImpl vmodule,
java.lang.String aname) |