Module Cobol_parser.Diagnostics

val pp_malformed_stuff : Stdlib.Format.formatter -> Cobol_parser__.Parser_diagnostics_types.malformed_stuff -> unit
val pp_missing_stuff : Stdlib.Format.formatter -> Cobol_parser__.Parser_diagnostics_types.missing_stuff -> unit
val pp_unexpected_stuff : Stdlib.Format.formatter -> Cobol_parser__.Parser_diagnostics_types.unexpected_stuff -> unit
val pp_unsupported_stuff : Stdlib.Format.formatter -> Cobol_parser__.Parser_diagnostics_types.unsupported_stuff -> unit
val pp_unterminated_stuff : Stdlib.Format.formatter -> Cobol_parser__.Parser_diagnostics_types.unterminated_stuff -> unit
val error_loc : Cobol_parser__.Parser_diagnostics_types.error -> Cobol_common.Srcloc.TYPES.srcloc option
val pp_error : Stdlib.Format.formatter -> Cobol_parser__.Parser_diagnostics_types.error -> unit
type customizable_diagnostic =
  1. | Implementation_pending of string
  2. | Missing_tokens of (Cobol_parser__.Grammar.MenhirInterpreter.xsymbol, Cobol_parser__.Grammar_tokens.token) Cobol_parser__.Recovery_types.generic_insertion list
  3. | Invalid_syntax
  4. | Fallthrough_to_when_other
  5. | No_when_branch_before_when_other
  6. | Exec_block_diagnostic of Cobol_common.Exec_block.diagnostic
val pp_customizable_diagnostic : Stdlib.Format.formatter -> customizable_diagnostic -> unit
type diagnostics = {
  1. errors : Cobol_parser__.Parser_diagnostics_types.error list;
  2. customs : custom list;
}
type t = diagnostics
val none : diagnostics
val add_error : Cobol_parser__.Parser_diagnostics_types.error -> diagnostics -> diagnostics
val error : Cobol_parser__.Parser_diagnostics_types.error -> diagnostics
val has_errors : diagnostics -> bool
val count_errors : diagnostics -> int
val count_warnings : diagnostics -> int
val add_exec_block_diags : Cobol_common.Exec_block.diagnostic list -> diagnostics -> diagnostics
val add_exn : exn -> diagnostics -> diagnostics
val translate : t -> Cobol_common__Diagnostics.TYPES.diagnostics
module Accumulator : sig ... end
module ALL : sig ... end