public class ASME2SSME_Translate_Property extends ASME2SSME_Translate_Name
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ACTUAL_CONNECTION_BINDING_ID |
static java.lang.String |
ACTUAL_LATENCY_ID |
static java.lang.String |
ACTUAL_MEMORY_BINDING_ID |
static java.lang.String |
ACTUAL_PROCESSOR_BINDING_ID |
static java.lang.String |
CLOCK_PERIOD_ID |
static java.lang.String |
COMPUTE_EXECUTION_TIME |
static java.lang.String |
COMPUTE_EXECUTION_TIME_PROPERTY_ID |
static java.lang.String |
DEADLINE_ID |
static java.lang.String |
DEQUEUE_PROTOCOL_ID |
static java.lang.String |
DEQUEUE_PROTOCOL_PROPERTY_ID |
static java.lang.String |
DEQUEUED_ITEMS_ID |
static java.lang.String |
DEQUEUED_ITEMS_PROPERTY_ID |
static java.lang.String |
DEVICE_DISPATCH_PROTOCOL_ID |
static java.lang.String |
DISPATCH_PROTOCOL_ID |
static java.lang.String |
DISPATCH_PROTOCOL_PROPERTY_ID |
static java.lang.String |
FAN_OUT_POLICY_ID |
static java.lang.String |
FLOWLATENCY_ID |
static java.lang.String |
FROZEN_TIME_EVENT_ID |
static java.lang.String |
INPUT_TIME_PROPERTY_ID |
static java.lang.String |
INPUT_TIME_REFERENCE_TIME_ID |
static java.lang.String |
INPUT_TIME_REFERENCE_TIME_PROPERTY_ID |
static java.lang.String |
LATENCY_ID |
static java.lang.String |
LATENCY_PROPERTY_ID |
static java.lang.String |
LATENCY_TIME_EVENT_ID |
static java.lang.String |
OUTPUT_TIME_EVENT_ID |
static java.lang.String |
OUTPUT_TIME_PROPERTY_ID |
static java.lang.String |
OUTPUT_TIME_REFERENCE_TIME_ID |
static java.lang.String |
OUTPUT_TIME_REFERENCE_TIME_PROPERTY_ID |
static java.lang.String |
OVERFLOW_HANDLING_PROTOCOL_ID |
static java.lang.String |
OVERFLOW_HANDLING_PROTOCOL_PROPERTY_ID |
static java.lang.String |
PERIOD_ID |
static java.lang.String |
PERIOD_PROPERTY |
static java.lang.String |
PRIORITY_ID |
static java.lang.String |
PROPERTY_ID |
static java.lang.String |
QUEUE_PROCESSING_PROTOCOL_ID |
static java.lang.String |
QUEUE_PROCESSING_PROTOCOL_PROPERTY_ID |
static java.lang.String |
QUEUE_SIZE_ID |
static java.lang.String |
QUEUE_SIZE_PROPERTY_ID |
static java.lang.String |
READ_TIME_ID |
static java.lang.String |
READ_TIME_PROPERTY_ID |
static java.lang.String |
REFERENCE_TIME_EVENT_ID |
static java.lang.String |
SUPPORTED_DISPATCH_PROTOCOLS |
static java.lang.String |
TIME_OFFSET_ID |
static java.lang.String |
TIME_OFFSET_PROPERTY_ID |
static java.lang.String |
TIME_UNITS_ID |
static java.lang.String |
TIMING_ID |
static java.lang.String |
TIMING_PROPERTY_ID |
ALARM_ID, COMPLETE_ID, COMPLETION_ID, CTL1_ID, CTL2_ID, DISPATCH_ID, ERROR_ID, NameList, RESUME_ID, START_ID, TIME1_ID, TIME2_ID, TOP_ID, TREAD_ID, TRESET_ID, TWRITE_ID
Constructor and Description |
---|
ASME2SSME_Translate_Property()
Class constructor
|
Modifier and Type | Method and Description |
---|---|
ProcessCallImpl |
ASME2SSME_Actual_Connection_Binding_Property(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
ASME2SSME_Actual_Memory_Binding_Property(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
ASME2SSME_Actual_Processor_Binding_Property(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
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_Clock_Period_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Clock_Period" property
|
ProcessModelImpl |
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.
|
ProcessCallImpl |
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_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_Dequeue_Protocol(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
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_Dequeued_Items(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
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_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_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_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_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_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_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_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_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_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_Overflow_Handling_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa) |
ProcessCallImpl |
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_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_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_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_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a property of a device
(type or implementation)
|
void |
ASME2SSME_PropertySet(org.osate.aadl2.PropertySet ps)
Translates AADL property set
|
ProcessCallImpl |
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_Queue_Processing_Protocol(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
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_Queue_Size(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p) |
ProcessCallImpl |
ASME2SSME_Read_Time_Property(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call that represents a "Read_Time" property.
|
ProcessCallImpl |
ASME2SSME_Source_Name(org.osate.aadl2.PropertyAssociation pa)
Return a Signal process call of Source_Name property
|
ProcessCallImpl |
ASME2SSME_Time_Offset_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Returns a Signal process call of a port's Input_Time property.
|
ConstantEnumImpl |
ASME2SSME_Time_Unit_ConstantEnum(java.lang.String cst_value)
Returns a constant enumeration value whose type is Time_Units
|
ProcessCallImpl |
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_Timing(org.osate.aadl2.ThreadImplementation t,
org.osate.aadl2.Port p)
Return a Signal process call of a port´s Timing property
|
java.lang.String |
Name_of_Reference_data_classifier(org.osate.aadl2.DataClassifier dclass)
Returns the String type name of a data classifier (dclass)
If dclass is a DataType, return the type name (ComponentType_GetName()),
if dclass is a DataImpl, return the Name_of_Data(), if dclass is null,
return "integer" by default
|
void |
read_PropertyAssociation(org.osate.aadl2.PropertyAssociation propertyAssociation)
Prints out the information of a property association.
|
Generate_Process_Instance_comment, Get_top_sname, getSname, Name_of_Bus, Name_of_Connection, Name_of_CTL1_type, Name_of_CTL2_type, Name_of_Data, Name_of_DataBundle, Name_of_DataReadTime, Name_of_DataReset, Name_of_DataType, Name_of_DataWriteTime, Name_of_Device, Name_of_FeatureGroup, Name_of_FeatureGroupType, Name_of_Flow, Name_of_Local_Signal, Name_of_Memory, Name_of_ParameterConnection, Name_of_PortGroup, Name_of_PortGroupType, Name_of_Process, Name_of_Processor, Name_of_Subprogram_Struct_In, Name_of_Subprogram_Struct_Out, Name_of_Subprogram, Name_of_SubprogramCall, Name_of_System, Name_of_Thread, Name_of_ThreadDataPort, Name_of_ThreadEventDataPort, Name_of_ThreadEventPort, Name_of_ThreadTimeBundle, Name_of_TriggerDispatch_Event, Name_of_Type_Process, Trace
public static final java.lang.String PROPERTY_ID
public static final java.lang.String ACTUAL_CONNECTION_BINDING_ID
public static final java.lang.String ACTUAL_PROCESSOR_BINDING_ID
public static final java.lang.String ACTUAL_MEMORY_BINDING_ID
public static final java.lang.String CLOCK_PERIOD_ID
public static final java.lang.String DEADLINE_ID
public static final java.lang.String DEQUEUED_ITEMS_ID
public static final java.lang.String DEQUEUED_ITEMS_PROPERTY_ID
public static final java.lang.String DEQUEUE_PROTOCOL_ID
public static final java.lang.String DEQUEUE_PROTOCOL_PROPERTY_ID
public static final java.lang.String DEVICE_DISPATCH_PROTOCOL_ID
public static final java.lang.String DISPATCH_PROTOCOL_ID
public static final java.lang.String DISPATCH_PROTOCOL_PROPERTY_ID
public static final java.lang.String FAN_OUT_POLICY_ID
public static final java.lang.String FLOWLATENCY_ID
public static final java.lang.String FROZEN_TIME_EVENT_ID
public static final java.lang.String INPUT_TIME_PROPERTY_ID
public static final java.lang.String INPUT_TIME_REFERENCE_TIME_ID
public static final java.lang.String INPUT_TIME_REFERENCE_TIME_PROPERTY_ID
public static final java.lang.String LATENCY_PROPERTY_ID
public static final java.lang.String LATENCY_TIME_EVENT_ID
public static final java.lang.String OUTPUT_TIME_EVENT_ID
public static final java.lang.String OUTPUT_TIME_PROPERTY_ID
public static final java.lang.String OUTPUT_TIME_REFERENCE_TIME_ID
public static final java.lang.String OUTPUT_TIME_REFERENCE_TIME_PROPERTY_ID
public static final java.lang.String OVERFLOW_HANDLING_PROTOCOL_ID
public static final java.lang.String OVERFLOW_HANDLING_PROTOCOL_PROPERTY_ID
public static final java.lang.String PERIOD_ID
public static final java.lang.String PERIOD_PROPERTY
public static final java.lang.String PRIORITY_ID
public static final java.lang.String QUEUE_PROCESSING_PROTOCOL_ID
public static final java.lang.String QUEUE_PROCESSING_PROTOCOL_PROPERTY_ID
public static final java.lang.String QUEUE_SIZE_ID
public static final java.lang.String QUEUE_SIZE_PROPERTY_ID
public static final java.lang.String READ_TIME_ID
public static final java.lang.String READ_TIME_PROPERTY_ID
public static final java.lang.String REFERENCE_TIME_EVENT_ID
public static final java.lang.String SUPPORTED_DISPATCH_PROTOCOLS
public static final java.lang.String TIME_OFFSET_ID
public static final java.lang.String TIME_OFFSET_PROPERTY_ID
public static final java.lang.String TIME_UNITS_ID
public static final java.lang.String TIMING_ID
public static final java.lang.String TIMING_PROPERTY_ID
public static final java.lang.String LATENCY_ID
public static final java.lang.String ACTUAL_LATENCY_ID
public static final java.lang.String COMPUTE_EXECUTION_TIME
public static final java.lang.String COMPUTE_EXECUTION_TIME_PROPERTY_ID
public ASME2SSME_Translate_Property()
public ConstantEnumImpl ASME2SSME_Time_Unit_ConstantEnum(java.lang.String cst_value)
cst_value
- a String name of the enumeration valuepublic java.lang.String Name_of_Reference_data_classifier(org.osate.aadl2.DataClassifier dclass)
If dclass is a DataType, return the type name (ComponentType_GetName()), if dclass is a DataImpl, return the Name_of_Data(), if dclass is null, return "integer" by default
dclass
- a data classifier componentpublic ProcessCallImpl ASME2SSME_Property_Call(org.osate.aadl2.PropertyAssociation pa)
pa
- a property association defined for a device componentpublic ProcessCallImpl ASME2SSME_Device_property_call(org.osate.aadl2.PropertyAssociation pa)
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
pa
- a property association defined for a device componentpublic ProcessCallImpl ASME2SSME_Period_Property(org.osate.aadl2.PropertyAssociation pa)
Gets the period unit (Thread_Get_Period_Unit()) and value (Thread_Get_Period_Value()) as parameters of this process call.
pa
- a "Period" property of a thread implementationpublic ProcessCallImpl ASME2SSME_Deadline_Property(org.osate.aadl2.PropertyAssociation pa)
Gets the Deadline unit (Thread_Get_Deadline_Unit()) and value (Thread_Get_Deadline_Value()) as process call parameters
pa
- a Deadline property of a thread implementationpublic ProcessCallImpl ASME2SSME_Dispatch_Protocol_Property(org.osate.aadl2.PropertyAssociation pa)
Gets the Dispatch_Protocol value using Thread_Get_Dispatch_Protocol() method
pa
- a Dispatch_Protocol property of a thread implementationpublic ProcessCallImpl ASME2SSME_Clock_Period_Property(org.osate.aadl2.PropertyAssociation pa)
pa
- a Clock_Period property of a thread implementationpublic ProcessCallImpl ASME2SSME_Read_Time_Property(org.osate.aadl2.PropertyAssociation pa)
pa
- a Read_Time property of a thread implementationpublic ProcessCallImpl ASME2SSME_Actual_Processor_Binding_Property(org.osate.aadl2.PropertyAssociation pa)
pa:
- a Actual_Processor_Binding property of a system implementationpublic ProcessCallImpl ASME2SSME_Actual_Memory_Binding_Property(org.osate.aadl2.PropertyAssociation pa)
pa:
- a "Actual_Memory_Binding" property of a system implementationpublic ProcessCallImpl ASME2SSME_Actual_Connection_Binding_Property(org.osate.aadl2.PropertyAssociation pa)
pa:
- a Actual_Connection_Binding property of a system implementationpublic ProcessCallImpl ASME2SSME_Overflow_Handling_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa)
pa:
- a Overflow_Handling_Protocol property of a thread implementationpublic ProcessCallImpl ASME2SSME_Input_Time_Reference_Time_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Input_Time_Reference_Time (Property_Get_Input_Time_Reference_Time()) as process call parameters
pa
- a Input_Time_Reference_Time property of a thread
implementationpublic ProcessCallImpl ASME2SSME_Output_Time_Reference_Time_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Output_Time_Reference_Time (Property_Get_Output_Time_Reference_Time()) as process call parameters
pa
- a Input_Time_Reference_Time property of a thread
implementationpublic ProcessCallImpl ASME2SSME_Time_Offset_Property_Call(org.osate.aadl2.PropertyAssociation pa)
This process call is in the form of: Input_Time_property{Time_Units#ns,TIme_Unitsns, 2, 4}(Frozen_time_event, Reference_time_event). It Gets the Input_Time property information of a data port. The values of min_offset_unit, max_offset_unit, min_offset, max_offset are fetched by Port_Get_Time_Offset_MinUnit(), Port_Get_Time_Offset_MaxUnit(), Port_Get_Time_Offset_MinOffset() and Port_Get_Time_Offset_MaxOffset() methods. They are passed as parameter of this process call.
t
- a thread implementation componentp
- an in data port of this threadpublic ProcessCallImpl ASME2SSME_InputTime(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
This process call is in the form of: Input_Time_property{Time_Units#ns,TIme_Unitsns, 2, 4}(Frozen_time_event, Reference_time_event). It Gets the Input_Time property information of a data port. The values of min_offset_unit, max_offset_unit, min_offset, max_offset are fetched by Port_Get_Time_Offset_MinUnit(), Port_Get_Time_Offset_MaxUnit(), Port_Get_Time_Offset_MinOffset() and Port_Get_Time_Offset_MaxOffset() methods. They are passed as parameter of this process call.
t
- a thread implementation componentp
- an in data port of this threadpublic ProcessCallImpl ASME2SSME_OutputTime(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
This process call is in the form of: Output_Time_property{Time_Units#ns,TIme_Unitsns, 2, 4}(Output_time_event, Reference_time_event). It Gets the Output_Time property information of an output data port. The values of min_offset_unit, max_offset_unit, min_offset, max_offset are fetched by Port_Get_Time_Offset_MinUnit(), Port_Get_Time_Offset_MaxUnit(), Port_Get_Time_Offset_MinOffset() and Port_Get_Time_Offset_MaxOffset() methods. They are passed as parameter of this process call.
t
- a thread implementation componentp
- an out data port of this threadpublic ProcessCallImpl ASME2SSME_Timing(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
t
- thread implementationp
- port of thread tpublic ProcessCallImpl ASME2SSME_Overflow_Handling_Protocol(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
t
- thread implementationp
- port of thread tpublic ProcessCallImpl ASME2SSME_Queue_Size(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
t
- thread implementationp
- port of thread tpublic ProcessCallImpl ASME2SSME_Dequeued_Items(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
t
- thread implementationp
- port of thread tpublic ProcessCallImpl ASME2SSME_Dequeue_Protocol(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
t
- thread implementationp
- port of thread tpublic ProcessCallImpl ASME2SSME_Queue_Processing_Protocol(org.osate.aadl2.ThreadImplementation t, org.osate.aadl2.Port p)
t
- thread implementationp
- port of thread tpublic ProcessCallImpl ASME2SSME_Latency_Property_Call(org.osate.aadl2.ComponentImplementation compImpl, org.osate.aadl2.Connection pconnection)
This process call is in the form of: Latency_property{Time_Units#ns,TIme_Unitsns, 2, 4}(Latency_time_event, Reference_time_event). It Gets the Latency property information of a connection from its upper level component. The values of min_unit, max_unit, min_offset, max_offset are fetched by Connection_Get_Latency_MinUnit(), Connection_Get_Latency_MaxUnit(), Connection_Get_Latency_MinOffset() and Connection_Get_Latency_MaxOffset() methods. They are passed as parameter of this process call.
compImpl
- an upper level component implementation (normally, it is a
system implementation component)pconnection
- a connectionpublic ProcessCallImpl ASME2SSME_Device_Dispatch_Protocol_Property(org.osate.aadl2.PropertyAssociation pa)
Gets the Device_Dispatch value using Property_Get_Device_Dispatch_Protocol() method, and passes it as a process call parameter
pa
- a Device_Dispatch property of a device implementationpublic ProcessCallImpl ASME2SSME_Timing_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Timing value using Property_Get_Timing() method, and passes it as a process call parameter
pa
- a Timing property of a portpublic ProcessCallImpl ASME2SSME_Fan_Out_Policy_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Fan_Out_Policy value using Property_Get_Fan_Out_Policy() method, and passes it as a process call parameter
pa
- a Fan_Out_Policy property of a portpublic ProcessCallImpl ASME2SSME_Queue_Size_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Queue_Size (Property_Get_Queue_Size()) as process call parameters
pa
- a Queue_Size property of a thread implementationpublic ProcessCallImpl ASME2SSME_Priority_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Priority (Property_Get_Priority()) as process call parameters
pa
- a Priority property of a thread implementationpublic ProcessCallImpl ASME2SSME_Dequeue_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Dequeue_Protocol (Property_Get_Dequeue_Protocol()) as process call parameters
pa
- a Dequeue_Protocol property of a thread implementationpublic ProcessCallImpl ASME2SSME_Dequeued_Items_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Dequeued_Items (Property_Get_Dequeued_Items()) as process call parameters
pa
- a Queue_Size property of a thread implementationpublic ProcessCallImpl ASME2SSME_Queue_Processing_Protocol_Property_Call(org.osate.aadl2.PropertyAssociation pa)
Gets the Queue_Processing_Protocol (Property_Get_Queue_Processing_Protocol()) as process call parameters
pa
- a Queue_Processing_Protocol property of a thread
implementationpublic ProcessCallImpl ASME2SSME_Source_Name(org.osate.aadl2.PropertyAssociation pa)
pa
- property associationpublic ProcessCallImpl ASME2SSME_FlowLatency_Property_Call(java.lang.String flow_name, org.osate.aadl2.PropertyAssociation pa)
This process call is in the form of: Latency_property{flow_name,3,Time_Units#ns, 5, Time_Units#ns}()
public ProcessCallImpl ASME2SSME_ActualLatency_Property_Call(java.lang.String flow_name, org.osate.aadl2.PropertyAssociation pa)
This process call is in the form of: Latency_property{flow_name,3,Time_Units#ns, 5, Time_Units#ns}()
public ProcessCallImpl ASME2SSME_Property_Call_withName(org.osate.aadl2.PropertyAssociation pa)
This process call is named as xx_property, where xx is the name of this property.
pa
- a property associationpublic ProcessModelImpl ASME2SSME_Component_Properties_Call(org.osate.aadl2.ComponentImplementation c_impl, java.lang.String process_name)
This process is named as xxx_property, where xxx is the name of component's corresponding Signal process. Gets all the properties specified in this component implementation and also its type component. For each such property, ASME2SSME_Property_Call() method is used to make a process call.
c_impl
- a component implementationprocess_name
- a String name of the c_impl's Signal processpublic void ASME2SSME_PropertySet(org.osate.aadl2.PropertySet ps)
public void read_PropertyAssociation(org.osate.aadl2.PropertyAssociation propertyAssociation)
Gives out the AppliesTo classifier, and the property values.
propertyAssociation
- a property association