gui/it.unibo.tuprolog.ui.gui.presentation/SolutionPresentation/Halt

Halt

data class Halt(val query: String, val message: String, val logicStackTrace: List<String> = emptyList(), val isTimeout: Boolean = false) : SolutionPresentation

The resolution was aborted, e.g. by an exception or a timeout (isTimeout).

Constructors

constructor(query: String, message: String, logicStackTrace: List<String> = emptyList(), isTimeout: Boolean = false)

Properties

val isTimeout: Boolean

logicStackTrace

val logicStackTrace: List<String>

val message: String

open override val query: String

The query text this solution answers.