Module Cobol_preproc.Trace

module TYPES : sig ... end
include module type of TYPES with type copy_event_status = TYPES.copy_event_status and type log_entry = TYPES.log_entry and type log = TYPES.log
type log_entry = TYPES.log_entry =
  1. | FileCopy of {
    1. copyloc : Cobol_common.srcloc;
    2. status : copy_event_status;
    }
  2. | Replace of {
    1. replloc : Cobol_common.srcloc;
    }
  3. | Replacement of {
    1. matched_loc : Cobol_common.srcloc;
    2. replacement_text : Text.text;
    }
  4. | CompilerDirective of {
    1. compdir : Cobol_preproc__.Preproc_directives.compiler_directive;
    2. loc : Cobol_common.srcloc;
    }
  5. | Exec_block of {
    1. preamble_loc : Cobol_common.srcloc;
    2. text : Text.text;
    3. postamble_loc : Cobol_common.srcloc option;
    }
  6. | Ignored of {
    1. text : Text.text;
    2. ignored_loc : Cobol_common.srcloc;
    }
and copy_event_status = TYPES.copy_event_status =
  1. | CopyDone of string
  2. | CyclicCopy of string
  3. | MissingCopy of Cobol_common.Copybook.lookup_error
type log = TYPES.log
val empty : log
val append : log_entry -> log -> log
val new_compdir : loc:Cobol_common.srcloc -> compdir:Cobol_preproc__.Preproc_directives.compiler_directive -> log -> log
val copy_done : loc:Cobol_common.srcloc -> filename:string -> log -> log
val cyclic_copy : loc:Cobol_common.srcloc -> filename:string -> log -> log
val missing_copy : loc:Cobol_common.srcloc -> error:Cobol_common.Copybook.lookup_error -> log -> log
val new_replace : loc:Cobol_common.srcloc -> log -> log
val exec_block : preamble_loc:Cobol_common.srcloc -> ?postamble_loc:Cobol_common.srcloc -> Text.text -> log -> log
val ignored : Text.text -> log -> log
val events : log -> log_entry list