TimeOutException

class TimeOutException: TuPrologRuntimeException

Exception thrown if time for execution finished, before completion of solution process

Fields

Name Description
val exceededDuration: TimeDuration

The time duration exceeded

Constructors

<init>

constructor(cause: Throwable?, context: ExecutionContext, exceededDuration: TimeDuration)

Parameters

Name Description
cause: Throwable?
context: ExecutionContext
exceededDuration: TimeDuration

<init>

constructor(message: String?, cause: Throwable?, context: ExecutionContext, exceededDuration: TimeDuration)

Exception thrown if time for execution finished, before completion of solution process

Parameters

Name Description
message: String?

the detail message string.

cause: Throwable?

the cause of this exception.

context: ExecutionContext

The current context at exception creation

exceededDuration: TimeDuration

The time duration exceeded

Methods

updateContext

fun updateContext(newContext: ExecutionContext): TimeOutException

Creates a new exception instance with context field updated to newContext.

Subclasses should override this method and return the correct instance.

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
TimeOutException