added source_locationt::full_path()

Author: Daniel Kroening

src/util/source_location.cpp

@@ -71,6 +71,22 @@ void source_locationt::merge(const source_locationt &from)
   }
 }
 
+/// Get a path to the file, including working directory.
+/// \return Full path unless the file name is empty or refers
+/// to a built-in, in which case the empty string is returned.
+std::string source_locationt::full_path() const
+{
+  if(get_file().empty())
+    return std::string();
+
+  const auto file = id2string(get_file());
+
+  if(is_built_in(file))
+    return std::string();
+
+  return concat_dir_file(id2string(get_working_directory()), file);
+}
+
 std::ostream &operator << (
   std::ostream &out,
   const source_locationt &source_location)

src/util/source_location.h

@@ -185,6 +185,8 @@ class source_locationt:public irept
     return static_cast<const source_locationt &>(get_nil_irep());
   }
 
+  std::string full_path() const;
+
 protected:
   std::string as_string(bool print_cwd) const;
 };