Commit 48301605 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Improve semantic check for SDL

parent ae5d4b23
......@@ -37,10 +37,9 @@ package body TASTE.Semantic_Check is
& To_String (PI.Name);
end if;
end loop;
-- Check that sync PIs have one IN parameter at most
if (PI.RCM /= Sporadic_Operation and PI.RCM /= Cyclic_Operation)
and then (PI.Params.Length > 1 or (PI.Params.Length = 1 and
(for all Param of PI.Params => Param.Direction /= param_in)))
-- Check that PIs have one IN parameter at most
if PI.Params.Length > 1 or (PI.Params.Length = 1 and
(for all Param of PI.Params => Param.Direction /= param_in))
then
raise Semantic_Error with
"In SDL function " & To_String (Each.Name) & ": all PIs "
......
Supports Markdown
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