DataView.aadl 27.7 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
--------------------------------------------------------
--! File generated by asn2aadl v2.1.3: DO NOT EDIT !
--------------------------------------------------------

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;
TASTE User's avatar
TASTE User committed
43
DATA T_Int32
44
45
46
47
48
49
50
51
52
53
PROPERTIES
    -- name of the ASN.1 source file:
    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;
    -- 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:
TASTE User's avatar
TASTE User committed
54
    Type_Source_Name => "T-Int32";
55
56
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aINTEGER;
TASTE User's avatar
TASTE User committed
57
END T_Int32;
58

TASTE User's avatar
TASTE User committed
59
60
DATA T_Int32_Buffer_Max
END T_Int32_Buffer_Max;
61

TASTE User's avatar
TASTE User committed
62
63
DATA IMPLEMENTATION T_Int32_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_Int32
64
65
PROPERTIES
    Data_Model::Data_Representation => array;
66
    Data_Model::Dimension => (8); -- Size of the buffer
67
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
68
END T_Int32_Buffer_Max.impl;
69

TASTE User's avatar
TASTE User committed
70
71
DATA T_Int32_Buffer
END T_Int32_Buffer;
72

TASTE User's avatar
TASTE User committed
73
74
DATA IMPLEMENTATION T_Int32_Buffer.impl
    -- Buffer to hold a marshalled data of type T_Int32
75
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
76
    Buffer : data T_Int32_Buffer_Max.impl;
77
78
79
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
80
END T_Int32_Buffer.impl;
81

TASTE User's avatar
TASTE User committed
82
DATA T_UInt32
83
84
PROPERTIES
    -- name of the ASN.1 source file:
85
86
87
    Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
88
89
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
90
91
    -- Real message size is 8; suggested aligned message buffer is...
    Source_Data_Size => 8 Bytes;
92
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
93
    Type_Source_Name => "T-UInt32";
94
    -- what kind of type is this?
95
    TASTE::ASN1_Basic_Type =>aINTEGER;
TASTE User's avatar
TASTE User committed
96
END T_UInt32;
97

TASTE User's avatar
TASTE User committed
98
99
DATA T_UInt32_Buffer_Max
END T_UInt32_Buffer_Max;
100

TASTE User's avatar
TASTE User committed
101
102
DATA IMPLEMENTATION T_UInt32_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_UInt32
103
104
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
105
    Data_Model::Dimension => (8); -- Size of the buffer
106
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
107
END T_UInt32_Buffer_Max.impl;
108

TASTE User's avatar
TASTE User committed
109
110
DATA T_UInt32_Buffer
END T_UInt32_Buffer;
111

TASTE User's avatar
TASTE User committed
112
113
DATA IMPLEMENTATION T_UInt32_Buffer.impl
    -- Buffer to hold a marshalled data of type T_UInt32
114
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
115
    Buffer : data T_UInt32_Buffer_Max.impl;
116
117
118
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
119
END T_UInt32_Buffer.impl;
120

TASTE User's avatar
TASTE User committed
121
DATA MyEnum
TASTE User's avatar
TASTE User committed
122
123
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
124
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
125
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE User's avatar
TASTE User committed
126
127
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
TASTE User's avatar
TASTE User committed
128
129
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
u1    
TASTE User committed
130
    -- Real message size is 4; suggested aligned message buffer is...
TASTE User's avatar
TASTE User committed
131
132
    Source_Data_Size => 8 Bytes;
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
133
    Type_Source_Name => "MyEnum";
TASTE User's avatar
TASTE User committed
134
    -- what kind of type is this?
TASTE User's avatar
u1    
TASTE User committed
135
    TASTE::ASN1_Basic_Type =>aENUMERATED;
TASTE User's avatar
TASTE User committed
136
END MyEnum;
TASTE User's avatar
TASTE User committed
137

TASTE User's avatar
TASTE User committed
138
139
DATA MyEnum_Buffer_Max
END MyEnum_Buffer_Max;
TASTE User's avatar
TASTE User committed
140

