ExceptionKind¶

public enum ExceptionKind¶

Enum Constants¶

Abort¶

public static final ExceptionKind Abort¶

ArithmeticOverflow¶

public static final ExceptionKind ArithmeticOverflow¶

ArrayOutOfBounds¶

public static final ExceptionKind ArrayOutOfBounds¶

Assert¶

public static final ExceptionKind Assert¶

BoundUncomputableAtCompileTime¶

public static final ExceptionKind BoundUncomputableAtCompileTime¶

BoundedOutOfBounds¶

public static final ExceptionKind BoundedOutOfBounds¶

CannotComputeValueAtCompileTime¶

public static final ExceptionKind CannotComputeValueAtCompileTime¶

DivideByZero¶

public static final ExceptionKind DivideByZero¶

IllegalEvent¶

public static final ExceptionKind IllegalEvent¶

IllegalLegalOverlap¶

public static final ExceptionKind IllegalLegalOverlap¶

IntractableParameterType¶

public static final ExceptionKind IntractableParameterType¶

Invariant¶

public static final ExceptionKind Invariant¶

NoMatchingClause¶

public static final ExceptionKind NoMatchingClause¶

NoMatchingNondetClause¶

public static final ExceptionKind NoMatchingNondetClause¶

NoReturn¶

public static final ExceptionKind NoReturn¶

NonDeterministicDecl¶

public static final ExceptionKind NonDeterministicDecl¶

QueueFull¶

public static final ExceptionKind QueueFull¶

SingleThreadedAwaitEmptyQueue¶

public static final ExceptionKind SingleThreadedAwaitEmptyQueue¶

SingleThreadedMultiClient¶

public static final ExceptionKind SingleThreadedMultiClient¶

SingleThreadedMultiProvidedPort¶

public static final ExceptionKind SingleThreadedMultiProvidedPort¶

TraceComplete¶

public static final ExceptionKind TraceComplete¶

UnboundedDoubleFunctionCall¶

public static final ExceptionKind UnboundedDoubleFunctionCall¶

UnknownDefaultValue¶

public static final ExceptionKind UnknownDefaultValue¶

ValueTypeParameterNotLiteral¶

public static final ExceptionKind ValueTypeParameterNotLiteral¶

Methods¶

fromInteger¶

public static ExceptionKind fromInteger(int value)¶

toInteger¶

public static int toInteger(ExceptionKind value)¶