ExceptionKind
-
public enum
ExceptionKind
Enum Constants
ArithmeticOverflow
-
public static final ExceptionKind
ArithmeticOverflow
ArrayOutOfBounds
-
public static final ExceptionKind
ArrayOutOfBounds
BoundUncomputableAtCompileTime
-
public static final ExceptionKind
BoundUncomputableAtCompileTime
BoundedOutOfBounds
-
public static final ExceptionKind
BoundedOutOfBounds
CannotComputeValueAtCompileTime
-
public static final ExceptionKind
CannotComputeValueAtCompileTime
IllegalLegalOverlap
-
public static final ExceptionKind
IllegalLegalOverlap
IntractableParameterType
-
public static final ExceptionKind
IntractableParameterType
NoMatchingClause
-
public static final ExceptionKind
NoMatchingClause
NoMatchingNondetClause
-
public static final ExceptionKind
NoMatchingNondetClause
NonDeterministicDecl
-
public static final ExceptionKind
NonDeterministicDecl
SingleThreadedAwaitEmptyQueue
-
public static final ExceptionKind
SingleThreadedAwaitEmptyQueue
SingleThreadedMultiClient
-
public static final ExceptionKind
SingleThreadedMultiClient
SingleThreadedMultiProvidedPort
-
public static final ExceptionKind
SingleThreadedMultiProvidedPort
UnboundedDoubleFunctionCall
-
public static final ExceptionKind
UnboundedDoubleFunctionCall
UnknownDefaultValue
-
public static final ExceptionKind
UnknownDefaultValue
ValueTypeParameterNotLiteral
-
public static final ExceptionKind
ValueTypeParameterNotLiteral