engine/elide.runtime.diag/SourceLocation

SourceLocation

@Serializable
@JvmRecord
data class SourceLocation(val line: UInt, val column: UInt) : Record

Source Location

Data class representing a source location; a source location uses the combination of a line and column to identify where a Diagnostic was triggered in source code.

See also: a SourceSpan, which expresses this information as byte offsets.

Parameters

line

Line number in the source file where the diagnostic was triggered.

column

Column number in the source file where the diagnostic was triggered.

Constructors

Link copied to clipboard
constructor(line: UInt, column: UInt)

Properties

Link copied to clipboard
val column: UInt
Link copied to clipboard
val line: UInt