Refactored and augmented source positions.

Also Implemented ConsoleReporter formatting.

1 files changed, 19 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/util/SourcePosition.scala b/src/dotty/tools/dotc/util/SourcePosition.scala
new file mode 100644
index 000000000..769aa87c4
--- /dev/null
+++ b/src/dotty/tools/dotc/util/SourcePosition.scala
@@ -0,0 +1,19 @@
+package dotty.tools.dotc.util
+
+import Positions.{Position, NoPosition}
+
+/** A source position is comprised of a position in a source file */
+case class SourcePosition(source: SourceFile, pos: Position) {
+  def point: Int = pos.point
+  def start: Int = pos.start
+  def end: Int = pos.end
+  def exists = pos.exists
+
+  def lineContents: String = source.lineContents(point)
+  def line: Int = source.offsetToLine(point)
+  def column: Int = source.column(point)
+}
+
+/** A sentinel for a non-existing source position */
+object NoSourcePosition extends SourcePosition(NoSource, NoPosition)
+