Commit fbbb3655 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Fix regression check in CircleCI.

parent da5b9ed5
--------------------------------------------------------
--! File generated by asn2aadl v2.1.22: DO NOT EDIT !
--------------------------------------------------------
--! InputASN1FileChecksum:fe580a474818fa11f65d05626d8ee0cb: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 ControlLawOutputTypeSimulink
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 16; suggested aligned message buffer is...
Source_Data_Size => 16 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "ControlLawOutputTypeSimulink";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END ControlLawOutputTypeSimulink;
DATA IMPLEMENTATION ControlLawOutputTypeSimulink.impl
END ControlLawOutputTypeSimulink.impl;
DATA ControlLawOutputTypeSimulink_Buffer_Max
END ControlLawOutputTypeSimulink_Buffer_Max;
DATA IMPLEMENTATION ControlLawOutputTypeSimulink_Buffer_Max.impl
-- Buffer to hold a marshalled data of type ControlLawOutputTypeSimulink
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (16); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END ControlLawOutputTypeSimulink_Buffer_Max.impl;
DATA ControlLawOutputTypeSimulink_Buffer
END ControlLawOutputTypeSimulink_Buffer;
DATA IMPLEMENTATION ControlLawOutputTypeSimulink_Buffer.impl
-- Buffer to hold a marshalled data of type ControlLawOutputTypeSimulink
SUBCOMPONENTS
Buffer : data ControlLawOutputTypeSimulink_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END ControlLawOutputTypeSimulink_Buffer.impl;
DATA ControlLawInputTypeSimulink
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 24; suggested aligned message buffer is...
Source_Data_Size => 24 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "ControlLawInputTypeSimulink";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END ControlLawInputTypeSimulink;
DATA IMPLEMENTATION ControlLawInputTypeSimulink.impl
END ControlLawInputTypeSimulink.impl;
DATA ControlLawInputTypeSimulink_Buffer_Max
END ControlLawInputTypeSimulink_Buffer_Max;
DATA IMPLEMENTATION ControlLawInputTypeSimulink_Buffer_Max.impl
-- Buffer to hold a marshalled data of type ControlLawInputTypeSimulink
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (24); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END ControlLawInputTypeSimulink_Buffer_Max.impl;
DATA ControlLawInputTypeSimulink_Buffer
END ControlLawInputTypeSimulink_Buffer;
DATA IMPLEMENTATION ControlLawInputTypeSimulink_Buffer.impl
-- Buffer to hold a marshalled data of type ControlLawInputTypeSimulink
SUBCOMPONENTS
Buffer : data ControlLawInputTypeSimulink_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END ControlLawInputTypeSimulink_Buffer.impl;
DATA ControlLawInputType
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 40; suggested aligned message buffer is...
Source_Data_Size => 40 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "ControlLawInputType";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END ControlLawInputType;
DATA IMPLEMENTATION ControlLawInputType.impl
END ControlLawInputType.impl;
DATA ControlLawInputType_Buffer_Max
END ControlLawInputType_Buffer_Max;
DATA IMPLEMENTATION ControlLawInputType_Buffer_Max.impl
-- Buffer to hold a marshalled data of type ControlLawInputType
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (40); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END ControlLawInputType_Buffer_Max.impl;
DATA ControlLawInputType_Buffer
END ControlLawInputType_Buffer;
DATA IMPLEMENTATION ControlLawInputType_Buffer.impl
-- Buffer to hold a marshalled data of type ControlLawInputType
SUBCOMPONENTS
Buffer : data ControlLawInputType_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END ControlLawInputType_Buffer.impl;
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 FixedPoint
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 8; suggested aligned message buffer is...
Source_Data_Size => 8 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "FixedPoint";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END FixedPoint;
DATA IMPLEMENTATION FixedPoint.impl
END FixedPoint.impl;
DATA FixedPoint_Buffer_Max
END FixedPoint_Buffer_Max;
DATA IMPLEMENTATION FixedPoint_Buffer_Max.impl
-- Buffer to hold a marshalled data of type FixedPoint
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END FixedPoint_Buffer_Max.impl;
DATA FixedPoint_Buffer
END FixedPoint_Buffer;
DATA IMPLEMENTATION FixedPoint_Buffer.impl
-- Buffer to hold a marshalled data of type FixedPoint
SUBCOMPONENTS
Buffer : data FixedPoint_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END FixedPoint_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 ControlLawOutputType
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 26; suggested aligned message buffer is...
Source_Data_Size => 32 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "ControlLawOutputType";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END ControlLawOutputType;
DATA IMPLEMENTATION ControlLawOutputType.impl
END ControlLawOutputType.impl;
DATA ControlLawOutputType_Buffer_Max
END ControlLawOutputType_Buffer_Max;
DATA IMPLEMENTATION ControlLawOutputType_Buffer_Max.impl
-- Buffer to hold a marshalled data of type ControlLawOutputType
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (32); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END ControlLawOutputType_Buffer_Max.impl;
DATA ControlLawOutputType_Buffer
END ControlLawOutputType_Buffer;
DATA IMPLEMENTATION ControlLawOutputType_Buffer.impl
-- Buffer to hold a marshalled data of type ControlLawOutputType
SUBCOMPONENTS
Buffer : data ControlLawOutputType_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END ControlLawOutputType_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_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;
SYSTEM Taste_DataView
END Taste_DataView;
SYSTEM IMPLEMENTATION Taste_DataView.others
SUBCOMPONENTS
ControlLawOutputTypeSimulink : DATA ControlLawOutputTypeSimulink.impl;
ControlLawInputTypeSimulink : DATA ControlLawInputTypeSimulink.impl;
ControlLawInputType : DATA ControlLawInputType.impl;
T_UInt32 : DATA T_UInt32.impl;
T_Boolean : DATA T_Boolean.impl;
FixedPoint : DATA FixedPoint.impl;
T_UInt8 : DATA T_UInt8.impl;
ControlLawOutputType : DATA ControlLawOutputType.impl;
T_Int32 : DATA T_Int32.impl;
T_Int8 : DATA T_Int8.impl;
END Taste_DataView.others;
DATA ACN_DataView
PROPERTIES
Source_Text => ("DataView.acn");
Source_Language => (ACN);
END ACN_DataView;
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