Module Cobol_ptree.Terms_visitor
class 'a folder : object ... end
val fold_name : 'a folder -> string -> 'a -> 'a
val fold_name_opt : 'a folder -> string option -> 'a -> 'a
val fold_name_list : 'a folder -> string list -> 'a -> 'a
val fold_binop : 'a folder -> Cobol_ptree__.Terms.binop -> 'a -> 'a
val fold_unop : 'a folder -> Cobol_ptree__.Terms.unop -> 'a -> 'a
val fold_logop : 'a folder -> Cobol_ptree__.Terms.logop -> 'a -> 'a
val fold_relop : 'a folder -> Cobol_ptree__.Terms.relop -> 'a -> 'a
val fold_sign :
'a folder ->
[ `Strict ] Cobol_ptree__.Terms.sign_cond ->
'a ->
'a
val fold_signz :
'a folder ->
[ `Loose ] Cobol_ptree__.Terms.sign_cond ->
'a ->
'a
val fold_counter_kind :
'a folder ->
Cobol_ptree__.Terms.counter_kind ->
'a ->
'a
val fold_fixed : 'a folder -> Cobol_ptree__.Numericals.fixed -> 'a -> 'a
val fold_floating : 'a folder -> Cobol_ptree__.Numericals.floating -> 'a -> 'a
val fold_integer : 'a folder -> string -> 'a -> 'a
val fold_integer_opt : 'a folder -> string option -> 'a -> 'a
val fold_boolean : 'a folder -> Cobol_ptree__.Numericals.boolean -> 'a -> 'a
val fold_alphanum : 'a folder -> Cobol_ptree__.Terms.alphanum -> 'a -> 'a
val fold_national : 'a folder -> string -> 'a -> 'a
val fold_counter : 'a folder -> Cobol_ptree__.Terms.counter -> 'a -> 'a
val fold_object_ref : 'a folder -> Cobol_ptree__.Terms.object_ref -> 'a -> 'a
val fold_intrinsic_name :
'a folder ->
Cobol_ptree__.Terms.intrinsic_name ->
'a ->
'a
val fold_literal :
'a folder ->
[ Cobol_ptree__.Terms.nonnum_
| Cobol_ptree__.Terms.bool_
| Cobol_ptree__.Terms.num_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_intlit : 'a folder -> [ `Int ] Cobol_ptree__.Terms.term -> 'a -> 'a
val fold_numlit :
'a folder ->
[ Cobol_ptree__.Terms.int_
| Cobol_ptree__.Terms.fixed_
| Cobol_ptree__.Terms.float_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_nonnumlit :
'a folder ->
[ Cobol_ptree__.Terms.alnum_
| Cobol_ptree__.Terms.national_
| Cobol_ptree__.Terms.bool_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_int_figurative :
'a folder ->
[ `Int ] Cobol_ptree__.Terms.figurative ->
'a ->
'a
val fold_any_figurative :
'a folder ->
[ Cobol_ptree__.Terms.alnum_
| Cobol_ptree__.Terms.national_
| Cobol_ptree__.Terms.bool_ ]
Cobol_ptree__.Terms.figurative ->
'a ->
'a
val fold_strlit :
'a folder ->
[ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_scalar_ident :
'a folder ->
[ Cobol_ptree__.Terms.qualident_
| Cobol_ptree__.Terms.address_
| Cobol_ptree__.Terms.counter_
| Cobol_ptree__.Terms.inline_call_
| Cobol_ptree__.Terms.inline_invoke_
| Cobol_ptree__.Terms.object_ref_
| Cobol_ptree__.Terms.refmod_scalar_ident_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_ident :
'a folder ->
[ Cobol_ptree__Terms.base_ident_ | Cobol_ptree__Terms.refmod_ident_ ]
Cobol_ptree__Terms.term ->
'a ->
'a
val fold_ident_or_nonnum :
'a folder ->
[ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.nonnum_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_qualident : 'a folder -> Cobol_ptree__.Terms.qualident -> 'a -> 'a
val fold_qualname :
'a folder ->
[ Cobol_ptree__.Terms.name_
| Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_qualname' :
'a folder ->
[ Cobol_ptree__.Terms.name_
| Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
Cobol_ptree__.Terms.term
Cobol_common.Srcloc.with_loc ->
'a ->
'a
val fold_subscript : 'a folder -> Cobol_ptree__.Terms.subscript -> 'a -> 'a
val fold_refmod : 'a folder -> Cobol_ptree__.Terms.refmod -> 'a -> 'a
val fold_address : 'a folder -> Cobol_ptree__.Terms.address -> 'a -> 'a
val fold_inline_call : 'a folder -> Cobol_ptree__.Terms.inline_call -> 'a -> 'a
val fold_locale_func_args :
'a folder ->
Cobol_ptree__.Terms.locale_func_args ->
'a ->
'a
val fold_inline_invocation :
'a folder ->
Cobol_ptree__.Terms.inline_invocation ->
'a ->
'a
val fold_effective_arg :
'a folder ->
Cobol_ptree__.Terms.effective_arg ->
'a ->
'a
val fold_object_view : 'a folder -> Cobol_ptree__.Terms.object_view -> 'a -> 'a
val fold_object_view_spec :
'a folder ->
Cobol_ptree__.Terms.object_view_spec ->
'a ->
'a
val fold_expr : 'a folder -> Cobol_ptree__.Terms.expression -> 'a -> 'a
val fold_trimming_tip :
'a folder ->
Cobol_ptree__.Terms.trimming_tip ->
'a ->
'a
val fold_ident_or_literal :
'a folder ->
[ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_scalar :
'a folder ->
[ Cobol_ptree__.Terms.scalar_ident_
| Cobol_ptree__.Terms.refmod_ident_
| Cobol_ptree__.Terms.lit_
| Cobol_ptree__.Terms.arith_value_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_length_of :
'a folder ->
[ `LengthOf ] Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_class : 'a folder -> Cobol_ptree__.Terms.class_ -> 'a -> 'a
val fold_cond : 'k. 'a folder -> 'k Cobol_ptree__.Terms.cond -> 'a -> 'a
val fold_simple_cond :
'a folder ->
[ `Simple ] Cobol_ptree__.Terms.cond ->
'a ->
'a
val fold_binary_relation :
'a folder ->
(Cobol_ptree__.Terms.expression
* Cobol_ptree__.Terms.relop
* Cobol_ptree__.Terms.expression) ->
'a ->
'a
val fold_flat_combined_relation :
'a folder ->
Cobol_ptree__.Terms.flat_combined_relation ->
'a ->
'a
val fold_expression : 'a folder -> Cobol_ptree__.Terms.expression -> 'a -> 'a
val fold_condition : 'a folder -> 'b Cobol_ptree__.Terms.cond -> 'a -> 'a
val fold_ident_or_alphanum :
'a folder ->
[ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.alnum_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_ident_or_intlit :
'a folder ->
[ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_ident_or_numlit :
'a folder ->
[ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_ident_or_strlit :
'a folder ->
[ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_name_or_string :
'a folder ->
[ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.strlit_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_name_or_alphanum :
'a folder ->
[ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.alnum_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_qualname_or_alphanum :
'a folder ->
[ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.alnum_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_qualname_or_intlit :
'a folder ->
[ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_qualname_or_literal :
'a folder ->
[ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.lit_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_name_or_literal :
'a folder ->
[ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_strlit_or_intlit :
'a folder ->
[ Cobol_ptree__.Terms.strlit_ | Cobol_ptree__.Terms.int_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_qualname_opt :
'a folder ->
[ Cobol_ptree__.Terms.name_
| Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
Cobol_ptree__.Terms.term
option ->
'a ->
'a
val fold_qualname'_opt :
'a folder ->
[ Cobol_ptree__.Terms.name_
| Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
Cobol_ptree__.Terms.term
Cobol_common.Srcloc.with_loc
option ->
'a ->
'a
val fold_strlit_opt :
'a folder ->
[ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ]
Cobol_ptree__.Terms.term
option ->
'a ->
'a
val fold_literal_opt :
'a folder ->
[ Cobol_ptree__.Terms.nonnum_
| Cobol_ptree__.Terms.bool_
| Cobol_ptree__.Terms.num_ ]
Cobol_ptree__.Terms.term
option ->
'a ->
'a
val fold_literal'_opt :
'a folder ->
[ Cobol_ptree__.Terms.nonnum_
| Cobol_ptree__.Terms.bool_
| Cobol_ptree__.Terms.num_ ]
Cobol_ptree__.Terms.term
Cobol_common.Srcloc.TYPES.with_loc
option ->
'a ->
'a
val fold_rounding_mode :
'a folder ->
Cobol_ptree__.Terms.rounding_mode ->
'a ->
'a
val fold_rounding : 'a folder -> Cobol_ptree__.Terms.rounding -> 'a -> 'a
val fold_procedure_name :
'a folder ->
[ Cobol_ptree__.Terms.name_
| Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
Cobol_ptree__.Terms.term ->
'a ->
'a
val fold_procedure_name'_opt :
'a folder ->
[ Cobol_ptree__.Terms.name_
| Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
Cobol_ptree__.Terms.term
Cobol_common.Srcloc.TYPES.with_loc
option ->
'a ->
'a