Commit 6d69a28d authored by Maxime Perrotin's avatar Maxime Perrotin

Merge branch 'feature_unit_raise' into 'master'

Feature unit raise

See merge request !48
parents 82088b97 18bc5833
Pipeline #2094 passed with stage
in 8 minutes and 13 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