Commit 7b96eb2b authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Nearly complete semantic checks

parent 2b20ede6
package TASTE.Parser_Version is
Parser_Release : constant String :=
"f404e4c ; Commit Date: Sun Mar 25 20:57:07 2018 ";
"2b20ede ; Commit Date: Sun Mar 25 21:45:19 2018 ";
Ocarina_Version : constant String :=
"Ocarina 2017.x (Working Copy from r2a52334)";
end TASTE.Parser_Version;
\ No newline at end of file
......@@ -10,6 +10,7 @@ use Ada.Strings.Unbounded,
Ocarina.Backends.Properties,
TASTE.Deployment_View,
TASTE.Interface_View,
TASTE.Interface_View.Interfaces_Maps,
TASTE.Parser_Utils;
package body TASTE.Semantic_Check is
......@@ -141,6 +142,19 @@ package body TASTE.Semantic_Check is
& To_String (Corresponding_Type.Name) & " which is NOT"
& " a type";
end if;
-- Much check that PIs and RIs of type and instance match
for PI of Each.Provided loop
null;
end loop;
for RI of Each.Required loop
null;
end loop;
-- raise Semantic_Error with "Interface mismatch between "
-- & "functions " & To_String (Corresponding_Type.Name) &
-- " (type) and " & To_String (Each.Name) & " (instance)";
end;
exception
when Constraint_Error =>
......
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