package diffast-langs-java-parsing

  1. Overview
  2. Docs
package diffast-langs-java-parsing
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Parser_aux.FSource

Parameters

module Stat : STATE_T

Signature

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