Halt

sealed interface Halt: Solution, Any

A type representing a failed (halted) solution because of an exception

Fields

Name Description
abstract exception: ResolutionException

Methods

replaceTags

abstract fun replaceTags(tags: Map<String, Any>): Halt

Parameters

Name Description
tags: Map<String, Any>

ReturnValue

Name Description
Halt

copy

abstract fun copy(query: Struct, exception: ResolutionException): Halt

Parameters

Name Description
query: Struct
exception: ResolutionException

ReturnValue

Name Description
Halt

cleanUp

abstract fun cleanUp(): Halt

ReturnValue

Name Description
Halt

asHalt

open fun asHalt(): Halt

Casts the current Solution to Halt, if possible, or returns null otherwise

ReturnValue

Name Description
Halt

the current Solution, casted to Halt, or null, if the current term is not an instance of Halt