Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
R
regression-suites
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
TASTE
regression-suites
Commits
f5ea32e7
Commit
f5ea32e7
authored
Mar 31, 2017
by
Thanassis Tsiodras
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Attempt to remove DataView.aadl from the repos (and re-create on the fly)
parent
ce0e0055
Changes
53
Expand all
Hide whitespace changes
Inline
Side-by-side
Showing
53 changed files
with
54 additions
and
16543 deletions
+54
-16543
Demo-opengeode/DataView.aadl
Demo-opengeode/DataView.aadl
+0
-824
Demo_ACN/build-script.sh
Demo_ACN/build-script.sh
+2
-0
Demo_Ada_GUI/DataView.aadl
Demo_Ada_GUI/DataView.aadl
+0
-473
Demo_Blackbox/DataView.aadl
Demo_Blackbox/DataView.aadl
+0
-525
Demo_Blackbox/build-script.sh
Demo_Blackbox/build-script.sh
+2
-0
Demo_Bright_Ascension/DataView.aadl
Demo_Bright_Ascension/DataView.aadl
+0
-4685
Demo_Bright_Ascension/build-script.sh
Demo_Bright_Ascension/build-script.sh
+2
-0
Demo_CVProperties/DataView.aadl
Demo_CVProperties/DataView.aadl
+0
-512
Demo_CVProperties/build-script.sh
Demo_CVProperties/build-script.sh
+2
-0
Demo_C_RTEMS/DataView.aadl
Demo_C_RTEMS/DataView.aadl
+0
-278
Demo_ContextParams/build-sample.sh
Demo_ContextParams/build-sample.sh
+0
-1
Demo_Directives/DataView.aadl
Demo_Directives/DataView.aadl
+0
-278
Demo_Directives/build-script.sh
Demo_Directives/build-script.sh
+4
-1
Demo_Distrib/DataView.aadl
Demo_Distrib/DataView.aadl
+0
-278
Demo_EmptySeq/DataView.aadl
Demo_EmptySeq/DataView.aadl
+0
-278
Demo_ExternalLib/DataView.aadl
Demo_ExternalLib/DataView.aadl
+0
-551
Demo_ImportedComponent/DataView.aadl
Demo_ImportedComponent/DataView.aadl
+0
-285
Demo_ImportedComponent/build-script.sh
Demo_ImportedComponent/build-script.sh
+2
-1
Demo_KeepCase/DataView.aadl
Demo_KeepCase/DataView.aadl
+0
-278
Demo_KeepCase/build-script.sh
Demo_KeepCase/build-script.sh
+2
-1
Demo_ManyThreads/DataView.aadl
Demo_ManyThreads/DataView.aadl
+0
-512
Demo_ManyThreads/build-script.sh
Demo_ManyThreads/build-script.sh
+2
-0
Demo_MessageOrdering/DataView.aadl
Demo_MessageOrdering/DataView.aadl
+0
-278
Demo_MessageOrdering/build-script.sh
Demo_MessageOrdering/build-script.sh
+3
-0
Demo_Mix/DataView.aadl
Demo_Mix/DataView.aadl
+0
-278
Demo_MultiPlatform/build-script.sh
Demo_MultiPlatform/build-script.sh
+2
-0
Demo_Opengeode_Simple_Nested_States/DataView.aadl
Demo_Opengeode_Simple_Nested_States/DataView.aadl
+0
-278
Demo_PortNames/DataView.aadl
Demo_PortNames/DataView.aadl
+0
-278
Demo_PortNames/build-script.sh
Demo_PortNames/build-script.sh
+3
-0
Demo_RI_Names/DataView.aadl
Demo_RI_Names/DataView.aadl
+0
-278
Demo_RI_Names/build-script.sh
Demo_RI_Names/build-script.sh
+2
-1
Demo_RTDS_SyncC/build-script.sh
Demo_RTDS_SyncC/build-script.sh
+3
-0
Demo_RTEMS_Ada/DataView.aadl
Demo_RTEMS_Ada/DataView.aadl
+0
-277
Demo_RTEMS_Ada/build-script.sh
Demo_RTEMS_Ada/build-script.sh
+2
-0
Demo_SQL_Socket_Linux32/DataView.aadl
Demo_SQL_Socket_Linux32/DataView.aadl
+0
-356
Demo_Simulink_C_NoStopBlock/DataView.aadl
Demo_Simulink_C_NoStopBlock/DataView.aadl
+0
-512
Demo_Simulink_C_NoStopBlock/build-script.sh
Demo_Simulink_C_NoStopBlock/build-script.sh
+3
-0
Demo_Simulink_C_StopBlock/DataView.aadl
Demo_Simulink_C_StopBlock/DataView.aadl
+0
-278
Demo_Simulink_C_StopBlock/build-script.sh
Demo_Simulink_C_StopBlock/build-script.sh
+4
-1
Demo_Sockets/DataView.aadl
Demo_Sockets/DataView.aadl
+0
-512
Demo_Sockets/build-script.sh
Demo_Sockets/build-script.sh
+3
-0
Demo_Sockets_RTEMS_Leon2/DataView.aadl
Demo_Sockets_RTEMS_Leon2/DataView.aadl
+0
-656
Demo_Sockets_RTEMS_Leon2/build-script.sh
Demo_Sockets_RTEMS_Leon2/build-script.sh
+2
-0
Demo_Sockets_SDL_GUI/DataView.aadl
Demo_Sockets_SDL_GUI/DataView.aadl
+0
-590
Demo_Sockets_SDL_GUI/build-script.sh
Demo_Sockets_SDL_GUI/build-script.sh
+2
-0
Demo_Sockets_x86/DataView.aadl
Demo_Sockets_x86/DataView.aadl
+0
-512
Demo_Sockets_x86/build-script.sh
Demo_Sockets_x86/build-script.sh
+3
-0
Demo_SpaceWire_2RASTA/build-script.sh
Demo_SpaceWire_2RASTA/build-script.sh
+2
-0
Demo_Timers/DataView.aadl
Demo_Timers/DataView.aadl
+0
-278
Demo_TwoCallers/DataView.aadl
Demo_TwoCallers/DataView.aadl
+0
-317
Demo_TwoCallers/build-script.sh
Demo_TwoCallers/build-script.sh
+2
-0
Demo_Unprotected/DataView.aadl
Demo_Unprotected/DataView.aadl
+0
-551
Demo_vcd/DataView.aadl
Demo_vcd/DataView.aadl
+0
-551
No files found.
Demo-opengeode/DataView.aadl
deleted
100644 → 0
View file @
ce0e0055
This diff is collapsed.
Click to expand it.
Demo_ACN/build-script.sh
View file @
f5ea32e7
...
...
@@ -14,6 +14,8 @@
# Note: TASTE will not overwrite your changes - if you need to update some parts
# you will have to merge the changes with the newly-created file.
taste-update-data-view
if
[
-z
"
$DEPLOYMENTVIEW
"
]
then
DEPLOYMENTVIEW
=
DeploymentView.aadl
...
...
Demo_Ada_GUI/DataView.aadl
deleted
100644 → 0
View file @
ce0e0055
--------------------------------------------------------
--
! File generated by asn2aadl v1.2359: DO NOT EDIT !
--------------------------------------------------------
package
DataView
public
with
Data_Model
;
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"
;
Type_Source_Name
=>
"Simulink-Tunable-Parameter"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
END
Simulink_Tunable_Parameter
;
DATA
Timer
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE-Directives"
;
Type_Source_Name
=>
"Timer"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
END
Timer
;
DATA
TASTE_Directive
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE-Directives"
;
Type_Source_Name
=>
"Taste-directive"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
END
TASTE_Directive
;
data
Stream_Element_Buffer
--
Root
type
for
buffer
elements
properties
Data_Model
::
Data_Representation
=>
Character
;
end
Stream_Element_Buffer
;
DATA
TC_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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
280
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
280
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"TC-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aSEQUENCE
;
END
TC_T
;
DATA
TC_T_Buffer_Max
END
TC_T_Buffer_Max
;
DATA
IMPLEMENTATION
TC_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TC_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
280
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
TC_T_Buffer_Max
.
impl
;
DATA
TC_T_Buffer
END
TC_T_Buffer
;
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
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
TC_T_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
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T-UInt8"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_UInt8
;
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
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
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
;
Length
:
data
Base_Types
::
Unsigned_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_UInt8_Buffer
.
impl
;
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"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aBOOLEAN
;
END
T_Boolean
;
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_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_Boolean_Buffer
.
impl
;
DATA
TM_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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
=>
"TM-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aSTRING
;
END
TM_T
;
DATA
TM_T_Buffer_Max
END
TM_T_Buffer_Max
;
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
=>
(
264
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
TM_T_Buffer_Max
.
impl
;
DATA
TM_T_Buffer
END
TM_T_Buffer
;
DATA
IMPLEMENTATION
TM_T_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TM_T
SUBCOMPONENTS
Buffer
:
data
TM_T_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
TM_T_Buffer
.
impl
;
DATA
HK_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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
16
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
16
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"HK-T"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aSEQUENCE
;
END
HK_T
;
DATA
HK_T_Buffer_Max
END
HK_T_Buffer_Max
;
DATA
IMPLEMENTATION
HK_T_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
HK_T
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
16
);
--
Size
of
the
buffer
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
HK_T_Buffer_Max
.
impl
;
DATA
HK_T_Buffer
END
HK_T_Buffer
;
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
;
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/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_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/taste/tool-src/testSuites/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/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-Int8"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_Int8
;
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
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_Int8_Buffer_Max
.
impl
;
DATA
T_Int8_Buffer
END
T_Int8_Buffer
;
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
;
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/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_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/taste/tool-src/testSuites/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
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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
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_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
Destination_T_Buffer
.
impl
;
end
DataView
;
Demo_Blackbox/DataView.aadl
deleted
100644 → 0
View file @
ce0e0055
--------------------------------------------------------
--
! File generated by asn2aadl v1.2359: DO NOT EDIT !
--------------------------------------------------------
package
DataView
public
with
Data_Model
;
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"
;
Type_Source_Name
=>
"Simulink-Tunable-Parameter"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
END
Simulink_Tunable_Parameter
;
DATA
Timer
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE-Directives"
;
Type_Source_Name
=>
"Timer"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
END
Timer
;
DATA
TASTE_Directive
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE-Directives"
;
Type_Source_Name
=>
"Taste-directive"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
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
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_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_UInt32_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
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T-UInt8"
;
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_UInt8
;
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
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
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
;
Length
:
data
Base_Types
::
Unsigned_16
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_UInt8_Buffer
.
impl
;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;