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

QueryState

data class QueryState(val text: String = "", val history: QueryHistoryState = QueryHistoryState())

A page's current query text plus its submission history.

Constructors

Link copied to clipboard
constructor(text: String = "", history: QueryHistoryState = QueryHistoryState())

Properties

Link copied to clipboard
Link copied to clipboard
val text: String
Generated by Dokka
© 2026 Copyright