Commit d8cb6557 authored by yoogx's avatar yoogx

* Minor reformatting

parent c13793bb
-- This AADL model is derived from the AADL model published in the
-- IST-ASSERT d3.3.1-3 deliverable.
-- IST-ASSERT d3.3.1-3 deliverable.
-- $Id: toy_example.aadl 6979 2009-09-01 13:47:17Z hugues $
......@@ -180,7 +180,7 @@ subcomponents
P1 : processor the_processor
{Priority_Range => 0 .. 255;
Deployment::Execution_Platform => LEON_ORK;};
GNC_TMTC_POS : process Toy_Example_Proc.Impl
GNC_TMTC_POS : process Toy_Example_Proc.Impl
{Deployment::Channel_Address => 2;
Deployment::Process_Id => 1200;};
properties
......@@ -192,7 +192,7 @@ subcomponents
P1 : processor the_processor
{Priority_Range => 0 .. 255;
Deployment::Execution_Platform => LEON_GNAT;};
GNC_TMTC_POS : process Toy_Example_Proc.Impl
GNC_TMTC_POS : process Toy_Example_Proc.Impl
{Deployment::Channel_Address => 2;
Deployment::Process_Id => 1200;};
properties
......@@ -227,7 +227,7 @@ end POS;
data implementation POS.Impl
subcomponents
spgUpdate : subprogram Update.Impl;
spgRead : subprogram Read;
spgRead : subprogram Read;
Field : data POS_Internal_Type;
connections
......
......@@ -44,14 +44,14 @@ subcomponents
X : data Component_Type;
Y : data Component_Type;
Z : data Component_Type;
spgUpdate : subprogram Update;
spgRead : subprogram Read;
spgRead : subprogram Read;
connections
Cnx_Pos_1 : subprogram access SpgUpdate -> Update;
Cnx_Pos_2 : subprogram access SpgRead -> Read;
properties
Data_Model::Data_Representation => Struct;
Concurrency_Control_Protocol => Priority_Ceiling;
......@@ -128,7 +128,7 @@ features
end Receiver_Thread_Wrapper;
subprogram implementation Receiver_Thread_Wrapper.Impl
calls
calls
Mycall : {
Update : subprogram Protected_Type.Update;
};
......@@ -145,7 +145,7 @@ features
end Watcher_Thread_Wrapper;
subprogram implementation Watcher_Thread_Wrapper.Impl
calls
calls
Mycalls : {
Read : subprogram Protected_Type.Read;
Watch : subprogram Watch_Object_Value;
......@@ -170,7 +170,7 @@ properties
end Sender_Thread;
thread implementation Sender_Thread.Impl
calls
calls
Mycall : {
Wrapper : subprogram Sender_Thread_Wrapper.Impl;
};
......@@ -190,7 +190,7 @@ properties
end Receiver_Thread;
thread implementation Receiver_Thread.Impl
calls
calls
Mycall : {
Wrapper : subprogram Receiver_Thread_Wrapper.Impl;
};
......@@ -210,7 +210,7 @@ properties
end Watcher_Thread;
thread implementation Watcher_Thread.Impl
calls
calls
Mycall : {
Wrapper : subprogram Watcher_Thread_Wrapper.Impl;
};
......
Markdown is supported
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