Module Cobol_unit.Types

Representation of COBOL compilation units

type 'a named_n_ordered = {
  1. named : 'a Cobol_unit__.Unit_resolver_map.TYPES.resolver_map;
  2. list : 'a list;
}

A type to manage sets of items in both named and ordered form. Note that in many cases anonymous elements of list many not belong to named.

type ('a, 'ref_name) resolved_reference = {
  1. resolved_name : 'ref_name;
  2. resolved : 'a;
}
type display_sign = {
  1. sign_position : sign_position;
    (*

    relevant for non-binary representations

    *)
  2. sign_separate : bool;
    (*

    true = separate character (extra byte)

    *)
}
and sign_position =
  1. | Leading
  2. | Trailing
type unit_config = {
  1. unit_currency_signs : Cobol_common.Basics.CharSet.t;
  2. unit_decimal_point : char;
  3. unit_display_sign_config : Cobol_data.Types.display_sign_config;
}

Corresponds to the contents of the CONFIGURATION SECTION.

type unit_env = {
  1. env_config : unit_config;
}
type data_definitions = {
  1. data_items : Cobol_data.Types.data_definition named_n_ordered;
  2. data_records : Cobol_data.Types.record list;
}

data_definitions exposes two views on the items (fields and tables) in DATA DIVISION:

  • data_items contains all the items with direct access by name.
  • data_records is a list of record trees where each element represents a record definition (typically a level 01 or 77 data item)
and procedure_arg = {
  1. arg_data_definition : Cobol_data.Types.data_definition resolved_name;
  2. arg_passing_style : arg_passing_style;
}
and arg_passing_style =
  1. | Arg_by_reference of {
    1. optional : bool;
    }
  2. | Arg_by_value
type procedure = {
  1. procedure_using : procedure_using Cobol_common.Srcloc.TYPES.with_loc option;
  2. procedure_blocks : procedure_block named_n_ordered;
}
type expanded_selection_subject =
  1. | SubjectValue of Cobol_ptree.expr Cobol_common.Srcloc.TYPES.with_loc
  2. | SubjectCond of expanded_cond
  3. | SubjectConst of bool
type expanded_selection_object =
  1. | SelCond of expanded_cond
  2. | SelValue of {
    1. negated : bool;
    2. value : Cobol_ptree.expr Cobol_common.Srcloc.TYPES.with_loc;
    }
  3. | SelRange of Cobol_ptree.selection_range
  4. | SelConst of bool
  5. | SelAny
type cobol_unit = {
  1. unit_name : string Cobol_common.Srcloc.TYPES.with_loc;
  2. unit_parent_name : string Cobol_common.Srcloc.TYPES.with_loc option;
  3. unit_env : unit_env;
  4. unit_data : data_definitions;
  5. unit_procedure : procedure;
}

Type of a main COBOL compilation unit

type group = Stdlib.Set.Make(Cobol_unit__.Unit_collections.M).t
type +'a group_map = 'a Stdlib.Map.Make(Cobol_unit__.Unit_collections.M).t