package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val parse_error : Lexing.position -> Lexing.position -> ('a, unit, string, Ast.node) format4 -> 'a
val parse_error_loc : Langs_common.Astloc.t -> ('a, unit, string, Ast.node) format4 -> 'a
val check_error : Ast.node -> unit
val register_unknown : Ast.name -> unit
val register_main : Ast.name -> unit
val register_associate_name : Ast.name -> unit
val register_object : ?nth:int -> ?node:Ast.node -> ?attr_handler:(Fortran_parsing__Pinfo.Name.Attribute.accessibility -> unit) -> Ast.name -> (Pinfo.Name.Spec.object_spec -> Pinfo.Name.Spec.t) -> unit
val register_function : ?node:Ast.node -> Ast.name -> unit
val register_subroutine : ?node:Ast.node -> Ast.name -> unit
val register_separate_module_subprogram : ?node:Ast.node -> Ast.name -> unit
val register_entry : ?node:Ast.node -> 'a -> unit
val register_generic : ?node:Ast.node -> Ast.name -> unit
val register_namelist_group : ?node:Ast.node -> Ast.name -> unit
val register_derived_type : ?node:Ast.node -> < label : Label.t.. > list -> Ast.name -> < add : Common.name -> Pinfo.Name.Spec.t -> unit ; find : Common.name -> Pinfo.Name.Spec.t.. > -> unit
val register_interface_name : Ast.name -> unit
val register_module : Ast.name -> < add : Common.name -> Pinfo.Name.Spec.t -> unit ; default_accessibility : Pinfo.Name.AccessSpec.t ; find : Common.name -> Pinfo.Name.Spec.t ; iter : (Common.name -> Pinfo.Name.Spec.t -> unit) -> 'a.. > -> unit
val register_submodule : Ast.name -> < add : Common.name -> Pinfo.Name.Spec.t -> unit ; default_accessibility : Pinfo.Name.AccessSpec.t ; find : Common.name -> Pinfo.Name.Spec.t ; iter : (Common.name -> Pinfo.Name.Spec.t -> unit) -> 'a.. > -> unit
val register_block_data : Ast.name -> unit
val register_common_block : Ast.name -> unit
val register_external_name : Ast.name -> string -> string -> unit
val register_external : ?exclude:string Fortran_parsing.Common.Xset.t -> string -> < children : 'a list ; get_name : string ; label : Label.t.. > as 'a -> unit
val register_edecl_node : Fortran_parsing__Pinfo.TypeSpec.t -> Pinfo.Name.Attribute.c option -> < children : < label : Label.t.. > list ; label : Label.t ; loc : Langs_common.Astloc.t ; orig_loc : Langs_common.Astloc.t ; set_binding : Fortran_parsing.Ast.Binding.t -> 'a ; set_info : Pinfo.t -> unit.. > -> unit
val register_pdecl_node : < label : Label.t.. > list -> Fortran_parsing__Pinfo.ProcInterface.t -> < label : Label.t ; loc : Langs_common.Astloc.t ; orig_loc : Langs_common.Astloc.t ; set_binding : Fortran_parsing.Ast.Binding.t -> 'a ; set_info : Pinfo.t -> 'b.. > -> unit
val begin_program_scope : unit -> unit
val begin_derived_type_def_scope : Common.name -> Pinfo.Name.frame
val begin_headless_main_program_scope : unit -> unit
val begin_main_program_scope : Common.name option -> unit
val begin_function_subprogram_scope : Common.name -> unit
val begin_subroutine_subprogram_scope : Common.name -> unit
val begin_separated_module_subprogram_scope : Common.name -> unit
val begin_module_scope : Common.name -> Pinfo.Name.frame
val begin_submodule_scope : Common.name -> Pinfo.Name.frame
val begin_block_data_scope : Common.name option -> unit
val begin_block_scope : Common.name option -> unit
val begin_structure_decl_scope : Common.name option -> Pinfo.Name.frame
val end_scope : unit -> unit
val set_headed : unit -> unit
val cancel_main_program_scope : unit -> unit
val normalize_label : string -> string
val prefix_digits_pat : Str.regexp
val startswith_digits : string -> bool
val split_data_edit_desc : string -> int option * string
val make_vfe_lab : ?i_opt:int option -> ?tail:string -> string -> Label.t
val i_opt_of_r_opt : string option -> int option
val at_EOPU : unit -> unit
val make_error_node : Lexing.position -> Lexing.position -> Ast.node
val local_name_of_rename_node : Ast.node -> Label_common.name option
val local_name_list_of_rename_nodes : Ast.node list -> Label_common.name list
val name_attribute_of_aspec_nodes : < children : < label : Label.t.. > list ; label : Label.t ; loc : Langs_common.Astloc.t.. > list -> Pinfo.Name.Attribute.c
val set_attr_of_data_object : ?type_spec:Pinfo.TypeSpec.t -> (Pinfo.Name.Attribute.c -> unit) -> Ast.name -> unit
val set_access_attr : Fortran_parsing__Pinfo.Name.AccessSpec.t -> (unit -> Fortran_parsing__Pinfo.Name.Attribute.accessibility) -> Ast.name -> unit
val set_access_spec_attr : Fortran_parsing__Pinfo.Name.AccessSpec.t -> < label : Label.t.. > -> unit
val finalize_object_spec : ?multi_bind:bool -> Ast.name -> < add_binding : Fortran_parsing.Ast.Binding.t -> 'a ; add_info : Pinfo.t -> unit ; orig_loc : Langs_common.Astloc.t ; set_binding : Fortran_parsing.Ast.Binding.t -> 'b ; set_info : Pinfo.t -> unit.. > -> unit
val ocl_tuple_opt_to_num_opt : ('a * Fortran_parsing.Labels.OclDirective.num_or_name list) option -> int option
val ocl_tuple_to_nn : ('a * 'b list) -> 'b
val ocl_tuple_to_num : ('a * Fortran_parsing.Labels.OclDirective.num_or_name list) -> int
val ocl_tuple_to_nums : ('a * Fortran_parsing.Labels.OclDirective.num_or_name list) -> int list
val finalize_directive : < children : 'a list ; lloc : 'b ; set_lloc : 'b -> 'c.. > as 'a -> 'a
val mark_EOPU : ?ending_scope:bool -> unit -> unit
val is_xxx_part_construct : ((Ast.node -> bool) -> Ast.node list -> bool) -> (Fortran_parsing.Ast.L.t -> bool) -> Ast.node -> bool
val is_execution_part_construct : Ast.node -> bool
val is_specification_part_construct : Ast.node -> bool
val change_top_uop_into_bop : < children : < children : < label : Label.t ; relab : Label.t -> unit.. > list ; label : Label.t ; relab : Label.t -> unit.. > list ; label : Label.t.. > -> unit
val ty_of_node : < children : 'a list ; label : Label.t.. > as 'a -> Pinfo.TypeSpec.t
val node_to_loc : < lloc : < to_loc : ?cache:Langs_common.Fname.ext_cache_t option -> unit -> 'a.. >.. > -> 'a
val node_to_lexposs : < lloc : < to_loc : ?cache:Langs_common.Fname.ext_cache_t option -> unit -> Fortran_parsing.Ast.Loc.t.. >.. > -> Lexing.position * Lexing.position
OCaml

Innovation. Community. Security.