DataView.aadl 9.7 KB
Newer Older
1
--------------------------------------------------------
2 3
--! File generated by asn2aadl v2.1.15: DO NOT EDIT !
--------------------------------------------------------
4 5
--! InputASN1FileChecksum:20ac8ef9090b561c0f86207e317d38f5:DataView.asn:
--! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:../../misc/taste-common-types/taste-types.asn:
6 7 8 9 10 11
--------------------------------------------------------

package DataView

public

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 43 44 45 46
  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 T_UInt32
47 48
PROPERTIES
    -- name of the ASN.1 source file:
49
    Source_Text => ("../../misc/taste-common-types/taste-types.asn");
50 51 52
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
    Source_Language => (ASN1);
53 54
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 8; suggested aligned message buffer is...
55
    Source_Data_Size => 8 Bytes;
56
    -- name of the corresponding data type in the source file:
57
    Type_Source_Name => "T-UInt32";
58
    -- what kind of type is this?
59 60
    TASTE::ASN1_Basic_Type =>aINTEGER;
END T_UInt32;
61

62 63
DATA IMPLEMENTATION T_UInt32.impl
END T_UInt32.impl;
64

65 66 67 68 69
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
70 71 72
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
73 74
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_UInt32_Buffer_Max.impl;
75

76 77
DATA T_UInt32_Buffer
END T_UInt32_Buffer;
78

79 80
DATA IMPLEMENTATION T_UInt32_Buffer.impl
    -- Buffer to hold a marshalled data of type T_UInt32
81
SUBCOMPONENTS
82 83
    Buffer : data T_UInt32_Buffer_Max.impl;
    Length : data Base_Types::Unsigned_32;
84 85
PROPERTIES
    Data_Model::Data_Representation => Struct;
86
END T_UInt32_Buffer.impl;
87 88 89 90

DATA T_Boolean
PROPERTIES
    -- name of the ASN.1 source file:
91
    Source_Text => ("../../misc/taste-common-types/taste-types.asn");
92 93 94
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
    Source_Language => (ASN1);
95 96
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 1; suggested aligned message buffer is...
97
    Source_Data_Size => 8 Bytes;
98 99 100
    -- name of the corresponding data type in the source file:
    Type_Source_Name => "T-Boolean";
    -- what kind of type is this?
101
    TASTE::ASN1_Basic_Type =>aBOOLEAN;
102 103
END T_Boolean;

104 105 106
DATA IMPLEMENTATION T_Boolean.impl
END T_Boolean.impl;

107 108 109 110 111 112 113 114
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
115
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
116 117 118 119 120 121 122 123 124
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;
125
    Length : data Base_Types::Unsigned_32;
126 127 128 129
PROPERTIES
    Data_Model::Data_Representation => Struct;
END T_Boolean_Buffer.impl;

130
DATA T_Int8
131 132
PROPERTIES
    -- name of the ASN.1 source file:
133
    Source_Text => ("../../misc/taste-common-types/taste-types.asn");
134 135 136
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
    Source_Language => (ASN1);
137 138
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 8; suggested aligned message buffer is...
139
    Source_Data_Size => 8 Bytes;
140
    -- name of the corresponding data type in the source file:
141
    Type_Source_Name => "T-Int8";
142
    -- what kind of type is this?
143 144
    TASTE::ASN1_Basic_Type =>aINTEGER;
END T_Int8;
145

146 147
DATA IMPLEMENTATION T_Int8.impl
END T_Int8.impl;
148

149 150 151 152 153
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
154 155 156
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
157 158
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_Int8_Buffer_Max.impl;
159

160 161
DATA T_Int8_Buffer
END T_Int8_Buffer;
162

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

172
DATA T_Int32
173 174
PROPERTIES
    -- name of the ASN.1 source file:
175
    Source_Text => ("../../misc/taste-common-types/taste-types.asn");
176 177 178
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
    Source_Language => (ASN1);
179 180
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 8; suggested aligned message buffer is...
181
    Source_Data_Size => 8 Bytes;
182
    -- name of the corresponding data type in the source file:
183
    Type_Source_Name => "T-Int32";
184
    -- what kind of type is this?
185 186
    TASTE::ASN1_Basic_Type =>aINTEGER;
END T_Int32;
187

188 189
DATA IMPLEMENTATION T_Int32.impl
END T_Int32.impl;
190

