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

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;
@@ -64 +69 @@
                                 }
                                 else {
-                                        assertf( false, "Top level node has no CodeLocation %s", name.c_str() );
+                                        std::cerr << "Top level node has no CodeLocation " << name << std::endl;
+                                        exit(EXIT_FAILURE);
                                 }
                         }
@@ -89 +95 @@
                 acceptAll( translationUnit, printer );
         }
+
 } // namespace CodeTools