Commit bd56a3d6 authored by yoogx's avatar yoogx

* Add some information in verbose mode

parent b50be7eb
......@@ -1330,6 +1330,11 @@ begin
Ocarina.Configuration.Init_Modules;
if Verbose_Mode then
Set_Standard_Error;
Version;
end if;
case Get_Current_Action is
when Show_Version =>
Version;
......@@ -1386,6 +1391,12 @@ begin
Success := Analyze (Language, AADL_Root);
Exit_On_Error (not Success, "Cannot analyze AADL specifications");
if Verbose_Mode then
Write_Line ("Model parsing: completed");
Write_Eol;
end if;
end if;
case Get_Current_Action is
......@@ -1395,6 +1406,10 @@ begin
when Instantiate_Model =>
AADL_Root := Instantiate_Model (AADL_Root);
Exit_On_Error (No (AADL_Root), "Cannot instantiate AADL models");
if Verbose_Mode then
Write_Line ("Model instantiation: completed");
Write_Eol;
end if;
when Generate_Code =>
if Get_Current_Backend_Name = Get_String_Name ("real_theorem")
......@@ -1407,6 +1422,10 @@ begin
Exit_On_Error (not Success, "Cannot analyze REAL specifications");
end if;
Generate_Code (AADL_Root);
if Verbose_Mode then
Write_Line ("Code generation: completed");
Write_Eol;
end if;
when Analyze_With_Cheddar =>
declare
......
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