TermToObjectConversionException

class TermToObjectConversionException: OopException

Fields

Name Description
protected culprit: Term
val term: Term
val targetType: KClass<*>?

Constructors

<init>

constructor(term: Term)

Parameters

Name Description
term: Term

<init>

constructor(term: Term, targetType: KClass<*>?)

Parameters

Name Description
term: Term
targetType: KClass<*>?

Methods

toLogicError

fun toLogicError(context: ExecutionContext, signature: Signature): LogicError

Parameters

Name Description
context: ExecutionContext
signature: Signature

ReturnValue

Name Description
LogicError