DataView.aadl 10.2 KB
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
1
--------------------------------------------------------
Maxime Perrotin's avatar
Maxime Perrotin committed
2
--! File generated by asn2aadl v2.1.35: DO NOT EDIT !
Maxime Perrotin's avatar
Maxime Perrotin committed
3
--------------------------------------------------------
4
5
--! InputASN1FileChecksum:6bf664b31ce9ca6fd89af52cea7ea0f2:DataView.asn:
--! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:~/tool-inst/share/taste-types/taste-types.asn:
Maxime Perrotin's avatar
Maxime Perrotin committed
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
--------------------------------------------------------

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;
Maxime Perrotin's avatar
Maxime Perrotin committed
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
DATA T_Boolean
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 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";
    TASTE::Position_In_File => [ line => 14 ; column => 1 ; ];
    -- 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;

Maxime Perrotin's avatar
Maxime Perrotin committed
86
87
88
89
90
91
92
93
94
95
96
97
DATA T_Int32
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:
    Type_Source_Name => "T-Int32";
Maxime Perrotin's avatar
Maxime Perrotin committed
98
    TASTE::Position_In_File => [ line => 6 ; column => 1 ; ];
Maxime Perrotin's avatar
Maxime Perrotin committed
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
    -- 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;

Maxime Perrotin's avatar
Maxime Perrotin committed
129
DATA T_Int8
Maxime Perrotin's avatar
Maxime Perrotin committed
130
131
132
133
134
135
136
137
138
139
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:
Maxime Perrotin's avatar
Maxime Perrotin committed
140
141
    Type_Source_Name => "T-Int8";
    TASTE::Position_In_File => [ line => 10 ; column => 1 ; ];
Maxime Perrotin's avatar
Maxime Perrotin committed
142
143
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aINTEGER;
Maxime Perrotin's avatar
Maxime Perrotin committed
144
END T_Int8;
Maxime Perrotin's avatar
Maxime Perrotin committed
145

Maxime Perrotin's avatar
Maxime Perrotin committed
146
147
DATA IMPLEMENTATION T_Int8.impl
END T_Int8.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
148

Maxime Perrotin's avatar
Maxime Perrotin committed
149
150
DATA T_Int8_Buffer_Max
END T_Int8_Buffer_Max;
Maxime Perrotin's avatar
Maxime Perrotin committed
151

Maxime Perrotin's avatar
Maxime Perrotin committed
152
153
DATA IMPLEMENTATION T_Int8_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_Int8
Maxime Perrotin's avatar
Maxime Perrotin committed
154
155
156
157
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
Maxime Perrotin's avatar
Maxime Perrotin committed
158
END T_Int8_Buffer_Max.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
159

Maxime Perrotin's avatar
Maxime Perrotin committed
160
161
DATA T_Int8_Buffer
END T_Int8_Buffer;
Maxime Perrotin's avatar
Maxime Perrotin committed
162

Maxime Perrotin's avatar
Maxime Perrotin committed
163
164
DATA IMPLEMENTATION T_Int8_Buffer.impl
    -- Buffer to hold a marshalled data of type T_Int8
Maxime Perrotin's avatar
Maxime Perrotin committed
165
SUBCOMPONENTS
Maxime Perrotin's avatar
Maxime Perrotin committed
166
    Buffer : data T_Int8_Buffer_Max.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
167
168
169
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
Maxime Perrotin's avatar
Maxime Perrotin committed
170
END T_Int8_Buffer.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
171

Maxime Perrotin's avatar
Maxime Perrotin committed
172
DATA T_UInt32
Maxime Perrotin's avatar
Maxime Perrotin committed
173
174
175
176
177
178
179
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:
Maxime Perrotin's avatar
Maxime Perrotin committed
180
    -- Real message size is 8; suggested aligned message buffer is...
Maxime Perrotin's avatar
Maxime Perrotin committed
181
182
    Source_Data_Size => 8 Bytes;
    -- name of the corresponding data type in the source file:
Maxime Perrotin's avatar
Maxime Perrotin committed
183
184
    Type_Source_Name => "T-UInt32";
    TASTE::Position_In_File => [ line => 8 ; column => 1 ; ];
Maxime Perrotin's avatar
Maxime Perrotin committed
185
    -- what kind of type is this?
Maxime Perrotin's avatar
Maxime Perrotin committed
186
187
    TASTE::ASN1_Basic_Type =>aINTEGER;
END T_UInt32;
Maxime Perrotin's avatar
Maxime Perrotin committed
188

Maxime Perrotin's avatar
Maxime Perrotin committed
189
190
DATA IMPLEMENTATION T_UInt32.impl
END T_UInt32.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
191

Maxime Perrotin's avatar
Maxime Perrotin committed
192
193
DATA T_UInt32_Buffer_Max
END T_UInt32_Buffer_Max;
Maxime Perrotin's avatar
Maxime Perrotin committed
194

Maxime Perrotin's avatar
Maxime Perrotin committed
195
196
DATA IMPLEMENTATION T_UInt32_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_UInt32
Maxime Perrotin's avatar
Maxime Perrotin committed
197
198
199
200
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
Maxime Perrotin's avatar
Maxime Perrotin committed
201
END T_UInt32_Buffer_Max.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
202