TASTE User's avatar
TASTE User committed
141
142
DATA IMPLEMENTATION MyEnum_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyEnum
TASTE User's avatar
TASTE User committed
143
144
145
146
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
147
END MyEnum_Buffer_Max.impl;
TASTE User's avatar
TASTE User committed
148

TASTE User's avatar
TASTE User committed
149
150
DATA MyEnum_Buffer
END MyEnum_Buffer;
TASTE User's avatar
TASTE User committed
151

TASTE User's avatar
TASTE User committed
152
153
DATA IMPLEMENTATION MyEnum_Buffer.impl
    -- Buffer to hold a marshalled data of type MyEnum
TASTE User's avatar
TASTE User committed
154
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
155
    Buffer : data MyEnum_Buffer_Max.impl;
TASTE User's avatar
TASTE User committed
156
157
158
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
159
END MyEnum_Buffer.impl;
TASTE User's avatar
TASTE User committed
160

TASTE User's avatar
TASTE User committed
161
DATA MyChoice
TASTE User's avatar
TASTE User committed
162
163
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
164
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
165
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
166
167
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
TASTE User's avatar
TASTE User committed
168
169
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
170
171
    -- Real message size is 32; suggested aligned message buffer is...
    Source_Data_Size => 32 Bytes;
TASTE User's avatar
TASTE User committed
172
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
173
    Type_Source_Name => "MyChoice";
TASTE User's avatar
TASTE User committed
174
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
175
176
    TASTE::ASN1_Basic_Type =>aCHOICE;
END MyChoice;
TASTE User's avatar
TASTE User committed
177

TASTE User's avatar
TASTE User committed
178
179
DATA MyChoice_Buffer_Max
END MyChoice_Buffer_Max;
TASTE User's avatar
TASTE User committed
180

TASTE User's avatar
TASTE User committed
181
182
DATA IMPLEMENTATION MyChoice_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyChoice
TASTE User's avatar
TASTE User committed
183
184
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
185
    Data_Model::Dimension => (32); -- Size of the buffer
TASTE User's avatar
TASTE User committed
186
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
187
END MyChoice_Buffer_Max.impl;
TASTE User's avatar
TASTE User committed
188

TASTE User's avatar
TASTE User committed
189
190
DATA MyChoice_Buffer
END MyChoice_Buffer;
TASTE User's avatar
TASTE User committed
191

TASTE User's avatar
TASTE User committed
192
193
DATA IMPLEMENTATION MyChoice_Buffer.impl
    -- Buffer to hold a marshalled data of type MyChoice
TASTE User's avatar
TASTE User committed
194
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
195
    Buffer : data MyChoice_Buffer_Max.impl;
TASTE User's avatar
TASTE User committed
196
197
198
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
199
END MyChoice_Buffer.impl;
TASTE User's avatar
TASTE User committed
200

TASTE User's avatar
TASTE User committed
201
DATA Test_failureCodes
202
203
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
204
205
206
207
    Source_Text => ("/home/taste/taps/DataView.asn");
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
208
209
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
210
    -- Real message size is 4; suggested aligned message buffer is...
TASTE User's avatar
u1    
TASTE User committed
211
    Source_Data_Size => 8 Bytes;
212
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
213
    Type_Source_Name => "Test-failureCodes";
214
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
215
216
    TASTE::ASN1_Basic_Type =>aENUMERATED;
END Test_failureCodes;
217

TASTE User's avatar
TASTE User committed
218
219
DATA Test_failureCodes_Buffer_Max
END Test_failureCodes_Buffer_Max;
220

TASTE User's avatar
TASTE User committed
221
222
DATA IMPLEMENTATION Test_failureCodes_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type Test_failureCodes
223
224
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
u1    
TASTE User committed
225
    Data_Model::Dimension => (8); -- Size of the buffer
226
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
227
END Test_failureCodes_Buffer_Max.impl;
228

TASTE User's avatar
TASTE User committed
229
230
DATA Test_failureCodes_Buffer
END Test_failureCodes_Buffer;
231

