Skip to content

GitLab

Commit a8bc85f4 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update dataview of test project

parent b32c67e4
Hide whitespace changes
Inline Side-by-side
Showing with 139 additions and 124 deletions
Demo_ContextParams/DataView.aadl
View file @ a8bc85f4
--------------------------------------------------------
--! File generated by asn2aadl v1.2359: DO NOT EDIT !
--! File generated by asn2aadl v2.1.10: DO NOT EDIT !
--------------------------------------------------------
--! InputASN1FileChecksum:c4cca3f50df525b08cac54f4b04c5297:/home/taste/tool-src/testSuites/Demo_ContextParams/DataView.asn:
--! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:/home/taste/tool-inst/share/taste-types/taste-types.asn:
--------------------------------------------------------
package DataView
......@@ -10,41 +13,79 @@ public
with Taste;
with Base_Types;
with Deployment;
-- No more private heap required (we use the space certified compiler)
-- Memory_Required: 0
DATA Simulink_Tunable_Parameter
PROPERTIES
TASTE::Ada_Package_Name => "TASTE-Directives";
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";
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
DATA Taste_directive
PROPERTIES
TASTE::Ada_Package_Name => "TASTE-Directives";
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Taste-directive";
Deployment::ASN1_Module_Name => "TASTE-Directives";
END TASTE_Directive;
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
DATA T_SEQUENCE
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-src/testSuites/Demo_ContextParams/DataView.asn");
TASTE::Ada_Package_Name => "DataView";
Deployment::ASN1_Module_Name => "DataView";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 16; suggested aligned message buffer is...
Source_Data_Size => 16 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-SEQUENCE";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END T_SEQUENCE;
DATA T_SEQUENCE_Buffer_Max
END T_SEQUENCE_Buffer_Max;
DATA IMPLEMENTATION T_SEQUENCE_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_SEQUENCE
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (16); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_SEQUENCE_Buffer_Max.impl;
DATA T_SEQUENCE_Buffer
END T_SEQUENCE_Buffer;
DATA IMPLEMENTATION T_SEQUENCE_Buffer.impl
-- Buffer to hold a marshalled data of type T_SEQUENCE
SUBCOMPONENTS
Buffer : data T_SEQUENCE_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_SEQUENCE_Buffer.impl;
DATA T_Int8
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("~/tool-inst/share/taste-types/taste-types.asn");
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => ASN1;
......@@ -52,38 +93,77 @@ PROPERTIES
-- 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";
Type_Source_Name => "T-Int8";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_UInt32;
END T_Int8;
DATA T_UInt32_Buffer_Max
END T_UInt32_Buffer_Max;
DATA T_Int8_Buffer_Max
END T_Int8_Buffer_Max;
DATA IMPLEMENTATION T_UInt32_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_UInt32
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_UInt32_Buffer_Max.impl;
END T_Int8_Buffer_Max.impl;
DATA T_UInt32_Buffer
END T_UInt32_Buffer;
DATA T_Int8_Buffer
END T_Int8_Buffer;
DATA IMPLEMENTATION T_UInt32_Buffer.impl
-- Buffer to hold a marshalled data of type T_UInt32
DATA IMPLEMENTATION T_Int8_Buffer.impl
-- Buffer to hold a marshalled data of type T_Int8
SUBCOMPONENTS
Buffer : data T_UInt32_Buffer_Max.impl;
Length : data Base_Types::Unsigned_16;
Buffer : data T_Int8_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_UInt32_Buffer.impl;
END T_Int8_Buffer.impl;
DATA T_INTEGER
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-src/testSuites/Demo_ContextParams/DataView.asn");
TASTE::Ada_Package_Name => "DataView";
Deployment::ASN1_Module_Name => "DataView";
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-INTEGER";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_INTEGER;
DATA T_INTEGER_Buffer_Max
END T_INTEGER_Buffer_Max;
DATA IMPLEMENTATION T_INTEGER_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_INTEGER
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_INTEGER_Buffer_Max.impl;
DATA T_INTEGER_Buffer
END T_INTEGER_Buffer;
DATA IMPLEMENTATION T_INTEGER_Buffer.impl
-- Buffer to hold a marshalled data of type T_INTEGER
SUBCOMPONENTS
Buffer : data T_INTEGER_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_INTEGER_Buffer.impl;
DATA T_UInt8
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("~/tool-inst/share/taste-types/taste-types.asn");
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => ASN1;
......@@ -114,7 +194,7 @@ 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_16;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_UInt8_Buffer.impl;
......@@ -122,7 +202,7 @@ END T_UInt8_Buffer.impl;
DATA T_Boolean
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("~/tool-inst/share/taste-types/taste-types.asn");
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => ASN1;
......@@ -153,54 +233,15 @@ 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_16;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_Boolean_Buffer.impl;
DATA T_SEQUENCE
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::Ada_Package_Name => "DataView";
Deployment::ASN1_Module_Name => "DataView";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 16; suggested aligned message buffer is...
Source_Data_Size => 16 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-SEQUENCE";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END T_SEQUENCE;
DATA T_SEQUENCE_Buffer_Max
END T_SEQUENCE_Buffer_Max;
DATA IMPLEMENTATION T_SEQUENCE_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_SEQUENCE
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (16); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_SEQUENCE_Buffer_Max.impl;
DATA T_SEQUENCE_Buffer
END T_SEQUENCE_Buffer;
DATA IMPLEMENTATION T_SEQUENCE_Buffer.impl
-- Buffer to hold a marshalled data of type T_SEQUENCE
SUBCOMPONENTS
Buffer : data T_SEQUENCE_Buffer_Max.impl;
Length : data Base_Types::Unsigned_16;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_SEQUENCE_Buffer.impl;
DATA T_Int8
DATA T_UInt32
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("~/tool-inst/share/taste-types/taste-types.asn");
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => ASN1;
......@@ -208,38 +249,38 @@ PROPERTIES
-- 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";
Type_Source_Name => "T-UInt32";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_Int8;
END T_UInt32;
DATA T_Int8_Buffer_Max
END T_Int8_Buffer_Max;
DATA T_UInt32_Buffer_Max
END T_UInt32_Buffer_Max;
DATA IMPLEMENTATION T_Int8_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_Int8
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_Int8_Buffer_Max.impl;
END T_UInt32_Buffer_Max.impl;
DATA T_Int8_Buffer
END T_Int8_Buffer;
DATA T_UInt32_Buffer
END T_UInt32_Buffer;
DATA IMPLEMENTATION T_Int8_Buffer.impl
-- Buffer to hold a marshalled data of type T_Int8
DATA IMPLEMENTATION T_UInt32_Buffer.impl
-- Buffer to hold a marshalled data of type T_UInt32
SUBCOMPONENTS
Buffer : data T_Int8_Buffer_Max.impl;
Length : data Base_Types::Unsigned_16;
Buffer : data T_UInt32_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_Int8_Buffer.impl;
END T_UInt32_Buffer.impl;
DATA T_Int32
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("~/tool-inst/share/taste-types/taste-types.asn");
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => ASN1;
......@@ -270,48 +311,22 @@ 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_16;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_Int32_Buffer.impl;
DATA T_INTEGER
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::Ada_Package_Name => "DataView";
Deployment::ASN1_Module_Name => "DataView";
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-INTEGER";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_INTEGER;
DATA T_INTEGER_Buffer_Max
END T_INTEGER_Buffer_Max;
SYSTEM Taste_DataView
END Taste_DataView;
DATA IMPLEMENTATION T_INTEGER_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_INTEGER
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_INTEGER_Buffer_Max.impl;
DATA T_INTEGER_Buffer
END T_INTEGER_Buffer;
DATA IMPLEMENTATION T_INTEGER_Buffer.impl
-- Buffer to hold a marshalled data of type T_INTEGER
SYSTEM IMPLEMENTATION Taste_DataView.others
SUBCOMPONENTS
Buffer : data T_INTEGER_Buffer_Max.impl;
Length : data Base_Types::Unsigned_16;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_INTEGER_Buffer.impl;
T_SEQUENCE : DATA T_SEQUENCE;
T_Int8 : DATA T_Int8;
T_INTEGER : DATA T_INTEGER;
T_UInt8 : DATA T_UInt8;
T_Boolean : DATA T_Boolean;
T_UInt32 : DATA T_UInt32;
T_Int32 : DATA T_Int32;
END Taste_DataView.others;
end DataView;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment