org.openquark.cal.runtime
Class CALExecutorException.Type

java.lang.Object
  org.openquark.cal.runtime.CALExecutorException.Type

Enclosing class:

CALExecutorException

public static final class CALExecutorException.Type
extends Object

Enum for the different types of exceptions.

Author:

Raymond Cypher

Field Summary

static CALExecutorException.Type	ERROR_FUNCTION_CALL There was a call to the CAL Prelude.error function.
static CALExecutorException.Type	FOREIGN_OR_PRIMITIVE_FUNCTION_EXCEPTION An error occurred during a foreign function call.
static CALExecutorException.Type	INTERNAL_RUNTIME_ERROR There was an internal runtime error.
static CALExecutorException.Type	PATTERN_MATCH_FAILURE There was a pattern matching failure (e.g. the evaluated data constructor did not match one of the supplied case patterns in a case expression).
static CALExecutorException.Type	PRIM_THROW_FUNCTION_CALLED An error occurred during the evaluation of the gem
static CALExecutorException.Type	USER_TERMINATED The user terminated.

Method Summary

String

toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

PRIM_THROW_FUNCTION_CALLED

public static final CALExecutorException.Type PRIM_THROW_FUNCTION_CALLED

An error occurred during the evaluation of the gem

FOREIGN_OR_PRIMITIVE_FUNCTION_EXCEPTION

public static final CALExecutorException.Type FOREIGN_OR_PRIMITIVE_FUNCTION_EXCEPTION

An error occurred during a foreign function call.

ERROR_FUNCTION_CALL

public static final CALExecutorException.Type ERROR_FUNCTION_CALL

There was a call to the CAL Prelude.error function.

PATTERN_MATCH_FAILURE

public static final CALExecutorException.Type PATTERN_MATCH_FAILURE

There was a pattern matching failure (e.g. the evaluated data constructor did not match one of the supplied case patterns in a case expression).

INTERNAL_RUNTIME_ERROR

public static final CALExecutorException.Type INTERNAL_RUNTIME_ERROR

There was an internal runtime error.

USER_TERMINATED

public static final CALExecutorException.Type USER_TERMINATED

The user terminated.

Method Detail

toString

public String toString()

Overrides:

toString in class Object