use .log member of parsert

Author: kroening

src/smvlang/smv_language.cpp

@@ -38,7 +38,7 @@ bool smv_languaget::parse(
 
   smv_parser.set_file(path);
   smv_parser.in=&instream;
-  smv_parser.set_message_handler(get_message_handler());
+  smv_parser.log.set_message_handler(get_message_handler());
 
   bool result=smv_parser.parse();
 

src/verilog/verilog_language.cpp

@@ -43,7 +43,7 @@ bool verilog_languaget::parse(
 
   verilog_parser.set_file(path);
   verilog_parser.in=&str;
-  verilog_parser.set_message_handler(get_message_handler());
+  verilog_parser.log.set_message_handler(get_message_handler());
   verilog_parser.grammar=verilog_parsert::LANGUAGE;
 
   if(has_suffix(path, ".sv"))
@@ -276,7 +276,7 @@ bool verilog_languaget::to_expr(
   verilog_parser.clear();
   verilog_parser.set_file("");
   verilog_parser.in=&i_preprocessed;
-  verilog_parser.set_message_handler(get_message_handler());
+  verilog_parser.log.set_message_handler(get_message_handler());
   verilog_parser.grammar=verilog_parsert::EXPRESSION;
   verilog_scanner_init();
 

src/verilog/verilog_parser.cpp

@@ -34,7 +34,7 @@ bool parse_verilog_file(const std::string &filename)
   console_message_handlert console_message_handler;
 
   verilog_parser.set_file(filename);
-  verilog_parser.set_message_handler(console_message_handler);
+  verilog_parser.log.set_message_handler(console_message_handler);
 
   if(filename=="")
     verilog_parser.in=&std::cin;

src/vhdl/parser.y

@@ -55,8 +55,8 @@ int yyvhdlerror(const char *error_str)
   source_location.set_line(yyvhdllval.line);
   source_location.set_file(yyvhdllval.file);
 
-  PARSER.error().source_location=source_location;
-  PARSER.error() << tmp << messaget::eom;
+  PARSER.log.error().source_location=source_location;
+  PARSER.log.error() << tmp << messaget::eom;
 
   return strlen(error_str)+1;
 }

src/vhdl/vhdl_language.cpp

@@ -36,7 +36,7 @@ bool vhdl_languaget::parse(
 
   vhdl_parser.set_file(path);
   vhdl_parser.in=&instream;
-  vhdl_parser.set_message_handler(get_message_handler());
+  vhdl_parser.log.set_message_handler(get_message_handler());
   //vhdl_parser.grammar=vhdl_parsert::LANGUAGE;
 
   vhdl_scanner_init();
@@ -272,7 +272,7 @@ bool vhdl_languaget::to_expr(
   vhdl_parser.clear();
   vhdl_parser.set_file("");
   vhdl_parser.in=&i_preprocessed;
-  vhdl_parser.set_message_handler(get_message_handler());
+  vhdl_parser.log.set_message_handler(get_message_handler());
   vhdl_parser.grammar=vhdl_parsert::EXPRESSION;
   vhdl_scanner_init();
 

src/vhdl/vhdl_parser.cpp

@@ -35,7 +35,7 @@ bool parse_vhdl_file(const std::string &filename)
   console_message_handlert console_message_handler;
 
   vhdl_parser.set_file(filename);
-  vhdl_parser.set_message_handler(console_message_handler);
+  vhdl_parser.log.set_message_handler(console_message_handler);
 
   if(filename=="")
     vhdl_parser.in=&std::cin;