File

case File(path: String, line: Int, col: Int)

Read from a file.

Value members

Inherited methods

def pretty: String
Inherited from:
Position
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product