TASTE User's avatar
TASTE User committed
232
233
DATA IMPLEMENTATION Test_failureCodes_Buffer.impl
    -- Buffer to hold a marshalled data of type Test_failureCodes
234
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
235
    Buffer : data Test_failureCodes_Buffer_Max.impl;
236
237
238
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
239
END Test_failureCodes_Buffer.impl;
240

TASTE User's avatar
TASTE User committed
241
DATA MyInteger
242
243
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
244
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
245
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
246
247
248
249
    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:
TASTE User's avatar
TASTE User committed
250
251
    -- Real message size is 8; suggested aligned message buffer is...
    Source_Data_Size => 8 Bytes;
252
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
253
    Type_Source_Name => "MyInteger";
254
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
255
256
    TASTE::ASN1_Basic_Type =>aINTEGER;
END MyInteger;
257

TASTE User's avatar
TASTE User committed
258
259
DATA MyInteger_Buffer_Max
END MyInteger_Buffer_Max;
260

TASTE User's avatar
TASTE User committed
261
262
DATA IMPLEMENTATION MyInteger_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyInteger
263
264
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
265
    Data_Model::Dimension => (8); -- Size of the buffer
266
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
267
END MyInteger_Buffer_Max.impl;
268

TASTE User's avatar
TASTE User committed
269
270
DATA MyInteger_Buffer
END MyInteger_Buffer;
271

TASTE User's avatar
TASTE User committed
272
273
DATA IMPLEMENTATION MyInteger_Buffer.impl
    -- Buffer to hold a marshalled data of type MyInteger
274
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
275
    Buffer : data MyInteger_Buffer_Max.impl;
276
277
278
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
279
END MyInteger_Buffer.impl;
280

TASTE User's avatar
TASTE User committed
281
DATA TC
282
283
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
284
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
285
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE User's avatar
TASTE User committed
286
287
    TASTE::Ada_Package_Name => "Taps";
    Deployment::ASN1_Module_Name => "Taps";
288
289
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
290
291
    -- Real message size is 32; suggested aligned message buffer is...
    Source_Data_Size => 32 Bytes;
292
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
293
    Type_Source_Name => "TC";
294
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
295
296
    TASTE::ASN1_Basic_Type =>aSEQUENCE;
END TC;
297

TASTE User's avatar
TASTE User committed
298
299
DATA TC_Buffer_Max
END TC_Buffer_Max;
300

TASTE User's avatar
TASTE User committed
301
302
DATA IMPLEMENTATION TC_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type TC
303
304
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
305
    Data_Model::Dimension => (32); -- Size of the buffer
306
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
307
END TC_Buffer_Max.impl;
308

TASTE User's avatar
TASTE User committed
309
310
DATA TC_Buffer
END TC_Buffer;
311

TASTE User's avatar
TASTE User committed
312
313
DATA IMPLEMENTATION TC_Buffer.impl
    -- Buffer to hold a marshalled data of type TC
314
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
315
    Buffer : data TC_Buffer_Max.impl;
316
317
318
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
319
END TC_Buffer.impl;
320

TASTE User's avatar
TASTE User committed
321
DATA T_Int8
322
323
324
325
326
327
328
329
330
331
PROPERTIES
    -- name of the ASN.1 source file:
    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;
    -- 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:
TASTE User's avatar
TASTE User committed
332
    Type_Source_Name => "T-Int8";
333
334
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aINTEGER;
TASTE User's avatar
TASTE User committed
335
END T_Int8;
336

TASTE User's avatar
TASTE User committed
337
338
DATA T_Int8_Buffer_Max
END T_Int8_Buffer_Max;
339

TASTE User's avatar
TASTE User committed
340
341
DATA IMPLEMENTATION T_Int8_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_Int8
342
343
344
345
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
346
END T_Int8_Buffer_Max.impl;
347

TASTE User's avatar
TASTE User committed
348
349
DATA T_Int8_Buffer
END T_Int8_Buffer;
350

TASTE User's avatar
TASTE User committed
351
352
DATA IMPLEMENTATION T_Int8_Buffer.impl
    -- Buffer to hold a marshalled data of type T_Int8
