Skip to content

GitLab

Commit 0be5ce7c authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Removed, as per J/M request.

parent b65c2c2c
Hide whitespace changes
Inline Side-by-side
Demo_Sockets_RTEMS_Leon2/.gitignore deleted 100644 → 0
View file @ b65c2c2c
flight/flight.adb
flight/flight.ads
Demo_Sockets_RTEMS_Leon2/DataView.aadl deleted 100644 → 0
View file @ b65c2c2c
--------------------------------------------------------
--! File generated by asn2aadl v2.1.10: DO NOT EDIT !
--------------------------------------------------------
--! InputASN1FileChecksum:6877595b855af7ceab3f8dd5399d59c9: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 GNC_INPUT_VESAT_OUTPUT
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 208; suggested aligned message buffer is...
Source_Data_Size => 208 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "GNC-INPUT-VESAT-OUTPUT";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END GNC_INPUT_VESAT_OUTPUT;
DATA GNC_INPUT_VESAT_OUTPUT_Buffer_Max
END GNC_INPUT_VESAT_OUTPUT_Buffer_Max;
DATA IMPLEMENTATION GNC_INPUT_VESAT_OUTPUT_Buffer_Max.impl
-- Buffer to hold a marshalled data of type GNC_INPUT_VESAT_OUTPUT
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (208); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END GNC_INPUT_VESAT_OUTPUT_Buffer_Max.impl;
DATA GNC_INPUT_VESAT_OUTPUT_Buffer
END GNC_INPUT_VESAT_OUTPUT_Buffer;
DATA IMPLEMENTATION GNC_INPUT_VESAT_OUTPUT_Buffer.impl
-- Buffer to hold a marshalled data of type GNC_INPUT_VESAT_OUTPUT
SUBCOMPONENTS
Buffer : data GNC_INPUT_VESAT_OUTPUT_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END GNC_INPUT_VESAT_OUTPUT_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 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_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 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 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_Plot
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 655; suggested aligned message buffer is...
Source_Data_Size => 656 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-Plot";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END T_Plot;
DATA T_Plot_Buffer_Max
END T_Plot_Buffer_Max;
DATA IMPLEMENTATION T_Plot_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_Plot
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (656); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_Plot_Buffer_Max.impl;
DATA T_Plot_Buffer
END T_Plot_Buffer;
DATA IMPLEMENTATION T_Plot_Buffer.impl
-- Buffer to hold a marshalled data of type T_Plot
SUBCOMPONENTS
Buffer : data T_Plot_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END T_Plot_Buffer.impl;
DATA Double
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 13; suggested aligned message buffer is...
Source_Data_Size => 16 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "Double";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aREAL;
END Double;
DATA Double_Buffer_Max
END Double_Buffer_Max;
DATA IMPLEMENTATION Double_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Double
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (16); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Double_Buffer_Max.impl;
DATA Double_Buffer
END Double_Buffer;
DATA IMPLEMENTATION Double_Buffer.impl
-- Buffer to hold a marshalled data of type Double
SUBCOMPONENTS
Buffer : data Double_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Double_Buffer.impl;
DATA Vect6
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 78; suggested aligned message buffer is...
Source_Data_Size => 80 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "Vect6";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCEOF;
END Vect6;
DATA Vect6_Buffer_Max
END Vect6_Buffer_Max;
DATA IMPLEMENTATION Vect6_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Vect6
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (80); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Vect6_Buffer_Max.impl;
DATA Vect6_Buffer
END Vect6_Buffer;
DATA IMPLEMENTATION Vect6_Buffer.impl
-- Buffer to hold a marshalled data of type Vect6
SUBCOMPONENTS
Buffer : data Vect6_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Vect6_Buffer.impl;
DATA Vect3
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 39; suggested aligned message buffer is...
Source_Data_Size => 40 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "Vect3";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCEOF;
END Vect3;
DATA Vect3_Buffer_Max
END Vect3_Buffer_Max;
DATA IMPLEMENTATION Vect3_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Vect3
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (40); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Vect3_Buffer_Max.impl;
DATA Vect3_Buffer
END Vect3_Buffer;
DATA IMPLEMENTATION Vect3_Buffer.impl
-- Buffer to hold a marshalled data of type Vect3
SUBCOMPONENTS
Buffer : data Vect3_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Vect3_Buffer.impl;
DATA Quaternion
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 52; suggested aligned message buffer is...
Source_Data_Size => 56 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "Quaternion";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCEOF;
END Quaternion;
DATA Quaternion_Buffer_Max
END Quaternion_Buffer_Max;
DATA IMPLEMENTATION Quaternion_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Quaternion
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (56); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Quaternion_Buffer_Max.impl;
DATA Quaternion_Buffer
END Quaternion_Buffer;
DATA IMPLEMENTATION Quaternion_Buffer.impl
-- Buffer to hold a marshalled data of type Quaternion
SUBCOMPONENTS
Buffer : data Quaternion_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Quaternion_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 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 Vect20
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 260; suggested aligned message buffer is...
Source_Data_Size => 264 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "Vect20";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCEOF;
END Vect20;
DATA Vect20_Buffer_Max
END Vect20_Buffer_Max;
DATA IMPLEMENTATION Vect20_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Vect20
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (264); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Vect20_Buffer_Max.impl;
DATA Vect20_Buffer
END Vect20_Buffer;
DATA IMPLEMENTATION Vect20_Buffer.impl
-- Buffer to hold a marshalled data of type Vect20
SUBCOMPONENTS
Buffer : data Vect20_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Vect20_Buffer.impl;
DATA Vect8
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 104; suggested aligned message buffer is...
Source_Data_Size => 104 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "Vect8";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCEOF;
END Vect8;
DATA Vect8_Buffer_Max
END Vect8_Buffer_Max;
DATA IMPLEMENTATION Vect8_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Vect8
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (104); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Vect8_Buffer_Max.impl;
DATA Vect8_Buffer
END Vect8_Buffer;
DATA IMPLEMENTATION Vect8_Buffer.impl
-- Buffer to hold a marshalled data of type Vect8
SUBCOMPONENTS
Buffer : data Vect8_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Vect8_Buffer.impl;
DATA GNC_OUTPUT_VESAT_INPUT
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("DataView.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE::Ada_Package_Name => "VEGA";
Deployment::ASN1_Module_Name => "VEGA";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 442; suggested aligned message buffer is...
Source_Data_Size => 448 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "GNC-OUTPUT-VESAT-INPUT";
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END GNC_OUTPUT_VESAT_INPUT;
DATA GNC_OUTPUT_VESAT_INPUT_Buffer_Max
END GNC_OUTPUT_VESAT_INPUT_Buffer_Max;
DATA IMPLEMENTATION GNC_OUTPUT_VESAT_INPUT_Buffer_Max.impl
-- Buffer to hold a marshalled data of type GNC_OUTPUT_VESAT_INPUT
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (448); -- Size of the buffer
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END GNC_OUTPUT_VESAT_INPUT_Buffer_Max.impl;
DATA GNC_OUTPUT_VESAT_INPUT_Buffer
END GNC_OUTPUT_VESAT_INPUT_Buffer;
DATA IMPLEMENTATION GNC_OUTPUT_VESAT_INPUT_Buffer.impl
-- Buffer to hold a marshalled data of type GNC_OUTPUT_VESAT_INPUT
SUBCOMPONENTS
Buffer : data GNC_OUTPUT_VESAT_INPUT_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END GNC_OUTPUT_VESAT_INPUT_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 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;