Index of exceptions


C
Contradiction_found [Utils_unify]

E
Eof [Lexer]
Error [Semantic_check]
Error_parameters [Semantic_check]
Error_start [Semantic_check]

G
Gid_not_in_table [Types]

I
Invalid_Var_Identif [Types_unify]
Invalid_build [Semantic_check]
Invalid_transition [Semantic_check]

N
NeedXor [Unify]
NeedXorUnification [Unifystd]
No_Solution [Types_unify]
No_function [Semantic_check]

S
Substitution_found [Unifyxor]

U
Undefined_const [Semantic_check]
Undefined_role [Semantic_check]
Undefined_var [Semantic_check]
Unsupported [ErrorHandler_unify]

V
Variable_has_no_gid [Types]
Variable_has_no_mmap [Types]