ConstructorInvocationException

class ConstructorInvocationException: OopException

Fields

Name Description
protected culprit: Term
val type: KClass<*>
val admissibleTypes: List<Set<KClass<*>>>

Constructors

<init>

constructor(type: KClass<*>, admissibleTypes: List<Set<KClass<*>>>)

Parameters

Name Description
type: KClass<*>
admissibleTypes: List<Set<KClass<*>>>

Methods

toLogicError

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

Parameters

Name Description
context: ExecutionContext
signature: Signature

ReturnValue

Name Description
LogicError