Commit 75590c47 authored by Maxime Perrotin's avatar Maxime Perrotin

Merge branch 'feature_xml' into 'master'

Feature xml

See merge request !41
parents fdf4a6cd 26e9ecb3
Pipeline #1993 passed with stage
in 9 minutes and 2 seconds
......@@ -1129,21 +1129,21 @@ package body TASTE.AADL_Parser is
Unit_Str := US (Get_Name_String (Display_Name (Unit)));
end if;
-- Check that the units are the expected ones (kbytes/bytes/ms)
-- Check that the units are the expected ones (kbyte/bytes/ms)
if (Prop_Name = "Stack_Size"
and then (Unit_Str /= "kbytes" and Unit_Str /= "bytes"))
and then (Unit_Str /= "kbyte" and Unit_Str /= "bytes"))
or else (Prop_Name = "Dispatch_Offset" and then Unit_Str /= "ms")
then
Put_Error ("Unsupported unit '"
& To_String (Unit_Str)
& "' used in ConcurrencyView_Properties.aadl. "
& " Stack_Size shall be in "
& "'bytes' or 'kbytes' and Dispatch_Offset in 'ms'");
& "'bytes' or 'kbyte' and Dispatch_Offset in 'ms'");
return;
end if;
if Prop_Name = "Stack_Size" and Unit_Str = "kbytes" then
-- Convert from kbytes to bytes
if Prop_Name = "Stack_Size" and Unit_Str = "kbyte" then
-- Convert from kbyte to bytes
declare
Value_In_Bytes : constant Integer :=
Integer'Value (To_String (Number_Str)) * 1000;
......
......@@ -6,6 +6,9 @@
<InterfaceView>
@_Functions'Indent_@
@@TABLE@@
<Connection from="@_Callers_@" ri_name="@_Caller_RIs_@" to="@_Callees_@" pi_name="@_Callee_PIs_@"/>
<Connection>
<Source func_name="@_Callers_@" ri_name="@_Caller_RIs_@"/>
<Target func_name="@_Callees_@" pi_name="@_Callee_PIs_@"/>
</Connection>
@@END_TABLE@@
</InterfaceView>
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