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

QueryHistoryState

data class QueryHistoryState(val entries: List<String> = emptyList(), val capacity: Int = 100)

A page's bounded, de-duplicated (consecutive-only) history of submitted queries - what its Up/Down query-history navigation steps through.

Constructors

QueryHistoryState

constructor(entries: List<String> = emptyList(), capacity: Int = 100)

Properties

val capacity: Int

val entries: List<String>

Functions

fun record(query: String): QueryHistoryState