package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
package diffast-langs-fortran-parsing
Legend:
Library
Module
Module type
Parameter
Class
Class type
val sprintf : ('a, unit, string) format -> 'a
type t =
  1. | DUMMY
  2. | EMPTY
  3. | WEIRD of string
  4. | ERROR of string
  5. | Include of string
  6. | PpDirective of Fortran_parsing.Labels.PpDirective.t
  7. | PpBranch
  8. | PpBranchDo
  9. | PpBranchForall
  10. | PpBranchIf
  11. | PpBranchSelect
  12. | PpBranchWhere
  13. | PpBranchDerivedType
  14. | PpBranchFunction
  15. | PpBranchSubroutine
  16. | PpBranchPu
  17. | PpBranchEndDo
  18. | PpBranchEndForall
  19. | PpBranchEndIf
  20. | PpBranchEndSelect
  21. | PpBranchEndWhere
  22. | PpBranchEndType
  23. | PpBranchEndFunction
  24. | PpBranchEndSubroutine
  25. | PpBranchEndPu
  26. | PpSectionIf of string
  27. | PpSectionIfdef of string
  28. | PpSectionIfndef of string
  29. | PpSectionElif of string
  30. | PpSectionElse
  31. | SubroutineStmtHead of string
  32. | FunctionStmtHead of string
  33. | OclDirective of Fortran_parsing.Labels.OclDirective.t
  34. | OCL
  35. | XlfDirective of Fortran_parsing.Labels.Xlf.Directive.t
  36. | XlfAssertion of Fortran_parsing.Labels.Xlf.Assertion.t
  37. | XlfMisc of Fortran_parsing.Labels.Xlf.t
  38. | XLF
  39. | DecDirective of Fortran_parsing.Labels.Dec.Directive.t
  40. | DecClause of Fortran_parsing.Labels.Dec.Clause.t
  41. | DecAttribute of Fortran_parsing.Labels.Dec.Attribute.t
  42. | DecMisc of Fortran_parsing.Labels.Dec.t
  43. | DEC
  44. | OmpDirective of Fortran_parsing.Labels.OmpDirective.t
  45. | OmpClause of Fortran_parsing.Labels.OmpClause.t
  46. | OMP
  47. | OmpConstruct of Fortran_parsing.Labels.OmpConstruct.t
  48. | AccDirective of Fortran_parsing.Labels.AccDirective.t
  49. | AccClause of Fortran_parsing.Labels.AccClause.t
  50. | ACC
  51. | AccConstruct of Fortran_parsing.Labels.AccConstruct.t
  52. | LindaCall of Fortran_parsing.Labels.LindaCall.t
  53. | Program
  54. | ProgramUnit of Fortran_parsing.Labels.ProgramUnit.t
  55. | InternalSubprogram of Fortran_parsing.Labels.InternalSubprogram.t
  56. | ModuleSubprogram of Fortran_parsing.Labels.ModuleSubprogram.t
  57. | Stmt of Fortran_parsing.Labels.Stmt.t
  58. | TypeSpec of Fortran_parsing.Labels.TypeSpec.t
  59. | Ambiguous of Fortran_parsing.Labels.Ambiguous.t
  60. | SpecificationPart
  61. | ExecutionPart
  62. | SubprogramPart
  63. | ImplicitPart
  64. | Block
  65. | InterfaceBlock of Label_common.name option
  66. | InterfaceBody
  67. | CaseConstruct
  68. | DoConstruct of Label_common.var option
  69. | ForallConstruct
  70. | IfConstruct
  71. | WhereConstruct
  72. | DerivedTypeDef of Label_common.name
  73. | SelectTypeConstruct
  74. | AssociateConstruct
  75. | BlockConstruct
  76. | CriticalConstruct
  77. | ArrayElement of Label_common.name
  78. | ArraySection of Label_common.name
  79. | StructureComponent of Label_common.name
  80. | Substring
  81. | SectionSubscriptList of Label_common.name
  82. | SubscriptTriplet
  83. | FirstSubscript
  84. | SecondSubscript
  85. | Stride
  86. | SubstringRange
  87. | StartingPoint
  88. | EndingPoint
  89. | ActualArgSpec of Label_common.name option
  90. | AltReturnSpec of Label_common.label
  91. | PartRef
  92. | PartName of Label_common.name
  93. | Name of Label_common.name
  94. | Label of Label_common.label
  95. | VariableName of Label_common.name
  96. | Constant of Fortran_parsing.Labels.Constant.t
  97. | ParenExpr
  98. | ArrayConstructor
  99. | FunctionReference of Label_common.name
  100. | StructureConstructor of Label_common.name
  101. | IntrinsicOperator of Fortran_parsing.Labels.IntrinsicOperator.t
  102. | DefinedOperator of Fortran_parsing.Labels.DefinedOperator.t
  103. | LoopControl of Label_common.var
  104. | LoopControlWhile
  105. | LoopControlConcurrent
  106. | GenericSpec of Fortran_parsing.Labels.GenericSpec.t
  107. | Rename
  108. | OnlyList
  109. | KindSelector
  110. | CharSelector
  111. | LengthSelector
  112. | LengthSelectorOverride
  113. | TypeParamValueAsterisk
  114. | TypeParamValueColon
  115. | ExplicitShapeSpec
  116. | AssumedShapeSpec
  117. | DeferredShapeSpec
  118. | ComponentDecl of Label_common.name
  119. | ComponentAttrSpecs
  120. | InitializationExpr
  121. | InitializationNull
  122. | InitializationTarget
  123. | InitializationOldStyle
  124. | EntityDecl of Label_common.name
  125. | CommonBlockObject of Label_common.name
  126. | CommonSpec of Label_common.name option
  127. | NamedConstantDef of Label_common.name
  128. | AttrSpec of Fortran_parsing.Labels.AttrSpec.t
  129. | AttrSpecs
  130. | ArraySpec of int
  131. | ExplicitShapeArray of int
  132. | AssumedShapeArray of int
  133. | DeferredShapeArray of int
  134. | AssumedSizeArray of int
  135. | AssumedRankArray
  136. | ComponentArraySpec of int
  137. | ExplicitShapeComponentArray of int
  138. | DeferredShapeComponentArray of int
  139. | AccessSpec of Fortran_parsing.Labels.AccessSpec.t
  140. | TypeAttrSpec of Fortran_parsing.Labels.TypeAttrSpec.t
  141. | StopCode of Fortran_parsing.Labels.Constant.t
  142. | InquireSpec of Fortran_parsing.Labels.InquireSpec.t
  143. | CloseSpec of Fortran_parsing.Labels.CloseSpec.t
  144. | ConnectSpec of Fortran_parsing.Labels.ConnectSpec.t
  145. | PositionSpec of Fortran_parsing.Labels.PositionSpec.t
  146. | IoControlSpec of Fortran_parsing.Labels.IoControlSpec.t
  147. | WaitSpec of Fortran_parsing.Labels.WaitSpec.t
  148. | FlushSpec of Fortran_parsing.Labels.FlushSpec.t
  149. | BindingAttr of Fortran_parsing.Labels.BindingAttr.t
  150. | ProcComponentAttrSpec of Fortran_parsing.Labels.ProcComponentAttrSpec.t
  151. | ProcAttrSpec of Fortran_parsing.Labels.ProcAttrSpec.t
  152. | InputItemList
  153. | OutputItemList
  154. | IoItemList
  155. | IoLength
  156. | Format of Fortran_parsing.Labels.Format.t
  157. | IoImpliedDo
  158. | IoImpliedDoControl of Label_common.var
  159. | Array of Label_common.name
  160. | EquivalenceSet
  161. | NamelistGroup of Label_common.name
  162. | ObjectName of Label_common.name
  163. | DataStmtSet
  164. | DataStmtValue
  165. | DataImpliedDo
  166. | DataIDoObject
  167. | DataIDoObjectList
  168. | DataStmtObjectList
  169. | DataStmtValueList
  170. | PrefixSpec of Fortran_parsing.Labels.PrefixSpec.t
  171. | Prefix
  172. | DummyArgNameList of Label_common.name
  173. | DummyArgList of Label_common.name
  174. | ActualArgSpecList of Label_common.name
  175. | Result of Label_common.name
  176. | AlternateReturnIndicator
  177. | IntentSpec of Fortran_parsing.Labels.IntentSpec.t
  178. | CaseSelector of Fortran_parsing.Labels.CaseSelector.t
  179. | CaseValueRange of Fortran_parsing.Labels.CaseValueRange.t
  180. | ForallHeader
  181. | ForallTripletSpec of Label_common.name
  182. | ImplicitSpec
  183. | LetterSpec of string * string option
  184. | FormatSpecification
  185. | FormatItem of Fortran_parsing.Labels.FormatItem.t
  186. | AcImpliedDo
  187. | AcImpliedDoControl of Label_common.var
  188. | StatVariable
  189. | ErrmsgVariable
  190. | SourceExpr
  191. | MoldExpr
  192. | CommonBlockName of Label_common.name
  193. | IntrinsicProcedureName of Label_common.name
  194. | LindaFormal
  195. | LindaActual
  196. | LindaLength
  197. | LindaTypeof
  198. | Variable
  199. | PpMacroId of Label_common.name
  200. | PpMacroExpr of Label_common.name
  201. | PpMacroVariable of Label_common.name
  202. | PpMacroEntityDecl of Label_common.name
  203. | PpMacroObject of Label_common.name
  204. | StructureDecl of Label_common.name option
  205. | UnionDecl
  206. | MapDecl
  207. | RecordDecl of Label_common.name
  208. | RecordFieldRef of Label_common.name
  209. | EntityName of Label_common.name
  210. | DummyArgName of Label_common.name
  211. | ExternalName of Label_common.name
  212. | LanguageBindingSpec
  213. | Suffix
  214. | Fragment
  215. | ModuleNatureIntrinsic
  216. | ModuleNatureNonIntrinsic
  217. | IfThenBlock
  218. | ElseIfBlock
  219. | ElseBlock
  220. | CrayPointerSpec
  221. | CaseBlock
  222. | DoBlock
  223. | Allocation of Label_common.name
  224. | AllocateShapeSpec
  225. | AllocateShapeSpecList
  226. | TypeBoundProcDecl of Label_common.name * Label_common.name option
  227. | TypeBoundProcedurePart
  228. | ProcedureDesignator of Label_common.name
  229. | ProcDecl of Label_common.name
  230. | TypeGuardBlock
  231. | Association of Label_common.name
  232. | DeferredCoshapeSpec
  233. | ExplicitCoshapeSpec
  234. | DeferredCoshapeCoarray
  235. | ExplicitCoshapeCoarray
  236. | CodimensionDecl of Label_common.name
  237. | Enumerator of Label_common.name
  238. | EnumDef
  239. | BoundsSpec
  240. | BoundsRemapping
  241. | BoundsSpecList
  242. | BoundsRemappingList
  243. | DataPointerObject of Label_common.name
  244. | AllocateCoshapeSpec
  245. | AllocateCoarraySpec
  246. | AcquiredLock
  247. | ImageSelector
  248. | AllImages
  249. | WhereBlock
  250. | SelectiveOp
  251. | DefineFileSpec
  252. | Options of string
  253. | ApolloPointerSpec
  254. | ProcName of Label_common.name
val to_string : t -> string
val to_simple_string : t -> Label_common.name
val to_tag : ?strip:bool -> t -> string * (string * Label_common.name) list
val has_value : t -> bool
val has_non_trivial_value : t -> bool
val has_non_trivial_tid : 'a -> bool
val get_name : ?strip:bool -> t -> Label_common.name
val get_name_opt : t -> Label_common.name option
val get_names : t -> Label_common.name list
val get_label : t -> Label_common.label
val get_var : t -> Label_common.var
val get_var_opt : t -> Label_common.var option
val is_error : t -> bool
val mkambiguous_desig : Label_common.name -> t
val mkambiguous_namedtuple : Label_common.name -> t
val mkambiguous_tuple : unit -> t
val mkambiguous_subobject : unit -> t
val mkambiguous_triplet_or_range : unit -> t
val mkambiguous_first : unit -> t
val mkambiguous_second : unit -> t
val mkambiguous_data_stmt_constant : unit -> t
val mkambiguous_deferred : unit -> t
val mkambiguous_assumed : unit -> t
val mkambiguous_assumedsize : unit -> t
val mkambiguous_generic_spec_or_use_name : Label_common.name -> t
val access_spec_to_attr_spec : t -> t
val access_spec_to_type_attr_spec : t -> t
val access_spec_to_proc_attr_spec : t -> t
val type_spec_to_prefix_spec : t -> t
val relabstmt : t -> Fortran_parsing.Labels.Stmt._t -> t
val is_specification_part_construct : t -> bool
val is_execution_part_construct : t -> bool
val is_ambiguous_desig : t -> bool
val is_ambiguous_tuple : t -> bool
val is_ambiguous_triplet_or_range : t -> bool
val is_ambiguous_data_stmt_constant : t -> bool
val is_ambiguous : t -> bool
val is_array_spec : t -> bool
val is_component_array_spec : t -> bool
val is_coarray_spec : t -> bool
val get_generic_name : t -> Label_common.name
val is_subscript_triplet : t -> bool
val is_section_subscript_list : t -> bool
val is_stmt : t -> bool
val is_statement : t -> bool
val get_stmt_label : t -> Label_common.label
val is_action_stmt : t -> bool
val is_type_decl_stmt : t -> bool
val is_do_stmt : t -> bool
val is_if_stmt : t -> bool
val is_arithmetic_if_stmt : t -> bool
val is_if_then_stmt : t -> bool
val is_else_if_stmt : t -> bool
val is_else_stmt : t -> bool
val is_end_if_stmt : t -> bool
val is_end_do_stmt : t -> bool
val is_if_construct : t -> bool
val is_do_construct : t -> bool
val is_constant : t -> bool
val is_var_name : t -> bool
val is_part_name : t -> bool
val is_entity_decl : t -> bool
val is_assignment_stmt : t -> bool
val get_external_subprogram_name : t -> Label_common.name
val get_module_subprogram_name : t -> Label_common.name
val get_value : t -> string
val get_category : t -> string
val is_ocl_directive : t -> bool
val is_omp_directive : t -> bool
val is_acc_directive : t -> bool
val is_xlf_directive : t -> bool
val is_dec_directive : t -> bool
val is_directive : t -> bool
val is_pp_directive : t -> bool
val is_pp_directive_branch : t -> bool
val is_pp_section : t -> bool
val is_pp_section_omp : t -> bool
val is_pp_branch : t -> bool
val is_fragment : t -> bool
val is_subroutine_stmt_head : t -> bool
val is_function_stmt_head : t -> bool
val anonymize : ?more:bool -> t -> t
exception Not_a_construct_head of t
val mk_endchk_x : ?multi:bool -> (t -> bool) -> ('a -> t) -> t -> 'a option -> t -> t option -> bool
val is_do_like_construct : t -> bool
val is_do_or_like_construct : t -> bool
val mk_endchk_loops : ?multi:bool -> ('a -> t) -> t -> 'a option -> t -> t option -> bool
val mk_endchk_assigns : ?multi:bool -> ('a -> t) -> t -> 'a option -> t -> t option -> bool
val omp_mk_endchk : Fortran_parsing.Labels.OmpDirective.t -> t -> 'a -> bool
val omp_mk_endchk_loops : ?multi:bool -> t -> Fortran_parsing.Labels.OmpDirective.t option -> t -> t option -> bool
val omp_mk_endchk_assigns : ?multi:bool -> t -> Fortran_parsing.Labels.OmpDirective.t option -> t -> t option -> bool
val omp_get_endchk_and_construct : Fortran_parsing.Labels.OmpDirective.t -> (t -> t option -> bool) * Fortran_parsing.Labels.OmpConstruct.t
val acc_mk_endchk : Fortran_parsing.Labels.AccDirective.t -> t -> 'a -> bool
val acc_mk_endchk_loops : ?multi:bool -> t -> Fortran_parsing.Labels.AccDirective.t option -> t -> t option -> bool
val acc_get_endchk_and_construct : Fortran_parsing.Labels.AccDirective.t -> (t -> t option -> bool) * Fortran_parsing.Labels.AccConstruct.t
val get_endchk_and_construct : t -> (t -> t option -> bool) * t
val has_endchk : t -> bool
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