8 void error(String s); // errors
9 void error_t(String s, Real when);
12 void warning(String s);
13 #define WARN warnout << "warning: "<<__FUNCTION__ << "(): "
14 extern ostream &warnout ;
20 extern Dstream monitor; // monitor
23 #define mtor if (0) monitor // clever hack
25 #define mtor if (check_debug) monitor.identify_as(__PRETTY_FUNCTION__)
28 extern bool check_debug;