Maxime Perrotin's avatar
Maxime Perrotin committed
203
204
DATA T_UInt32_Buffer
END T_UInt32_Buffer;
Maxime Perrotin's avatar
Maxime Perrotin committed
205

Maxime Perrotin's avatar
Maxime Perrotin committed
206
207
DATA IMPLEMENTATION T_UInt32_Buffer.impl
    -- Buffer to hold a marshalled data of type T_UInt32
Maxime Perrotin's avatar
Maxime Perrotin committed
208
SUBCOMPONENTS
Maxime Perrotin's avatar
Maxime Perrotin committed
209
    Buffer : data T_UInt32_Buffer_Max.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
210
211
212
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
Maxime Perrotin's avatar
Maxime Perrotin committed
213
END T_UInt32_Buffer.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
214

Maxime Perrotin's avatar
Maxime Perrotin committed
215
DATA T_UInt8
Maxime Perrotin's avatar
Maxime Perrotin committed
216
217
218
219
220
221
222
223
224
225
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:
Maxime Perrotin's avatar
Maxime Perrotin committed
226
227
    Type_Source_Name => "T-UInt8";
    TASTE::Position_In_File => [ line => 12 ; column => 1 ; ];
Maxime Perrotin's avatar
Maxime Perrotin committed
228
229
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aINTEGER;
Maxime Perrotin's avatar
Maxime Perrotin committed
230
END T_UInt8;
Maxime Perrotin's avatar
Maxime Perrotin committed
231

Maxime Perrotin's avatar
Maxime Perrotin committed
232
233
DATA IMPLEMENTATION T_UInt8.impl
END T_UInt8.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
234

Maxime Perrotin's avatar
Maxime Perrotin committed
235
236
DATA T_UInt8_Buffer_Max
END T_UInt8_Buffer_Max;
Maxime Perrotin's avatar
Maxime Perrotin committed
237

Maxime Perrotin's avatar
Maxime Perrotin committed
238
239
DATA IMPLEMENTATION T_UInt8_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type T_UInt8
Maxime Perrotin's avatar
Maxime Perrotin committed
240
241
242
243
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
Maxime Perrotin's avatar
Maxime Perrotin committed
244
END T_UInt8_Buffer_Max.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
245

Maxime Perrotin's avatar
Maxime Perrotin committed
246
247
DATA T_UInt8_Buffer
END T_UInt8_Buffer;
Maxime Perrotin's avatar
Maxime Perrotin committed
248

Maxime Perrotin's avatar
Maxime Perrotin committed
249
250
DATA IMPLEMENTATION T_UInt8_Buffer.impl
    -- Buffer to hold a marshalled data of type T_UInt8
Maxime Perrotin's avatar
Maxime Perrotin committed
251
SUBCOMPONENTS
Maxime Perrotin's avatar
Maxime Perrotin committed
252
    Buffer : data T_UInt8_Buffer_Max.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
253
254
255
    Length : data Base_Types::Unsigned_32;
PROPERTIES
    Data_Model::Data_Representation => Struct;
Maxime Perrotin's avatar
Maxime Perrotin committed
256
END T_UInt8_Buffer.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
257
258
259
260

DATA TASTE_Boolean
PROPERTIES
    -- name of the ASN.1 source file:
Maxime Perrotin's avatar
Maxime Perrotin committed
261
    Source_Text => ("/home/taste/tool-src/kazoo/test/test-cv/DataView.asn");
Maxime Perrotin's avatar
Maxime Perrotin committed
262
263
264
265
266
267
268
269
    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 => "TASTE-Boolean";
Maxime Perrotin's avatar
Maxime Perrotin committed
270
    TASTE::Position_In_File => [ line => 5 ; column => 1 ; ];
Maxime Perrotin's avatar
Maxime Perrotin committed
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
    -- what kind of type is this?
    TASTE::ASN1_Basic_Type =>aBOOLEAN;
END TASTE_Boolean;

DATA IMPLEMENTATION TASTE_Boolean.impl
END TASTE_Boolean.impl;

DATA TASTE_Boolean_Buffer_Max
END TASTE_Boolean_Buffer_Max;

DATA IMPLEMENTATION TASTE_Boolean_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type TASTE_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 TASTE_Boolean_Buffer_Max.impl;

DATA TASTE_Boolean_Buffer
END TASTE_Boolean_Buffer;

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

SYSTEM Taste_DataView
END    Taste_DataView;

SYSTEM IMPLEMENTATION Taste_DataView.others
SUBCOMPONENTS
   T_Boolean : DATA T_Boolean.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
307
308
   T_Int32 : DATA T_Int32.impl;
   T_Int8 : DATA T_Int8.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
309
   T_UInt32 : DATA T_UInt32.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
310
   T_UInt8 : DATA T_UInt8.impl;
Maxime Perrotin's avatar
Maxime Perrotin committed
311
312
313
   TASTE_Boolean : DATA TASTE_Boolean.impl;
END Taste_DataView.others;
end DataView;