package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Name.SpecSource

Sourcetype loc_of_decl =
  1. | Lunknown
  2. | Limplicit of Loc.t option
  3. | Lexplicit of Loc.t
Sourceval loc_of_decl_to_string : loc_of_decl -> string
Sourceval loc_of_decl_to_loc : loc_of_decl -> Loc.t
Sourceval loc_of_decl_unknown : loc_of_decl
Sourceval loc_of_decl_implicit_default : loc_of_decl
Sourceval loc_of_decl_implicit : Loc.t -> loc_of_decl
Sourceval loc_of_decl_explicit : Loc.t -> loc_of_decl
Sourceclass accessibility_attr_spec : object ... end
Sourceclass full_attr_spec : object ... end
Sourceclass spec_base : ?loc_of_decl:loc_of_decl option -> ?id_of_decl:int option -> ?bid_opt: BID.t option option -> unit -> object ... end
Sourceclass object_spec : ?loc_of_decl:loc_of_decl option -> ?id_of_decl:int option -> ?bid_opt: BID.t option option -> unit -> object ... end
Sourceval make_public_object_spec : unit -> object_spec
Sourceclass data_object_spec : ?loc_of_decl:loc_of_decl option -> ?id_of_decl:int option -> ?bid_opt: BID.t option option -> ?type_spec:TypeSpec.t option -> unit -> object ... end
Sourceclass procedure_spec : ?loc_of_decl:loc_of_decl option -> ?id_of_decl:int option -> ?bid_opt: BID.t option option -> ProcInterface.t -> object ... end
Sourceclass intrinsic_procedure_spec : Rank.t -> object ... end
Sourcetype t =
  1. | Unknown
  2. | DataObject of data_object_spec
  3. | DerivedType of frame_v * object_spec
  4. | InterfaceBlock
  5. | IntrinsicFunction of intrinsic_procedure_spec
  6. | IntrinsicSubroutine
  7. | FunctionSubprogram of object_spec
  8. | SubroutineSubprogram of object_spec
  9. | SeparateModuleSubprogram of object_spec
  10. | Generic of object_spec
  11. | Procedure of procedure_spec
  12. | NamelistGroup of object_spec
  13. | MainProgram
  14. | Module of unit -> Common.name Fortran_parsing.Common.Xset.t * frame_v
  15. | ModuleEntity
  16. | BlockData
  17. | CommonBlock
  18. | AssociateName
  19. | External of Common.name * Common.name
  20. | InterfaceName of Common.name
  21. | LindaOperation
  22. | Object of object_spec
Sourceand frame_v = {
  1. find : Common.name -> t;
  2. add : Common.name -> t -> unit;
}
Sourceval unknown : t
Sourceval module_entity : t
Sourceval intrinsic_subroutine : t
Sourceval mkframev : add:(Common.name -> t -> unit) -> find:(Common.name -> t) -> frame_v
Sourceval to_string : t -> string
Sourceval filter_out_ambiguous : t list -> t list
Sourceval is_resolved : t -> bool
Sourceval is_namelist_group : t -> bool
Sourceval is_procedure : t -> bool
Sourceval is_function : t -> bool
Sourceval is_intrinsic_procedure : t -> bool
Sourceval is_generic : t -> bool
Sourceval is_external : t -> bool
Sourceval decompose_external : t -> Common.name * Common.name
Sourceval is_linda_operation : t -> bool
Sourceval contain_generic : t list -> bool
Sourceval is_module : t -> bool
Sourceval is_derived_type : t -> bool
Sourceval is_data_object_spec : t -> bool
Sourceval has_object_spec : t -> bool
Sourceval has_data_object_spec : t -> bool
Sourceval get_data_object_spec : t -> data_object_spec
Sourceval has_data_object_attr : t -> bool
Sourceval has_procedure_spec : t -> bool
Sourceval get_procedure_spec : t -> procedure_spec
Sourceval has_procedure_attr : t -> bool
Sourceval get_object_spec : t -> object_spec
Sourceval has_object_attr : t -> bool
Sourceval get_data_object_attr : t -> Attribute.c
Sourceval get_procedure_attr : t -> Attribute.c
Sourceval get_object_attr : t -> Attribute.accessibility
Sourceval get_accessibility_attr : t -> Attribute.accessibility
Sourceval has_accessibility_attr : t -> bool
Sourceval get_finder : t -> Common.name -> t
Sourceval get_adder : t -> Common.name -> t -> unit
Sourceval get_domain : t -> Common.name Fortran_parsing.Common.Xset.t
Sourceval get_loc_of_decl : t -> loc_of_decl
Sourceval has_decl : t -> bool
Sourceval set_loc_of_decl : loc_of_decl -> t -> unit
Sourceval set_id_of_decl : int -> t -> unit
Sourceval mkobj : ?loc_of_decl:loc_of_decl -> ?id_of_decl:int -> ?bid_opt:BID.t option -> unit -> object_spec
Sourceval mkproc : ?loc_of_decl:loc_of_decl -> ?id_of_decl:int -> ?bid_opt:BID.t option -> ProcInterface.t -> procedure_spec
Sourceval mkfunction : object_spec -> t
Sourceval mksubroutine : object_spec -> t
Sourceval mkseparate_module_subprogram : object_spec -> t
Sourceval mkgeneric : object_spec -> t
Sourceval mknamelistgroup : object_spec -> t
Sourceval mkderivedtype : frame_v -> object_spec -> t
Sourceval mkprocedure : procedure_spec -> t
Sourceval mkmodule : (unit -> Common.name Fortran_parsing.Common.Xset.t) -> frame_v -> t
Sourceval mkintrinsicfunc : intrinsic_procedure_spec -> t
Sourceval mkobject : object_spec -> t
Sourceval mkdobj : ?loc_of_decl:loc_of_decl -> ?id_of_decl:int -> ?bid_opt:BID.t option -> ?type_spec:TypeSpec.t -> Attribute.c option -> t
Sourceval mkext : string -> string -> t
Sourceval mkiname : Common.name -> t
Sourceval make_public_subroutine : unit -> t
Sourceval make_public_function : unit -> t
Sourceval get_access_spec : t -> AccessSpec.t
Sourceval is_public : t -> bool