package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Loc = Langs_common.Astloc
type tag =
  1. | Tunknown
  2. | Ttoplevel
  3. | Tprogram_unit
  4. | Tspec__exec
  5. | Tspecification_part
  6. | Texecution_part
  7. | Tsubprograms
  8. | Tinterface_spec
  9. | Tcase_block
  10. | Tassignment_stmt
  11. | Ttype_declaration_stmt
  12. | Tfunction_stmt
  13. | Tvariable
  14. | Texpr
  15. | Tstmts
  16. | Tdata_stmt_sets
  17. | Ttype_spec
  18. | Taction_stmt
  19. | Tderived_type_def_part
  20. | Tonlys
  21. | Ttype_bound_proc_part
  22. | Tfunction_head
  23. | Tfunction_stmt_head
  24. | Tsubroutine_head
  25. | Tsubroutine_stmt_head
  26. | Tpu_tail
  27. | Tin_stmt
val tag_to_string : tag -> string
type t = {
  1. mutable tag : tag;
  2. mutable is_active : bool;
}
val mk : tag -> bool -> t
val copy_context : t -> t
val deactivate_context : t -> unit
val resolve_into_spec : t -> unit
val resolve_into_exec : t -> unit
val to_string : t -> string
val unknown : unit -> t
val toplevel : unit -> t
val program_unit : unit -> t
val spec__exec : unit -> t
val specification_part : unit -> t
val execution_part : unit -> t
val subprograms : unit -> t
val interface_spec : unit -> t
val case_block : unit -> t
val assignment_stmt : unit -> t
val type_declaration_stmt : unit -> t
val function_stmt : unit -> t
val variable : unit -> t
val expr : unit -> t
val stmts : unit -> t
val data_stmt_sets : unit -> t
val type_spec : unit -> t
val action_stmt : unit -> t
val derived_type_def_part : unit -> t
val onlys : unit -> t
val type_bound_proc_part : unit -> t
val function_head : unit -> t
val function_stmt_head : unit -> t
val subroutine_head : unit -> t
val subroutine_stmt_head : unit -> t
val pu_tail : unit -> t
val in_stmt : unit -> t
val get_tag : t -> tag
val is_active : t -> bool
val set_tag : t -> tag -> unit
val is_unknown : t -> bool
val is_toplevel : t -> bool
val is_program_unit : t -> bool
val is_spec__exec : t -> bool
val is_specification_part : t -> bool
val is_execution_part : t -> bool
val is_subprograms : t -> bool
val is_interface_spec : t -> bool
val is_case_block : t -> bool
val is_assignment_stmt : t -> bool
val is_type_declaration_stmt : t -> bool
val is_function_stmt : t -> bool
val is_variable : t -> bool
val is_expr : t -> bool
val is_stmts : t -> bool
val is_data_stmt_sets : t -> bool
val is_type_spec : t -> bool
val is_action_stmt : t -> bool
val is_derived_type_def_part : t -> bool
val is_onlys : t -> bool
val is_type_bound_proc_part : t -> bool
val is_function_head : t -> bool
val is_function_stmt_head : t -> bool
val is_subroutine_head : t -> bool
val is_subroutine_stmt_head : t -> bool
val is_pu_tail : t -> bool
val is_in_stmt : t -> bool
val dummy : t
exception Not_active
type key_t = {
  1. k_level : int;
  2. k_loc : Loc.t;
}
val mkkey : int -> Loc.t -> key_t
val key_to_string : key_t -> string
val mktopkey : int -> key_t
val tempkey : key_t
class stack : < set_context_activate_flag : 'a ; set_context_enter_flag : 'b.. > -> object ... end
OCaml

Innovation. Community. Security.