public class ASME2SSME_Translate_Device extends ASME2SSME_Translate_Feature
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_Device()
Class constructor
|
Modifier and Type | Method and Description |
---|---|
ProcessModelImpl |
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.
|
void |
ASME2SSME_Device_Features(org.osate.aadl2.DeviceType dt,
ProcessModelImpl vprocess)
Translates device features
|
void |
ASME2SSME_Device_FlowSpecs(ProcessModelImpl vprocess,
org.osate.aadl2.DeviceType dt)
Translates flow specifications of a device type
|
ProcessModelImpl |
ASME2SSME_Device_property(org.osate.aadl2.DeviceImplementation device_impl)
Returns a Signal process xx_device_property that represents the properties of a device component.
|
void |
ASME2SSME_DeviceImpl_Flows(ProcessModelImpl vprocess,
org.osate.aadl2.DeviceImplementation dd)
Translates flows of a device implementation
|
void |
ASME2SSME_DeviceImpl_Modes(org.osate.aadl2.DeviceImplementation dd)
Translate modes of a device implementation component
|
ProcessModelImpl |
ASME2SSME_DeviceImpl(org.osate.aadl2.DeviceImplementation d)
Returns a Signal process that represents a device implementation.
|
ProcessModelImpl |
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())
|
ASME2SSME_BusAccess, ASME2SSME_DataAccess, ASME2SSME_DataPort, ASME2SSME_EventDataPort, ASME2SSME_EventPort, ASME2SSME_Parameter, ASME2SSME_Port, ASME2SSME_RequiresDataAccess_Bundle, ASME2SSME_RequiresDataAccess_ReadTime, ASME2SSME_RequiresDataAccess_reset, ASME2SSME_RequiresDataAccess_WriteTime, ASME2SSME_RequiresSubprogramAccess_call, ASME2SSME_SubprogramCall1
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 ProcessModelImpl ASME2SSME_DeviceType(org.osate.aadl2.DeviceType d)
Gets the in/out port of this device type, and translates them as the input/output of the interface (use ASME2SSME_ComponentInterface())
d
- a device type componentpublic ProcessModelImpl ASME2SSME_DeviceImpl(org.osate.aadl2.DeviceImplementation d)
Gets its device type, and translates it as the interface of this process. Gets its subcomponents, and each subcomponent classifier (type or implementation) is translated by the corresponding rule. (They are represented as instances of their classifiers. )
d
- a device implementation componentpublic ProcessModelImpl ASME2SSME_Device_behavior(org.osate.aadl2.DeviceImplementation d)
This process name is "xxx_behavior", where xxx is this device's corresponding Signal process name. In this moment, only a skeleton process model is provided. The interface and body are empry.
p_name
- a string name of a Signal process which represents this device componentpublic ProcessModelImpl ASME2SSME_Device_property(org.osate.aadl2.DeviceImplementation device_impl)
This process is named as xxx_property, where xxx is the name of this device component's corresponding Signal process. Gets all the properties specified in this device implementation and also its type component. For each such property, ASME2SSME_Device_property_call() method is used to make a process call.
device_impl
- a device implementation componentpublic void ASME2SSME_Device_Features(org.osate.aadl2.DeviceType dt, ProcessModelImpl vprocess)
dt
- public void ASME2SSME_Device_FlowSpecs(ProcessModelImpl vprocess, org.osate.aadl2.DeviceType dt)
tt
- a device type componentpublic void ASME2SSME_DeviceImpl_Flows(ProcessModelImpl vprocess, org.osate.aadl2.DeviceImplementation dd)
dd
- a device implementation componentpublic void ASME2SSME_DeviceImpl_Modes(org.osate.aadl2.DeviceImplementation dd)
dd
-