@@ -8,11 +8,7 @@ import dotc._
88import reporting ._
99import core .Contexts ._
1010
11- import xsbti .Maybe
12-
13- object DelegatingReporter {
14- def apply (delegate : xsbti.Reporter ) = new DelegatingReporter (delegate)
15- }
11+ import xsbti .{Maybe , Position }
1612
1713final class DelegatingReporter (delegate : xsbti.Reporter ) extends Reporter
1814 with UniqueMessagePositions
@@ -27,28 +23,24 @@ final class DelegatingReporter(delegate: xsbti.Reporter) extends Reporter
2723 case _ : Reporter .Warning => xsbti.Severity .Warn
2824 case _ => xsbti.Severity .Info
2925 }
30- val pos =
31- if (d.pos.exists) Some (d.pos)
26+ val pos =
27+ if (d.pos.exists) Some (d.pos)
3228 else None
3329
3430 val file =
35- if (d.pos.source.file.exists) {
36- val r = d.pos.source.file.file
37- if (r == null ) None
38- else Some (r)
39- }
31+ if (d.pos.source.file.exists) Option (d.pos.source.file.file)
4032 else None
4133
4234 val offset0 = pos.map(_.point)
4335
44- val position = new xsbti. Position {
36+ val position = new Position {
4537 def line : Maybe [Integer ] = maybe(pos.map(_.line))
46- def lineContent () : String = pos.map(_.lineContent).getOrElse(" " )
47- def offset () : xsbti. Maybe [Integer ] = maybeInt(offset0)
48- def pointer () : xsbti. Maybe [Integer ] = offset()
49- def pointerSpace () : xsbti. Maybe [String ] = maybe(offset0.map(" " * _))
50- def sourceFile () : xsbti. Maybe [java.io.File ] = maybe(file)
51- def sourcePath () : xsbti. Maybe [String ] = maybe(file.map(_.getPath))
38+ def lineContent : String = pos.map(_.lineContent).getOrElse(" " )
39+ def offset : Maybe [Integer ] = maybeInt(offset0)
40+ def pointer : Maybe [Integer ] = offset
41+ def pointerSpace : Maybe [String ] = maybe(offset0.map(" " * _))
42+ def sourceFile : Maybe [java.io.File ] = maybe(file)
43+ def sourcePath : Maybe [String ] = maybe(file.map(_.getPath))
5244 }
5345
5446 delegate.log(position, d.message, severity)
0 commit comments