Changes in src/Common/utility.h [f57668a:3ad7978]

File:

• src/Common/utility.h (modified) (2 diffs)

src/Common/utility.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Fri May 5 11:03:00 2017
-// Update Count     : 32
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Dec 14 21:25:25 2016
+// Update Count     : 31
 //
 
@@ -322 +322 @@
         std::string filename;
 
-    /// Create a new unset CodeLocation.
-        CodeLocation()
+        CodeLocation() 
                 : linenumber( -1 )
                 , filename("")
         {}
 
-    /// Create a new CodeLocation with the given values.
         CodeLocation( const char* filename, int lineno )
                 : linenumber( lineno )
                 , filename(filename ? filename : "")
         {}
-
-    bool isSet () const {
-        return -1 != linenumber;
-    }
-
-    bool isUnset () const {
-        return !isSet();
-    }
-
-        void unset () {
-                linenumber = -1;
-                filename = "";
-        }
-
-        // Use field access for set.
 };
 
 inline std::string to_string( const CodeLocation& location ) {
-        return location.isSet() ? location.filename + ":" + std::to_string(location.linenumber) + " " : "";
+        return location.linenumber >= 0 ? location.filename + ":" + std::to_string(location.linenumber) + " " : "";
 }
 #endif // _UTILITY_H