package diffast-langs-fortran-parsing

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

Parameters

Signature

module Loc_ = Loc
module L = Label
module I = Pinfo
module N = I.Name
module Aux : sig ... end
val sprintf : ('a, unit, string) format -> 'a
val loc_to_str : ?show_ext:bool -> ?prefix:string -> ?suffix:string -> Fortran_parsing.Ast.Astloc.t -> string
val 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
val 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
val separate_image_selectors : < label : L.t.. > as 'a list -> 'a list * 'a list
val lookup_structure_component : < get_name_opt : Ast.name option.. > list -> Pinfo.Name.Spec.t
val set_binding_of_subobject : < children : < binding : 'a ; label : L.t.. > list ; set_binding : 'a -> unit.. > -> unit
val set_binding : < get_name : Ast.name ; set_binding : Fortran_parsing.Ast.B.t -> unit ; set_info : I.t -> unit.. > -> unit
val set_binding_of_subprogram_reference : ?defer:bool -> Ast.node -> unit
val find_resolved_spec : N.Spec.t list -> N.Spec.t
val get_rank_of_name : Ast.name -> I.Rank.t
val get_rank_of_structure_component : < get_name_opt : Ast.name option.. > list -> I.Rank.t
val is_name_part : < has_name : bool ; nchildren : int.. > -> bool
val is_list_part : < nchildren : int.. > -> bool
val get_rank : < children : 'a list ; has_name : bool ; label : L.t ; nchildren : int.. > as 'a -> I.Rank.t
val get_rank_of_part_ref_elems : < children : 'a ; has_name : bool ; label : L.t ; nchildren : int.. > list as 'a -> I.Rank.t
val is_assumed_size_spec : < children : < label : L.t.. > list.. > -> bool
val contain_allocatable_or_pointer : < label : L.t.. > list -> bool
val disambiguate_subscript_triplet : < children : < label : L.t ; relab : L.t -> unit.. > list ; label : L.t ; relab : L.t -> 'a.. > -> unit
val 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
val _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
val 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
val disambiguate_data_object : ?mklab:(Label_common.name -> L.t) -> ?defer:bool -> ?check_const:bool -> Label_common.name -> Ast.node -> unit
val 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
val 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
val 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
val 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
val 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
val disambiguate_allocation : Ast.node -> unit
val disambiguate_data_pointer_object : Ast.node -> unit
val disambiguate_equivalence_object : Ast.node -> unit
val 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
val 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
val 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
val 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
val 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
val 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
val 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
val check_part_ref_elems : < children : 'a list ; has_name : bool ; label : L.t ; nchildren : int.. > as 'a list -> bool * bool
val disambiguate_named_constant : < children_labels : ('a * L.t) list ; label : L.t ; relab : L.t -> 'b ; set_children : 'c list -> unit.. > -> unit
val mkdesig : Ast.node list -> Label_common.name * Ast.node list
val disambiguate_variable : ?mklab:(Label_common.name -> L.t) -> ?defer:bool -> Ast.node -> unit
val 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
val get_num_constant_literal : < children : 'a list ; label : L.t.. > as 'a -> string
val 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
val find_linda_keyword : string -> Fortran_parsing.Labels.LindaCall.t
val 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
val disambiguate_primary : ?defer:bool -> Ast.node -> unit
val disambiguate_data_stmt_constant : Ast.node -> unit
val disambiguate_generic_spec_OR_use_name : ?defer:bool -> Ast.node -> unit
val get_complex_part_str : < children : < label : L.t.. > list ; label : L.t.. > -> string
val 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
val disambiguate_ac_value_or_io_item : Fortran_parsing.Ast.L.t -> (Label_common.name -> Fortran_parsing.Ast.L.t) -> Ast.node -> unit
val disambiguate_ac_value : Ast.node -> unit
val disambiguate_io_item : Ast.node -> unit
val disambiguate_call : Ast.node -> unit
val propagate_binding : ?defer:bool -> Ast.node -> unit
val disambiguate_deferred : unit -> unit
val disambiguate_pp_section : ('a -> unit) -> < children : 'a list.. > -> unit
val disambiguate_pp_branch : ('a -> unit) -> < children : < children : 'a list.. > list.. > -> unit
val disambiguate_internal_subprogram : < children : < children : 'a list ; label : L.t ; relab : L.t -> unit.. > as 'a list.. > -> unit
val disambiguate_module_subprogram : < children : < children : 'a list ; label : L.t ; relab : L.t -> unit.. > as 'a list.. > -> unit
val disambiguate_derived_type_spec : < children_labels : (< children : 'a list.. > * L.t) list ; relab : L.t -> 'b ; set_children : 'a list -> unit.. > -> unit
val 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
val get_do_label : L.t -> Label_common.label
exception Outermost of Ast.node list
val 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
val set_pp_context : Context.tag -> < label : L.t.. > -> unit
val finalize_spec_exec : (< label : L.t ; loc : Langs_common.Astloc.t.. > as 'a list * 'a list * 'a list) -> 'a list * 'a list
val 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
val finalize_format_items : < add_children_l : 'b -> unit ; children : 'b ; label : L.t ; nchildren : int.. > as 'a list -> 'a list
val handle_use : Common.name -> Ast.node list option -> Ast.node list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct