Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
regression-suites
Commits
92459358
Commit
92459358
authored
Mar 18, 2017
by
Thanassis Tsiodras
Browse files
Target x86.native, not x86.linux32
parent
9cc9f56e
Changes
2
Hide whitespace changes
Inline
Side-by-side
Demo_Ada/DataView.aadl
View file @
92459358
--------------------------------------------------------
--
! File generated by asn2aadl v1.2
359
: DO NOT EDIT !
--
! File generated by asn2aadl v
2.
1.2: DO NOT EDIT !
--------------------------------------------------------
package
DataView
...
...
@@ -10,41 +10,157 @@ public
with
Taste
;
with
Base_Types
;
with
Deployment
;
--
No
more
private
heap
required
(
we
use
the
space
certified
compiler
)
--
Memory_Required
:
0
DATA
Simulink_Tunable_Parameter
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE
-
Directives"
;
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"
;
TASTE
::
Ada_Package_Name
=>
"TASTE
_
Directives"
;
Type_Source_Name
=>
"Timer"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
TASTE
::
Forbid_in_PI
=>
true
;
END
Timer
;
DATA
T
ASTE_D
irective
DATA
T
aste_d
irective
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE
-
Directives"
;
TASTE
::
Ada_Package_Name
=>
"TASTE
_
Directives"
;
Type_Source_Name
=>
"Taste-directive"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
END
TASTE
_Directiv
e
;
TASTE
::
Forbid_in_PI
=>
tru
e
;
END
Taste_directive
;
data
Stream_Element_Buffer
--
Root
type
for
buffer
elements
properties
Data_Model
::
Data_Representation
=>
Character
;
end
Stream_Element_Buffer
;
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"
;
--
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
Display_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/taste-setup/testSuites/Demo_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
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
=>
"Display-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aSTRING
;
END
Display_T
;
DATA
Display_T_Buffer_Max
END
Display_T_Buffer_Max
;
DATA
IMPLEMENTATION
Display_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Display_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
264
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
Display_T_Buffer_Max
.
impl
;
DATA
Display_T_Buffer
END
Display_T_Buffer
;
DATA
IMPLEMENTATION
Display_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Display_T
SUBCOMPONENTS
Buffer
:
data
Display_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
Display_T_Buffer
.
impl
;
DATA
T_UInt32
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-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
TC_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
sert/tool-src/testSuites/Regression_AADLv2
/Demo_Ada
_GUI
/DataView.asn"
);
Source_Text
=>
(
"/home/
t
as
te/taste-setup/testSuites
/Demo_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -75,7 +191,7 @@ DATA IMPLEMENTATION TC_T_Buffer.impl
--
Buffer
to
hold
a
marshalled
data
of
type
TC_T
SUBCOMPONENTS
Buffer
:
data
TC_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
16
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
TC_T_Buffer
.
impl
;
...
...
@@ -83,7 +199,7 @@ END TC_T_Buffer.impl;
DATA
T_UInt8
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-inst/share/taste-types/taste-types.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
ASN1
;
...
...
@@ -114,15 +230,54 @@ DATA IMPLEMENTATION T_UInt8_Buffer.impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_UInt8
SUBCOMPONENTS
Buffer
:
data
T_UInt8_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
16
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_UInt8_Buffer
.
impl
;
DATA
Destination_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/taste-setup/testSuites/Demo_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
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
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"Destination-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aENUMERATED
;
END
Destination_T
;
DATA
Destination_T_Buffer_Max
END
Destination_T_Buffer_Max
;
DATA
IMPLEMENTATION
Destination_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Destination_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
Destination_T_Buffer_Max
.
impl
;
DATA
Destination_T_Buffer
END
Destination_T_Buffer
;
DATA
IMPLEMENTATION
Destination_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Destination_T
SUBCOMPONENTS
Buffer
:
data
Destination_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
Destination_T_Buffer
.
impl
;
DATA
T_Boolean
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-inst/share/taste-types/taste-types.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
ASN1
;
...
...
@@ -153,54 +308,54 @@ 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_
16
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_Boolean_Buffer
.
impl
;
DATA
TM
_T
DATA
Action
_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
sert/tool-src/testSuites/Regression_AADLv2
/Demo_Ada
_GUI
/DataView.asn"
);
Source_Text
=>
(
"/home/
t
as
te/taste-setup/testSuites
/Demo_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
--
Size
of
a
buffer
to
cover
all
forms
of
message
representation
:
--
Real
message
size
is
2
60
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
2
64
Bytes
;
--
Real
message
size
is
2
72
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
2
72
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"
TM
-T"
;
Type_Source_Name
=>
"
Action
-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
a
STRING
;
END
TM
_T
;
TASTE
::
ASN1_Basic_Type
=>
a
CHOICE
;
END
Action
_T
;
DATA
TM
_T_Buffer_Max
END
TM
_T_Buffer_Max
;
DATA
Action
_T_Buffer_Max
END
Action
_T_Buffer_Max
;
DATA
IMPLEMENTATION
TM
_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TM
_T
DATA
IMPLEMENTATION
Action
_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Action
_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
2
64
);
--
Size
of
the
buffer
Data_Model
::
Dimension
=>
(
2
72
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
TM
_T_Buffer_Max
.
impl
;
END
Action
_T_Buffer_Max
.
impl
;
DATA
TM
_T_Buffer
END
TM
_T_Buffer
;
DATA
Action
_T_Buffer
END
Action
_T_Buffer
;
DATA
IMPLEMENTATION
TM
_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TM
_T
DATA
IMPLEMENTATION
Action
_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Action
_T
SUBCOMPONENTS
Buffer
:
data
TM
_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
16
;
Buffer
:
data
Action
_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
TM
_T_Buffer
.
impl
;
END
Action
_T_Buffer
.
impl
;
DATA
HK_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
sert/tool-src/testSuites/Regression_AADLv2
/Demo_Ada
_GUI
/DataView.asn"
);
Source_Text
=>
(
"/home/
t
as
te/taste-setup/testSuites
/Demo_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -231,93 +386,15 @@ DATA IMPLEMENTATION HK_T_Buffer.impl
--
Buffer
to
hold
a
marshalled
data
of
type
HK_T
SUBCOMPONENTS
Buffer
:
data
HK_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
16
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
HK_T_Buffer
.
impl
;
DATA
T_UInt32
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/assert/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-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_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_UInt32_Buffer
.
impl
;
DATA
Display_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/assert/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
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
=>
"Display-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aSTRING
;
END
Display_T
;
DATA
Display_T_Buffer_Max
END
Display_T_Buffer_Max
;
DATA
IMPLEMENTATION
Display_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Display_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
264
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
Display_T_Buffer_Max
.
impl
;
DATA
Display_T_Buffer
END
Display_T_Buffer
;
DATA
IMPLEMENTATION
Display_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Display_T
SUBCOMPONENTS
Buffer
:
data
Display_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
Display_T_Buffer
.
impl
;
DATA
T_Int8
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-inst/share/taste-types/taste-types.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
ASN1
;
...
...
@@ -348,126 +425,48 @@ 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_
16
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_Int8_Buffer
.
impl
;
DATA
T_Int32
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/assert/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"
;
--
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_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_Int32_Buffer
.
impl
;
DATA
Action_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/assert/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
--
Size
of
a
buffer
to
cover
all
forms
of
message
representation
:
--
Real
message
size
is
272
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
272
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"Action-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aCHOICE
;
END
Action_T
;
DATA
Action_T_Buffer_Max
END
Action_T_Buffer_Max
;
DATA
IMPLEMENTATION
Action_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Action_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
272
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
Action_T_Buffer_Max
.
impl
;
DATA
Action_T_Buffer
END
Action_T_Buffer
;
DATA
IMPLEMENTATION
Action_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Action_T
SUBCOMPONENTS
Buffer
:
data
Action_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
Action_T_Buffer
.
impl
;
DATA
Destination_T
DATA
TM_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
sert/tool-src/testSuites/Regression_AADLv2
/Demo_Ada
_GUI
/DataView.asn"
);
Source_Text
=>
(
"/home/
t
as
te/taste-setup/testSuites
/Demo_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
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
Bytes
;
--
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
=>
"
Destination
-T"
;
Type_Source_Name
=>
"
TM
-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
a
ENUMERATED
;
END
Destination
_T
;
TASTE
::
ASN1_Basic_Type
=>
a
STRING
;
END
TM
_T
;
DATA
Destination
_T_Buffer_Max
END
Destination
_T_Buffer_Max
;
DATA
TM
_T_Buffer_Max
END
TM
_T_Buffer_Max
;
DATA
IMPLEMENTATION
Destination
_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Destination
_T
DATA
IMPLEMENTATION
TM
_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TM
_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Data_Model
::
Dimension
=>
(
264
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
Destination
_T_Buffer_Max
.
impl
;
END
TM
_T_Buffer_Max
.
impl
;
DATA
Destination
_T_Buffer
END
Destination
_T_Buffer
;
DATA
TM
_T_Buffer
END
TM
_T_Buffer
;
DATA
IMPLEMENTATION
Destination
_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
Destination
_T
DATA
IMPLEMENTATION
TM
_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TM
_T
SUBCOMPONENTS
Buffer
:
data
Destination
_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
16
;
Buffer
:
data
TM
_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_
32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
Destination
_T_Buffer
.
impl
;
END
TM
_T_Buffer
.
impl
;
end
DataView
;
Demo_Ada/DeploymentView.aadl
View file @
92459358
...
...
@@ -49,14 +49,14 @@ SUBCOMPONENTS
Taste::coordinates => "849 755 2208 1562";
Deployment::Port_Number => 0;
};
x86_
linux32
: PROCESSOR ocarina_processors_x86::x86.
linux32
{
x86_
native
: PROCESSOR ocarina_processors_x86::x86.
native
{
Taste::coordinates => "679 524 2378 1677";
};
PROPERTIES
Taste::APLC_Binding => (reference (mypartition)) APPLIES TO IV_mygui;
Taste::APLC_Binding => (reference (mypartition)) APPLIES TO IV_router;
Taste::APLC_Binding => (reference (mypartition)) APPLIES TO IV_displayer;
Actual_Processor_Binding => (reference (x86_
linux32
)) APPLIES TO mypartition;
Actual_Processor_Binding => (reference (x86_
native
)) APPLIES TO mypartition;
END Node1.others;
SYSTEM deploymentview
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment