Skip to content

GitLab

O
Ocarina
Commit 1ed38fe1 authored by jhugues's avatar jhugues
Browse files
Options

* sin, cos and similar functions take real as parameters, not 

          integer ..



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4836 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 5994281b
Hide whitespace changes
Inline Side-by-side
Showing with 6 additions and 5 deletions
src/core/model/ocarina-analyzer-real.adb
View file @ 1ed38fe1
......@@ -2516,9 +2516,9 @@ package body Ocarina.Analyzer.REAL is
if not Success then
return;
end if;
if Returned_Type (N) = RT_Integer then
if Returned_Type (N) = Rt_Float then
null;
elsif Returned_Type (N) = RT_Int_List then
elsif Returned_Type (N) = Rt_Float_List then
if Iter = 0 then
Is_List := True;
else
......@@ -2555,9 +2555,9 @@ package body Ocarina.Analyzer.REAL is
Replace_Node_To_List (Parameters (S), N, P);
Analyze_Verification_Expression (P, Success);
if Success then
if Returned_Type (P) = RT_Integer then
if Returned_Type (P) = RT_Float then
Success := not Is_List;
elsif Returned_Type (P) = RT_Int_List then
elsif Returned_Type (P) = RT_Float_List then
Is_List := True;
else
Success := False;
......@@ -2575,7 +2575,8 @@ package body Ocarina.Analyzer.REAL is
end loop;
if not Success
or else (Iter >= 1 and then Is_List) then
or else (Iter >= 1 and then Is_List)
then
Display_Analyzer_Error
(No_Node,
"expected a float as parameter",
......
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