191 192 193 194 195
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
196 197 198
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
199 200
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_Int32_Buffer_Max.impl;
201

202 203
DATA T_Int32_Buffer
END T_Int32_Buffer;
204

205 206
DATA IMPLEMENTATION T_Int32_Buffer.impl
    -- Buffer to hold a marshalled data of type T_Int32
207
SUBCOMPONENTS
208 209
    Buffer : data T_Int32_Buffer_Max.impl;
    Length : data Base_Types::Unsigned_32;
210 211
PROPERTIES
    Data_Model::Data_Representation => Struct;
212
END T_Int32_Buffer.impl;
213 214 215 216

DATA T_UInt8
PROPERTIES
    -- name of the ASN.1 source file:
217
    Source_Text => ("../../misc/taste-common-types/taste-types.asn");
218 219 220
    TASTE::Ada_Package_Name => "TASTE_BasicTypes";
    Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
    Source_Language => (ASN1);
221 222
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 8; suggested aligned message buffer is...
223
    Source_Data_Size => 8 Bytes;
224 225 226
    -- name of the corresponding data type in the source file:
    Type_Source_Name => "T-UInt8";
    -- what kind of type is this?
227
    TASTE::ASN1_Basic_Type =>aINTEGER;
228 229
END T_UInt8;

230 231 232
DATA IMPLEMENTATION T_UInt8.impl
END T_UInt8.impl;

233 234 235 236 237 238 239 240
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
241
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
242 243 244 245 246 247 248 249 250
END T_UInt8_Buffer_Max.impl;

DATA T_UInt8_Buffer
END T_UInt8_Buffer;

DATA IMPLEMENTATION T_UInt8_Buffer.impl
    -- Buffer to hold a marshalled data of type T_UInt8
SUBCOMPONENTS
    Buffer : data T_UInt8_Buffer_Max.impl;
251
    Length : data Base_Types::Unsigned_32;
252 253 254 255
PROPERTIES
    Data_Model::Data_Representation => Struct;
END T_UInt8_Buffer.impl;

256
DATA MyInteger
257 258
PROPERTIES
    -- name of the ASN.1 source file:
259
    Source_Text => ("DataView.asn");
260 261 262
    TASTE::Ada_Package_Name => "DataView";
    Deployment::ASN1_Module_Name => "DataView";
    Source_Language => (ASN1);
263 264
    -- Size of a buffer to cover all forms of message representation:
    -- Real message size is 8; suggested aligned message buffer is...
265
    Source_Data_Size => 8 Bytes;
266
    -- name of the corresponding data type in the source file:
267
    Type_Source_Name => "MyInteger";
268
    -- what kind of type is this?
269 270
    TASTE::ASN1_Basic_Type =>aINTEGER;
END MyInteger;
271

272 273
DATA IMPLEMENTATION MyInteger.impl
END MyInteger.impl;
274

275 276 277 278 279
DATA MyInteger_Buffer_Max
END MyInteger_Buffer_Max;

DATA IMPLEMENTATION MyInteger_Buffer_Max.impl
    -- Buffer to hold a marshalled data of type MyInteger
280 281 282
PROPERTIES
    Data_Model::Data_Representation => array;
    Data_Model::Dimension => (8); -- Size of the buffer
283 284
    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END MyInteger_Buffer_Max.impl;
285

286 287
DATA MyInteger_Buffer
END MyInteger_Buffer;
288

289 290
DATA IMPLEMENTATION MyInteger_Buffer.impl
    -- Buffer to hold a marshalled data of type MyInteger
291
SUBCOMPONENTS
292 293
    Buffer : data MyInteger_Buffer_Max.impl;
    Length : data Base_Types::Unsigned_32;
294 295
PROPERTIES
    Data_Model::Data_Representation => Struct;
296 297 298 299
END MyInteger_Buffer.impl;

SYSTEM Taste_DataView
END    Taste_DataView;
300

301 302 303 304 305 306 307 308 309
SYSTEM IMPLEMENTATION Taste_DataView.others
SUBCOMPONENTS
   T_UInt32 : DATA T_UInt32.impl;
   T_Boolean : DATA T_Boolean.impl;
   T_Int8 : DATA T_Int8.impl;
   T_Int32 : DATA T_Int32.impl;
   T_UInt8 : DATA T_UInt8.impl;
   MyInteger : DATA MyInteger.impl;
END Taste_DataView.others;
310
end DataView;