of

fun of(message: String? = null, cause: Throwable? = null, context: ExecutionContext, type: Struct, extraData: Term? = null): LogicError

Factory method for LogicErrors

It creates correct subclass instance if type detected, otherwise defaulting to a LogicError instance


fun of(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, type: Struct, extraData: Term? = null): LogicError