gui/it.unibo.tuprolog.ui.gui.model/TextStreamState

TextStreamState

data class TextStreamState(val text: String = "", val revision: Long = 0, val seenRevision: Long = 0)

An append-only text stream (stdout/stderr) with an unread-changes counter for a lower-tab badge.

Constructors

TextStreamState

constructor(text: String = "", revision: Long = 0, seenRevision: Long = 0)

Properties

hasUnreadChanges

val hasUnreadChanges: Boolean

val revision: Long

val seenRevision: Long

val text: String

Functions

fun append(value: String): TextStreamState

fun markRead(): TextStreamState