Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Actual_Connection_Binding_Property(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Actual_Memory_Binding_Property(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Actual_Processor_Binding_Property(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_ActualLatency_Property_Call(java.lang.String flow_name,
org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call of flow's Actual Latency property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Clock_Period_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Clock_Period" property
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Deadline_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Deadline" property of a
thread implementation
Gets the Deadline unit (Thread_Get_Deadline_Unit()) and value
(Thread_Get_Deadline_Value()) as process call parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Dequeue_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Dequeue_Protocol"
property of a thread implementation
Gets the Dequeue_Protocol (Property_Get_Dequeue_Protocol()) as process
call parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Dequeue_Protocol(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Dequeued_Items_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Dequeued_Items" property
of a thread implementation
Gets the Dequeued_Items (Property_Get_Dequeued_Items()) as process call
parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Dequeued_Items(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Device_Dispatch_Protocol_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Device_Dispatch"
property of a device
Gets the Device_Dispatch value using
Property_Get_Device_Dispatch_Protocol() method, and passes it as a
process call parameter
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Device_property_call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a property of a device
(type or implementation)
if "Period" property, use ASME2SSME_Period_Property(), if
"Device_Dispatch_Protocol" property, use
ASME2SSME_Device_Dispatch_Protocol_property(), else use
ASME2SSME_Property_Call() for other properties
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Dispatch_Protocol_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Dispatch_Protocol"
property of a thread implementation
Gets the Dispatch_Protocol value using Thread_Get_Dispatch_Protocol()
method
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Fan_Out_Policy_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Fan_Out_Policy" property
of a port
Gets the Fan_Out_Policy value using Property_Get_Fan_Out_Policy() method,
and passes it as a process call parameter
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_FlowLatency_Property_Call(java.lang.String flow_name,
org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call of flow's Latency property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Input_Time_Reference_Time_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a
"Input_Time_Reference_Time" property of a thread implementation
Gets the Input_Time_Reference_Time
(Property_Get_Input_Time_Reference_Time()) as process call parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_InputTime(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p)
Returns a Signal process call of a port's Input_Time property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Latency_Property_Call(org.osate.aadl2.ComponentImplementation compImpl,
org.osate.aadl2.Connection pconnection)
Returns a Signal process call of connection's Latency property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Output_Time_Reference_Time_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a
"Output_Time_Reference_Time" property of a thread implementation
Gets the Output_Time_Reference_Time
(Property_Get_Output_Time_Reference_Time()) as process call parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_OutputTime(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p)
Returns a Signal process call of an output port's Output_Time property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Overflow_Handling_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Overflow_Handling_Protocol(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p)
Return a Signal process call of a port´s Overflow_Handling_Protocol
property
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Period_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a Period property of a
thread implementation
Gets the period unit (Thread_Get_Period_Unit()) and value
(Thread_Get_Period_Value()) as parameters of this process call.
|
ProcessCallImpl |
ASME2SSME_Translate_Port.ASME2SSME_Port_Common_Property(org.osate.aadl2.PropertyAssociation pa)
Translates a property which is common for the port
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Priority_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Priority" property of a
thread implementation
Gets the Priority (Property_Get_Priority()) as process call parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Property_Call_withName(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a property
This process call is named as xx_property, where xx is the name of this
property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a property of a device
(type or implementation)
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Queue_Processing_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a
"Queue_Processing_Protocol" property of a thread implementation
Gets the Queue_Processing_Protocol
(Property_Get_Queue_Processing_Protocol()) as process call parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Queue_Processing_Protocol(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Queue_Size_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Queue_Size" property of
a thread implementation
Gets the Queue_Size (Property_Get_Queue_Size()) as process call
parameters
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Queue_Size(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Read_Time_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Read_Time" property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Source_Name(org.osate.aadl2.PropertyAssociation pa)
Return a Signal process call of Source_Name property
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Time_Offset_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call of a port's Input_Time property.
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Timing_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Timing" property of a
port
Gets the Timing value using Property_Get_Timing() method, and passes it
as a process call parameter
|
ProcessCallImpl |
ASME2SSME_Translate_Property.ASME2SSME_Timing(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p)
Return a Signal process call of a port´s Timing property
|
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.
|
ProcessCallImpl |
signalTreeAPI.STree_mkCompleteProcessCall(IdentifierImpl pname,
java.util.ArrayList<ExprParam> lparam,
java.util.ArrayList<ExprSignal> lin)
Makes a complete process call of an identifier (pname) with the effective parameters and inputs
|
ProcessCallImpl |
signalTreeAPI.STree_mkModelCall(java.lang.String name)
Makes a process call of a string name
The calling process expression to name without parameters.
|
ProcessCallImpl |
signalTreeAPI.STree_mkReferenceToModel(Identifier id)
Makes a process call of an identifier (id)
|