From b9fc283c8420cc41471a7c820b061080cb8e45e9 Mon Sep 17 00:00:00 2001 From: Thanassis Tsiodras Date: Tue, 19 Jun 2018 17:07:01 +0200 Subject: [PATCH] Fixed paths --- Demo_3Nodes/DataView.aadl | 317 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 317 insertions(+) create mode 100644 Demo_3Nodes/DataView.aadl diff --git a/Demo_3Nodes/DataView.aadl b/Demo_3Nodes/DataView.aadl new file mode 100644 index 0000000..6ebe300 --- /dev/null +++ b/Demo_3Nodes/DataView.aadl @@ -0,0 +1,317 @@ +-------------------------------------------------------- +--! File generated by asn2aadl v2.1.17: DO NOT EDIT ! +-------------------------------------------------------- +--! InputASN1FileChecksum:6bf664b31ce9ca6fd89af52cea7ea0f2:DataView.asn: +--! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:../../misc/taste-common-types/taste-types.asn: +-------------------------------------------------------- + +package DataView + +public + + with Data_Model; + with Taste; + with Base_Types; + with Deployment; + +DATA Simulink_Tunable_Parameter +PROPERTIES + TASTE::Ada_Package_Name => "TASTE_Directives"; + Type_Source_Name => "Simulink-Tunable-Parameter"; + Deployment::ASN1_Module_Name => "TASTE-Directives"; + TASTE::Forbid_in_PI => true; +END Simulink_Tunable_Parameter; + +DATA Timer +PROPERTIES + TASTE::Ada_Package_Name => "TASTE_Directives"; + Type_Source_Name => "Timer"; + Deployment::ASN1_Module_Name => "TASTE-Directives"; + TASTE::Forbid_in_PI => true; +END Timer; + +DATA Taste_directive +PROPERTIES + TASTE::Ada_Package_Name => "TASTE_Directives"; + Type_Source_Name => "Taste-directive"; + Deployment::ASN1_Module_Name => "TASTE-Directives"; + TASTE::Forbid_in_PI => true; +END Taste_directive; + +data Stream_Element_Buffer + -- Root type for buffer elements +properties + Data_Model::Data_Representation => Character; +end Stream_Element_Buffer; +DATA T_UInt32 +PROPERTIES + -- name of the ASN.1 source file: + Source_Text => ("../../misc/taste-common-types/taste-types.asn"); + TASTE::Ada_Package_Name => "TASTE_BasicTypes"; + Deployment::ASN1_Module_Name => "TASTE-BasicTypes"; + Source_Language => (ASN1); + -- Size of a buffer to cover all forms of message representation: + -- Real message size is 8; suggested aligned message buffer is... + Source_Data_Size => 8 Bytes; + -- name of the corresponding data type in the source file: + Type_Source_Name => "T-UInt32"; + -- what kind of type is this? + TASTE::ASN1_Basic_Type =>aINTEGER; +END T_UInt32; + +DATA IMPLEMENTATION T_UInt32.impl +END T_UInt32.impl; + +DATA T_UInt32_Buffer_Max +END T_UInt32_Buffer_Max; + +DATA IMPLEMENTATION T_UInt32_Buffer_Max.impl + -- Buffer to hold a marshalled data of type T_UInt32 +PROPERTIES + Data_Model::Data_Representation => array; + Data_Model::Dimension => (8); -- Size of the buffer + Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer)); +END T_UInt32_Buffer_Max.impl; + +DATA T_UInt32_Buffer +END T_UInt32_Buffer; + +DATA IMPLEMENTATION T_UInt32_Buffer.impl + -- Buffer to hold a marshalled data of type T_UInt32 +SUBCOMPONENTS + Buffer : data T_UInt32_Buffer_Max.impl; + Length : data Base_Types::Unsigned_32; +PROPERTIES + Data_Model::Data_Representation => Struct; +END T_UInt32_Buffer.impl; + +DATA T_Boolean +PROPERTIES + -- name of the ASN.1 source file: + Source_Text => ("../../misc/taste-common-types/taste-types.asn"); + TASTE::Ada_Package_Name => "TASTE_BasicTypes"; + Deployment::ASN1_Module_Name => "TASTE-BasicTypes"; + Source_Language => (ASN1); + -- Size of a buffer to cover all forms of message representation: + -- Real message size is 1; suggested aligned message buffer is... + Source_Data_Size => 8 Bytes; + -- name of the corresponding data type in the source file: + Type_Source_Name => "T-Boolean"; + -- what kind of type is this? + TASTE::ASN1_Basic_Type =>aBOOLEAN; +END T_Boolean; + +DATA IMPLEMENTATION T_Boolean.impl +END T_Boolean.impl; + +DATA T_Boolean_Buffer_Max +END T_Boolean_Buffer_Max; + +DATA IMPLEMENTATION T_Boolean_Buffer_Max.impl + -- Buffer to hold a marshalled data of type T_Boolean +PROPERTIES + Data_Model::Data_Representation => array; + Data_Model::Dimension => (8); -- Size of the buffer + Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer)); +END T_Boolean_Buffer_Max.impl; + +DATA T_Boolean_Buffer +END T_Boolean_Buffer; + +DATA IMPLEMENTATION T_Boolean_Buffer.impl + -- Buffer to hold a marshalled data of type T_Boolean +SUBCOMPONENTS + Buffer : data T_Boolean_Buffer_Max.impl; + Length : data Base_Types::Unsigned_32; +PROPERTIES + Data_Model::Data_Representation => Struct; +END T_Boolean_Buffer.impl; + +DATA T_Int8 +PROPERTIES + -- name of the ASN.1 source file: + Source_Text => ("../../misc/taste-common-types/taste-types.asn"); + TASTE::Ada_Package_Name => "TASTE_BasicTypes"; + Deployment::ASN1_Module_Name => "TASTE-BasicTypes"; + Source_Language => (ASN1); + -- Size of a buffer to cover all forms of message representation: + -- Real message size is 8; suggested aligned message buffer is... + Source_Data_Size => 8 Bytes; + -- name of the corresponding data type in the source file: + Type_Source_Name => "T-Int8"; + -- what kind of type is this? + TASTE::ASN1_Basic_Type =>aINTEGER; +END T_Int8; + +DATA IMPLEMENTATION T_Int8.impl +END T_Int8.impl; + +DATA T_Int8_Buffer_Max +END T_Int8_Buffer_Max; + +DATA IMPLEMENTATION T_Int8_Buffer_Max.impl + -- Buffer to hold a marshalled data of type T_Int8 +PROPERTIES + Data_Model::Data_Representation => array; + Data_Model::Dimension => (8); -- Size of the buffer + Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer)); +END T_Int8_Buffer_Max.impl; + +DATA T_Int8_Buffer +END T_Int8_Buffer; + +DATA IMPLEMENTATION T_Int8_Buffer.impl + -- Buffer to hold a marshalled data of type T_Int8 +SUBCOMPONENTS + Buffer : data T_Int8_Buffer_Max.impl; + Length : data Base_Types::Unsigned_32; +PROPERTIES + Data_Model::Data_Representation => Struct; +END T_Int8_Buffer.impl; + +DATA T_Int32 +PROPERTIES + -- name of the ASN.1 source file: + Source_Text => ("../../misc/taste-common-types/taste-types.asn"); + TASTE::Ada_Package_Name => "TASTE_BasicTypes"; + Deployment::ASN1_Module_Name => "TASTE-BasicTypes"; + Source_Language => (ASN1); + -- Size of a buffer to cover all forms of message representation: + -- Real message size is 8; suggested aligned message buffer is... + Source_Data_Size => 8 Bytes; + -- name of the corresponding data type in the source file: + Type_Source_Name => "T-Int32"; + -- what kind of type is this? + TASTE::ASN1_Basic_Type =>aINTEGER; +END T_Int32; + +DATA IMPLEMENTATION T_Int32.impl +END T_Int32.impl; + +DATA T_Int32_Buffer_Max +END T_Int32_Buffer_Max; + +DATA IMPLEMENTATION T_Int32_Buffer_Max.impl + -- Buffer to hold a marshalled data of type T_Int32 +PROPERTIES + Data_Model::Data_Representation => array; + Data_Model::Dimension => (8); -- Size of the buffer + Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer)); +END T_Int32_Buffer_Max.impl; + +DATA T_Int32_Buffer +END T_Int32_Buffer; + +DATA IMPLEMENTATION T_Int32_Buffer.impl + -- Buffer to hold a marshalled data of type T_Int32 +SUBCOMPONENTS + Buffer : data T_Int32_Buffer_Max.impl; + Length : data Base_Types::Unsigned_32; +PROPERTIES + Data_Model::Data_Representation => Struct; +END T_Int32_Buffer.impl; + +DATA T_UInt8 +PROPERTIES + -- name of the ASN.1 source file: + Source_Text => ("../../misc/taste-common-types/taste-types.asn"); + TASTE::Ada_Package_Name => "TASTE_BasicTypes"; + Deployment::ASN1_Module_Name => "TASTE-BasicTypes"; + Source_Language => (ASN1); + -- Size of a buffer to cover all forms of message representation: + -- Real message size is 8; suggested aligned message buffer is... + Source_Data_Size => 8 Bytes; + -- name of the corresponding data type in the source file: + Type_Source_Name => "T-UInt8"; + -- what kind of type is this? + TASTE::ASN1_Basic_Type =>aINTEGER; +END T_UInt8; + +DATA IMPLEMENTATION T_UInt8.impl +END T_UInt8.impl; + +DATA T_UInt8_Buffer_Max +END T_UInt8_Buffer_Max; + +DATA IMPLEMENTATION T_UInt8_Buffer_Max.impl + -- Buffer to hold a marshalled data of type T_UInt8 +PROPERTIES + Data_Model::Data_Representation => array; + Data_Model::Dimension => (8); -- Size of the buffer + Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer)); +END T_UInt8_Buffer_Max.impl; + +DATA T_UInt8_Buffer +END T_UInt8_Buffer; + +DATA IMPLEMENTATION T_UInt8_Buffer.impl + -- Buffer to hold a marshalled data of type T_UInt8 +SUBCOMPONENTS + Buffer : data T_UInt8_Buffer_Max.impl; + Length : data Base_Types::Unsigned_32; +PROPERTIES + Data_Model::Data_Representation => Struct; +END T_UInt8_Buffer.impl; + +DATA TASTE_Boolean +PROPERTIES + -- name of the ASN.1 source file: + Source_Text => ("DataView.asn"); + TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView); + TASTE::Ada_Package_Name => "TASTE_Dataview"; + Deployment::ASN1_Module_Name => "TASTE-Dataview"; + Source_Language => (ASN1); + -- Size of a buffer to cover all forms of message representation: + -- Real message size is 1; suggested aligned message buffer is... + Source_Data_Size => 8 Bytes; + -- name of the corresponding data type in the source file: + Type_Source_Name => "TASTE-Boolean"; + -- what kind of type is this? + TASTE::ASN1_Basic_Type =>aBOOLEAN; +END TASTE_Boolean; + +DATA IMPLEMENTATION TASTE_Boolean.impl +END TASTE_Boolean.impl; + +DATA TASTE_Boolean_Buffer_Max +END TASTE_Boolean_Buffer_Max; + +DATA IMPLEMENTATION TASTE_Boolean_Buffer_Max.impl + -- Buffer to hold a marshalled data of type TASTE_Boolean +PROPERTIES + Data_Model::Data_Representation => array; + Data_Model::Dimension => (8); -- Size of the buffer + Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer)); +END TASTE_Boolean_Buffer_Max.impl; + +DATA TASTE_Boolean_Buffer +END TASTE_Boolean_Buffer; + +DATA IMPLEMENTATION TASTE_Boolean_Buffer.impl + -- Buffer to hold a marshalled data of type TASTE_Boolean +SUBCOMPONENTS + Buffer : data TASTE_Boolean_Buffer_Max.impl; + Length : data Base_Types::Unsigned_32; +PROPERTIES + Data_Model::Data_Representation => Struct; +END TASTE_Boolean_Buffer.impl; + +SYSTEM Taste_DataView +END Taste_DataView; + +SYSTEM IMPLEMENTATION Taste_DataView.others +SUBCOMPONENTS + T_UInt32 : DATA T_UInt32.impl; + T_Boolean : DATA T_Boolean.impl; + T_Int8 : DATA T_Int8.impl; + T_Int32 : DATA T_Int32.impl; + T_UInt8 : DATA T_UInt8.impl; + TASTE_Boolean : DATA TASTE_Boolean.impl; +END Taste_DataView.others; +DATA ACN_DataView +PROPERTIES + Source_Text => ("DataView.acn"); + Source_Language => (ACN); +END ACN_DataView; + +end DataView; -- GitLab