353
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
354
    Buffer : data T_Int8_Buffer_Max.impl;
355
356
357
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
358
END T_Int8_Buffer.impl;
359

TASTE User's avatar
TASTE User committed
360
DATA TYPE8b_ID
361
362
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
363
    Source_Text => ("/home/taste/taps/DataView.asn");
364
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE User's avatar
TASTE User committed
365
366
    TASTE::Ada_Package_Name => "Taps";
    Deployment::ASN1_Module_Name => "Taps";
367
368
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
369
370
    -- Real message size is 8; suggested aligned message buffer is...
    Source_Data_Size => 8 Bytes;
371
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
372
    Type_Source_Name => "TYPE8b-ID";
373
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
374
375
    TASTE::ASN1_Basic_Type =>aINTEGER;
END TYPE8b_ID;
376

TASTE User's avatar
TASTE User committed
377
378
DATA TYPE8b_ID_Buffer_Max
END TYPE8b_ID_Buffer_Max;
379

TASTE User's avatar
TASTE User committed
380
381
DATA IMPLEMENTATION TYPE8b_ID_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type TYPE8b_ID
382
383
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
384
    Data_Model::Dimension => (8); -- Size of the buffer
385
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
386
END TYPE8b_ID_Buffer_Max.impl;
387

TASTE User's avatar
TASTE User committed
388
389
DATA TYPE8b_ID_Buffer
END TYPE8b_ID_Buffer;
390

TASTE User's avatar
TASTE User committed
391
392
DATA IMPLEMENTATION TYPE8b_ID_Buffer.impl
    -- Buffer to hold a marshalled data of type TYPE8b_ID
393
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
394
    Buffer : data TYPE8b_ID_Buffer_Max.impl;
395
396
397
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
398
END TYPE8b_ID_Buffer.impl;
TASTE User's avatar
TASTE User committed
399

TASTE User's avatar
TASTE User committed
400
DATA T_Boolean
401
402
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
403
404
405
    Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
406
407
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
408
    -- Real message size is 1; suggested aligned message buffer is...
409
    Source_Data_Size => 8 Bytes;
410
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
411
    Type_Source_Name => "T-Boolean";
412
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
413
414
    TASTE::ASN1_Basic_Type =>aBOOLEAN;
END T_Boolean;
415

TASTE User's avatar
TASTE User committed
416
417
DATA T_Boolean_Buffer_Max
END T_Boolean_Buffer_Max;
418

TASTE User's avatar
TASTE User committed
419
420
DATA IMPLEMENTATION T_Boolean_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_Boolean
421
422
PROPERTIES
    Data_Model::Data_Representation => array;
423
    Data_Model::Dimension => (8); -- Size of the buffer
424
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
425
END T_Boolean_Buffer_Max.impl;
426

TASTE User's avatar
TASTE User committed
427
428
DATA T_Boolean_Buffer
END T_Boolean_Buffer;
429

TASTE User's avatar
TASTE User committed
430
431
DATA IMPLEMENTATION T_Boolean_Buffer.impl
    -- Buffer to hold a marshalled data of type T_Boolean
432
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
433
    Buffer : data T_Boolean_Buffer_Max.impl;
434
435
436
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
437
END T_Boolean_Buffer.impl;
438

439
DATA TM
440
441
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
442
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
443
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
444
445
    TASTE::Ada_Package_Name => "Taps";
    Deployment::ASN1_Module_Name => "Taps";
446
447
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
448
449
    -- Real message size is 24; suggested aligned message buffer is...
    Source_Data_Size => 24 Bytes;
450
    -- name of the corresponding data type in the source file:
451
    Type_Source_Name => "TM";
452
    -- what kind of type is this?
453
454
    TASTE::ASN1_Basic_Type =>aSEQUENCE;
END TM;
455

456
457
DATA TM_Buffer_Max
END TM_Buffer_Max;
458

459
460
DATA IMPLEMENTATION TM_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type TM
461
462
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
463
    Data_Model::Dimension => (24); -- Size of the buffer
