Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
regression-suites
Commits
ce0e0055
Commit
ce0e0055
authored
Mar 31, 2017
by
Thanassis Tsiodras
Browse files
Similarly - why are we using full qualified paths for project-folder-local references?
parent
605f6f93
Changes
20
Hide whitespace changes
Inline
Side-by-side
Demo-opengeode/DataView.aadl
View file @
ce0e0055
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
MyChoice2
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo-opengeode/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo-opengeode/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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 @
ce0e0055
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
TC_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Ada_GUI/DataView.asn"
);
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
;
...
...
@@ -161,7 +161,7 @@ END T_Boolean_Buffer.impl;
DATA
TM_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Ada_GUI/DataView.asn"
);
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
;
...
...
@@ -200,7 +200,7 @@ END TM_T_Buffer.impl;
DATA
HK_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Ada_GUI/DataView.asn"
);
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
;
...
...
@@ -278,7 +278,7 @@ END T_UInt32_Buffer.impl;
DATA
Display_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Ada_GUI/DataView.asn"
);
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
;
...
...
@@ -395,7 +395,7 @@ END T_Int32_Buffer.impl;
DATA
Action_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Ada_GUI/DataView.asn"
);
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
;
...
...
@@ -434,7 +434,7 @@ END Action_T_Buffer.impl;
DATA
Destination_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Ada_GUI/DataView.asn"
);
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
;
...
...
Demo_Blackbox/DataView.aadl
View file @
ce0e0055
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -241,7 +241,7 @@ END T_Boolean_Buffer.impl;
DATA
MySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -320,7 +320,7 @@ END T_Int8_Buffer.impl;
DATA
MySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Blackbox/DataView.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_DataView
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
...
...
@@ -439,7 +439,7 @@ END T_Int32_Buffer.impl;
DATA
MyChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Blackbox/DataView.acn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Blackbox/DataView.acn"
);
Source_Language
=>
ACN
;
END
ACN_DataView
;
...
...
Demo_Distrib/DataView.aadl
View file @
ce0e0055
...
...
@@ -161,7 +161,7 @@ END T_UInt32_Buffer.impl;
DATA
My_Integer
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Distrib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Distrib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
Demo_EmptySeq/DataView.aadl
View file @
ce0e0055
...
...
@@ -161,7 +161,7 @@ END T_Boolean_Buffer.impl;
DATA
EmptySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/maxime/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_EmptySeq/DataView.asn"
);
Source_Text
=>
(
"/home/maxime/taste/tool-src/testSuites/Demo_EmptySeq/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_ExternalLib/DataView.aadl
View file @
ce0e0055
...
...
@@ -83,7 +83,7 @@ END T_UInt32_Buffer.impl;
DATA
MyBool
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END T_Boolean_Buffer.impl;
DATA
MySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -317,7 +317,7 @@ END T_Int8_Buffer.impl;
DATA
MySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -356,7 +356,7 @@ END MySeq_Buffer.impl;
DATA
MyEnum
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -473,7 +473,7 @@ END T_UInt8_Buffer.impl;
DATA
MyChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_ExternalLib/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
MyOctStr
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_ExternalLib/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_ExternalLib/InterfaceView.aadl
View file @
ce0e0055
...
...
@@ -45,10 +45,10 @@ END Function1;
SYSTEM IMPLEMENTATION Function1.others
SUBCOMPONENTS
flagsToCompileWith : DATA DataView::TASTE_Directive {
Taste::FS_Default_Value => "compiler-option:""-I ~/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/contrib/headers/""";
Taste::FS_Default_Value => "compiler-option:""-I ~/tool-src/testSuites/Demo_ExternalLib/contrib/headers/""";
};
flagsToLinkWith : DATA DataView::TASTE_Directive {
Taste::FS_Default_Value => "linker-option:""-L ~/tool-src/testSuites/
Regression_AADLv2/
Demo_ExternalLib/contrib/lib/ -lsomelib""";
Taste::FS_Default_Value => "linker-option:""-L ~/tool-src/testSuites/Demo_ExternalLib/contrib/lib/ -lsomelib""";
};
PI1_impl : SUBPROGRAM interfaceview::FV::Function1::PI_PI1.others {
Compute_Execution_Time => 0 ms .. 0 ms;
...
...
Demo_Mix/DataView.aadl
View file @
ce0e0055
...
...
@@ -83,7 +83,7 @@ END T_UInt32_Buffer.impl;
DATA
T_POS
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Mix/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Mix/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"MY_MODULE"
;
Deployment
::
ASN1_Module_Name
=>
"MY-MODULE"
;
Source_Language
=>
ASN1
;
...
...
Demo_MultiPlatform/dataview.aadl
View file @
ce0e0055
...
...
@@ -44,7 +44,7 @@ end Stream_Element_Buffer;
DATA
My_Integer
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -122,7 +122,7 @@ END T_UInt32_Buffer.impl;
DATA
My_Real
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -161,7 +161,7 @@ END My_Real_Buffer.impl;
DATA
TM_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END T_UInt8_Buffer.impl;
DATA
Destination_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -317,7 +317,7 @@ END T_Int8_Buffer.impl;
DATA
Display_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -356,7 +356,7 @@ END Display_T_Buffer.impl;
DATA
My_Boolean
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -395,7 +395,7 @@ END My_Boolean_Buffer.impl;
DATA
Action_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
@@ -473,7 +473,7 @@ END T_Boolean_Buffer.impl;
DATA
TC_T
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_MultiPlatform/dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_MultiPlatform/dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"DataView"
;
Deployment
::
ASN1_Module_Name
=>
"DataView"
;
Source_Language
=>
ASN1
;
...
...
Demo_Opengeode_Simple_Nested_States/DataView.aadl
View file @
ce0e0055
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
Character
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Opengeode_Simple_Nested_States/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Opengeode_Simple_Nested_States/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_RI_Names/DataView.aadl
View file @
ce0e0055
...
...
@@ -161,7 +161,7 @@ END T_Int32_Buffer.impl;
DATA
T_POS
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_RI_Names/TPOS_Dataview.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_RI_Names/TPOS_Dataview.asn"
);
TASTE
::
Ada_Package_Name
=>
"MY_MODULE"
;
Deployment
::
ASN1_Module_Name
=>
"MY-MODULE"
;
Source_Language
=>
ASN1
;
...
...
Demo_RI_Names/deploymentview.aadl
View file @
ce0e0055
...
...
@@ -70,7 +70,7 @@ END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 2970 2100";
Taste::version => "1.3.5";
Taste::interfaceView => "/home/maxime/taste/tool-src/trunk/testSuites/
Regression_AADLv2/
Demo_RI_Names/interfaceview.aadl";
Taste::interfaceView => "/home/maxime/taste/tool-src/trunk/testSuites/Demo_RI_Names/interfaceview.aadl";
Taste::HWLibraries => ("/home/maxime/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
Demo_RTEMS_Ada/DataView.aadl
View file @
ce0e0055
...
...
@@ -82,7 +82,7 @@ END T_UInt8_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_RTEMS_Ada/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_RTEMS_Ada/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_SQL_Socket_Linux32/DataView.aadl
View file @
ce0e0055
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_SQL_Socket_Linux32/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_SQL_Socket_Linux32/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
Telecommand
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_SQL_Socket_Linux32/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_SQL_Socket_Linux32/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END T_Boolean_Buffer.impl;
DATA
Telemetry
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_SQL_Socket_Linux32/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_SQL_Socket_Linux32/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_Simulink_C_NoStopBlock/DataView.aadl
View file @
ce0e0055
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END T_Boolean_Buffer.impl;
DATA
MySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -317,7 +317,7 @@ END T_Int8_Buffer.impl;
DATA
MySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -356,7 +356,7 @@ END MySeq_Buffer.impl;
DATA
MyEnum
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -434,7 +434,7 @@ END T_Int32_Buffer.impl;
DATA
MyChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -473,7 +473,7 @@ END MyChoice_Buffer.impl;
DATA
MyOctStr
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Simulink_C_NoStopBlock/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Simulink_C_NoStopBlock/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
Demo_Sockets/DataView.aadl
View file @
ce0e0055
...
...
@@ -122,7 +122,7 @@ END T_UInt8_Buffer.impl;
DATA
MyInteger
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Sockets/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/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Sockets/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -239,7 +239,7 @@ END T_Boolean_Buffer.impl;
DATA
MySeqOf
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Sockets/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -317,7 +317,7 @@ END T_Int8_Buffer.impl;
DATA
MySeq
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Sockets/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -356,7 +356,7 @@ END MySeq_Buffer.impl;
DATA
MyEnum
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Sockets/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -434,7 +434,7 @@ END T_Int32_Buffer.impl;
DATA
MyChoice
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);
Source_Text
=>
(
"/home/taste/tool-src/testSuites/Demo_Sockets/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
ASN1
;
...
...
@@ -473,7 +473,7 @@ END MyChoice_Buffer.impl;
DATA
MyOctStr
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/testSuites/
Regression_AADLv2/
Demo_Sockets/DataView.asn"
);