Commit 8435bc1f authored by yoogx's avatar yoogx
Browse files

* Use Verbose instead of Verbose_Mode

parent 9a94b36b
...@@ -613,17 +613,25 @@ begin ...@@ -613,17 +613,25 @@ begin
Exit_On_Error Exit_On_Error
((File_Name = No_Name), ((File_Name = No_Name),
"Cannot read file " & Get_Name_String (Sources.Table (F))); "Cannot read file " & Get_Name_String (Sources.Table (F)));
if Verbose then
Write_Line ("Loading file " & Get_Name_String (Sources.Table (F)));
end if;
AADL_Root := Parse (Language, AADL_Root, Buffer); AADL_Root := Parse (Language, AADL_Root, Buffer);
Exit_On_Error (No (AADL_Root), "Cannot parse AADL specifications"); Exit_On_Error (No (AADL_Root), "Cannot parse AADL specifications");
exit when F = Sources.Last; exit when F = Sources.Last;
F := F + 1; F := F + 1;
end loop; end loop;
end; end;
if Verbose then
Write_Line ("Loading of all files done");
end if;
Success := Analyze (Language, AADL_Root); Success := Analyze (Language, AADL_Root);
Exit_On_Error (not Success, "Cannot analyze AADL specifications"); Exit_On_Error (not Success, "Cannot analyze AADL specifications");
if Verbose_Mode then if Verbose then
Write_Line ("Model parsing: completed"); Write_Line ("Model parsing: completed");
Write_Eol; Write_Eol;
end if; end if;
...@@ -635,7 +643,7 @@ begin ...@@ -635,7 +643,7 @@ begin
when Instantiate_Model => when Instantiate_Model =>
AADL_Root := Instantiate_Model (AADL_Root); AADL_Root := Instantiate_Model (AADL_Root);
Exit_On_Error (No (AADL_Root), "Cannot instantiate AADL models"); Exit_On_Error (No (AADL_Root), "Cannot instantiate AADL models");
if Verbose_Mode then if Verbose then
Set_Standard_Error; Set_Standard_Error;
Write_Line ("Model instantiation: completed"); Write_Line ("Model instantiation: completed");
Write_Eol; Write_Eol;
...@@ -654,7 +662,7 @@ begin ...@@ -654,7 +662,7 @@ begin
Exit_On_Error (not Success, "Cannot analyze REAL specifications"); Exit_On_Error (not Success, "Cannot analyze REAL specifications");
end if; end if;
Generate_Code (AADL_Root); Generate_Code (AADL_Root);
if Verbose_Mode then if Verbose then
Set_Standard_Error; Set_Standard_Error;
Write_Line ("Code generation: completed"); Write_Line ("Code generation: completed");
Write_Eol; Write_Eol;
......
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