Index of exceptions

B
Binding_mismatch [Fsm]

FSM, kind, id

E
Error [Simul]
I
IllegalAction [Fsm_dyn]
IllegalTrans [Fsm_dyn]
Illegal_application [Eval]
Illegal_array_access [Eval]
Illegal_bit_range_access [Eval]
Illegal_cast [Typing]
Illegal_const_expr [Sysm]
Illegal_expr [Eval]
Illegal_guard_expr [Condition]
Illegal_op [Types.Index]
Illegal_record_access [Eval]
Illegal_type_index [Types.Index]
Internal_error [Misc]
Invalid_array_access [Eval]
Invalid_parameter [Fsm]

FSM, name

Invalid_range [Intbits]
Invalid_record_access [Typing]
Invalid_state [Fsm]

FSM, id

N
NonAtomicIoWrite [Fsm_dyn]
NonDetTrans [Fsm_dyn]
Non_static_expr [Eval]
Not_implemented [Misc]
O
Out_of_bound [Expr]

array name, index value

OverReaction [Simul]
T
TypeCircularity [Types]
TypeConflict [Types]
Type_error [Typing]
Typing_error [Fsm]

what, where, type, type

Typing_error [Typing]

what, where, type, type

U
Unbound_id [Builtins]
Unbound_type_ctor [Typing]
Unbound_type_index [Types.Index]
Undef_symbol [Fsm]

FSM, kind, name

Undef_symbol [Typing]

where, what, name

Undeterminate [Fsm_dyn]
Uninstanciated_type_vars [Fsm]
Unknown_id [Eval]