Error handling for Asllib.
type error_desc = | ReservedIdentifier of string| BadField of string * AST.ty| MissingField of string list * AST.ty| BadSlices of error_handling_time * AST.slice list * int| BadSlice of AST.slice| EmptySlice| TypeInferenceNeeded| UndefinedIdentifier of AST.identifier| MismatchedReturnValue of string| BadArity of error_handling_time * AST.identifier * int * int| BadParameterArity of error_handling_time
* AST.version
* AST.identifier
* int
* int| UnsupportedBinop of error_handling_time * AST.binop * AST.literal * AST.literal| UnsupportedUnop of error_handling_time * AST.unop * AST.literal| UnsupportedExpr of error_handling_time * AST.expr| UnsupportedTy of error_handling_time * AST.ty| InvalidExpr of AST.expr| MismatchType of string * AST.type_desc list| NotYetImplemented of string| ObsoleteSyntax of string| ConflictingTypes of AST.type_desc list * AST.ty| AssertionFailed of AST.expr| CannotParse| UnknownSymbol| NoCallCandidate of string * AST.ty list| TooManyCallCandidates of string * AST.ty list| BadTypesForBinop of AST.binop * AST.ty * AST.ty| CircularDeclarations of string| ImpureExpression of AST.expr * SideEffect.SES.t| UnreconciliableTypes of AST.ty * AST.ty| AssignToImmutable of string| AlreadyDeclaredIdentifier of string| BadReturnStmt of AST.ty option| UnexpectedSideEffect of string| UncaughtException of string| OverlappingSlices of AST.slice list * error_handling_time| BadLDI of AST.local_decl_item| BadRecursiveDecls of AST.identifier list| UnrespectedParserInvariant| BadATC of AST.ty * AST.tyasserting, asserted
*)| BadPattern of AST.pattern * AST.ty| ConstrainedIntegerExpected of AST.ty| ParameterWithoutDecl of AST.identifier| BadParameterDecl of AST.identifier * AST.identifier list * AST.identifier listname, expected, actual
*)| BaseValueEmptyType of AST.ty| ArbitraryEmptyType of AST.ty| BaseValueNonStatic of AST.ty * AST.expr| SettingIntersectingSlices of AST.bitfield list| SetterWithoutCorrespondingGetter of AST.func| NonReturningFunction of AST.identifier| ConflictingSideEffects of SideEffect.t * SideEffect.t| UnexpectedATC| UnreachableReached| LoopLimitReached| RecursionLimitReached| EmptyConstraints| UnexpectedPendingConstrained| BitfieldsDontAlign of {field1_absname : string;field2_absname : string;field1_absslices : string;field2_absslices : string;}| BadPrintType of AST.ty| ConfigTimeBroken of AST.expr * SideEffect.SES.t| ConstantTimeBroken of AST.expr * SideEffect.SES.t| MultipleWrites of AST.identifier| UnexpectedInitialisationThrow of AST.ty * AST.identifiertype error = error_desc AST.annotatedexception ASLException of errorval fatal : error -> 'aval fatal_from : 'a AST.annotated -> error_desc -> 'bval fatal_here : AST.position -> AST.position -> error_desc -> 'aval fatal_unknown_pos : error_desc -> 'aval error_handling_time_to_string : error_handling_time -> stringtype warning_desc = | NoRecursionLimit of AST.identifier list| NoLoopLimit| IntervalTooBigToBeExploded of Z.t * Z.t| ConstraintSetPairToBigToBeExploded of {op : AST.binop;left : AST.int_constraint list;right : AST.int_constraint list;log_max : int;Maximum size breached by this constraint set pair.
*)}| RemovingValuesFromConstraints of {op : AST.binop;prev : AST.int_constraint list;after : AST.int_constraint list;}| PragmaUse of AST.identifiertype warning = warning_desc AST.annotatedval error_label : error_desc -> stringval warning_label : warning_desc -> stringmodule PPrint : sig ... endinclude module type of struct include PPrint endval pp_comma_list :
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a list ->
unitval pp_type_desc : Format.formatter -> AST.type_desc -> unitval pp_error_desc : Format.formatter -> error_desc AST.annotated -> unitval pp_warning_desc : Format.formatter -> warning_desc AST.annotated -> unitval pp_pos_begin : Format.formatter -> 'a AST.annotated -> unitval pp_error : Format.formatter -> error_desc AST.annotated -> unitval pp_warning : Format.formatter -> warning_desc AST.annotated -> unitval error_desc_to_string : error_desc AST.annotated -> stringval desc_to_string_inf : (Format.formatter -> 'a -> unit) -> 'a -> stringval error_to_string : error_desc AST.annotated -> stringval pp_csv :
(Format.formatter -> 'a AST.annotated -> unit) ->
('a -> string) ->
out_channel ->
'a AST.annotated ->
unitval pp_error_csv : out_channel -> error_desc AST.annotated -> unitval pp_warning_csv : out_channel -> warning_desc AST.annotated -> unitmodule type ERROR_PRINTER_CONFIG = sig ... endmodule ErrorPrinter (C : ERROR_PRINTER_CONFIG) : sig ... end