Changes in src/CodeTools/TrackLoc.cc [08fc48f:4e8949f]

File:

• src/CodeTools/TrackLoc.cc (modified) (3 diffs)

src/CodeTools/TrackLoc.cc

@@ -33 +33 @@
 
 namespace CodeTools {
-
-        std::ostream & operator<<(std::ostream & out, CodeLocation const & loc) {
-                return out << loc.filename << '[' << loc.linenumber << ']';
-        }
-
         class LocationPrinter {
                 size_t printLevel;
@@ -69 +64 @@
                                 }
                                 else {
-                                        std::cerr << "Top level node has no CodeLocation " << name << std::endl;
-                                        exit(EXIT_FAILURE);
+                                        assertf( false, "Top level node has no CodeLocation %s", name.c_str() );
                                 }
                         }
@@ -95 +89 @@
                 acceptAll( translationUnit, printer );
         }
-
 } // namespace CodeTools