Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
ProcessModelImpl |
ASME2SSME_Translate_Bus.ASME2SSME_Bus_behavior(java.lang.String p_name)
Returns a Signal process "xx_behavior" that represents the behavior of a bus implementation component
This Signal process is named as "xx_behavior", where "xx" is the name of the Signal process that represents this bus implementation.
|
ProcessModelImpl |
ASME2SSME_Translate_Bus.ASME2SSME_Bus_property(org.osate.aadl2.BusImplementation b_impl)
Returns a Signal process "xx_property" that represents the properties of a bus implementation component
This Signal process is named as "xx_property", where "xx" is the name of the Signal process that represents this bus implementation.
|
ProcessModelImpl |
ASME2SSME_Translate_Bus.ASME2SSME_BusImpl(org.osate.aadl2.BusImplementation b)
Returns a Signal process that represents a bus implementation component
This Signal process is named by a method Name_of_Bus().
|
ProcessModelImpl |
ASME2SSME_Translate_Bus.ASME2SSME_BusType(org.osate.aadl2.BusType bt)
A bus type is represented as a Signal process
|
ProcessModelImpl |
ASME2SSME_Translate_Property.ASME2SSME_Component_Properties_Call(org.osate.aadl2.ComponentImplementation c_impl,
java.lang.String process_name)
Returns a Signal process xx_property that represents the properties of a
component implementation.
|
ProcessModelImpl |
ASME2SSME_Translate_Common.ASME2SSME_ComponentImpl_Flows(org.osate.aadl2.ComponentImplementation c)
Translates flow implementations.
|
ProcessModelImpl |
ASME2SSME_Translate_Common.ASME2SSME_ComponentType_FlowSpecs(org.osate.aadl2.ComponentType t)
Translates flow specifications.
|
ProcessModelImpl |
ASME2SSME_Translate_Device.ASME2SSME_Device_behavior(org.osate.aadl2.DeviceImplementation d)
Returns a Signal process "xx_Device_behavior" that represents the behavior of a device component
This process name is "xxx_behavior", where xxx is this device's corresponding Signal process name.
|
ProcessModelImpl |
ASME2SSME_Translate_Device.ASME2SSME_Device_property(org.osate.aadl2.DeviceImplementation device_impl)
Returns a Signal process xx_device_property that represents the properties of a device component.
|
ProcessModelImpl |
ASME2SSME_Translate_Device.ASME2SSME_DeviceImpl(org.osate.aadl2.DeviceImplementation d)
Returns a Signal process that represents a device implementation.
|
ProcessModelImpl |
ASME2SSME_Translate_Device.ASME2SSME_DeviceType(org.osate.aadl2.DeviceType d)
Returns a Signal process that represents a device type component
Gets the in/out port of this device type, and translates them as the input/output of the interface (use ASME2SSME_ComponentInterface())
|
ProcessModelImpl |
ASME2SSME_Translate_Memory.ASME2SSME_Memory_behavior(org.osate.aadl2.MemoryImplementation mi)
Returns a "xx_Memory_behavior" process
|
ProcessModelImpl |
ASME2SSME_Translate_Memory.ASME2SSME_Memory_property(org.osate.aadl2.MemoryImplementation mi)
Returns a Signal process "xx_property" that represents the properties of a memory implementation component
This Signal process is named as "xx_property", where "xx" is the name of the Signal process that represents this memory implementation.
|
ProcessModelImpl |
ASME2SSME_Translate_Memory.ASME2SSME_MemoryImpl(org.osate.aadl2.MemoryImplementation mi)
Translates AADL memory implementation
|
ProcessModelImpl |
ASME2SSME_Translate_Memory.ASME2SSME_MemoryType_property(org.osate.aadl2.MemoryType mt)
Returns a Signal process "xx_property" that represents the properties of a memory type component
This Signal process is named as "xx_property", where "xx" is the name of the Signal process that represents this memory type.
|
ProcessModelImpl |
ASME2SSME_Translate_Memory.ASME2SSME_MemoryType(org.osate.aadl2.MemoryType mt)
Translates AADL memory type as a Signal process
|
ProcessModelImpl |
ASME2SSME_Simulate_Deadline.ASME2SSME_mkSimDeadline(org.osate.aadl2.ProcessorSubcomponent subp,
java.util.ArrayList<org.osate.aadl2.ProcessSubcomponent> list1)
Make a Signal process that simulates the generation of Deadline signals
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Aperiodic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of aperiodic threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Background(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Background threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Hybrid(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Hybrid threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Periodic(java.lang.Integer n)
Make a Signal process that simulates the generation of Dispatch signals.
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Sporadic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of sporadic threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Timed(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Timed threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Initialize.ASME2SSME_mkSimInitialize(org.osate.aadl2.ProcessorSubcomponent subp,
java.util.ArrayList<org.osate.aadl2.ProcessSubcomponent> list1)
Make a Signal process that simulates the generation of Initialize signals
|
ProcessModelImpl |
ASME2SSME_Simulate_Resume.ASME2SSME_mkSimResume(org.osate.aadl2.ProcessorSubcomponent subp,
java.util.ArrayList<org.osate.aadl2.ProcessSubcomponent> list1)
Make a Signal process that simulates the generation of Resume signals
|
ProcessModelImpl |
ASME2SSME_Simulate_TimeEvent.ASME2SSME_mkSimTimeEvent(org.osate.aadl2.ProcessorSubcomponent subp,
java.util.ArrayList<org.osate.aadl2.ProcessSubcomponent> list1)
Make a Signal process that simulates the generation of time_event signals
|
ProcessModelImpl |
ASME2SSME_Translate_ParameterConnection.ASME2SSME_ParameterConnection_Definition(org.osate.aadl2.ComponentImplementation compImpl,
org.osate.aadl2.ParameterConnection cc)
Returns a Signal process that represents a data port connection between two processes that bound to different processors.
|
ProcessModelImpl |
ASME2SSME_Translate_ParameterConnection.ASME2SSME_ParameterConnection_property(org.osate.aadl2.ThreadImplementation thread_impl,
java.lang.String pc_name)
Returns a Signal process xx_Parameter_Connection_property that represents the properties of a parameter connection.
|
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).
|
ProcessModelImpl |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_Behavior(ProcessModelImpl vprocess,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Returns a Signal process "xx_processor_behavior" that represents the behavior of a processor subcomponenet
This Signal process is named as xx_processor_behavior, where xx is this processor subcomponent's name.
|
ProcessModelImpl |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_property(org.osate.aadl2.ProcessorSubcomponent subprocessor)
Returns a Signal process "xx_property" that represents the properties of a processor component.
|
ProcessModelImpl |
ASME2SSME_Translate_Processor.ASME2SSME_ProcessorImpl(org.osate.aadl2.ProcessorImplementation p,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Returns a Signal process that represents a processor implementation component.
|
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_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_PeriodicThread.ASME2SSME_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_TimedThread.ASME2SSME_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_Thread.ASME2SSME_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name)
Returns a Signal process "xx_behavior", which is a subprocess of thread
The interface is created by a called method ASME2SSME_ComponentInterface().
|
ProcessModelImpl |
ASME2SSME_Translate_SporadicThread.ASME2SSME_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_HybridThread.ASME2SSME_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_BackgroundThread.ASME2SSME_thread_behavior(org.osate.aadl2.ThreadImplementation t,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_DataPort.ASME2SSME_Thread_InDataPort_behavior(java.lang.String t_name)
Returns a Signal process "xx_InDataPort_behavior", which is a subprocess of thread in data port
This Signal process is named as xx_InDataPort_behavior, where xx is the data port name.
|
ProcessModelImpl |
ASME2SSME_Translate_DataPort.ASME2SSME_Thread_InDataPort(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.DataPort dataPort)
Returns a Signal process that represents an AADL in data port of a thread
This Signal process is xx_InDataPort, where xx is the name of the data port.
|
ProcessModelImpl |
ASME2SSME_Translate_EventDataPort.ASME2SSME_Thread_InEventDataPort_behavior(java.lang.String t_name)
Returns a Signal process "xx_InEventDataPort_behavior", which is a subprocess of thread in event data port
This Signal process is named as xx_InEventDataPort_behavior, where xx is the event data port name.
|
ProcessModelImpl |
ASME2SSME_Translate_EventDataPort.ASME2SSME_Thread_InEventDataPort(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.EventDataPort p1)
Returns a Signal process that represents an AADL in data port of a thread
This Signal process is xx_InDataPort, where xx is the name of the data port.
|
ProcessModelImpl |
ASME2SSME_Translate_EventPort.ASME2SSME_Thread_InEventPort_behavior(java.lang.String t_name)
Returns a Signal process "xx_InEventPort_behavior", which is a subprocess of thread in event port
This Signal process is named as xx_InEventPort_behavior, where xx is the event port name.
|
ProcessModelImpl |
ASME2SSME_Translate_EventPort.ASME2SSME_Thread_InEventPort(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.EventPort p1)
Returns a Signal process that represents an AADL in event port of a thread
This Signal process is xx_InEventPort, where xx is the name of the event port.
|
ProcessModelImpl |
ASME2SSME_Translate_DataPort.ASME2SSME_Thread_OutDataPort_behavior(java.lang.String t_name)
Returns a Signal process xx_OutDataPort_behavior() that represents the behavior of an out data port of a thread
This process is named as "xx_OutDataPort_behavior", where xx is the name of this data port.
|
ProcessModelImpl |
ASME2SSME_Translate_DataPort.ASME2SSME_Thread_OutDataPort(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.DataPort dataPort)
Returns a Signal process xx_OutDataPort() that represents an out data port of a thread
This process is named as "xx_OutDataPort", where xx is the name of this data port.
|
ProcessModelImpl |
ASME2SSME_Translate_EventDataPort.ASME2SSME_Thread_OutEventDataPort_behavior(java.lang.String t_name)
Returns a Signal process "xx_OutEventDataPort_behavior", which is a subprocess of thread out event data port
This Signal process is named as xx_OutEventDataPort_behavior, where xx is the event data port name.
|
ProcessModelImpl |
ASME2SSME_Translate_EventDataPort.ASME2SSME_Thread_OutEventDataPort(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.EventDataPort p1)
Translates out event data port of a thread
|
ProcessModelImpl |
ASME2SSME_Translate_EventPort.ASME2SSME_Thread_OutEventPort_behavior(java.lang.String t_name)
Returns a Signal process "xx_OutEventPort_behavior", which is a subprocess of thread out event port
This Signal process is named as xx_OutEventPort_behavior, where xx is the event port name.
|
ProcessModelImpl |
ASME2SSME_Translate_EventPort.ASME2SSME_Thread_OutEventPort(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.EventPort p1)
Translates out event port of a thread
|
ProcessModelImpl |
ASME2SSME_Translate_Port.ASME2SSME_Thread_Port_property(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.Port p)
Returns a Signal process "xx_yyPort_property()" that represents the properties of a thread port.
|
ProcessModelImpl |
ASME2SSME_Translate_AperiodicThread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_PeriodicThread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_TimedThread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_Thread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name)
Returns a Signal process "xx_thread_property" that represents the properties of a thread
process xx_Thread_property =(?
|
ProcessModelImpl |
ASME2SSME_Translate_SporadicThread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_HybridThread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name) |
ProcessModelImpl |
ASME2SSME_Translate_BackgroundThread.ASME2SSME_thread_property(org.osate.aadl2.ThreadImplementation timpl,
java.lang.String t_name) |
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) |
ProcessModelImpl |
signalTreeAPI.STree_addEmptyInterface(ProcessModelImpl p_proc)
Adds a an empty interface for a process (p_proc)
|
ProcessModelImpl |
signalTreeAPI.STree_GetProcessDeclarationFromProcess(ProcessModelImpl vprocess,
java.lang.String aname)
Gets a process declaration whose name is aname, that is defined in the vprocess
|
ProcessModelImpl |
signalTreeAPI.STree_mkProcess(Identifier p_nom,
ProcessModelInterfaceImpl p_inte,
Description p_desc)
Makes a model of a process with its name (p_nom), its interface (p_inte) and its description (expression + local declarations) (p_desc)
|
ProcessModelImpl |
signalTreeAPI.STree_mkSkeletonModel(Identifier id)
Returns a skeleton of a process
|
ProcessModelImpl |
signalTreeAPI.STree_mkSkeletonModel(Identifier id,
int op)
/**
Returns a skeleton of a process if op=opprocess, else null
|
Modifier and Type | Method and Description |
---|---|
void |
ASME2SSME_Translate_Common.ASME2SSME_add_Declaration_to_ProcessType_Interface(java.lang.String name,
java.lang.String type,
ProcessModelImpl vprocess,
SignalElementImpl mmodel,
int i)
Adds a signal declaration to a ProcessType (which represents an AADL process type component) interface.
|
void |
ASME2SSME_Translate_Common.ASME2SSME_add_IDInterface_to_Process(ProcessModelImpl vprocess,
java.lang.String id_name)
Adds an interface to a process (vprocess),
where the interface is an identifier with a name (id_name)
|
void |
ASME2SSME_Translate_Common.ASME2SSME_add_input_to_process_interface(java.lang.String name,
java.lang.String type,
ProcessModelImpl vprocess)
Adds an input signal to an interface of a Singal process.
|
void |
ASME2SSME_Translate_Common.ASME2SSME_add_output_to_process_interface(java.lang.String name,
java.lang.String type,
ProcessModelImpl vprocess)
Adds an output signal to an interface of a Singal process.
|
void |
ASME2SSME_Translate_Bus.ASME2SSME_Bus_Features(org.osate.aadl2.BusType btype,
ProcessModelImpl vprocess)
Translate bus features (bus access)
|
void |
ASME2SSME_Translate_Common.ASME2SSME_component_instance(ProcessModelImpl vprocess,
ProcessModelImpl pprocess,
java.lang.String label)
Makes a process call of a component Signal process, and adds it to the upper level's Signal process's body.
|
void |
ASME2SSME_Translate_Common.ASME2SSME_ComponentInterface_CallSubprograms(ProcessModelImpl vprocess,
org.osate.aadl2.BehavioredImplementation t)
Translates call subprogram sp as outputs of vprocess's interface (is sp is not a subcomponent of itself).
|
void |
ASME2SSME_Translate_Common.ASME2SSME_ComponentInterface_DataAccess(ProcessModelImpl vprocess,
org.osate.aadl2.ComponentType st)
Translates requires data access feature as outputs of vprocess's interface:
FIFO_TIME xx;
|
void |
ASME2SSME_Translate_Common.ASME2SSME_ComponentInterface_Sub_Subprograms(ProcessModelImpl vprocess,
org.osate.aadl2.BehavioredImplementation t)
For the sub subprograms of a thread (t):
For each sub subprogram x: subprogram sp,
add into the interface: ?
|
void |
ASME2SSME_Translate_Common.ASME2SSME_ComponentInterface_SubprogramAccesses(ProcessModelImpl vprocess,
org.osate.aadl2.ComponentType st)
Translates requires subprogram access feature as outputs of vprocess's interface:
event xx;
|
void |
ASME2SSME_Translate_Common.ASME2SSME_ComponentInterface(ProcessModelImpl vprocess,
org.osate.aadl2.ComponentType st)
Creates a Signal process interface from a component type,
and add the interface to the Signal process.
|
void |
ASME2SSME_Translate_Subprogram.ASME2SSME_Create_SharedSubprogram(java.lang.String sp_name,
java.lang.String label,
ProcessModelImpl vprocess,
ProcessModelImpl sp_process)
Translates a shared subprogram as a shared Signal process.
|
void |
ASME2SSME_Translate_Data.ASME2SSME_CreateSharedData(org.osate.aadl2.DataSubcomponent d,
ProcessModelImpl vprocess)
Translates a shared data:
a data subcomponent is considered as shared data.
|
void |
ASME2SSME_Translate_Common.ASME2SSME_DataAccess_local(ProcessModelImpl vprocess,
org.osate.aadl2.ComponentType st)
Creates two local signals for each requires data access xx in vprocess (a thread):
shared integer xx_w, xx_r;
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_DataPortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection dconnection)
Returns a Signal signal definition (an equation) that represents a (data) port connection.
|
void |
ASME2SSME_Translate_Device.ASME2SSME_Device_Features(org.osate.aadl2.DeviceType dt,
ProcessModelImpl vprocess)
Translates device features
|
void |
ASME2SSME_Translate_Device.ASME2SSME_Device_FlowSpecs(ProcessModelImpl vprocess,
org.osate.aadl2.DeviceType dt)
Translates flow specifications of a device type
|
void |
ASME2SSME_Translate_Device.ASME2SSME_DeviceImpl_Flows(ProcessModelImpl vprocess,
org.osate.aadl2.DeviceImplementation dd)
Translates flows of a device implementation
|
void |
ASME2SSME_Translate_AperiodicThread.ASME2SSME_Dispatch_Constraint(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
Aperiodic thread dispatch constraint: Not yet implemented.
|
void |
ASME2SSME_Translate_PeriodicThread.ASME2SSME_Dispatch_Constraint(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property) |
void |
ASME2SSME_Translate_TimedThread.ASME2SSME_Dispatch_Constraint(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property) |
void |
ASME2SSME_Translate_SporadicThread.ASME2SSME_Dispatch_Constraint(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property) |
void |
ASME2SSME_Translate_HybridThread.ASME2SSME_Dispatch_Constraint(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property) |
void |
ASME2SSME_Translate_BackgroundThread.ASME2SSME_Dispatch_Constraint(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
Not Yet Implemented.
|
void |
ASME2SSME_Translate_Flow.ASME2SSME_EndToEndFlow(ProcessModelImpl vprocess,
org.osate.aadl2.EndToEndFlow f)
Translates end to end flow
Only the property part is translated: each property is translated as a property process call.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_EventDataPortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection c1)
Returns a Signal signal definition (an equation) that represents a (event data) port connection.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_EventPortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection econnection)
Returns a Signal signal definition (an equation) that represents a (event) port connection.
|
void |
ASME2SSME_Translate_AperiodicThread.ASME2SSME_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
It generates the fix properties of periodic thread (Dispatch protocol)
|
void |
ASME2SSME_Translate_PeriodicThread.ASME2SSME_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
It generates the fix properties of periodic thread (Dispatch protocol, period)
|
void |
ASME2SSME_Translate_TimedThread.ASME2SSME_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
It generates the fix properties of periodic thread (Dispatch protocol, period)
|
void |
ASME2SSME_Translate_SporadicThread.ASME2SSME_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
Translates fix number properties of a sporadic thread (Dispatch protocol, period)
|
void |
ASME2SSME_Translate_HybridThread.ASME2SSME_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
It generates the fix properties of periodic thread (Dispatch protocol, period)
|
void |
ASME2SSME_Translate_BackgroundThread.ASME2SSME_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
ProcessModelImpl t_property)
Translates fix number properties of a background thread (Dispatch protocol)
|
void |
ASME2SSME_Translate_Flow.ASME2SSME_FlowPathImpl(ProcessModelImpl vprocess,
org.osate.aadl2.FlowImplementation f)
Translates flow path implementation
|
void |
ASME2SSME_Translate_Flow.ASME2SSME_FlowSinkImpl(ProcessModelImpl vprocess,
org.osate.aadl2.FlowImplementation f)
Translates flow sink implementation
|
void |
ASME2SSME_Translate_Flow.ASME2SSME_FlowSourceImpl(ProcessModelImpl vprocess,
org.osate.aadl2.FlowImplementation f)
Translates flow source implementation
Only the property part is translated: each property is translated as a property process call.
|
void |
ASME2SSME_Translate_Flow.ASME2SSME_FlowSpec(ProcessModelImpl vprocess,
org.osate.aadl2.FlowSpecification fs)
Translates flow specification.
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Aperiodic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of aperiodic threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Background(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Background threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Hybrid(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Hybrid threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Sporadic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of sporadic threads
|
ProcessModelImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Timed(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl bprocess,
org.osate.aadl2.SystemImplementation sysimpl)
Make a Signal process that simulates the generation of Dispatch signals of Timed threads
|
void |
ASME2SSME_Simulate_TimeEvent.ASME2SSME_mkSimTimeEvent_Body(org.osate.aadl2.ProcessorSubcomponent subp,
java.util.ArrayList<org.osate.aadl2.ProcessSubcomponent> list1,
ProcessModelImpl vprocess)
Make a Signal process that simulates the body of Sim_time_event process
|
void |
ASME2SSME_Simulate_TimeEvent.ASME2SSME_mkSimTimeEvent_Interface(org.osate.aadl2.ProcessorSubcomponent subp,
java.util.ArrayList<org.osate.aadl2.ProcessSubcomponent> list1,
ProcessModelImpl vprocess)
Make a Signal process that simulates the interface of Sim_time_event process
|
SignalsDefinitionImpl |
ASME2SSME_Translate_ParameterConnection.ASME2SSME_ParameterConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.ParameterConnection cc)
Returns a Signal signal definition (an equation) that represents a parameter connection.
|
void |
ASME2SSME_Translate_ParameterConnection.ASME2SSME_ParameterConnections_CalledSubprogram_to_Thread(ProcessModelImpl vprocess,
org.osate.aadl2.ThreadImplementation t,
ProcessModelImpl external_process)
for each parameter connnection (from a called subprogram to thread (case 1 or case2, sp is not t's subcomponent)):
c1: parameter sp1.a -> a;
creates an equation: a := L_y.a when sp1,
and adds it to the body of thread behavior (vprocess),
where L is short for sp name, and sp1 is called name.
|
void |
ASME2SSME_Translate_ParameterConnection.ASME2SSME_ParameterConnections_Thread_to_CalledSubprogram(ProcessModelImpl vprocess,
org.osate.aadl2.ThreadImplementation t)
for each parameter connnection (from thread to a called/required subprogram (case 1 or case2)):
c1: parameter a -> sp1.a;
creates an equation: L_x.a ::= a when sp1,
and adds it to the body of thread behavior (vprocess),
where L is short for sp name, and sp1 is called name
|
void |
ASME2SSME_Translate_Port.ASME2SSME_Port_properties(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.Port p,
ProcessModelImpl t_property)
Translate the properties of a thread port
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_PortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection connection)
Returns a signal definition (an equation) that represents a port connection
Depending on the port type of this connection, call the method:
ASME2SSME_DataPortConnection(), ...
|
boolean |
ASME2SSME_Translate_Common.ASME2SSME_Process_Interface_Contain_Signal(ProcessModelImpl vprocess,
java.lang.String sig_name)
Returns a boolean value that indicates whether a signal (named sig_name) exists in the I/O interface of a process (vprocess)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_Behavior_Instance(ProcessModelImpl vprocess,
ProcessModelImpl behavior_process)
Adds an instance of a processor behavior Signal process (behavior_process) into a processor process (vprocess).
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_Behavior_Interface(ProcessModelImpl vprocess,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Adds inputs/outputs to the interface of a Signal process that represents a processor behavior
Gets the processes that bound to this processor subcomponent (Processor_Get_Binding_Process()),
and gets the connections between these processes.
|
ProcessModelImpl |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_Behavior(ProcessModelImpl vprocess,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Returns a Signal process "xx_processor_behavior" that represents the behavior of a processor subcomponenet
This Signal process is named as xx_processor_behavior, where xx is this processor subcomponent's name.
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_InOut_Info(ProcessModelImpl vprocess)
Makes a link between the input/output signals to the local signals.
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_Interface_Refine(ProcessModelImpl vprocess,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Refines the processor interface, and removes some internal signals from the interface.
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_Interface(ProcessModelImpl vprocess,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Adds inputs/outputs to the interface of a processor.
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_ProcessType_instances(ProcessModelImpl vprocess,
ProcessModelImpl sysimpl_process,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl)
Adds process calls of the process types (which represents AADL process components) to the body of a Signal process that represents a processor component.
|
void |
ASME2SSME_Scheduling.ASME2SSME_Processor_Scheduling(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Scheduling the threads of a processor
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDeadline(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Deadline Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_Deadline
(xp_xt_ctl1.Deadline, ... ) := Sim_Deadline(top, xp_xt_ctl1.Dispatch, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch_Aperiodic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Dispatch_Aeriodic Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Aeriodic{}(top, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch_Background(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Dispatch_Background Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Background{}(top, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch_Hybrid(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Dispatch_Hybrid Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Hybrid{}(top, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch_Periodic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_PeriodicDispatch Signal process, and adds it to the declaration part of processor behavior process,
and make an instance
(xp_xt_ctl1.Dispatch, ... ) := SimDispatch_Periodic{p1, ... }(top)
where: p1, ... are the period values coming from the original thread periods (value, unit),
xp is a sub process name, xt is a sub thread name of xp
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch_Sporadic(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Dispatch_Sporadic Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Sporadic{}(top, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch_Timed(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Dispatch_Timed Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Timed{}(top, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimDispatch(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Simulate dispatch: make process calls to simulate dispatch signals,
and add it to the body of processor behavior
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimInitialize(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Initialize Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_Deadline
(xp_xt_ctl1.Initialize, ... ) := Sim_Initialize(top, xp_xt_ctl1.Dispatch, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimResume(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_Resume Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_Resume
(xp_xt_ctl1.Resume, ... ) := Sim_Resume(top, xp_xt_ctl1.Dispatch, ...)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_Processor_SimTimeEvent(org.osate.aadl2.ProcessorSubcomponent subp,
ProcessModelImpl p_behavior,
org.osate.aadl2.SystemImplementation sysimpl)
Makes a Sim_TimeEvent Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_TimeEvent: Sim_TimeEvent{},
suppose that the formal parameters and the effective parameters have the same name (to simplifier the code)
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_ProcessorImpl_Flows(ProcessModelImpl vprocess,
org.osate.aadl2.ProcessorImplementation p)
Translates flows of a processor implementation
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_ProcessorImpl_SubBuses(org.osate.aadl2.ProcessorImplementation p,
ProcessModelImpl vprocess,
java.util.ArrayList<org.osate.aadl2.BusSubcomponent> subbus_list)
Translates the sub buses of a processor implementation.
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_ProcessorImpl_SubMemorys(org.osate.aadl2.ProcessorImplementation p,
ProcessModelImpl vprocess,
java.util.ArrayList<org.osate.aadl2.MemorySubcomponent> list1)
Translates the sub memorys of a processor implementation.
|
void |
ASME2SSME_Translate_Processor.ASME2SSME_ProcessorImpl_Subs(org.osate.aadl2.ProcessorImplementation p,
ProcessModelImpl vprocess)
Translates subcomponents of a processor implementation
|
ProcessModelImpl |
ASME2SSME_Translate_Processor.ASME2SSME_ProcessorImpl(org.osate.aadl2.ProcessorImplementation p,
org.osate.aadl2.ProcessorSubcomponent subprocessor,
org.osate.aadl2.SystemImplementation sysimpl,
ProcessModelImpl sysimpl_process)
Returns a Signal process that represents a processor implementation component.
|
void |
ASME2SSME_Translate_Process.ASME2SSME_ProcessType_Instance(FormalProcessImpl fprocess,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessSubcomponent process_sub,
ProcessModelImpl sysimpl_process)
Adds an instance of Signal process that represents an AADL process
into the body of a Signal process that represents a processor.
|
void |
ASME2SSME_Translate_Data.ASME2SSME_SharedData_Cnt_Sync(org.osate.aadl2.DataSubcomponent d,
ProcessModelImpl vprocess)
For a shared data:
give the clock of cnt:
xx_cnt ^= xx_w ^+ xx_r ^+ xx_reset
|
void |
ASME2SSME_Translate_Data.ASME2SSME_SharedData_Read_Sync(org.osate.aadl2.DataSubcomponent d,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a shared data xx:
give the clock of xx_r:
xx_r ^= l_1.TRead ^+ l_2.TRead ^+ ...
|
void |
ASME2SSME_Translate_Data.ASME2SSME_SharedData_Reset_Sync(org.osate.aadl2.DataSubcomponent d,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a shared data xx:
give the reset clock of xx_reset:
xx_reset ^= l.TReset ^+ l.TReset ^+ ...
|
void |
ASME2SSME_Translate_Data.ASME2SSME_SharedData_Write_Sync(org.osate.aadl2.DataSubcomponent d,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a shared data xx:
give the write clock of xx_w:
xx_w ^= l.TWrite ^+ l.TWrite ^+ ...
|
void |
ASME2SSME_Translate_Subprogram.ASME2SSME_SharedSubprogram_Call_Sync_x(java.lang.String sp_name,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a shared subprogram xx, give the clock of in puts: l_x ^= t1 ^+ t2 ^+
... where "l" is a local short name for the subprogram xx, l_x is a local
signal that represents in struct x, each ti is a local signal that
represents a thread's call subprogram or requires subprogram access
|
void |
ASME2SSME_Translate_Subprogram.ASME2SSME_SharedSubprogram_Sync_y(java.lang.String sp_name,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a shared subprogram xx, give the clock of out puts: l_y ^= l_id ^=
l_x where "l" is a local short name for the subprogram xx,
|
void |
ASME2SSME_Translate_Subprogram.ASME2SSME_SubThread_SubSubprogram_Call_Sync_x(java.lang.String sp_name,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a subprogram (type or implementatin) named xx (xx is a sub subprogram
of a sub thread t in process pimpl): give the clock of in puts: l_x ^= t1
^+ t2 ^+ ... where "l_x" is a local shared signal that represents sp_x
each ti is a local signal that represents a thread's call subprogram or
requires subprogram access
|
void |
ASME2SSME_Translate_Subprogram.ASME2SSME_SubThread_SubSubprogram_Sync_y(java.lang.String sp_name,
ProcessModelImpl vprocess,
org.osate.aadl2.ProcessImplementation pimpl)
For a subprogram (type or implementatin) named xx (xx is a sub subprogram
of a sub thread t in process pimpl): give the clock of out puts: l_y ^=
l_id ^= l_x where "l" is a local short name for the subprogram xx,
|
void |
ASME2SSME_Translate_DataPort.ASME2SSME_Thread_DataPort_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.DataPort p,
ProcessModelImpl t_property)
Translates some properties which are fixed for data port
|
void |
ASME2SSME_Translate_EventPort.ASME2SSME_Thread_EventPort_FixProperties(org.osate.aadl2.ThreadImplementation timpl,
org.osate.aadl2.EventPort p,
ProcessModelImpl t_property)
Translates some properties which are fixed for event port
|
void |
signalTreeAPI.STree_addaDeclarationToProcess(ProcessModelImpl p,
Declaration decl)
Inserts a declaration (decl) to the local declarations of a model (p).
|
void |
signalTreeAPI.STree_addDeclarations(ProcessModelImpl p,
java.util.ArrayList<Declaration> l_decl)
Inserts a list of declarations (l_decl) to the local declarations of a model (p).
|
void |
signalTreeAPI.STree_addDeclarationToInterface(ProcessModelImpl vprocess,
TypesOrSignalsDeclaration vdecsig,
int i)
Add a signal to a process (vprocess)'s interface
i= 1 for parameters, 2 for inputs, 3 for outputs
|
void |
signalTreeAPI.STree_addDeclarationToProcess(ProcessModelImpl vtreeproc,
Declaration decl) |
void |
signalTreeAPI.STree_addDefinition(ProcessModelImpl vprocess,
SignalsDefinitionImpl vdef)
Add a signal definition to a process (vprocess)
|
ProcessModelImpl |
signalTreeAPI.STree_addEmptyInterface(ProcessModelImpl p_proc)
Adds a an empty interface for a process (p_proc)
|
void |
signalTreeAPI.STree_addExpressionOfProcessToaModel(ProcessModelImpl vtreeproc,
ExprProcess vexprpro)
Adds (tail) a process expression (vexprpro) to a process model (vtreeproc).
|
void |
signalTreeAPI.STree_addLabelsInModel(java.util.ArrayList<Identifier> lids,
ProcessModelImpl p)
Declares, in process p, the list of identifiers (lids) as labels.
|
void |
signalTreeAPI.STree_addNullProc(ProcessModelImpl p)
Adds a null proc to a process model (p).
|
void |
signalTreeAPI.STree_addPragma(ProcessModelImpl aProcess,
PragmaImpl apragma)
Adds a pragma (apragma) to a process (aProcess).
|
void |
signalTreeAPI.STree_addPreExpressionOfProcessToaModel(ProcessModelImpl vtreeproc,
ExprProcess vexprpro)
Adds (head) a process expression (vexprpro) to a process model (vtreeproc).
|
void |
signalTreeAPI.STree_addProcessDeclaration(SignalElementImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a process or module (vtreeproc)
|
void |
signalTreeAPI.STree_addProcessDeclarationToModule(ModuleImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a module (vtreeproc)
|
void |
signalTreeAPI.STree_addProcessDeclarationToProcess(ProcessModelImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a model (vtreeproc) as a local declaration
|
void |
signalTreeAPI.STree_addSpecification(ProcessModelImpl process,
ExprProcess vtreeSpecif)
Adds a specification object (vtreeSpecif) to a process model (process).
|
void |
signalTreeAPI.STree_addTypeDeclarationToProcess(ProcessModelImpl vtreeproc,
TypesDeclaration type_decl)
Adds a type declaration (type_decl) to a process model (vtreeproc) as a local declaration
|
void |
signalTreeAPI.STree_adduseModuleToAProcess(ProcessModelImpl aprocess,
Identifier mid,
boolean bpre)
Adds a use module ID (mid) to a ProcessModelImpl (aprocess) in position pre if bpre is true, else adds it to the last of the ModulesImport list
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
|
void |
signalTreeAPI.STree_deleteParameters(ProcessModelImpl p_proc)
Removes the parameters tree of a model (p_proc).
|
ProcessModelImpl |
signalTreeAPI.STree_GetProcessDeclarationFromProcess(ProcessModelImpl vprocess,
java.lang.String aname)
Gets a process declaration whose name is aname, that is defined in the vprocess
|
ProcessTypeImpl |
signalTreeAPI.STree_GetProcessTypeDeclarationFromAProcess(ProcessModelImpl vprocess,
java.lang.String aname)
Gets a ProcessTypeImpl (process_type) whose name is aname, defined in the ProcessModel (vprocess).
|
boolean |
signalTreeAPI.STree_IsProcessHasOutput(ProcessModelImpl p)
Returns whether a process contains output signals
|
boolean |
signalTreeAPI.STree_IsProcessNull(ProcessModelImpl p)
Returns whether a process body is null or not
|
ProcessCallImpl |
signalTreeAPI.STree_mkCompleteModelCall(ProcessModelImpl process)
Makes a complete process call of a process model (process)
The names of the formal declaration (parameters, intputs, outputs) are taken as effective names for the call.
|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_mkLocalDeclaration(ProcessModelImpl p_proc)
Makes an empty tree local declarations of a model (p_proc).
|
org.eclipse.emf.common.util.EList<Pragma> |
signalTreeAPI.STree_mkPragmasList(ProcessModelImpl process)
Adds an empty pragmas area for a model (process).
|
void |
signalTreeAPI.STree_rmNamedDeclarationFromInterface(ProcessModelImpl vprocess,
java.lang.String dec_name,
int i)
Remove a signal (named dec_name) from the interface of a process (vprocess)
i= 1 for parameters, 2 for inputs, 3 for outputs
|
void |
signalTreeAPI.STree_setDescription(ProcessModelImpl process,
DescriptionImpl desc)
Sets a description (desc) to an assumed model (process).
|
void |
signalTreeAPI.STree_setExternalGraph(ProcessModelImpl proc,
ExternalGraphImpl eg)
Sets the "external graph" of a model (proc) by eg.
|
java.util.ArrayList<Declaration> |
signalTreeAPI.STree_setLocalDeclarations(ProcessModelImpl p,
org.eclipse.emf.common.util.EList<Declaration> ndecls)
Sets (replaces?)
|
void |
signalTreeAPI.STree_setNameModel(ProcessModelImpl vprocess,
Identifier id)
Set identifier of a process (vprocess)'s
|
void |
signalTreeAPI.STree_setParameters(ProcessModelImpl proc,
org.eclipse.emf.common.util.EList<TypesOrSignalsDeclaration> param)
Replaces the parameters of a model (proc) by param.
|
void |
signalTreeAPI.STree_setPragmas(ProcessModelImpl proc,
org.eclipse.emf.common.util.EList<Pragma> pragmas)
Assigns (replaces) the pragmas (pragmas) to a model (proc).
|