LineInFile
final case class LineInFile(lineNumber: Int, fileName: String, filePathname: Option[String]) extends Location
An arbitrary line number in a named source file.
- Value parameters:
- fileName
the source file's simple name
- filePathname
an optional fully qualified pathname of the source file
- lineNumber
the line number