Commit fb0d4ab2 authored by Maxime Perrotin's avatar Maxime Perrotin

Delete garbage files

parent 92b13e62
......@@ -3,6 +3,7 @@ project orchestrator is
for Languages use ("SDL");
for Source_Dirs use (".");
for Object_Dir use "code";
for Source_Files use ("orchestrator.pr");
package Naming is
for Body_Suffix ("SDL") use ".pr";
......@@ -11,6 +12,6 @@ project orchestrator is
package Compiler is
for Driver ("SDL") use "opengeode";
for Object_File_Suffix ("SDL") use ".adb";
for Leading_Required_Switches ("SDL") use ("--toAda");
for Leading_Required_Switches ("SDL") use ("--toAda", "../system_structure.pr");
end Compiler;
end orchestrator;
\ No newline at end of file
end orchestrator;
-- Automatically generated by OpenGEODE - do NOT modify!
SUBPROGRAM pulse
FEATURES
pulse_param: IN PARAMETER DataView::MyEnum {encoding=>Native;};
END pulse;
SUBPROGRAM IMPLEMENTATION pulse.GUI_RI
PROPERTIES
FV_Name => "orchestrator";
Source_Language => GUI_RI;
END pulse.GUI_RI;
SUBPROGRAM telemetry
FEATURES
telemetry_param: IN PARAMETER DataView::MyEnum {encoding=>Native;};
END telemetry;
SUBPROGRAM IMPLEMENTATION telemetry.GUI_PI
PROPERTIES
FV_Name => "orchestrator";
Source_Language => GUI_PI;
END telemetry.GUI_PI;
SUBPROGRAM peek_list
FEATURES
peek_list_param: IN PARAMETER DataView::TASTE_Peek_id_list {encoding=>Native;};
END peek_list;
SUBPROGRAM IMPLEMENTATION peek_list.GUI_PI
PROPERTIES
FV_Name => "orchestrator";
Source_Language => GUI_PI;
END peek_list.GUI_PI;
SUBPROGRAM peek_fixed
FEATURES
peek_fixed_param: IN PARAMETER DataView::FixedIntList {encoding=>Native;};
END peek_fixed;
SUBPROGRAM IMPLEMENTATION peek_fixed.GUI_PI
PROPERTIES
FV_Name => "orchestrator";
Source_Language => GUI_PI;
END peek_fixed.GUI_PI;
This diff is collapsed.
#ifndef __C_DATAVIEW_UNIQ_H__
#define __C_DATAVIEW_UNIQ_H__
#include <stdlib.h> /* for size_t */
#include "dataview-uniq.h" // Space certified compiler generated
#include "../../system_config.h" // Choose ASN.1 Types to use
#ifdef __NEED_MyChoice_UPER
size_t Encode_UPER_MyChoice(void *pBuffer, size_t iMaxBufferSize, const asn1SccMyChoice *pSrc);
#endif
#ifdef __NEED_MyChoice_ACN
size_t Encode_ACN_MyChoice(void *pBuffer, size_t iMaxBufferSize, asn1SccMyChoice *pSrc);
#endif
#ifdef __NEED_MyChoice_NATIVE
size_t Encode_NATIVE_MyChoice(void *pBuffer, size_t iMaxBufferSize, const asn1SccMyChoice *pSrc);
#endif
#ifdef __NEED_MyChoice_UPER
int Decode_UPER_MyChoice(asn1SccMyChoice *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MyChoice_ACN
int Decode_ACN_MyChoice(asn1SccMyChoice *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MyChoice_NATIVE
int Decode_NATIVE_MyChoice(asn1SccMyChoice *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_TASTE_Peek_id_list_UPER
size_t Encode_UPER_TASTE_Peek_id_list(void *pBuffer, size_t iMaxBufferSize, const asn1SccTASTE_Peek_id_list *pSrc);
#endif
#ifdef __NEED_TASTE_Peek_id_list_ACN
size_t Encode_ACN_TASTE_Peek_id_list(void *pBuffer, size_t iMaxBufferSize, asn1SccTASTE_Peek_id_list *pSrc);
#endif
#ifdef __NEED_TASTE_Peek_id_list_NATIVE
size_t Encode_NATIVE_TASTE_Peek_id_list(void *pBuffer, size_t iMaxBufferSize, const asn1SccTASTE_Peek_id_list *pSrc);
#endif
#ifdef __NEED_TASTE_Peek_id_list_UPER
int Decode_UPER_TASTE_Peek_id_list(asn1SccTASTE_Peek_id_list *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_TASTE_Peek_id_list_ACN
int Decode_ACN_TASTE_Peek_id_list(asn1SccTASTE_Peek_id_list *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_TASTE_Peek_id_list_NATIVE
int Decode_NATIVE_TASTE_Peek_id_list(asn1SccTASTE_Peek_id_list *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySetOf_UPER
size_t Encode_UPER_MySetOf(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySetOf *pSrc);
#endif
#ifdef __NEED_MySetOf_ACN
size_t Encode_ACN_MySetOf(void *pBuffer, size_t iMaxBufferSize, asn1SccMySetOf *pSrc);
#endif
#ifdef __NEED_MySetOf_NATIVE
size_t Encode_NATIVE_MySetOf(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySetOf *pSrc);
#endif
#ifdef __NEED_MySetOf_UPER
int Decode_UPER_MySetOf(asn1SccMySetOf *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySetOf_ACN
int Decode_ACN_MySetOf(asn1SccMySetOf *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySetOf_NATIVE
int Decode_NATIVE_MySetOf(asn1SccMySetOf *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MyEnum_UPER
size_t Encode_UPER_MyEnum(void *pBuffer, size_t iMaxBufferSize, const asn1SccMyEnum *pSrc);
#endif
#ifdef __NEED_MyEnum_ACN
size_t Encode_ACN_MyEnum(void *pBuffer, size_t iMaxBufferSize, asn1SccMyEnum *pSrc);
#endif
#ifdef __NEED_MyEnum_NATIVE
size_t Encode_NATIVE_MyEnum(void *pBuffer, size_t iMaxBufferSize, const asn1SccMyEnum *pSrc);
#endif
#ifdef __NEED_MyEnum_UPER
int Decode_UPER_MyEnum(asn1SccMyEnum *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MyEnum_ACN
int Decode_ACN_MyEnum(asn1SccMyEnum *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MyEnum_NATIVE
int Decode_NATIVE_MyEnum(asn1SccMyEnum *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_TASTE_Peek_id_UPER
size_t Encode_UPER_TASTE_Peek_id(void *pBuffer, size_t iMaxBufferSize, const asn1SccTASTE_Peek_id *pSrc);
#endif
#ifdef __NEED_TASTE_Peek_id_ACN
size_t Encode_ACN_TASTE_Peek_id(void *pBuffer, size_t iMaxBufferSize, asn1SccTASTE_Peek_id *pSrc);
#endif
#ifdef __NEED_TASTE_Peek_id_NATIVE
size_t Encode_NATIVE_TASTE_Peek_id(void *pBuffer, size_t iMaxBufferSize, const asn1SccTASTE_Peek_id *pSrc);
#endif
#ifdef __NEED_TASTE_Peek_id_UPER
int Decode_UPER_TASTE_Peek_id(asn1SccTASTE_Peek_id *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_TASTE_Peek_id_ACN
int Decode_ACN_TASTE_Peek_id(asn1SccTASTE_Peek_id *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_TASTE_Peek_id_NATIVE
int Decode_NATIVE_TASTE_Peek_id(asn1SccTASTE_Peek_id *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySeq_UPER
size_t Encode_UPER_MySeq(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySeq *pSrc);
#endif
#ifdef __NEED_MySeq_ACN
size_t Encode_ACN_MySeq(void *pBuffer, size_t iMaxBufferSize, asn1SccMySeq *pSrc);
#endif
#ifdef __NEED_MySeq_NATIVE
size_t Encode_NATIVE_MySeq(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySeq *pSrc);
#endif
#ifdef __NEED_MySeq_UPER
int Decode_UPER_MySeq(asn1SccMySeq *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySeq_ACN
int Decode_ACN_MySeq(asn1SccMySeq *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySeq_NATIVE
int Decode_NATIVE_MySeq(asn1SccMySeq *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_T_UInt32_UPER
size_t Encode_UPER_T_UInt32(void *pBuffer, size_t iMaxBufferSize, const asn1SccT_UInt32 *pSrc);
#endif
#ifdef __NEED_T_UInt32_ACN
size_t Encode_ACN_T_UInt32(void *pBuffer, size_t iMaxBufferSize, asn1SccT_UInt32 *pSrc);
#endif
#ifdef __NEED_T_UInt32_NATIVE
size_t Encode_NATIVE_T_UInt32(void *pBuffer, size_t iMaxBufferSize, const asn1SccT_UInt32 *pSrc);
#endif
#ifdef __NEED_T_UInt32_UPER
int Decode_UPER_T_UInt32(asn1SccT_UInt32 *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_T_UInt32_ACN
int Decode_ACN_T_UInt32(asn1SccT_UInt32 *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_T_UInt32_NATIVE
int Decode_NATIVE_T_UInt32(asn1SccT_UInt32 *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySimpleSeq_UPER
size_t Encode_UPER_MySimpleSeq(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySimpleSeq *pSrc);
#endif
#ifdef __NEED_MySimpleSeq_ACN
size_t Encode_ACN_MySimpleSeq(void *pBuffer, size_t iMaxBufferSize, asn1SccMySimpleSeq *pSrc);
#endif
#ifdef __NEED_MySimpleSeq_NATIVE
size_t Encode_NATIVE_MySimpleSeq(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySimpleSeq *pSrc);
#endif
#ifdef __NEED_MySimpleSeq_UPER
int Decode_UPER_MySimpleSeq(asn1SccMySimpleSeq *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySimpleSeq_ACN
int Decode_ACN_MySimpleSeq(asn1SccMySimpleSeq *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySimpleSeq_NATIVE
int Decode_NATIVE_MySimpleSeq(asn1SccMySimpleSeq *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_FixedIntList_UPER
size_t Encode_UPER_FixedIntList(void *pBuffer, size_t iMaxBufferSize, const asn1SccFixedIntList *pSrc);
#endif
#ifdef __NEED_FixedIntList_ACN
size_t Encode_ACN_FixedIntList(void *pBuffer, size_t iMaxBufferSize, asn1SccFixedIntList *pSrc);
#endif
#ifdef __NEED_FixedIntList_NATIVE
size_t Encode_NATIVE_FixedIntList(void *pBuffer, size_t iMaxBufferSize, const asn1SccFixedIntList *pSrc);
#endif
#ifdef __NEED_FixedIntList_UPER
int Decode_UPER_FixedIntList(asn1SccFixedIntList *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_FixedIntList_ACN
int Decode_ACN_FixedIntList(asn1SccFixedIntList *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_FixedIntList_NATIVE
int Decode_NATIVE_FixedIntList(asn1SccFixedIntList *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySeqOf_UPER
size_t Encode_UPER_MySeqOf(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySeqOf *pSrc);
#endif
#ifdef __NEED_MySeqOf_ACN
size_t Encode_ACN_MySeqOf(void *pBuffer, size_t iMaxBufferSize, asn1SccMySeqOf *pSrc);
#endif
#ifdef __NEED_MySeqOf_NATIVE
size_t Encode_NATIVE_MySeqOf(void *pBuffer, size_t iMaxBufferSize, const asn1SccMySeqOf *pSrc);
#endif
#ifdef __NEED_MySeqOf_UPER
int Decode_UPER_MySeqOf(asn1SccMySeqOf *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySeqOf_ACN
int Decode_ACN_MySeqOf(asn1SccMySeqOf *pDst, void *pBuffer, size_t iBufferSize);
#endif
#ifdef __NEED_MySeqOf_NATIVE
int Decode_NATIVE_MySeqOf(asn1SccMySeqOf *pDst, void *pBuffer, size_t iBufferSize);
#endif
#endif
T_UInt32_REQUIRED_BYTES_FOR_ENCODING = 4
T_UInt32_REQUIRED_BYTES_FOR_ACN_ENCODING = 4
T_UInt32_REQUIRED_BYTES_FOR_XER_ENCODING = 41
TASTE_Peek_id_REQUIRED_BYTES_FOR_ENCODING = 4
TASTE_Peek_id_REQUIRED_BYTES_FOR_ACN_ENCODING = 4
TASTE_Peek_id_REQUIRED_BYTES_FOR_XER_ENCODING = 51
TASTE_Peek_id_list_REQUIRED_BYTES_FOR_ENCODING = 41
TASTE_Peek_id_list_REQUIRED_BYTES_FOR_ACN_ENCODING = 41
TASTE_Peek_id_list_REQUIRED_BYTES_FOR_XER_ENCODING = 551
FixedIntList_REQUIRED_BYTES_FOR_ENCODING = 12
FixedIntList_REQUIRED_BYTES_FOR_ACN_ENCODING = 12
FixedIntList_REQUIRED_BYTES_FOR_XER_ENCODING = 182
MyEnum_REQUIRED_BYTES_FOR_ENCODING = 1
MyEnum_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MyEnum_REQUIRED_BYTES_FOR_XER_ENCODING = 26
MySimpleSeq_a_REQUIRED_BYTES_FOR_ENCODING = 1
MySimpleSeq_a_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MySimpleSeq_a_REQUIRED_BYTES_FOR_XER_ENCODING = 51
MySimpleSeq_REQUIRED_BYTES_FOR_ENCODING = 2
MySimpleSeq_REQUIRED_BYTES_FOR_ACN_ENCODING = 2
MySimpleSeq_REQUIRED_BYTES_FOR_XER_ENCODING = 90
MySeqOf_elm_REQUIRED_BYTES_FOR_ENCODING = 1
MySeqOf_elm_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MySeqOf_elm_REQUIRED_BYTES_FOR_XER_ENCODING = 47
MySeqOf_REQUIRED_BYTES_FOR_ENCODING = 2
MySeqOf_REQUIRED_BYTES_FOR_ACN_ENCODING = 2
MySeqOf_REQUIRED_BYTES_FOR_XER_ENCODING = 136
MySetOf_elm_REQUIRED_BYTES_FOR_ENCODING = 1
MySetOf_elm_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MySetOf_elm_REQUIRED_BYTES_FOR_XER_ENCODING = 47
MySetOf_REQUIRED_BYTES_FOR_ENCODING = 2
MySetOf_REQUIRED_BYTES_FOR_ACN_ENCODING = 2
MySetOf_REQUIRED_BYTES_FOR_XER_ENCODING = 136
MyChoice_b_REQUIRED_BYTES_FOR_ENCODING = 1
MyChoice_b_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MyChoice_b_REQUIRED_BYTES_FOR_XER_ENCODING = 32
MyChoice_REQUIRED_BYTES_FOR_ENCODING = 1
MyChoice_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MyChoice_REQUIRED_BYTES_FOR_XER_ENCODING = 41
MySeq_REQUIRED_BYTES_FOR_ENCODING = 1
MySeq_REQUIRED_BYTES_FOR_ACN_ENCODING = 1
MySeq_REQUIRED_BYTES_FOR_XER_ENCODING = 62
a_PRESENT = 1
b_PRESENT = 2
one = 0
two = 1
three = 2
four = 3
five = 4
aa = 0
bb = 1
funcTypeLookup = {'MySeq__a_Get': 'flag', 'MyChoice__a_Get': 'flag', 'MySeq__b_kind_Get': 'int', 'MySeqOf__iDx_Get': 'asn1SccSint', 'MySimpleSeq__b_Get': 'flag', 'MySeq__b_a_Get': 'flag', 'TASTE_Peek_id_list__GetLength': 'long', 'T_UInt32__Get': 'asn1SccSint', 'FixedIntList__iDx_Get': 'asn1SccSint', 'MyEnum__Get': 'int', 'MySeq__b_b_Get': 'int', 'MySimpleSeq__a_Get': 'asn1SccSint', 'MySimpleSeq__c_Get': 'int', 'TASTE_Peek_id__Get': 'asn1SccSint', 'MySetOf__GetLength': 'long', 'MySeq__b_Get': 'MyChoice*', 'MyChoice__kind_Get': 'int', 'MyChoice__b_Get': 'int', 'TASTE_Peek_id_list__iDx_Get': 'asn1SccSint', 'FixedIntList__GetLength': 'long', 'MySeqOf__GetLength': 'long', 'MySetOf__iDx_Get': 'asn1SccSint'}
\ No newline at end of file
--------------------------------------------------------
--! File generated by asn2aadl v2.1.10: DO NOT EDIT !
--------------------------------------------------------
--! InputASN1FileChecksum:30bf8e519918a4fc37974dfb7e079621:/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn:
--------------------------------------------------------
package DataView
public
DATA MyEnum
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn");
Ada_Package_Name => "TASTE_BasicTypes";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 4; suggested aligned message buffer is...
Source_Data_Size => 8 B;
-- name of the corresponding data type in the source file:
Type_Source_Name => "MyEnum";
-- what kind of type is this?
assert_properties::ASN1_Basic_Type =>aENUMERATED;
END MyEnum;
DATA MyEnum_Buffer_Max
END MyEnum_Buffer_Max;
DATA IMPLEMENTATION MyEnum_Buffer_Max.impl
-- Buffer to hold a marshalled data of type MyEnum
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Data_Model::Base_Type => (data ASSERT_Types::Stream_Element);
END MyEnum_Buffer_Max.impl;
DATA MyEnum_Buffer
END MyEnum_Buffer;
DATA IMPLEMENTATION MyEnum_Buffer.impl
-- Buffer to hold a marshalled data of type MyEnum
SUBCOMPONENTS
Buffer : data MyEnum_Buffer_Max.impl;
Length : data Base_Types::uint32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END MyEnum_Buffer.impl;
DATA MySeq
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn");
Ada_Package_Name => "TASTE_BasicTypes";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 12; suggested aligned message buffer is...
Source_Data_Size => 16 B;
-- name of the corresponding data type in the source file:
Type_Source_Name => "MySeq";
-- what kind of type is this?
assert_properties::ASN1_Basic_Type =>aSEQUENCE;
END MySeq;
DATA MySeq_Buffer_Max
END MySeq_Buffer_Max;
DATA IMPLEMENTATION MySeq_Buffer_Max.impl
-- Buffer to hold a marshalled data of type MySeq
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (16); -- Size of the buffer
Data_Model::Base_Type => (data ASSERT_Types::Stream_Element);
END MySeq_Buffer_Max.impl;
DATA MySeq_Buffer
END MySeq_Buffer;
DATA IMPLEMENTATION MySeq_Buffer.impl
-- Buffer to hold a marshalled data of type MySeq
SUBCOMPONENTS
Buffer : data MySeq_Buffer_Max.impl;
Length : data Base_Types::uint32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END MySeq_Buffer.impl;
DATA FixedIntList
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn");
Ada_Package_Name => "TASTE_BasicTypes";
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 B;
-- name of the corresponding data type in the source file:
Type_Source_Name => "FixedIntList";
-- what kind of type is this?
assert_properties::ASN1_Basic_Type =>aSEQUENCEOF;
END FixedIntList;
DATA FixedIntList_Buffer_Max
END FixedIntList_Buffer_Max;
DATA IMPLEMENTATION FixedIntList_Buffer_Max.impl
-- Buffer to hold a marshalled data of type FixedIntList
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (24); -- Size of the buffer
Data_Model::Base_Type => (data ASSERT_Types::Stream_Element);
END FixedIntList_Buffer_Max.impl;
DATA FixedIntList_Buffer
END FixedIntList_Buffer;
DATA IMPLEMENTATION FixedIntList_Buffer.impl
-- Buffer to hold a marshalled data of type FixedIntList
SUBCOMPONENTS
Buffer : data FixedIntList_Buffer_Max.impl;
Length : data Base_Types::uint32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END FixedIntList_Buffer.impl;
DATA TASTE_Peek_id
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn");
Ada_Package_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 B;
-- name of the corresponding data type in the source file:
Type_Source_Name => "TASTE-Peek-id";
-- what kind of type is this?
assert_properties::ASN1_Basic_Type =>aINTEGER;
END TASTE_Peek_id;
DATA TASTE_Peek_id_Buffer_Max
END TASTE_Peek_id_Buffer_Max;
DATA IMPLEMENTATION TASTE_Peek_id_Buffer_Max.impl
-- Buffer to hold a marshalled data of type TASTE_Peek_id
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Data_Model::Base_Type => (data ASSERT_Types::Stream_Element);
END TASTE_Peek_id_Buffer_Max.impl;
DATA TASTE_Peek_id_Buffer
END TASTE_Peek_id_Buffer;
DATA IMPLEMENTATION TASTE_Peek_id_Buffer.impl
-- Buffer to hold a marshalled data of type TASTE_Peek_id
SUBCOMPONENTS
Buffer : data TASTE_Peek_id_Buffer_Max.impl;
Length : data Base_Types::uint32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END TASTE_Peek_id_Buffer.impl;
DATA MyChoice
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn");
Ada_Package_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 B;
-- name of the corresponding data type in the source file:
Type_Source_Name => "MyChoice";
-- what kind of type is this?
assert_properties::ASN1_Basic_Type =>aCHOICE;
END MyChoice;
DATA MyChoice_Buffer_Max
END MyChoice_Buffer_Max;
DATA IMPLEMENTATION MyChoice_Buffer_Max.impl
-- Buffer to hold a marshalled data of type MyChoice
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Data_Model::Base_Type => (data ASSERT_Types::Stream_Element);
END MyChoice_Buffer_Max.impl;
DATA MyChoice_Buffer
END MyChoice_Buffer;
DATA IMPLEMENTATION MyChoice_Buffer.impl
-- Buffer to hold a marshalled data of type MyChoice
SUBCOMPONENTS
Buffer : data MyChoice_Buffer_Max.impl;
Length : data Base_Types::uint32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END MyChoice_Buffer.impl;
DATA MySeqOf
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/media/sf_s1/home/andres/esa/taste/opengeode/tests/regression/test-simu/dataview-uniq.asn");
Ada_Package_Name => "TASTE_BasicTypes";
Source_Language => ASN1;
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 32; suggested aligned message buffer is...
Source_Data_Size => 32 B;
-- name of the corresponding data type in the source file:
Type_Source_Name => "MySeqOf";
-- what kind of type is this?
assert_properties::ASN1_Basic_Type =>aSEQUENCEOF;
END MySeqOf;
DATA MySeqOf_Buffer_Max
END MySeqOf_Buffer_Max;
DATA IMPLEMENTATION MySeqOf_Buffer_Max.impl
-- Buffer to hold a marshalled data of type MySeqOf
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (32); -- Size of the buffer
Data_Model::Base_Type => (data ASSERT_Types::Stream_Element);
END MySeqOf_Buffer_Max.impl;
DATA MySeqOf_Buffer
END MySeqOf_Buffer;
DATA IMPLEMENTATION MySeqOf_Buffer.impl
-- Buffer to hold a marshalled data of type MySeqOf
SUBCOMPONENTS
Buffer : data MySeqOf_Buffer_Max.impl;
Length : data Base_Types::uint32;
PROPERTIES
Data_Model::Data_Representation => Struct;