Commit 35c5b6ee authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Stop forbidding sync PI in SDL

parent fabeccc6
......@@ -38,14 +38,16 @@ package body TASTE.Semantic_Check is
end if;
end loop;
-- 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 "
& "shall be sporadic and/or have a single IN parameter "
& "(fix " & To_String (PI.Name) & ")";
end if;
-- Removed that check: sync interfaces with multiple params
-- are now supported
-- 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 "
-- & "shall be sporadic and/or have a single IN parameter "
-- & "(fix " & To_String (PI.Name) & ")";
-- end if;
end loop;
end if;
end loop;
......
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