added source_locationt::full_path()

Author: Daniel Kroening

src/util/source_location.cpp

@@ -71,6 +71,19 @@ 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 {} is returned.
+optionalt<std::string> source_locationt::full_path() const
+{
+  const auto file = id2string(get_file());
+
+  if(file.empty() || is_built_in(file))
+    return {};
+
+  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

@@ -12,6 +12,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "invariant.h"
 #include "irep.h"
+#include "optional.h"
 #include "prefix.h"
 
 #include <string>
@@ -185,6 +186,8 @@ class source_locationt:public irept
     return static_cast<const source_locationt &>(get_nil_irep());
   }
 
+  optionalt<std::string> full_path() const;
+
 protected:
   std::string as_string(bool print_cwd) const;
 };