Move smartPos function to use it in Stainless

Author: jad-hamza

src/main/scala/inox/Reporter.scala

@@ -3,6 +3,7 @@
 package inox
 
 import utils._
+import Position.smartPos
 
 abstract class DebugSection(val name: String)
 
@@ -166,20 +167,6 @@ class DefaultReporter(debugSections: Set[DebugSection]) extends Reporter(debugSe
     case DEBUG(_) => "["+Console.MAGENTA          +" Debug  "+Console.RESET+"]"
   }
 
-  def smartPos(p: Position): String = {
-    if (p == NoPosition) {
-      ""
-    } else {
-      val target = p.file.getAbsolutePath()
-      val here   = new java.io.File(".").getAbsolutePath().stripSuffix(".")
-      val diff   = target.stripPrefix(here)
-
-      val filePos = diff+":"
-
-      filePos + p + ": "
-    }
-  }
-
   def emit(msg: Message) = synchronized {
     println(reline(severityToPrefix(msg.severity), smartPos(msg.position) + msg.msg.toString))
     printLineContent(msg.position, false)

src/main/scala/inox/utils/Positions.scala

@@ -35,6 +35,21 @@ abstract class Position extends Ordered[Position] {
 }
 
 object Position {
+
+  def smartPos(p: Position): String = {
+    if (p == NoPosition) {
+      ""
+    } else {
+      val target = p.file.getAbsolutePath()
+      val here   = new java.io.File(".").getAbsolutePath().stripSuffix(".")
+      val diff   = target.stripPrefix(here)
+
+      val filePos = diff+":"
+
+      filePos + p + ": "
+    }
+  }
+
   def between(a: Position, b: Position): Position = {
     if (a.file == b.file) {
       if (a.line == b.line && a.col == b.col) {