core/it.unibo.tuprolog.argumentation/Arg2pException

Arg2pException

class Arg2pException @JvmOverloads constructor(message: String, val syntax: SyntaxProblem? = null) : Exception

An evaluation halted by an error: a theory its profile refuses, a goal that cannot be parsed, ... When a text does not parse (a theory, a query, flags), syntax tells where.

Constructors

Arg2pException

@JvmOverloads

constructor(message: String, syntax: SyntaxProblem? = null)

Properties

cause

expect open val cause: Throwable?

message

expect open val message: String?

syntax

val syntax: SyntaxProblem?

Functions

asResolutionException

fun Exception.asResolutionException(context: ExecutionContext): ResolutionException

This exception, raised by the code of a primitive, as a resolution exception (arg2p): a Kotlin exception becomes a system_error, which catch/3 can handle, rather than crashing the resolution