messaging API

Daniel Kroening · Daniel Kroening · commit 3b4b2f293f88 · 2017-05-30T10:34:21.000+01:00
diff --git a/src/verilog/verilog_language.cpp b/src/verilog/verilog_language.cpp
@@ -162,7 +162,7 @@ bool verilog_languaget::typecheck(
   if(verilog_typecheck(parse_tree, symbol_table, module, get_message_handler()))
     return true;
     
-  print(9, "Synthesis "+module);
+  debug() << "Synthesis " << module << eom;
 
   if(verilog_synthesis(symbol_table, module, get_message_handler(), options))
     return true;
diff --git a/src/vhdl/parser.y b/src/vhdl/parser.y
@@ -53,7 +53,8 @@ int yyvhdlerror(const char *error_str)
   source_location.set_line(yyvhdllval.line);
   source_location.set_file(yyvhdllval.file);
 
-  PARSER.print(1, tmp, -1, source_location);
+  PARSER.error().source_location=source_location;
+  PARSER.error() << tmp << messaget::eom;
                   
   return strlen(error_str)+1;
 }

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,8 @@ int yyvhdlerror(const char *error_str)`
`53`	`53`	`source_location.set_line(yyvhdllval.line);`
`54`	`54`	`source_location.set_file(yyvhdllval.file);`
`55`	`55`
`56`		`- PARSER.print(1, tmp, -1, source_location);`
	`56`	`+ PARSER.error().source_location=source_location;`
	`57`	`+ PARSER.error() << tmp << messaget::eom;`
`57`	`58`
`58`	`59`	`return strlen(error_str)+1;`
`59`	`60`	`}`