public class ASME2SSME_Translate_DataPort extends ASME2SSME_Translate_Port
DEF_VALUE_ID, DEQUEUE_NUMBER_ID, ITEM_TYPE_ID, MSG_TYPE_ID, PORT_NAME_ID, READ_FLOW_ID, SENT_FLOW_ID, SIZE_ID, WRITE_FLOW_ID
ACTUAL_CONNECTION_BINDING_ID, ACTUAL_LATENCY_ID, ACTUAL_MEMORY_BINDING_ID, ACTUAL_PROCESSOR_BINDING_ID, CLOCK_PERIOD_ID, COMPUTE_EXECUTION_TIME, COMPUTE_EXECUTION_TIME_PROPERTY_ID, DEADLINE_ID, DEQUEUE_PROTOCOL_ID, DEQUEUE_PROTOCOL_PROPERTY_ID, DEQUEUED_ITEMS_ID, DEQUEUED_ITEMS_PROPERTY_ID, DEVICE_DISPATCH_PROTOCOL_ID, DISPATCH_PROTOCOL_ID, DISPATCH_PROTOCOL_PROPERTY_ID, FAN_OUT_POLICY_ID, FLOWLATENCY_ID, FROZEN_TIME_EVENT_ID, INPUT_TIME_PROPERTY_ID, INPUT_TIME_REFERENCE_TIME_ID, INPUT_TIME_REFERENCE_TIME_PROPERTY_ID, LATENCY_ID, LATENCY_PROPERTY_ID, LATENCY_TIME_EVENT_ID, OUTPUT_TIME_EVENT_ID, OUTPUT_TIME_PROPERTY_ID, OUTPUT_TIME_REFERENCE_TIME_ID, OUTPUT_TIME_REFERENCE_TIME_PROPERTY_ID, OVERFLOW_HANDLING_PROTOCOL_ID, OVERFLOW_HANDLING_PROTOCOL_PROPERTY_ID, PERIOD_ID, PERIOD_PROPERTY, PRIORITY_ID, PROPERTY_ID, QUEUE_PROCESSING_PROTOCOL_ID, QUEUE_PROCESSING_PROTOCOL_PROPERTY_ID, QUEUE_SIZE_ID, QUEUE_SIZE_PROPERTY_ID, READ_TIME_ID, READ_TIME_PROPERTY_ID, REFERENCE_TIME_EVENT_ID, SUPPORTED_DISPATCH_PROTOCOLS, TIME_OFFSET_ID, TIME_OFFSET_PROPERTY_ID, TIME_UNITS_ID, TIMING_ID, 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_DataPort()
Class constructor
|
Modifier and Type | Method and Description |
---|---|
void |
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
|
ProcessModelImpl |
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_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_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_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.
|
ASME2SSME_Port_Common_Property, ASME2SSME_Port_properties, ASME2SSME_Thread_Port_property
ASME2SSME_Actual_Connection_Binding_Property, ASME2SSME_Actual_Memory_Binding_Property, ASME2SSME_Actual_Processor_Binding_Property, ASME2SSME_ActualLatency_Property_Call, ASME2SSME_Clock_Period_Property, ASME2SSME_Component_Properties_Call, ASME2SSME_Deadline_Property, ASME2SSME_Dequeue_Protocol_Property_Call, ASME2SSME_Dequeue_Protocol, ASME2SSME_Dequeued_Items_Property_Call, ASME2SSME_Dequeued_Items, ASME2SSME_Device_Dispatch_Protocol_Property, ASME2SSME_Device_property_call, ASME2SSME_Dispatch_Protocol_Property, ASME2SSME_Fan_Out_Policy_Property_Call, ASME2SSME_FlowLatency_Property_Call, ASME2SSME_Input_Time_Reference_Time_Property_Call, ASME2SSME_InputTime, ASME2SSME_Latency_Property_Call, ASME2SSME_Output_Time_Reference_Time_Property_Call, ASME2SSME_OutputTime, ASME2SSME_Overflow_Handling_Protocol_Property_Call, ASME2SSME_Overflow_Handling_Protocol, ASME2SSME_Period_Property, ASME2SSME_Priority_Property_Call, ASME2SSME_Property_Call_withName, ASME2SSME_Property_Call, ASME2SSME_PropertySet, ASME2SSME_Queue_Processing_Protocol_Property_Call, ASME2SSME_Queue_Processing_Protocol, ASME2SSME_Queue_Size_Property_Call, ASME2SSME_Queue_Size, ASME2SSME_Read_Time_Property, ASME2SSME_Source_Name, ASME2SSME_Time_Offset_Property_Call, ASME2SSME_Time_Unit_ConstantEnum, ASME2SSME_Timing_Property_Call, ASME2SSME_Timing, Name_of_Reference_data_classifier, read_PropertyAssociation
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 ASME2SSME_Translate_DataPort()
public ProcessModelImpl ASME2SSME_Thread_InDataPort(org.osate.aadl2.ThreadImplementation timpl, org.osate.aadl2.DataPort dataPort)
This Signal process is xx_InDataPort, where xx is the name of the data port. It is composed of two subprocesses: xx_InDataPort_Behavior() and xx_InDataPort_Property(). xx_InDataPort_Behavior() calls the InDataPort_Behavior() process from the predefined library. xx_InDataPort_Property() calls the processes that represent the properties.
timpl
- thread implementation componentdataPort
- an AADL data port of thread timplpublic ProcessModelImpl ASME2SSME_Thread_InDataPort_behavior(java.lang.String t_name)
This Signal process is named as xx_InDataPort_behavior, where xx is the data port name. The interface contains parameters: {type item_type;}
inputs: ? event Frozen_time_event; item_type write_flow; event Reference_time_event; outputs: ! item_type read_flow; The body calls the InDataPort_behavior() process which is defined in our Signal library.
t_name
- a String name of thread in data port Signal processpublic ProcessModelImpl ASME2SSME_Thread_OutDataPort(org.osate.aadl2.ThreadImplementation timpl, org.osate.aadl2.DataPort dataPort)
This process is named as "xx_OutDataPort", where xx is the name of this data port. The interface contains the parameters: type item_type; inputs: event Output_time_event; item_type write_flow; event Reference_time_event; output: item_type sent_flow;
The body is composed of two subprocesses: xx_OutDataPort_Behavior() and xx_OutDataPort_Property(). xx_OutDataPort_Behavior() calls the OutDataPort_Behavior() process from the library. xx_OutDataPort_Property() calls properties of this data port.
timpl
- a thread implementation componentdataPort
- an out data port of this threadpublic ProcessModelImpl ASME2SSME_Thread_OutDataPort_behavior(java.lang.String t_name)
This process is named as "xx_OutDataPort_behavior", where xx is the name of this data port. The interface contains the parameters: type item_type; inputs: event Output_time_event; item_type write_flow; event Reference_time_event; output: item_type sent_flow;
The body calls OutDtaPort_behavior() process which is a predefined process in the library.
t_name
- a String of Signal process name of this thread out data portpublic void ASME2SSME_Thread_DataPort_FixProperties(org.osate.aadl2.ThreadImplementation timpl, org.osate.aadl2.DataPort p, ProcessModelImpl t_property)
timpl
- p
- t_property
-