sealed interface Halt: Solution, Any
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
|
A type representing a failed (halted) solution because of an exception