Commit 18bc5833 authored by Maxime Perrotin's avatar Maxime Perrotin

Raise an error when wrong unit is used

parent 3c653d3f
Pipeline #2093 passed with stage
in 8 minutes and 14 seconds
......@@ -1134,11 +1134,12 @@ package body TASTE.AADL_Parser is
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 'kbyte' and Dispatch_Offset in 'ms'");
raise AADL_Parser_Error
with "Unsupported unit '"
& To_String (Unit_Str)
& "' used in ConcurrencyView_Properties.aadl. "
& " Stack_Size shall be in "
& "'bytes' or 'kbyte' and Dispatch_Offset in 'ms'";
return;
end if;
......
......@@ -9,7 +9,7 @@ skeletons: InterfaceView.aadl DataView.aadl
$(KAZOO) --gw -o work
$(MAKE) -C work dataview
work/glue_built: InterfaceView.aadl DeploymentView.aadl DataView.aadl
work/glue_built: InterfaceView.aadl DeploymentView.aadl DataView.aadl ConcurrencyView_Properties.aadl
$(KAZOO) --glue --gw -o work
touch work/glue_built
......
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