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
Ocarina
Commits
fce7adb0
Commit
fce7adb0
authored
Oct 04, 2013
by
yoogx
Browse files
* Update exepected output from tests
parent
e86559a2
Changes
5
Hide whitespace changes
Inline
Side-by-side
tests/real-annexes-parsing/test_real_parse_01.aadl.out
View file @
fce7adb0
...
@@ -33,7 +33,7 @@ property set Deployment is
...
@@ -33,7 +33,7 @@ property set Deployment is
Protocol
:
Deployment
::
Protocol_Type
Protocol
:
Deployment
::
Protocol_Type
applies
to
(
system
);
applies
to
(
system
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
,
FREERTOS
);
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
applies
to
(
all
);
applies
to
(
all
);
...
...
tests/real-annexes-parsing/test_real_parse_02.aadl.out
View file @
fce7adb0
...
@@ -33,7 +33,7 @@ property set Deployment is
...
@@ -33,7 +33,7 @@ property set Deployment is
Protocol
:
Deployment
::
Protocol_Type
Protocol
:
Deployment
::
Protocol_Type
applies
to
(
system
);
applies
to
(
system
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
,
FREERTOS
);
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
applies
to
(
all
);
applies
to
(
all
);
...
...
tests/real-annexes-parsing/test_real_parse_03.aadl.out
View file @
fce7adb0
...
@@ -33,7 +33,7 @@ property set Deployment is
...
@@ -33,7 +33,7 @@ property set Deployment is
Protocol
:
Deployment
::
Protocol_Type
Protocol
:
Deployment
::
Protocol_Type
applies
to
(
system
);
applies
to
(
system
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
,
FREERTOS
);
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
applies
to
(
all
);
applies
to
(
all
);
...
...
tests/real-annexes-parsing/test_real_parse_04.aadl.out
View file @
fce7adb0
...
@@ -33,7 +33,7 @@ property set Deployment is
...
@@ -33,7 +33,7 @@ property set Deployment is
Protocol
:
Deployment
::
Protocol_Type
Protocol
:
Deployment
::
Protocol_Type
applies
to
(
system
);
applies
to
(
system
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
,
FREERTOS
);
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
applies
to
(
all
);
applies
to
(
all
);
...
...
tests/real-annexes-parsing/test_real_parse_05.aadl.out
View file @
fce7adb0
...
@@ -33,7 +33,7 @@ property set Deployment is
...
@@ -33,7 +33,7 @@ property set Deployment is
Protocol
:
Deployment
::
Protocol_Type
Protocol
:
Deployment
::
Protocol_Type
applies
to
(
system
);
applies
to
(
system
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
);
Allowed_Execution_Platform
:
type
enumeration
(
Native
,
Native_Compcert
,
bench
,
LEON_RTEMS
,
LEON_RTEMS_POSIX
,
LEON3_SCOC3
,
LEON3_XTRATUM
,
LEON3_XM3
,
LEON_ORK
,
LEON_GNAT
,
LINUX32
,
LINUX32_XENOMAI_NATIVE
,
LINUX32_XENOMAI_POSIX
,
LINUX64
,
ERC32_ORK
,
ARM_DSLINUX
,
ARM_N770
,
GUMSTIX_RTEMS
,
NDS_RTEMS
,
X86_RTEMS
,
X86_RTEMS_POSIX
,
X86_LINUXTASTE
,
MARTE_OS
,
WIN32
,
VXWORKS
,
FREERTOS
);
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
Execution_Platform
:
Deployment
::
Allowed_Execution_Platform
applies
to
(
all
);
applies
to
(
all
);
...
...
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