added source_locationt::full_path()

Author: Daniel Kroening

src/util/source_location.cpp

@@ -71,6 +71,20 @@ void source_locationt::merge(const source_locationt &from)
   }
 }
 
+/// get a path to the file in given source location
+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,9 @@ class source_locationt:public irept
     return static_cast<const source_locationt &>(get_nil_irep());
   }
 
+  /// get a path to the file, including working directory
+  std::string full_path() const;
+
 protected:
   std::string as_string(bool print_cwd) const;
 };