Module Cobol_parser.Diagnostics

type error =
  1. | Caught_exception of {
    1. msg : string;
    }
  2. | Malformed of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : malformed_stuff;
    }
  3. | Missing of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : missing_stuff;
    }
  4. | Unexpected of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : unexpected_stuff;
    }
  5. | Unterminated of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : unterminated_stuff;
    }
and malformed_stuff =
  1. | Alphanumeric_literal
and missing_stuff =
  1. | Continuation_of of string
and unexpected_stuff =
  1. | Pseudotext
  2. | Character_in_symbolic_EBCDIC of char
  3. | Symbolic_EBCDIC_orginal of int
and unterminated_stuff =
  1. | Comment_entry
val pp_malformed_stuff : Stdlib.Format.formatter -> malformed_stuff -> unit
val pp_missing_stuff : Stdlib.Format.formatter -> missing_stuff -> unit
val pp_unexpected_stuff : Stdlib.Format.formatter -> unexpected_stuff -> unit
val pp_unterminated_stuff : Stdlib.Format.formatter -> unterminated_stuff -> unit
val error_loc : error -> Cobol_common.Srcloc.TYPES.srcloc option
val pp_error : Stdlib.Format.formatter -> error -> unit
type customizable_diagnostic =
  1. | Implementation_pending of string
  2. | Missing_tokens of Pretty.delayed
  3. | Invalid_syntax
  4. | Exec_block_diagnostic of Cobol_common.Exec_block.diagnostic
val pp_customizable_diagnostic : Stdlib.Format.formatter -> customizable_diagnostic -> unit
type diagnostics = {
  1. errors : error list;
  2. customs : custom list;
}
type t = diagnostics
val none : diagnostics
val add_error : error -> diagnostics -> diagnostics
val error : error -> diagnostics
val has_errors : diagnostics -> bool
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