Module Sql_preproc.Types

type error =
  1. | Failure of string
exception Error of error
type loc = {
  1. filename : string;
  2. line : int;
  3. char : int;
}
type sql_type =
  1. | Binary of int
  2. | Varbinary of int
  3. | Char of int
  4. | Varchar of int
  5. | Float of int * int option
type declaration =
  1. | SQL_type_is of {
    1. importance : string;
    2. name : string;
    3. sql_type : sql_type;
    }
type statements =
  1. | PROCEDURE_DIVISION_DOT of {
    1. end_loc : loc;
    }
  2. | WORKING_STORAGE of {
    1. defined : bool;
    }
  3. | LINKAGE_SECTION of {
    1. defined : bool;
    }
  4. | EXEC_SQL of {
    1. end_loc : loc;
    2. with_dot : bool;
    3. tokens : Sql_ast.esql_instruction;
    }
  5. | BEGIN_PROCEDURE_DIVISION of {
    1. enabled : bool Stdlib.ref;
    }
  6. | END_PROCEDURE_DIVISION
  7. | COPY of {
    1. end_loc : loc;
    2. filename : string;
    3. contents : string;
    }
  8. | DECLARATION of {
    1. end_loc : loc;
    2. declaration : declaration;
    }
  9. | EXEC_SQL_IGNORE of {
    1. end_loc : loc;
    2. begin_of_ignore_loc : loc;
    }
type handle = {
  1. mutable handle_abend : string;
}
type gen_context = {
  1. b : EzCompat.Buffer.t;
  2. main_filename : string;
}
type config = {
  1. scanner_config : Cobol_indent.Types.config;
  2. sql_in_copybooks : bool;
  3. copy_path : (string * string EzCompat.StringMap.t) list Stdlib.Lazy.t;
  4. copy_exts : string list;
  5. verbosity : int;
}