package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
package diffast-langs-fortran-parsing
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Disambg.FSource

Parameters

Signature

module Loc_ = Loc
Sourcemodule L = Label
Sourcemodule I = Pinfo
Sourcemodule N = I.Name
Sourcemodule Aux : sig ... end
Sourceval sprintf : ('a, unit, string) format -> 'a
Sourceval loc_to_str : ?show_ext:bool -> ?prefix:string -> ?suffix:string -> Fortran_parsing.Ast.Astloc.t -> string
Sourceval get_part_names : < add_binding : Fortran_parsing.Ast.B.t -> unit ; add_children_l : Ast.node list -> unit ; add_children_r : Ast.node list -> unit ; add_info : Fortran_parsing.Ast.I.t -> unit ; binding : Fortran_parsing.Ast.B.t ; bindings : Fortran_parsing.Ast.B.t list ; children : Ast.node list ; children_labels : (Ast.node * Fortran_parsing.Ast.L.t) list ; get_label : Label_common.label ; get_name : Label_common.name ; get_name_opt : Label_common.name option ; get_names : Label_common.name list ; get_var : Label_common.var ; get_var_opt : Label_common.var option ; has_name : bool ; info : Fortran_parsing.Ast.I.t ; label : L.t ; lloc : Fortran_parsing.Ast.LLoc.c ; loc : Langs_common.Astloc.t ; nchildren : int ; orig_loc : Langs_common.Astloc.t ; relab : Fortran_parsing.Ast.L.t -> unit ; relab_stmt : Fortran_parsing.Labels.Stmt._t -> unit ; remove_leftmost_child : unit ; remove_rightmost_child : unit ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_children : Ast.node list -> unit ; set_info : Fortran_parsing.Ast.I.t -> unit ; set_lloc : Fortran_parsing.Ast.LLoc.c -> unit ; to_string : string ; to_tag : string * (string * Label_common.name) list > list -> Label_common.name list
Sourceval get_name_of_part_names : < add_binding : Fortran_parsing.Ast.B.t -> unit ; add_children_l : Ast.node list -> unit ; add_children_r : Ast.node list -> unit ; add_info : Fortran_parsing.Ast.I.t -> unit ; binding : Fortran_parsing.Ast.B.t ; bindings : Fortran_parsing.Ast.B.t list ; children : Ast.node list ; children_labels : (Ast.node * Fortran_parsing.Ast.L.t) list ; get_label : Label_common.label ; get_name : Label_common.name ; get_name_opt : Label_common.name option ; get_names : Label_common.name list ; get_var : Label_common.var ; get_var_opt : Label_common.var option ; has_name : bool ; info : Fortran_parsing.Ast.I.t ; label : L.t ; lloc : Fortran_parsing.Ast.LLoc.c ; loc : Langs_common.Astloc.t ; nchildren : int ; orig_loc : Langs_common.Astloc.t ; relab : Fortran_parsing.Ast.L.t -> unit ; relab_stmt : Fortran_parsing.Labels.Stmt._t -> unit ; remove_leftmost_child : unit ; remove_rightmost_child : unit ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_children : Ast.node list -> unit ; set_info : Fortran_parsing.Ast.I.t -> unit ; set_lloc : Fortran_parsing.Ast.LLoc.c -> unit ; to_string : string ; to_tag : string * (string * Label_common.name) list > list -> string
Sourceval separate_image_selectors : (< label : L.t.. > as 'a) list -> 'a list * 'a list
Sourceval lookup_structure_component : < get_name_opt : Ast.name option.. > list -> Pinfo.Name.Spec.t
Sourceval set_binding_of_subobject : < children : < binding : 'a ; label : L.t.. > list ; set_binding : 'a -> unit.. > -> unit
Sourceval set_binding : < get_name : Ast.name ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_info : I.t -> unit.. > -> unit
Sourceval conv_loc : Fortran_parsing.Ast.Loc.t -> Loc_.t
Sourceval set_binding_of_subprogram_reference : ?defer:bool -> Ast.node -> unit
Sourceval find_resolved_spec : N.Spec.t list -> N.Spec.t
Sourceval get_rank_of_name : Ast.name -> I.Rank.t
Sourceval get_rank_of_structure_component : < get_name_opt : Ast.name option.. > list -> I.Rank.t
Sourceval is_name_part : < has_name : bool ; nchildren : int.. > -> bool
Sourceval is_list_part : < nchildren : int.. > -> bool
Sourceval get_rank : (< children : 'a list ; has_name : bool ; label : L.t ; nchildren : int.. > as 'a) -> I.Rank.t
Sourceval get_rank_of_part_ref_elems : (< children : 'a ; has_name : bool ; label : L.t ; nchildren : int.. > list as 'a) -> I.Rank.t
Sourceval is_assumed_size_spec : < children : < label : L.t.. > list.. > -> bool
Sourceval contain_allocatable_or_pointer : < label : L.t.. > list -> bool
Sourceval disambiguate_subscript_triplet : < children : < label : L.t ; relab : L.t -> unit.. > list ; label : L.t ; relab : L.t -> 'a.. > -> unit
Sourceval disambiguate_part_ref_elem : < children : < children : < label : L.t ; relab : L.t -> unit.. > list ; label : L.t ; relab : L.t -> 'a.. > list ; get_name : Ast.name ; label : L.t ; loc : Fortran_parsing.Ast.Astloc.t ; relab : L.t -> 'b ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_info : I.t -> unit.. > -> unit
Sourceval _disambiguate_substring_range : < children : < label : L.t ; loc : Fortran_parsing.Ast.Astloc.t ; relab : L.t -> unit.. > list ; label : L.t ; relab : L.t -> 'a.. > -> unit
Sourceval disambiguate_substring_range : < children : < children : 'a ; label : L.t ; loc : Fortran_parsing.Ast.Astloc.t ; relab : L.t -> unit.. > list ; label : L.t ; relab : L.t -> 'b ; set_children : 'a -> 'c.. > -> unit
Sourceval disambiguate_data_object : ?mklab:(Label_common.name -> L.t) -> ?defer:bool -> ?check_const:bool -> Label_common.name -> Ast.node -> unit
Sourceval relab_subobject : (string -> 'a) -> < children : < add_binding : Fortran_parsing.Ast.B.t -> unit ; add_children_l : Ast.node list -> unit ; add_children_r : Ast.node list -> unit ; add_info : Fortran_parsing.Ast.I.t -> unit ; binding : Fortran_parsing.Ast.B.t ; bindings : Fortran_parsing.Ast.B.t list ; children : Ast.node list ; children_labels : (Ast.node * Fortran_parsing.Ast.L.t) list ; get_label : Label_common.label ; get_name : Label_common.name ; get_name_opt : Label_common.name option ; get_names : Label_common.name list ; get_var : Label_common.var ; get_var_opt : Label_common.var option ; has_name : bool ; info : Fortran_parsing.Ast.I.t ; label : L.t ; lloc : Fortran_parsing.Ast.LLoc.c ; loc : Langs_common.Astloc.t ; nchildren : int ; orig_loc : Langs_common.Astloc.t ; relab : Fortran_parsing.Ast.L.t -> unit ; relab_stmt : Fortran_parsing.Labels.Stmt._t -> unit ; remove_leftmost_child : unit ; remove_rightmost_child : unit ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_children : Ast.node list -> unit ; set_info : Fortran_parsing.Ast.I.t -> unit ; set_lloc : Fortran_parsing.Ast.LLoc.c -> unit ; to_string : string ; to_tag : string * (string * Label_common.name) list > list ; relab : 'a -> 'b.. > -> 'b
Sourceval disambiguate_array_element : < children : < add_binding : Fortran_parsing.Ast.B.t -> unit ; add_children_l : Ast.node list -> unit ; add_children_r : Ast.node list -> unit ; add_info : Fortran_parsing.Ast.I.t -> unit ; binding : Fortran_parsing.Ast.B.t ; bindings : Fortran_parsing.Ast.B.t list ; children : Ast.node list ; children_labels : (Ast.node * Fortran_parsing.Ast.L.t) list ; get_label : Label_common.label ; get_name : Label_common.name ; get_name_opt : Label_common.name option ; get_names : Label_common.name list ; get_var : Label_common.var ; get_var_opt : Label_common.var option ; has_name : bool ; info : Fortran_parsing.Ast.I.t ; label : L.t ; lloc : Fortran_parsing.Ast.LLoc.c ; loc : Langs_common.Astloc.t ; nchildren : int ; orig_loc : Langs_common.Astloc.t ; relab : Fortran_parsing.Ast.L.t -> unit ; relab_stmt : Fortran_parsing.Labels.Stmt._t -> unit ; remove_leftmost_child : unit ; remove_rightmost_child : unit ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_children : Ast.node list -> unit ; set_info : Fortran_parsing.Ast.I.t -> unit ; set_lloc : Fortran_parsing.Ast.LLoc.c -> unit ; to_string : string ; to_tag : string * (string * Label_common.name) list > list ; relab : L.t -> 'a ; set_binding : Fortran_parsing.Ast.B.t -> unit.. > -> unit
Sourceval disambiguate_allocate_shape_spec_list : < children : < children_labels : (< children : 'a list.. > * L.t) list ; label : L.t ; relab : L.t -> 'b ; set_children : 'a list -> unit.. > list ; label : L.t ; relab : L.t -> 'c.. > -> unit
Sourceval disambiguate_bounds_list : < children : < children_labels : (< children : 'a list.. > * L.t) list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit ; set_children : 'a list -> unit.. > list ; label : L.t ; relab : L.t -> unit.. > -> unit
Sourceval disambiguate_pointer_object : < children : < add_binding : Fortran_parsing.Ast.B.t -> unit ; add_children_l : Ast.node list -> unit ; add_children_r : Ast.node list -> unit ; add_info : Fortran_parsing.Ast.I.t -> unit ; binding : Fortran_parsing.Ast.B.t ; bindings : Fortran_parsing.Ast.B.t list ; children : Ast.node list ; children_labels : (Ast.node * Fortran_parsing.Ast.L.t) list ; get_label : Label_common.label ; get_name : Label_common.name ; get_name_opt : Label_common.name option ; get_names : Label_common.name list ; get_var : Label_common.var ; get_var_opt : Label_common.var option ; has_name : bool ; info : Fortran_parsing.Ast.I.t ; label : L.t ; lloc : Fortran_parsing.Ast.LLoc.c ; loc : Langs_common.Astloc.t ; nchildren : int ; orig_loc : Langs_common.Astloc.t ; relab : Fortran_parsing.Ast.L.t -> unit ; relab_stmt : Fortran_parsing.Labels.Stmt._t -> unit ; remove_leftmost_child : unit ; remove_rightmost_child : unit ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_children : Ast.node list -> unit ; set_info : Fortran_parsing.Ast.I.t -> unit ; set_lloc : Fortran_parsing.Ast.LLoc.c -> unit ; to_string : string ; to_tag : string * (string * Label_common.name) list > list ; relab : L.t -> 'a.. > -> 'a
Sourceval disambiguate_allocation : Ast.node -> unit
Sourceval disambiguate_data_pointer_object : Ast.node -> unit
Sourceval disambiguate_equivalence_object : Ast.node -> unit
Sourceval disambiguate_component_array_spec : bool -> < children : < label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > -> unit
Sourceval disambiguate_component_decl : bool -> ((< children : < label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > as 'a) option * 'a option * (< add_children_l : 'a list -> unit ; get_name : Label_common.name ; relab : L.t -> 'c.. > as 'b)) -> 'b
Sourceval disambiguate_array_spec : bool -> < children : (< children : 'a list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > as 'a) list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit ; set_children : 'a list -> 'b.. > -> unit
Sourceval disambiguate_entity_decl : bool -> ((< children : (< children : 'b list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > as 'b) list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit ; set_children : 'b list -> 'c.. > as 'a) option * 'a option * (< add_children_l : 'a list -> unit ; get_name : Label_common.name ; relab : L.t -> 'e.. > as 'd)) -> 'd
Sourceval disambiguate_attr_specs : bool -> < children : < children : (< children : 'a list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > as 'a) list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit ; set_children : 'a list -> 'b.. > list ; label : L.t ; loc : Langs_common.Astloc.t.. > list -> unit
Sourceval disambiguate_component_attr_specs : bool -> < children : < children : < label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> unit.. > list ; label : L.t.. > list -> unit
Sourceval disambiguate_data_i_do_object : < children : < children : < children : < label : L.t ; relab : L.t -> unit.. > list ; label : L.t ; relab : L.t -> 'a.. > list ; get_name : Ast.name ; label : L.t ; loc : Fortran_parsing.Ast.Astloc.t ; relab : L.t -> 'b ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_info : I.t -> unit.. > list ; label : L.t ; loc : Fortran_parsing.Ast.Astloc.t ; relab : L.t -> 'c.. > -> unit
Sourceval check_part_ref_elems : (< children : 'a list ; has_name : bool ; label : L.t ; nchildren : int.. > as 'a) list -> bool * bool
Sourceval disambiguate_named_constant : < children_labels : ('a * L.t) list ; label : L.t ; relab : L.t -> 'b ; set_children : 'c list -> unit.. > -> unit
Sourceval mkdesig : Ast.node list -> Label_common.name * Ast.node list
Sourceval disambiguate_variable : ?mklab:(Label_common.name -> L.t) -> ?defer:bool -> Ast.node -> unit
Sourceval disambiguate_proc_desig : < children : Ast.node list ; children_labels : ('a * L.t) list ; loc : Langs_common.Astloc.t.. > -> Label_common.name * Ast.node list * Ast.node list
Sourceval get_num_constant_literal : (< children : 'a list ; label : L.t.. > as 'a) -> string
Sourceval disambiguate_linda_actual : < children_labels : ((< children : 'a list ; lloc : < collapse_backward : 'b.. > ; relab : L.t -> 'c ; set_children : 'd list -> 'e.. > as 'a) * L.t) list ; label : L.t ; relab : L.t -> 'f ; set_children : 'a list -> 'g.. > -> unit
Sourceval find_linda_keyword : string -> Fortran_parsing.Labels.LindaCall.t
Sourceval disambiguate_linda_call : < children_labels : (< children : (< children_labels : ((< children : 'b list ; lloc : < collapse_backward : 'c.. > ; relab : L.t -> 'd ; set_children : 'e list -> 'f.. > as 'b) * L.t) list ; label : L.t ; relab : L.t -> 'g ; set_children : 'b list -> 'h.. > as 'a) list.. > * L.t) list ; relab : L.t -> 'i ; set_children : 'a list -> 'j.. > -> unit
Sourceval disambiguate_primary : ?defer:bool -> Ast.node -> unit
Sourceval disambiguate_data_stmt_constant : Ast.node -> unit
Sourceval disambiguate_generic_spec_OR_use_name : ?defer:bool -> Ast.node -> unit
Sourceval get_complex_part_str : < children : < label : L.t.. > list ; label : L.t.. > -> string
Sourceval disambiguate_primary_tuple : < children : < children : < label : L.t.. > list ; label : L.t.. > list ; label : L.t ; relab : L.t -> unit ; set_children : 'a list -> unit.. > -> unit
Sourceval disambiguate_ac_value_or_io_item : Fortran_parsing.Ast.L.t -> (Label_common.name -> Fortran_parsing.Ast.L.t) -> Ast.node -> unit
Sourceval disambiguate_ac_value : Ast.node -> unit
Sourceval disambiguate_io_item : Ast.node -> unit
Sourceval disambiguate_call : Ast.node -> unit
Sourceval propagate_binding : ?defer:bool -> Ast.node -> unit
Sourceval disambiguate_deferred : unit -> unit
Sourceval disambiguate_pp_section : ('a -> unit) -> < children : 'a list.. > -> unit
Sourceval disambiguate_pp_branch : ('a -> unit) -> < children : < children : 'a list.. > list.. > -> unit
Sourceval disambiguate_internal_subprogram : < children : (< children : 'a list ; label : L.t ; relab : L.t -> unit.. > as 'a) list.. > -> unit
Sourceval disambiguate_module_subprogram : < children : (< children : 'a list ; label : L.t ; relab : L.t -> unit.. > as 'a) list.. > -> unit
Sourceval disambiguate_derived_type_spec : < children_labels : (< children : 'a list.. > * L.t) list ; relab : L.t -> 'b ; set_children : 'a list -> unit.. > -> unit
Sourceval disambiguate_func_ref : < children : Ast.node list ; children_labels : ('a * L.t) list ; label : L.t ; loc : Langs_common.Astloc.t ; relab : L.t -> 'b ; set_children : Ast.node list -> unit.. > -> unit
Sourceval get_do_label : L.t -> Label_common.label
Sourceexception Outermost of Ast.node list
Sourceval elaborate_execution_part : < add_children_r : Ast.node list -> unit ; children : Ast.node list ; lloc : Fortran_parsing.Ast.LLoc.c ; set_children : Ast.node list -> 'a.. > -> unit
Sourceval set_pp_context : Context.tag -> < label : L.t.. > -> unit
Sourceval finalize_spec_exec : ((< label : L.t ; loc : Langs_common.Astloc.t.. > as 'a) list * 'a list * 'a list) -> 'a list * 'a list
Sourceval finalize_fragment : Context.tag -> (< children : 'a list ; label : L.t ; lloc : Fortran_parsing.Ast.LLoc.c ; set_children : 'a list -> 'b ; set_lloc : Fortran_parsing.Ast.LLoc.c -> 'c.. > as 'a) -> 'a list
Sourceval finalize_format_items : (< add_children_l : 'b -> unit ; children : 'b ; label : L.t ; nchildren : int.. > as 'a) list -> 'a list
Sourceval handle_use : Common.name -> Ast.node list option -> Ast.node list