464
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
465
END TM_Buffer_Max.impl;
466

467
468
DATA TM_Buffer
END TM_Buffer;
469

470
471
DATA IMPLEMENTATION TM_Buffer.impl
    -- Buffer to hold a marshalled data of type TM
472
SUBCOMPONENTS
473
    Buffer : data TM_Buffer_Max.impl;
474
475
476
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
477
END TM_Buffer.impl;
478

TASTE User's avatar
TASTE User committed
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
DATA MyBool
PROPERTIES
    -- name of the ASN.1 source file:
    Source_Text => ("/home/taste/taps/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 => "MyBool";
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aBOOLEAN;
END MyBool;

DATA MyBool_Buffer_Max
END MyBool_Buffer_Max;

DATA IMPLEMENTATION MyBool_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyBool
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END MyBool_Buffer_Max.impl;

DATA MyBool_Buffer
END MyBool_Buffer;

DATA IMPLEMENTATION MyBool_Buffer.impl
    -- Buffer to hold a marshalled data of type MyBool
SUBCOMPONENTS
    Buffer : data MyBool_Buffer_Max.impl;
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
END MyBool_Buffer.impl;

DATA APID
520
521
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
522
    Source_Text => ("/home/taste/taps/DataView.asn");
523
524
525
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
    TASTE::Ada_Package_Name => "Taps";
    Deployment::ASN1_Module_Name => "Taps";
526
527
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
528
    -- Real message size is 4; suggested aligned message buffer is...
TASTE User's avatar
u1    
TASTE User committed
529
    Source_Data_Size => 8 Bytes;
530
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
531
    Type_Source_Name => "APID";
532
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
533
534
    TASTE::ASN1_Basic_Type =>aENUMERATED;
END APID;
535

TASTE User's avatar
TASTE User committed
536
537
DATA APID_Buffer_Max
END APID_Buffer_Max;
538

TASTE User's avatar
TASTE User committed
539
540
DATA IMPLEMENTATION APID_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type APID
541
542
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
u1    
TASTE User committed
543
    Data_Model::Dimension => (8); -- Size of the buffer
544
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
545
END APID_Buffer_Max.impl;
546

TASTE User's avatar
TASTE User committed
547
548
DATA APID_Buffer
END APID_Buffer;
549

TASTE User's avatar
TASTE User committed
550
551
DATA IMPLEMENTATION APID_Buffer.impl
    -- Buffer to hold a marshalled data of type APID
552
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
553
    Buffer : data APID_Buffer_Max.impl;
554
555
556
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
557
END APID_Buffer.impl;
558

TASTE User's avatar
TASTE User committed
559
DATA MyReal
560
561
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
562
    Source_Text => ("/home/taste/taps/DataView.asn");
563
564
565
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
566
567
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
568
569
    -- Real message size is 13; suggested aligned message buffer is...
    Source_Data_Size => 16 Bytes;
570
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
571
    Type_Source_Name => "MyReal";
572
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
573
574
    TASTE::ASN1_Basic_Type =>aREAL;
END MyReal;
575

TASTE User's avatar
TASTE User committed
576
577
DATA MyReal_Buffer_Max
END MyReal_Buffer_Max;
578

TASTE User's avatar
TASTE User committed
579
580
DATA IMPLEMENTATION MyReal_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyReal
581
582
PROPERTIES
    Data_Model::Data_Representation => array;
TASTE User's avatar
TASTE User committed
583
    Data_Model::Dimension => (16); -- Size of the buffer
584
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
585
END MyReal_Buffer_Max.impl;
586

TASTE User's avatar
TASTE User committed
587
588
DATA MyReal_Buffer
END MyReal_Buffer;
589

TASTE User's avatar
TASTE User committed
590
591
DATA IMPLEMENTATION MyReal_Buffer.impl
    -- Buffer to hold a marshalled data of type MyReal
592
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
593
    Buffer : data MyReal_Buffer_Max.impl;
594
595
596
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
597
END MyReal_Buffer.impl;
598

599
DATA Test_TC
TASTE User's avatar
TASTE User committed
600
601
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
602
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
603
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
604
605
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
TASTE User's avatar
TASTE User committed
606
607
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
608
609
    -- Real message size is 24; suggested aligned message buffer is...
    Source_Data_Size => 24 Bytes;
TASTE User's avatar
TASTE User committed
610
    -- name of the corresponding data type in the source file:
611
    Type_Source_Name => "Test-TC";
TASTE User's avatar
TASTE User committed
612
    -- what kind of type is this?
613
    TASTE::ASN1_Basic_Type =>aSEQUENCE;
614
END Test_TC;
615

616
617
DATA Test_TC_Buffer_Max
END Test_TC_Buffer_Max;
618

619
620
DATA IMPLEMENTATION Test_TC_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type Test_TC
621
622
PROPERTIES
    Data_Model::Data_Representation => array;
623
    Data_Model::Dimension => (24); -- Size of the buffer
624
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
625
END Test_TC_Buffer_Max.impl;
626

627
628
DATA Test_TC_Buffer
END Test_TC_Buffer;
629

630
631
DATA IMPLEMENTATION Test_TC_Buffer.impl
    -- Buffer to hold a marshalled data of type Test_TC
632
SUBCOMPONENTS
633
    Buffer : data Test_TC_Buffer_Max.impl;
634
635
636
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
637
END Test_TC_Buffer.impl;
638

TASTE User's avatar
TASTE User committed
639
DATA Test_TM
640
641
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
642
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
643
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE User's avatar
TASTE User committed
644
645
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
646
647
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
    -- 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 => "Test-TM";
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aSEQUENCE;
END Test_TM;

DATA Test_TM_Buffer_Max
END Test_TM_Buffer_Max;

DATA IMPLEMENTATION Test_TM_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type Test_TM
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (16); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Test_TM_Buffer_Max.impl;

DATA Test_TM_Buffer
END Test_TM_Buffer;

DATA IMPLEMENTATION Test_TM_Buffer.impl
    -- Buffer to hold a marshalled data of type Test_TM
SUBCOMPONENTS
    Buffer : data Test_TM_Buffer_Max.impl;
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
END Test_TM_Buffer.impl;

DATA T_UInt8
PROPERTIES
    -- name of the ASN.1 source file:
    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;
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 8; suggested aligned message buffer is...
688
689
    Source_Data_Size => 8 Bytes;
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
690
    Type_Source_Name => "T-UInt8";
691
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
692
693
    TASTE::ASN1_Basic_Type =>aINTEGER;
END T_UInt8;
694

TASTE User's avatar
TASTE User committed
695
696
DATA T_UInt8_Buffer_Max
END T_UInt8_Buffer_Max;
697

TASTE User's avatar
TASTE User committed
698
699
DATA IMPLEMENTATION T_UInt8_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_UInt8
700
701
702
703
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
704
END T_UInt8_Buffer_Max.impl;
705

TASTE User's avatar
TASTE User committed
706
707
DATA T_UInt8_Buffer
END T_UInt8_Buffer;
708

TASTE User's avatar
TASTE User committed
709
710
DATA IMPLEMENTATION T_UInt8_Buffer.impl
    -- Buffer to hold a marshalled data of type T_UInt8
711
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
712
    Buffer : data T_UInt8_Buffer_Max.impl;
713
714
715
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
716
END T_UInt8_Buffer.impl;
717

TASTE User's avatar
TASTE User committed
718
DATA MyOctStr
719
720
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
721
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
722
723
724
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
725
726
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
TASTE User's avatar
TASTE User committed
727
    -- Real message size is 3; suggested aligned message buffer is...
728
729
    Source_Data_Size => 8 Bytes;
    -- name of the corresponding data type in the source file:
TASTE User's avatar
TASTE User committed
730
    Type_Source_Name => "MyOctStr";
731
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
732
733
    TASTE::ASN1_Basic_Type =>aSTRING;
END MyOctStr;
734

TASTE User's avatar
TASTE User committed
735
736
DATA MyOctStr_Buffer_Max
END MyOctStr_Buffer_Max;
737

TASTE User's avatar
TASTE User committed
738
739
DATA IMPLEMENTATION MyOctStr_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyOctStr
740
741
742
743
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
TASTE User's avatar
TASTE User committed
744
END MyOctStr_Buffer_Max.impl;
745

TASTE User's avatar
TASTE User committed
746
747
DATA MyOctStr_Buffer
END MyOctStr_Buffer;
748

TASTE User's avatar
TASTE User committed
749
750
DATA IMPLEMENTATION MyOctStr_Buffer.impl
    -- Buffer to hold a marshalled data of type MyOctStr
751
SUBCOMPONENTS
TASTE User's avatar
TASTE User committed
752
    Buffer : data MyOctStr_Buffer_Max.impl;
753
754
755
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
TASTE User's avatar
TASTE User committed
756
END MyOctStr_Buffer.impl;
757

758
DATA MySeq
TASTE User's avatar
TASTE User committed
759
760
PROPERTIES
    -- name of the ASN.1 source file:
TASTE User's avatar
TASTE User committed
761
    Source_Text => ("/home/taste/taps/DataView.asn");
TASTE User's avatar
TASTE User committed
762
    TASTE::EncodingDefinitionFile => classifier(DataView::ACN_DataView);
TASTE User's avatar
TASTE User committed
763
764
    TASTE::Ada_Package_Name => "TASTE_Dataview";
    Deployment::ASN1_Module_Name => "TASTE-Dataview";
TASTE User's avatar
TASTE User committed
765
766
    Source_Language => ASN1;
    -- Size of a buffer to cover all forms of message representation:
767
768
    -- Real message size is 24; suggested aligned message buffer is...
    Source_Data_Size => 24 Bytes;
TASTE User's avatar
TASTE User committed
769
    -- name of the corresponding data type in the source file:
770
    Type_Source_Name => "MySeq";
TASTE User's avatar
TASTE User committed
771
    -- what kind of type is this?
TASTE User's avatar
TASTE User committed
772
    TASTE::ASN1_Basic_Type =>aSEQUENCE;
773
END MySeq;
TASTE User's avatar
TASTE User committed
774

775
776
DATA MySeq_Buffer_Max
END MySeq_Buffer_Max;
TASTE User's avatar
TASTE User committed
777

778
779
DATA IMPLEMENTATION MySeq_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MySeq
TASTE User's avatar
TASTE User committed
780
781
PROPERTIES
    Data_Model::Data_Representation => array;
782
    Data_Model::Dimension => (24); -- Size of the buffer
TASTE User's avatar
TASTE User committed
783
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
784
END MySeq_Buffer_Max.impl;
TASTE User's avatar
TASTE User committed
785

786
787
DATA MySeq_Buffer
END MySeq_Buffer;
TASTE User's avatar
TASTE User committed
788

789
790
DATA IMPLEMENTATION MySeq_Buffer.impl
    -- Buffer to hold a marshalled data of type MySeq
TASTE User's avatar
TASTE User committed
791
SUBCOMPONENTS
792
    Buffer : data MySeq_Buffer_Max.impl;
TASTE User's avatar
TASTE User committed
793
794
795
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
796
END MySeq_Buffer.impl;
TASTE User's avatar
TASTE User committed
797

TASTE User's avatar
TASTE User committed
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
DATA MySeqOf
PROPERTIES
    -- name of the ASN.1 source file:
    Source_Text => ("/home/taste/taps/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 => "MySeqOf";
    -- what kind of type is this?
    TASTE::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 => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
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::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
END MySeqOf_Buffer.impl;

TASTE User's avatar
TASTE User committed
838
839
DATA ACN_DataView
PROPERTIES
TASTE User's avatar
TASTE User committed
840
    Source_Text => ("/home/taste/taps/DataView.acn");
TASTE User's avatar
TASTE User committed
841
842
    Source_Language => ACN;
END ACN_DataView;
TASTE User's avatar
TASTE User committed
843

844
end DataView;