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
605f6f93
Commit
605f6f93
authored
Mar 31, 2017
by
Thanassis Tsiodras
Browse files
We really should use env vars to point to HOME etc - for now, a quick fix
parent
4c56d7d9
Changes
38
Show whitespace changes
Inline
Side-by-side
Demo-opengeode/DataView.aadl
View file @
605f6f93
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
MyChoice2
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -83,7 +83,7 @@ END MyChoice2_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
;
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
MySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -161,7 +161,7 @@ END MySeq_Buffer.impl;
DATA
MyEnum
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -200,7 +200,7 @@ END MyEnum_Buffer.impl;
DATA
MySeqWithEmbeddedSeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END MySeqWithEmbeddedSeqOf_Buffer.impl;
DATA
MyReal
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -278,7 +278,7 @@ END MyReal_Buffer.impl;
DATA
MyRefSeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -317,7 +317,7 @@ END MyRefSeqOf_Buffer.impl;
DATA
MyComplexChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -356,7 +356,7 @@ END MyComplexChoice_Buffer.impl;
DATA
T_Int32
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
;
...
...
@@ -395,7 +395,7 @@ END T_Int32_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -434,7 +434,7 @@ END MyInteger_Buffer.impl;
DATA
T_UInt32
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
;
...
...
@@ -473,7 +473,7 @@ END T_UInt32_Buffer.impl;
DATA
MyChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -512,7 +512,7 @@ END MyChoice_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
;
...
...
@@ -551,7 +551,7 @@ END T_Int8_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
;
...
...
@@ -590,7 +590,7 @@ END T_Boolean_Buffer.impl;
DATA
MyComplexSeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -629,7 +629,7 @@ END MyComplexSeqOf_Buffer.impl;
DATA
MySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -668,7 +668,7 @@ END MySeqOf_Buffer.impl;
DATA
MyPossiblyEmptySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -707,7 +707,7 @@ END MyPossiblyEmptySeqOf_Buffer.impl;
DATA
MyComplexType
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -746,7 +746,7 @@ END MyComplexType_Buffer.impl;
DATA
EnableDisable
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -785,7 +785,7 @@ END EnableDisable_Buffer.impl;
DATA
MyOctStr
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_Ada_GUI/DataView.aadl
View file @
605f6f93
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
TC_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -83,7 +83,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
;
...
...
@@ -122,7 +122,7 @@ END T_UInt8_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
;
...
...
@@ -161,7 +161,7 @@ END T_Boolean_Buffer.impl;
DATA
TM_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -200,7 +200,7 @@ END TM_T_Buffer.impl;
DATA
HK_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END HK_T_Buffer.impl;
DATA
T_UInt32
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
;
...
...
@@ -278,7 +278,7 @@ END T_UInt32_Buffer.impl;
DATA
Display_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -317,7 +317,7 @@ 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
;
...
...
@@ -356,7 +356,7 @@ END T_Int8_Buffer.impl;
DATA
T_Int32
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
;
...
...
@@ -395,7 +395,7 @@ END T_Int32_Buffer.impl;
DATA
Action_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -434,7 +434,7 @@ END Action_T_Buffer.impl;
DATA
Destination_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
Demo_Blackbox/DataView.aadl
View file @
605f6f93
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
T_UInt32
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
;
...
...
@@ -83,7 +83,7 @@ END T_UInt32_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
;
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -162,7 +162,7 @@ END MyInteger_Buffer.impl;
DATA
MyReal
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -202,7 +202,7 @@ END MyReal_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
;
...
...
@@ -241,7 +241,7 @@ END T_Boolean_Buffer.impl;
DATA
MySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -281,7 +281,7 @@ END MySeqOf_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
;
...
...
@@ -320,7 +320,7 @@ END T_Int8_Buffer.impl;
DATA
MySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -360,7 +360,7 @@ END MySeq_Buffer.impl;
DATA
MyEnum
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -400,7 +400,7 @@ END MyEnum_Buffer.impl;
DATA
T_Int32
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
;
...
...
@@ -439,7 +439,7 @@ END T_Int32_Buffer.impl;
DATA
MyChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -479,7 +479,7 @@ END MyChoice_Buffer.impl;
DATA
MyOctStr
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -518,7 +518,7 @@ END MyOctStr_Buffer.impl;
DATA
ACN_DataView
PROPERTIES
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.acn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Blackbox/DataView.acn"
);
Source_Language
=>
ACN
;
END
ACN_DataView
;
...
...
Demo_Bright_Ascension/DataView.aadl
View file @
605f6f93
...
...
@@ -204,7 +204,7 @@ END T_PUS_tm_destId_Buffer.impl;
DATA
T_Int32
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
;
...
...
@@ -923,7 +923,7 @@ END T_MO_AggregationValue_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
;
...
...
@@ -2122,7 +2122,7 @@ END T_MO_CheckTransitionEvent_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
;
...
...
@@ -2441,7 +2441,7 @@ END T_sp_tm_primaryHeader_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
;
...
...
@@ -2800,7 +2800,7 @@ END T_MO_aggregation_enableGenerationSubmitBody_Buffer.impl;
DATA
T_UInt32
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
;
...
...
Demo_Bright_Ascension/DeploymentView.aadl
View file @
605f6f93
...
...
@@ -236,6 +236,6 @@ PROPERTIES
Taste::coordinates => "0 0 2970 2100";
Taste::version => "1.3.17";
Taste::interfaceView => "InterfaceView.aadl";
Taste::HWLibraries => ("../../../home/as
ser
t/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
Taste::HWLibraries => ("../../../home/
t
ast
e
/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
Demo_C_RTEMS/DataView.aadl
View file @
605f6f93
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
T_Int32
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
;
...
...
@@ -83,7 +83,7 @@ END T_Int32_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/WorkInProgress/Demo_C_RTEMS/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/WorkInProgress/Demo_C_RTEMS/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -122,7 +122,7 @@ END MyInteger_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
;
...
...
@@ -161,7 +161,7 @@ END T_Boolean_Buffer.impl;
DATA
T_UInt32
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
;
...
...
@@ -200,7 +200,7 @@ END T_UInt32_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
;
...
...
@@ -239,7 +239,7 @@ END T_UInt8_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
;
...
...
Demo_Directives/DeploymentView.aadl
View file @
605f6f93
...
...
@@ -207,7 +207,7 @@ public
Type_Source_Name
=>
"IP-Conf-T"
;
Deployment
::
ASN1_Module_Name
=>
"POHICDRIVER-IP"
;
Source_Language
=>
ASN1
;
Source_Text
=>
(
"/home/as
ser
t/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn"
,
"drivers/configuration/ip.h"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn"
,
"drivers/configuration/ip.h"
);
end
configuration_type_ip
;
data
configuration_type_serial
...
...
@@ -215,7 +215,7 @@ public
Type_Source_Name
=>
"Serial-Conf-T"
;
Deployment
::
ASN1_Module_Name
=>
"POHICDRIVER-UART"
;
Source_Language
=>
ASN1
;
Source_Text
=>
(
"/home/as
ser
t/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn"
,
"drivers/configuration/serial.h"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn"
,
"drivers/configuration/serial.h"
);
end
configuration_type_serial
;
data
configuration_type_spacewire
...
...
@@ -223,7 +223,7 @@ public
Type_Source_Name
=>
"Spacewire-Conf-T"
;
Deployment
::
ASN1_Module_Name
=>
"POHICDRIVER-SPACEWIRE"
;
Source_Language
=>
ASN1
;
Source_Text
=>
(
"/home/as
ser
t/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/spacewire.asn"
,
"drivers/configuration/spacewire.h"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/spacewire.asn"
,
"drivers/configuration/spacewire.h"
);
end
configuration_type_spacewire
;
--------------
...
...
Demo_Distrib/DataView.aadl
View file @
605f6f93
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
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
;
...
...
@@ -83,7 +83,7 @@ END T_Boolean_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
;
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
T_UInt32
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
;
...
...
@@ -161,7 +161,7 @@ END T_UInt32_Buffer.impl;
DATA
My_Integer
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_Distrib/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_Distrib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -200,7 +200,7 @@ END My_Integer_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
;
...
...
@@ -239,7 +239,7 @@ END T_Int8_Buffer.impl;
DATA
T_Int32
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
;
...
...
Demo_Distrib/DeploymentView.aadl
View file @
605f6f93
...
...
@@ -28,7 +28,7 @@ FEATURES
PROPERTIES
Taste::Interface_Coordinates => "1145 1062" APPLIES TO link;
Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"", version ipv4, port 5115 }";
Deployment::Config => "/home/as
ser
t/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Config => "/home/
t
ast
e
/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip;
...
...
@@ -61,7 +61,7 @@ FEATURES
PROPERTIES
Taste::Interface_Coordinates => "1710 1062" APPLIES TO link;
Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"", version ipv4, port 5116 }";
Deployment::Config => "/home/as
ser
t/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Config => "/home/
t
ast
e
/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip;
...
...
Demo_ExternalLib/DataView.aadl
View file @
605f6f93
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
T_UInt32
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
;
...
...
@@ -83,7 +83,7 @@ END T_UInt32_Buffer.impl;
DATA
MyBool
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -122,7 +122,7 @@ END MyBool_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -161,7 +161,7 @@ END MyInteger_Buffer.impl;
DATA
MyReal
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/as
ser
t/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/
t
ast
e
/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -200,7 +200,7 @@ END MyReal_Buffer.impl;
DATA
T_Boolean
PROPERTIES