package diffast-langs-java-parsing

  1. Overview
  2. Docs
val get_range : Lexing.position -> Lexing.position -> (int * int) * (int * int) * int * int
val parse_error : 'a -> Lexing.position -> string -> 'b
val parse_error_loc : Java_parsing.Ast.Loc.t -> ('a, unit, string, 'b) format4 -> 'a
val parse_warning : Lexing.position -> Lexing.position -> ('a, out_channel, unit, unit) format4 -> 'a
val get_loc_for_lex : Sedlexing.lexbuf -> Java_parsing.Ast.Loc.t
val register_identifier_as_class : string -> string -> unit
val register_identifier_as_interface : string -> string -> unit
val register_identifier_as_typename : string -> string -> unit
val register_identifier_as_method : string -> unit
val register_identifier_as_parameter : string -> 'a -> unit
val register_identifier_as_variable : string -> 'a -> unit
val register_identifier_as_field : ?is_static:bool -> string -> 'a -> unit
val register_identifier_as_constructor : string -> unit
val register_identifier_as_label : string -> unit
val register_identifier_as_typeparameter : string -> unit
val register_identifier_as_static_member : string -> string -> unit
val register_identifier_as_enumconst : string -> string -> unit
val register_qname : ?skip:int -> Ast.name -> Ast.identifier_attribute -> unit
val register_qname_as_class : Ast.name -> unit
val register_qname_as_interface : Ast.name -> unit
val register_qname_as_typename : ?skip:int -> Ast.name -> unit
val register_qname_as_typename_at_class : ?outer:int -> Ast.name -> unit
val register_qname_as_method : Ast.name -> unit
val register_qname_as_static_member : Ast.name -> unit
val register_qname_as_parameter : Ast.name -> unit
val register_qname_as_variable : Ast.name -> unit
val register_qname_as_field : Ast.name -> unit
val register_qname_as_constructor : Ast.name -> unit
val register_qname_as_label : Ast.name -> unit
val register_qname_as_typeparameter : Ast.name -> unit
val register_qname_as_expression : Ast.name -> unit
val register_qname_as_array : Ast.name -> unit
val _mkty : Ast.loc -> Ast.javatype_desc -> Ast.javatype
val _mktyargs : Ast.loc -> Ast.type_argument list -> Ast.type_arguments
val _mktype : Ast.loc -> Ast.javatype_desc -> Ast.javatype
val _mkmod : Ast.loc -> Ast.modifier_desc -> Ast.modifier
val annot_to_mod : Ast.annotation -> Ast.modifier
val annots_to_mods : Ast.annotation list -> Ast.modifier list
val _mkexpr : Ast.loc -> Ast.expression_desc -> Ast.expression
val _mkannot : Ast.loc -> Ast.annotation_desc -> Ast.annotation
val name_to_ty : Ast.annotation list -> Ast.name -> Ast.javatype
val name_to_ty_args : Ast.loc -> Ast.annotation list -> Ast.name -> Ast.type_arguments -> Ast.javatype
val add_ann : 'a -> Ast.annotation list -> Ast.javatype -> Ast.javatype
val _simple_name_to_prim : Ast.loc -> Ast.name -> Ast.primary
val _simple_name_to_expr : Ast.loc -> Ast.name -> Ast.expression
val _mkcbd : Ast.loc -> Ast.class_body_declaration_desc -> Ast.class_body_declaration
val _mkrbd : Ast.loc -> Ast.record_body_declaration_desc -> Ast.record_body_declaration
val mkfp : ?receiver:Ast.identifier option -> Ast.loc -> Ast.modifiers option -> Ast.javatype -> Ast.variable_declarator_id -> bool -> Ast.formal_parameter
val _mkargs : Ast.loc -> Ast.argument list -> Ast.arguments
val _mkatmd : Ast.loc -> Ast.annotation_type_member_declaration_desc -> Ast.annotation_type_member_declaration
val _mkimd : Ast.loc -> Ast.interface_member_declaration_desc -> Ast.interface_member_declaration
val _mkch : Ast.loc -> Ast.modifiers option -> Ast.identifier -> Ast.loc -> Ast.type_parameters option -> Ast.extends_class option -> Ast.implements option -> Ast.permits option -> Ast.class_declaration_head
val _mkrh : Ast.loc -> Ast.modifiers option -> Ast.identifier -> Ast.loc -> Ast.type_parameters option -> Ast.formal_parameter list -> Ast.implements option -> Ast.record_declaration_head
val _mkmodule : Ast.loc -> Ast.module_declaration_head -> Ast.module_body -> Ast.module_declaration
val _mkmn : Ast.loc -> Ast.name -> Ast.module_name
val _mkmdh : Ast.loc -> Ast.annotation list -> Ast.loc option -> Ast.name -> Ast.module_declaration_head
val _mkmb : Ast.loc -> Ast.module_directive list -> Ast.module_body
val _mkmd : Ast.loc -> Ast.module_directive_desc -> Ast.module_directive
val _mkcd : Ast.loc -> Ast.class_declaration_desc -> Ast.class_declaration
val _mkifh : Ast.loc -> Ast.modifiers option -> Ast.identifier -> Ast.type_parameters option -> Ast.extends_interfaces option -> Ast.permits option -> Ast.interface_declaration_head
val _mkifd : Ast.loc -> Ast.interface_declaration_desc -> Ast.interface_declaration
val _mkfqn : ?exclude_current:bool -> string -> string -> string
val mkfqn : ?exclude_current:bool -> string -> string
val mkfqn_cls : ?exclude_current:bool -> string -> string
val is_local_name : ?force:bool -> Ast.name -> bool
val is_implicit_field_name : Ast.name -> bool
val get_type_fqn : Ast.name -> Ast.identifier
val get_type_name : Ast.name -> Ast.identifier
val is_type_name : Ast.name -> bool
val is_expr_name : Ast.name -> bool
val is_field_access : Ast.name -> bool
val _mktyarg : Ast.loc -> Ast.type_argument_desc -> Ast.type_argument
val _mktb : Ast.loc -> Ast.javatype -> Ast.additional_bound list -> Ast.type_bound
val _mkname : Ast.loc -> Ast.name_desc -> Ast.name
val mkerrname : Lexing.position -> Lexing.position -> string -> Ast.name
val mkerrmod : Lexing.position -> Lexing.position -> string -> Ast.modifier
val mkerrstmt : Lexing.position -> Lexing.position -> string -> Ast.statement
val mkerrexpr : Lexing.position -> Lexing.position -> string -> Ast.expression
val mkerrstmtexpr : Lexing.position -> Lexing.position -> string -> Ast.statement_expression
val mkerrprim : Lexing.position -> Lexing.position -> string -> Ast.primary
val simple_name_to_prim : Lexing.position -> Lexing.position -> Ast.name -> Ast.primary
val name_to_facc : Ast.name -> Ast.primary
val _name_to_prim : ?whole:bool -> Ast.loc -> Ast.name -> Ast.primary
val _name_to_expr : ?whole:bool -> Ast.loc -> Ast.name -> Ast.expression
val simple_name_to_expr : Lexing.position -> Lexing.position -> Ast.name -> Ast.expression
val name_to_expr : ?whole:bool -> Lexing.position -> Lexing.position -> Ast.name -> Ast.expression
val mkerrimpdecl : Lexing.position -> Lexing.position -> string -> Ast.import_declaration
val mkad : ?ellipsis:bool -> Lexing.position -> Lexing.position -> Ast.annotations -> Ast.annot_dim
val begin_scope : ?kind:Ast.frame_kind -> unit -> unit
val end_scope : unit -> unit
val end_typeparameter_scope : Ast.type_parameters option -> unit
val is_predefined_annotation : Ast.annotation -> bool
val has_user_defined_annotation : Ast.modifiers -> bool
val has_static : Ast.modifiers -> bool
val check_JLS_level : int -> (unit -> 'a) -> (unit -> 'a) -> 'a
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