blob: be5c469952be78743bcf964df84ffe1a427be997 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
package dotty.tools
package dotc
package util
import Positions.{Position, NoPosition}
/** A source position is comprised of a position in a source file */
case class SourcePosition(source: SourceFile, pos: Position, outer: SourcePosition = NoSourcePosition)
extends interfaces.SourcePosition {
def exists = pos.exists
def lineContent: String = source.lineContent(point)
def point: Int = pos.point
/** The line of the position, starting at 0 */
def line: Int = source.offsetToLine(point)
/** Extracts the lines from the underlying source file as `Array[Char]`*/
def linesSlice: Array[Char] =
source.content.slice(source.startOfLine(start), source.nextLine(end))
/** The lines of the position */
def lines: List[Int] =
List.range(source.offsetToLine(start), source.offsetToLine(end + 1)) match {
case Nil => line :: Nil
case xs => xs
}
def lineOffsets: List[Int] =
lines.map(source.lineToOffset(_))
def beforeAndAfterPoint: (List[Int], List[Int]) =
lineOffsets.partition(_ <= point)
/** The column of the position, starting at 0 */
def column: Int = source.column(point)
def start: Int = pos.start
def startLine: Int = source.offsetToLine(start)
def startColumn: Int = source.column(start)
def end: Int = pos.end
def endLine: Int = source.offsetToLine(end)
def endColumn: Int = source.column(end)
def withOuter(outer: SourcePosition) = new SourcePosition(source, pos, outer)
override def toString =
if (source.exists) s"${source.file}:${line + 1}"
else s"(no source file, offset = ${pos.point})"
}
/** A sentinel for a non-existing source position */
@sharable object NoSourcePosition extends SourcePosition(NoSource, NoPosition) {
override def toString = "?"
override def withOuter(outer: SourcePosition) = outer
}
|
