Module Error_code

type error = {
  1. typ : error_kind;
  2. loc : Parse_info.token_location;
  3. sev : severity;
}
and severity =
  1. | Error
  2. | Warning
and error_kind =
  1. | LexicalError of string
  2. | ParseError
  3. | AstbuilderError of string
  4. | OtherParsingError of string
  5. | Deadcode of entity
  6. | UndefinedDefOfDecl of entity
  7. | UnusedExport of entity * Common.filename
  8. | UnusedVariable of string * Scope_code.t
  9. | UnusedStatement
  10. | UnusedAssign of string
  11. | UseOfUninitialized of string
  12. | CFGError of string
  13. | SgrepLint of string * string
  14. | FatalError of string
and entity = string * Entity_code.entity_kind
type annotation =
  1. | AtScheck of string
val g_errors : error list ref
val error : Parse_info.t -> error_kind -> unit
val warning : Parse_info.t -> error_kind -> unit
val error_loc : Parse_info.token_location -> error_kind -> unit
val warning_loc : Parse_info.token_location -> error_kind -> unit
val string_of_error : error -> string
val string_of_error_kind : error_kind -> string
type rank =
  1. | Never
  2. | OnlyStrict
  3. | Less
  4. | Ok
  5. | Important
  6. | ReallyImportant
val score_of_rank : rank -> int
val rank_of_error : error -> rank
val score_of_error : error -> int
val annotation_at : Parse_info.token_location -> annotation option
val options : unit -> Common.cmdline_options
val report_parse_errors : bool ref
val report_fatal_errors : bool ref
val filter_maybe_parse_and_fatal_errors : error list -> error list
val adjust_paths_relative_to_root : Common.path -> error list -> error list
val try_with_exn_to_error : Common.filename -> (unit -> unit) -> unit
val try_with_print_exn_and_reraise : Common.filename -> (unit -> unit) -> unit
type identifier_index = (string, Parse_info.token_location) Hashtbl.t
val adjust_errors : error list -> error list
val expected_error_lines_of_files : Common.filename list -> (Common.filename * int) list
val compare_actual_to_expected : error list -> (Common.filename * int) list -> unit