Commit 59d89455 authored by hugues.jerome's avatar hugues.jerome
Browse files

* Update output to match lastest modifications to Ocarina


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1033 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 4f9edbdc
...@@ -28,7 +28,7 @@ property set Deployment is ...@@ -28,7 +28,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, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, MARTE_OS); Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS);
Execution_Platform : Deployment::Allowed_Execution_Platform Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor); applies to (processor);
......
...@@ -28,7 +28,7 @@ property set Deployment is ...@@ -28,7 +28,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, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, MARTE_OS); Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS);
Execution_Platform : Deployment::Allowed_Execution_Platform Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor); applies to (processor);
......
...@@ -28,7 +28,7 @@ property set Deployment is ...@@ -28,7 +28,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, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, MARTE_OS); Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS);
Execution_Platform : Deployment::Allowed_Execution_Platform Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor); applies to (processor);
......
...@@ -28,7 +28,7 @@ property set Deployment is ...@@ -28,7 +28,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, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, MARTE_OS); Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS);
Execution_Platform : Deployment::Allowed_Execution_Platform Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor); applies to (processor);
......
...@@ -28,7 +28,7 @@ property set Deployment is ...@@ -28,7 +28,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, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, MARTE_OS); Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS);
Execution_Platform : Deployment::Allowed_Execution_Platform Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor); applies to (processor);
......
...@@ -47,6 +47,7 @@ Usage: ...@@ -47,6 +47,7 @@ Usage:
real_theorem real_theorem
carts carts
asn1_deployment asn1_deployment
cheddar
aadl aadl
aadl_min aadl_min
aadl_annex aadl_annex
......
...@@ -7,7 +7,7 @@ Root_System Node_Id 6 ...@@ -7,7 +7,7 @@ Root_System Node_Id 6
Corresponding_Entity Node_Id 6 Corresponding_Entity Node_Id 6
Scope_Entity Node_Id 0 Scope_Entity Node_Id 0
Backend_Node Node_Id 0 Backend_Node Node_Id 0
Corresponding_Declaration Node_Id 1477 Corresponding_Declaration Node_Id 1487
Properties List_Id 0 Properties List_Id 0
Is_Private Boolean FALSE Is_Private Boolean FALSE
Features List_Id 0 Features List_Id 0
......
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment