* Update testsuite after previous commit

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4586 129961e7-ef38-4bb5-a8f7-c9a525a55882

tests/MANIFEST

@@ -270,6 +270,8 @@ examples/petri_net/robot/robot.aadl
 examples/real/security/all.aadl
 examples/real/resources/all.aadl
 examples/real/safety/model.aadl
+
 tests/test_identifier/t.aadl
+tests/example_04_03/t.aadl
 
 

tests/example_04_03/MANIFEST

+AADL_VERSION=-aadlv2

tests/example_04_03/t.aadl

+
+package FileSystem
+public
+  data Directory
+  end Directory;
+  data implementation Directory.hashed
+  end Directory.hashed;
+end FileSystem;
+
+package App
+public
+  data result_type
+  end  result_type;
+  data Distance
+  end  Distance;
+end App;
+
+package TypeExample
+public
+  with FileSystem;
+  with App;
+  system File_System
+  features
+    -- access to a data component
+    root: requires data access FileSystem::Directory.hashed;
+  end File_System;
+  
+  process Application
+  features
+    -- a data out port
+    result: out data port App::result_type;
+    home: requires data access FileSystem::Directory.hashed;
+  end Application;
+  
+  thread Calculate
+    prototypes
+    -- A data type to be used as type for the input and result port
+    data_type: data;
+  features
+    input: in data port data_type;
+    result: out data port data_type;
+  end Calculate;
+  
+  thread Compute_Distance extends Calculate (data_type => data App::Distance)
+  end Compute_Distance;
+end TypeExample;
+
+

tests/example_04_03/t.aadl.out

+
+
+
+
+
+
+
+package FileSystem
+public
+  data Directory
+  end Directory;
+
+  data implementation Directory.hashed
+  end Directory.hashed;
+
+end FileSystem;
+
+package App
+public
+  data result_type
+  end result_type;
+
+  data Distance
+  end Distance;
+
+end App;
+
+package TypeExample
+public
+  with FileSystem;
+  with App;
+
+  system File_System
+  features
+    root : requires data access FileSystem::Directory.hashed;
+
+  end File_System;
+
+  process Application
+  features
+    result : out data port App::result_type;
+    home : requires data access FileSystem::Directory.hashed;
+
+  end Application;
+
+  thread Calculate
+  prototypes
+    data_type : data;
+
+  features
+    input : in data port data_type;
+    result : out data port data_type;
+
+  end Calculate;
+
+  thread Compute_Distance extends Calculate
+  ( data_type => data App::Distance )
+
+  end Compute_Distance;
+
+end TypeExample;
+