ExceptionKind¶

enum Cocotec.CocoPlatform.Coco.ExceptionKind¶

Values:

Abort¶

ArithmeticOverflow¶

ArrayOutOfBounds¶

Assert¶

BoundedOutOfBounds¶

BoundUncomputableAtCompileTime¶

DivideByZero¶

IntractableParameterType¶

IllegalEvent¶

IllegalLegalOverlap¶

Invariant¶

NoReturn¶

NoMatchingClause¶

NoMatchingNondetClause¶

NonDeterministicComponent¶

QueueFull¶

SingleThreadedMultiClient¶

SingleThreadedMultiProvidedPort¶

UnboundedDoubleFunctionCall¶

UnknownDefaultValue¶

ValueTypeParameterNotLiteral¶