gui/it.unibo.tuprolog.ui.gui.presentation/TextPosition

TextPosition

data class TextPosition(val offset: Int, val line: Int, val column: Int)

One point in source text, given both as a flat offset and as zero-based line/column for editors that need one or the other.

Constructors

Link copied to clipboard
constructor(offset: Int, line: Int, column: Int)

Properties

Link copied to clipboard
val column: Int
Link copied to clipboard
val line: Int
Link copied to clipboard
val offset: Int
Generated by Dokka
© 2026 Copyright