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

Add flag check

parent 4f0d719c
......@@ -39,7 +39,7 @@ package body TASTE.AADL_Parser is
AADL_Language := Get_String_Name ("aadl");
if Cfg.Interface_View.all'Length = 0 then
if Cfg.Interface_View.all'Length = 0 and not Cfg.Check_Data_View then
-- Use "InterfaceView.aadl" by default, if nothing else is specified
-- and if the tool is not only called to check the data view
Cfg.Interface_View := Default_Interface_View'Access;
......
......@@ -45,7 +45,7 @@ package body TASTE.Data_View is
F : Name_Id;
Loc : Location;
begin
Ocarina.FE_AADL.Parser.Add_Pre_Prop_Sets := True;
Ocarina.FE_AADL.Parser.Add_Pre_Prop_Sets := False;
-- Parse all AADL files possibly needed to instantiate the model
for Each of Data_View_AADL_Lib loop
......
package TASTE.Parser_Version is
Parser_Release : constant String :=
"bb92976 ; Commit Date: Wed Mar 14 16:09:08 2018 ";
"4f0d719 ; Commit Date: Wed Mar 14 16:20:56 2018 ";
Ocarina_Version : constant String :=
"Ocarina 2017.x (Working Copy from r2a52334)";
end TASTE.Parser_Version;
\ No newline at end of file
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