Module Java_parsing.AstSource

Sourcemodule Ast_base = Langs_common.Ast_base
Sourcetype loc = Loc.t
Sourcetype identifier = string
Sourcetype simple_name = identifier
Sourcetype dims = int
Sourcetype expr_kind =
  1. | EKunknown
  2. | EKfacc
  3. | EKname
Sourcetype identifier_attribute =
  1. | IApackage
  2. | IAclass of string
  3. | IAinterface of string
  4. | IAtypename of string
  5. | IAmethod
  6. | IAfield
  7. | IAconstructor
  8. | IAparameter
  9. | IAvariable
  10. | IAlabel
  11. | IAstatic of string
  12. | IAtypeparameter
  13. | IAexpression of expr_kind
  14. | IAarray
Sourceval expr_kind_to_str : expr_kind -> string
Sourceval iattr_to_str : identifier_attribute -> string
Sourcetype frame_kind =
  1. | FKclass of string * bool ref
  2. | FKtypeparameter
  3. | FKmethod of string * bool ref
  4. | FKother
Sourceval frame_kind_to_string : frame_kind -> string
Sourceval is_class_frame : frame_kind -> bool
Sourceval is_method_frame : frame_kind -> bool
Sourceclass frame : frame_kind -> object ... end
Sourcetype resolve_result =
  1. | R_resolved of string
  2. | R_deferred of string * frame Stack.t * string
Sourceval resolve_result_to_str : resolve_result -> string
Sourceval mkresolved : string -> resolve_result
Sourceval is_resolved : resolve_result -> bool
Sourceval is_inner : string -> bool
Sourceval split_inner : string -> string * string
Sourcetype name_attribute =
  1. | NApackage
  2. | NAtype of resolve_result
  3. | NAexpression of expr_kind
  4. | NAmethod
  5. | NApackageOrType
  6. | NAstatic of resolve_result
  7. | NAambiguous of resolve_result
  8. | NAunknown
Sourceval is_expr_attr : name_attribute -> bool
Sourceval get_resolved_name : name_attribute -> string
Sourceval is_capitalized : string -> bool
Sourceval is_all_capitalized : string -> bool
Sourcetype literal =
  1. | Linteger of string
  2. | LfloatingPoint of string
  3. | Ltrue
  4. | Lfalse
  5. | Lcharacter of string
  6. | Lstring of string
  7. | LtextBlock of string
  8. | Lnull
Sourcetype assignment_operator = {
  1. ao_desc : assignment_operator_desc;
  2. ao_loc : loc;
}
Sourceand assignment_operator_desc =
  1. | AOeq
  2. | AOmulEq
  3. | AOdivEq
  4. | AOmodEq
  5. | AOaddEq
  6. | AOsubEq
  7. | AOshiftLEq
  8. | AOshiftREq
  9. | AOshiftRUEq
  10. | AOandEq
  11. | AOxorEq
  12. | AOorEq
Sourcetype unary_operator =
  1. | UOpostIncrement
  2. | UOpostDecrement
  3. | UOpreIncrement
  4. | UOpreDecrement
  5. | UOpositive
  6. | UOnegative
  7. | UOcomplement
  8. | UOnot
Sourcetype binary_operator =
  1. | BOmul
  2. | BOdiv
  3. | BOmod
  4. | BOadd
  5. | BOsub
  6. | BOshiftL
  7. | BOshiftR
  8. | BOshiftRU
  9. | BOeq
  10. | BOneq
  11. | BOlt
  12. | BOgt
  13. | BOle
  14. | BOge
  15. | BObitAnd
  16. | BObitOr
  17. | BObitXor
  18. | BOand
  19. | BOor
Sourcetype name = {
  1. n_desc : name_desc;
  2. n_loc : loc;
}
Sourceand name_desc =
  1. | Nsimple of name_attribute ref * identifier
  2. | Nqualified of name_attribute ref * name * annotation list * identifier
  3. | Nerror of string
Sourceand javatype = {
  1. ty_desc : javatype_desc;
  2. ty_loc : loc;
}
Sourceand primitive_type =
  1. | PTbyte
  2. | PTshort
  3. | PTint
  4. | PTlong
  5. | PTchar
  6. | PTfloat
  7. | PTdouble
  8. | PTboolean
Sourceand javatype_desc =
  1. | Tprimitive of annotation list * primitive_type
  2. | TclassOrInterface of type_spec list
  3. | Tclass of type_spec list
  4. | Tinterface of type_spec list
  5. | Tarray of javatype * annot_dim list
  6. | Tvoid
Sourceand type_spec =
  1. | TSname of annotation list * name
  2. | TSapply of annotation list * name * type_arguments
Sourceand type_argument = {
  1. ta_desc : type_argument_desc;
  2. ta_loc : loc;
}
Sourceand type_argument_desc =
  1. | TAreferenceType of javatype
  2. | TAwildcard of wildcard
Sourceand wildcard_bounds = {
  1. wb_desc : wildcard_bounds_desc;
  2. wb_loc : loc;
}
Sourceand wildcard_bounds_desc =
  1. | WBextends of javatype
  2. | WBsuper of javatype
Sourceand wildcard = annotation list * wildcard_bounds option
Sourceand type_arguments = {
  1. tas_type_arguments : type_argument list;
  2. tas_loc : loc;
}
Sourceand variable_declarator_id = (loc * identifier) * annot_dim list
Sourceand throws = {
  1. th_exceptions : javatype list;
  2. th_loc : loc;
}
Sourceand extends_class = {
  1. exc_class : javatype;
  2. exc_loc : loc;
}
Sourceand extends_interfaces = {
  1. exi_interfaces : javatype list;
  2. exi_loc : loc;
}
Sourceand implements = {
  1. im_interfaces : javatype list;
  2. im_loc : loc;
}
Sourceand permits = {
  1. pm_type_names : name list;
  2. pm_loc : loc;
}
Sourceand formal_parameter = {
  1. fp_modifiers : modifiers option;
  2. fp_type : javatype;
  3. fp_variable_declarator_id : variable_declarator_id;
  4. fp_variable_arity : bool;
  5. fp_loc : loc;
  6. fp_receiver : identifier option;
}
Sourceand modifiers = {
  1. ms_modifiers : modifier list;
  2. ms_loc : loc;
}
Sourceand modifier = {
  1. m_desc : modifier_desc;
  2. m_loc : loc;
}
Sourceand modifier_desc =
  1. | Mpublic
  2. | Mprotected
  3. | Mprivate
  4. | Mstatic
  5. | Mabstract
  6. | Mfinal
  7. | Mnative
  8. | Msynchronized
  9. | Mtransient
  10. | Mvolatile
  11. | Mstrictfp
  12. | Mannotation of annotation
  13. | Mdefault
  14. | Mtransitive
  15. | Msealed
  16. | Mnon_sealed
  17. | Merror of string
Sourceand variable_initializer = {
  1. vi_desc : variable_initializer_desc;
  2. vi_loc : loc;
}
Sourceand variable_initializer_desc =
  1. | VIexpression of expression
  2. | VIarray of array_initializer
  3. | VIerror of string
Sourceand array_initializer = variable_initializer list
Sourceand variable_declarator = {
  1. vd_variable_declarator_id : variable_declarator_id;
  2. vd_variable_initializer : variable_initializer option;
  3. vd_is_local : bool ref;
  4. vd_loc : loc;
}
Sourceand variable_declarators = variable_declarator list
Sourceand class_declaration_head = {
  1. ch_modifiers : modifiers option;
  2. ch_identifier : identifier;
  3. ch_identifier_loc : loc;
  4. ch_type_parameters : type_parameters option;
  5. ch_extends_class : extends_class option;
  6. ch_implements : implements option;
  7. ch_permits : permits option;
  8. ch_loc : loc;
}
Sourceand record_declaration_head = {
  1. rh_modifiers : modifiers option;
  2. rh_identifier : identifier;
  3. rh_identifier_loc : loc;
  4. rh_type_parameters : type_parameters option;
  5. rh_record_header : formal_parameter list;
  6. rh_implements : implements option;
  7. rh_loc : loc;
}
Sourceand module_declaration = {
  1. mod_head : module_declaration_head;
  2. mod_body : module_body;
  3. mod_loc : loc;
}
Sourceand module_declaration_head = {
  1. mdh_annotations : annotation list;
  2. mdh_open : loc option;
  3. mdh_name : name;
  4. mdh_loc : loc;
}
Sourceand module_name = {
  1. mn_name : name;
  2. mn_loc : loc;
}
Sourceand module_body = {
  1. mb_module_directives : module_directive list;
  2. mb_loc : loc;
}
Sourceand module_directive = {
  1. md_desc : module_directive_desc;
  2. md_loc : loc;
}
Sourceand module_directive_desc =
  1. | MDrequires of modifier list * name
  2. | MDexports of name * module_name list
  3. | MDopens of name * module_name list
  4. | MDuses of name
  5. | MDprovides of name * module_name list
Sourceand class_declaration = {
  1. cd_desc : class_declaration_desc;
  2. cd_loc : loc;
}
Sourceand class_declaration_desc =
  1. | CDclass of class_declaration_head * class_body
  2. | CDenum of class_declaration_head * enum_body
  3. | CDrecord of record_declaration_head * record_body
  4. | CDaspect of class_declaration_head * aspect_body
Sourceand type_parameters = {
  1. tps_type_parameters : type_parameter list;
  2. tps_loc : loc;
}
Sourceand type_variable = identifier
Sourceand type_parameter = {
  1. tp_type_variable : type_variable;
  2. tp_annotations : annotation list;
  3. tp_type_bound : type_bound option;
  4. tp_loc : loc;
}
Sourceand type_bound = {
  1. tb_reference_type : javatype;
  2. tb_additional_bounds : additional_bound list;
  3. tb_loc : loc;
}
Sourceand additional_bound = {
  1. ab_interface : javatype;
  2. ab_loc : loc;
}
Sourceand enum_body = {
  1. eb_enum_constants : enum_constant list;
  2. eb_class_body_declarations : class_body_declaration list;
  3. eb_loc : loc;
}
Sourceand enum_constant = {
  1. ec_annotations : annotations;
  2. ec_identifier : identifier;
  3. ec_arguments : arguments option;
  4. ec_class_body : class_body option;
  5. ec_loc : loc;
}
Sourceand class_body = {
  1. cb_class_body_declarations : class_body_declaration list;
  2. cb_loc : loc;
}
Sourceand class_body_declaration = {
  1. cbd_desc : class_body_declaration_desc;
  2. cbd_loc : loc;
}
Sourceand class_body_declaration_desc =
  1. | CBDfield of field_declaration
  2. | CBDmethod of method_header * block option
  3. | CBDclass of class_declaration
  4. | CBDinterface of interface_declaration
  5. | CBDstaticInitializer of block
  6. | CBDinstanceInitializer of block
  7. | CBDconstructor of constructor_declaration
  8. | CBDempty
  9. | CBDerror of string
  10. | CBDpointcut of pointcut_declaration
  11. | CBDdeclare of declare_declaration
Sourceand record_body = {
  1. rb_record_body_declarations : record_body_declaration list;
  2. rb_loc : loc;
}
Sourceand record_body_declaration = {
  1. rbd_desc : record_body_declaration_desc;
  2. rbd_loc : loc;
}
Sourceand record_body_declaration_desc =
  1. | RBDclass_body_decl of class_body_declaration
  2. | RBDcompact_ctor_decl of compact_constructor_declaration
Sourceand declare_declaration = {
  1. dd_desc : declare_declaration_desc;
  2. dd_loc : loc;
}
Sourceand declare_declaration_desc =
  1. | DDparents of string * classname_pattern_expr * extends_class option * implements option
  2. | DDmessage of string * pointcut_expr * primary
  3. | DDsoft of string * pointcut_expr
  4. | DDprecedence of string * classname_pattern_expr list
Sourceand pointcut_declaration = {
  1. pcd_modifiers : modifiers option;
  2. pcd_name : identifier;
  3. pcd_parameters_loc : loc;
  4. pcd_parameters : formal_parameter list;
  5. pcd_pointcut_expr : pointcut_expr option;
  6. pcd_loc : loc;
}
Sourceand pointcut_expr = {
  1. pe_desc : pointcut_expr_desc;
  2. pe_loc : loc;
}
Sourceand pointcut_expr_desc =
  1. | PEand of pointcut_expr * pointcut_expr
  2. | PEor of pointcut_expr * pointcut_expr
  3. | PEnot of pointcut_expr
  4. | PEparen of pointcut_expr
  5. | PEwithin of classname_pattern_expr
Sourceand classname_pattern_expr = {
  1. cpe_desc : classname_pattern_expr_desc;
  2. cpe_loc : loc;
}
Sourceand classname_pattern_expr_desc =
  1. | CPEand of classname_pattern_expr * classname_pattern_expr
  2. | CPEor of classname_pattern_expr * classname_pattern_expr
  3. | CPEnot of classname_pattern_expr
  4. | CPEparen of classname_pattern_expr
  5. | CPEname of string
  6. | CPEnamePlus of string
Sourceand field_declaration = {
  1. fd_modifiers : modifiers option;
  2. fd_type : javatype;
  3. fd_variable_declarators : variable_declarators;
  4. fd_loc : loc;
}
Sourceand method_header = {
  1. mh_modifiers : modifiers option;
  2. mh_type_parameters : type_parameters option;
  3. mh_annotations : annotation list;
  4. mh_return_type : javatype;
  5. mh_name : identifier;
  6. mh_name_loc : loc;
  7. mh_parameters_loc : loc;
  8. mh_parameters : formal_parameter list;
  9. mh_dims : annot_dim list;
  10. mh_throws : throws option;
  11. mh_loc : loc;
}
Sourceand constructor_declaration = {
  1. cnd_modifiers : modifiers option;
  2. cnd_type_parameters : type_parameters option;
  3. cnd_name : simple_name;
  4. cnd_parameters_loc : loc;
  5. cnd_parameters : formal_parameter list;
  6. cnd_throws : throws option;
  7. cnd_body : constructor_body;
  8. cnd_loc : loc;
}
Sourceand compact_constructor_declaration = {
  1. ccnd_modifiers : modifiers option;
  2. ccnd_name : identifier;
  3. ccnd_body : constructor_body;
  4. ccnd_loc : loc;
}
Sourceand constructor_body = {
  1. cnb_explicit_constructor_invocation : explicit_constructor_invocation option;
  2. cnb_block : block_statement list;
  3. cnb_loc : loc;
}
Sourceand arguments = {
  1. as_arguments : argument list;
  2. as_loc : loc;
}
Sourceand explicit_constructor_invocation = {
  1. eci_desc : explicit_constructor_invocation_desc;
  2. eci_loc : loc;
}
Sourceand explicit_constructor_invocation_desc =
  1. | ECIthis of type_arguments option * arguments
  2. | ECIsuper of type_arguments option * arguments
  3. | ECIprimary of primary * type_arguments option * arguments
  4. | ECIname of name * type_arguments option * arguments
  5. | ECIerror of string
Sourceand interface_declaration_head = {
  1. ifh_modifiers : modifiers option;
  2. ifh_identifier : identifier;
  3. ifh_type_parameters : type_parameters option;
  4. ifh_extends_interfaces : extends_interfaces option;
  5. ifh_permits : permits option;
  6. ifh_loc : loc;
}
Sourceand interface_declaration = {
  1. ifd_desc : interface_declaration_desc;
  2. ifd_loc : loc;
}
Sourceand interface_declaration_desc =
  1. | IFDnormal of interface_declaration_head * interface_body
  2. | IFDannotation of interface_declaration_head * annotation_type_body
Sourceand annotation_type_body = {
  1. atb_member_declarations : annotation_type_member_declaration list;
  2. atb_loc : loc;
}
Sourceand constant_declaration = field_declaration
Sourceand default_value = element_value
Sourceand annotation_type_member_declaration = {
  1. atmd_desc : annotation_type_member_declaration_desc;
  2. atmd_loc : loc;
}
Sourceand annotation_type_member_declaration_desc =
  1. | ATMDconstant of constant_declaration
  2. | ATMDelement of modifiers option * javatype * identifier * annot_dim list * default_value option
  3. | ATMDclass of class_declaration
  4. | ATMDinterface of interface_declaration
  5. | ATMDempty
Sourceand annot_dim = {
  1. ad_annotations : annotations;
  2. ad_loc : loc;
  3. ad_ellipsis : bool;
}
Sourceand interface_body = {
  1. ib_member_declarations : interface_member_declaration list;
  2. ib_loc : loc;
}
Sourceand interface_method_declaration = {
  1. amd_method_header : method_header;
  2. amd_body : block option;
  3. amd_loc : loc;
}
Sourceand interface_member_declaration = {
  1. imd_desc : interface_member_declaration_desc;
  2. imd_loc : loc;
}
Sourceand interface_member_declaration_desc =
  1. | IMDconstant of field_declaration
  2. | IMDinterfaceMethod of interface_method_declaration
  3. | IMDclass of class_declaration
  4. | IMDinterface of interface_declaration
  5. | IMDempty
Sourceand aspect_body = {
  1. abd_aspect_body_declarations : class_body_declaration list;
  2. abd_loc : loc;
}
Sourceand block_statement = {
  1. bs_desc : block_statement_desc;
  2. bs_loc : loc;
}
Sourceand block_statement_desc =
  1. | BSlocal of local_variable_declaration
  2. | BSclass of class_declaration
  3. | BSstatement of statement
  4. | BSerror of string
Sourceand local_variable_declaration = {
  1. lvd_modifiers : modifiers option;
  2. lvd_type : javatype;
  3. lvd_variable_declarators : variable_declarators;
  4. lvd_loc : loc;
}
Sourceand block = {
  1. b_block_statements : block_statement list;
  2. b_loc : loc;
}
Sourceand statement = {
  1. s_desc : statement_desc;
  2. s_loc : loc;
  3. s_extra_loc : loc option;
}
Sourceand statement_desc =
  1. | Sblock of block
  2. | Sempty
  3. | Sexpression of statement_expression
  4. | Sswitch of expression * switch_block
  5. | Sdo of statement * expression
  6. | Sbreak of identifier option
  7. | Scontinue of identifier option
  8. | Sreturn of expression option
  9. | Ssynchronized of expression * block
  10. | Sthrow of expression
  11. | Stry of resource_spec option * block * catches option * finally option
  12. | Syield of expression
  13. | Slabeled of identifier * statement
  14. | SifThen of expression * statement
  15. | SifThenElse of expression * statement * statement
  16. | Swhile of expression * statement
  17. | Sfor of for_init option * expression option * statement_expression list * statement
  18. | SforEnhanced of formal_parameter * expression * statement
  19. | Sassert1 of expression
  20. | Sassert2 of expression * expression
  21. | Serror of string
Sourceand statement_expression = {
  1. se_desc : statement_expression_desc;
  2. se_loc : loc;
}
Sourceand statement_expression_desc =
  1. | SEassignment of assignment
  2. | SEpreIncrement of expression
  3. | SEpreDecrement of expression
  4. | SEpostIncrement of expression
  5. | SEpostDecrement of expression
  6. | SEmethodInvocation of method_invocation
  7. | SEclassInstanceCreation of class_instance_creation
  8. | SEerror of string
Sourceand for_init = {
  1. fi_desc : for_init_desc;
  2. fi_loc : loc;
}
Sourceand for_init_desc =
  1. | FIstatement of statement_expression list
  2. | FIlocal of local_variable_declaration
Sourceand primary = {
  1. mutable p_desc : primary_desc;
  2. p_loc : loc;
}
Sourceand primary_desc =
  1. | Pname of name
  2. | Pliteral of literal
  3. | PclassLiteral of javatype
  4. | PclassLiteralVoid
  5. | Pthis
  6. | PqualifiedThis of name
  7. | Pparen of expression
  8. | PclassInstanceCreation of class_instance_creation
  9. | PfieldAccess of field_access
  10. | PmethodInvocation of method_invocation
  11. | ParrayAccess of array_access
  12. | ParrayCreationExpression of array_creation_expression
  13. | PmethodReference of method_reference
  14. | Perror of string
Sourceand method_reference = {
  1. mr_desc : method_reference_desc;
  2. mr_loc : loc;
}
Sourceand method_reference_desc =
  1. | MRname of name * type_arguments option * identifier
  2. | MRprimary of primary * type_arguments option * identifier
  3. | MRsuper of type_arguments option * identifier
  4. | MRtypeSuper of name * type_arguments option * identifier
  5. | MRtypeNew of javatype * type_arguments option
Sourceand array_creation_expression =
  1. | ACEtype of javatype * dim_expr list * annot_dim list
  2. | ACEtypeInit of javatype * annot_dim list * array_initializer
Sourceand dim_expr = {
  1. de_desc : expression;
  2. de_loc : loc;
}
Sourceand class_instance_creation = {
  1. cic_desc : class_instance_creation_desc;
  2. cic_loc : loc;
}
Sourceand class_instance_creation_desc =
  1. | CICunqualified of type_arguments option * javatype * arguments * class_body option
  2. | CICqualified of primary * type_arguments option * identifier * type_arguments option * arguments * class_body option
  3. | CICnameQualified of name * type_arguments option * identifier * type_arguments option * arguments * class_body option
Sourceand field_access =
  1. | FAprimary of primary * identifier
  2. | FAsuper of identifier
  3. | FAclassSuper of name * identifier
  4. | FAimplicit of name
Sourceand method_invocation = {
  1. mutable mi_desc : method_invocation_desc;
  2. mi_loc : loc;
}
Sourceand method_invocation_desc =
  1. | MImethodName of name * arguments
  2. | MIprimary of primary * type_arguments option * identifier * arguments
  3. | MItypeName of name * type_arguments option * identifier * arguments
  4. | MIsuper of loc * type_arguments option * identifier * arguments
  5. | MIclassSuper of loc * loc * name * type_arguments option * identifier * arguments
Sourceand array_access = {
  1. aa_desc : array_access_desc;
  2. aa_loc : loc;
}
Sourceand array_access_desc =
  1. | AAname of name * expression
  2. | AAprimary of primary * expression
Sourceand argument = expression
Sourceand expression = {
  1. e_desc : expression_desc;
  2. e_loc : loc;
}
Sourceand expression_desc =
  1. | Eprimary of primary
  2. | Eunary of unary_operator * expression
  3. | Ebinary of binary_operator * expression * expression
  4. | Ecast of javatype * expression
  5. | Einstanceof of expression * javatype
  6. | EinstanceofP of expression * local_variable_declaration
  7. | Econd of expression * expression * expression
  8. | Eassignment of assignment
  9. | Elambda of lambda_params * lambda_body
  10. | Eswitch of expression * switch_block
  11. | Eerror of string
Sourceand lambda_params = {
  1. lp_desc : lambda_params_desc;
  2. lp_loc : loc;
}
Sourceand lambda_params_desc =
  1. | LPident of identifier
  2. | LPformal of formal_parameter list
  3. | LPinferred of (loc * identifier) list
Sourceand lambda_body =
  1. | LBexpr of expression
  2. | LBblock of block
Sourceand annotation = {
  1. a_desc : annotation_desc;
  2. a_loc : loc;
}
Sourceand annotation_desc =
  1. | Anormal of name * element_value_pair list
  2. | Amarker of name
  3. | AsingleElement of name * element_value
Sourceand annotations = annotation list
Sourceand element_value = {
  1. ev_desc : element_value_desc;
  2. ev_loc : loc;
}
Sourceand element_value_desc =
  1. | EVconditional of expression
  2. | EVannotation of annotation
  3. | EVarrayInit of element_value list
Sourceand element_value_pair = {
  1. evp_desc : element_value_pair_desc;
  2. evp_loc : loc;
}
Sourceand element_value_pair_desc = identifier * element_value
Sourceand left_hand_side = expression
Sourceand constant_expression = expression
Sourceand switch_label_desc =
  1. | SLconstant of constant_expression list
  2. | SLdefault
Sourceand switch_label = {
  1. sl_desc : switch_label_desc;
  2. sl_loc : loc;
}
Sourceand switch_block_stmt_grp = switch_label list * block_statement list
Sourceand switch_rule_label = {
  1. srl_desc : switch_label_desc;
  2. srl_loc : loc;
}
Sourceand switch_rule_body = {
  1. srb_desc : switch_rule_body_desc;
  2. srb_loc : loc;
}
Sourceand switch_rule_body_desc =
  1. | SRBexpr of expression
  2. | SRBblock of block
  3. | SRBthrow of statement
Sourceand switch_block = {
  1. sb_switch_block_stmt_grps : switch_block_stmt_grp list;
  2. sb_switch_rules : switch_rule list;
  3. sb_loc : loc;
}
Sourceand catch = {
  1. c_formal_parameter : catch_formal_parameter;
  2. c_block : block;
  3. c_loc : loc;
}
Sourceand catches = catch list
Sourceand finally = {
  1. f_block : block;
  2. f_loc : loc;
}
Sourceand catch_formal_parameter = {
  1. cfp_modifiers : modifiers option;
  2. cfp_type_list : javatype list;
  3. cfp_variable_declarator_id : variable_declarator_id;
  4. cfp_loc : loc;
}
Sourceand resource_spec = {
  1. rs_resources : resource list;
  2. rs_loc : loc;
}
Sourceand resource = {
  1. r_desc : resource_desc;
  2. r_loc : loc;
}
Sourceand resource_desc =
  1. | RlocalVarDecl of local_variable_declaration
  2. | RfieldAccess of field_access
  3. | Rname of name
Sourceval set_name_attribute : ?force:bool -> name_attribute -> name -> unit
Sourceval set_attribute : name_attribute -> name_attribute -> name -> unit
Sourceval set_attribute_PT_T : resolve_result -> name -> unit
Sourceval set_attribute_P_T : resolve_result -> name -> unit
Sourceval set_attribute_PT_PT : name -> unit
Sourceval set_attribute_P_P : name -> unit
Sourceval get_name_attribute : name -> name_attribute
Sourceval compose_name : ?attr:name_attribute ref -> name -> identifier -> name
Sourceval decompose_name : name -> name * identifier
Sourceval iter_id : (identifier -> unit) -> name -> unit
Sourceval leftmost_of_name : name -> name_attribute ref * identifier
Sourceval leftmost_identifier : name -> identifier
Sourceval leftmost_name : name -> name
Sourceval is_leftmost_id_capitalized : name -> bool
Sourceval rightmost_identifier : name -> identifier
Sourceval is_rightmost_id_capitalized : name -> bool
Sourceval is_rightmost_id_all_capitalized : name -> bool
Sourceval rightmost_name : name -> name
Sourceval get_qualifier : name -> name
Sourceval is_rightmost_qualifier_capitalized : name -> bool
Sourceval qualifier_contains_capitalized : name -> bool
Sourceval is_all_qualifier_lowercase : name -> bool
Sourceval get_length : name -> int
Sourceval is_simple : name -> bool
Sourceval is_qualified : name -> bool
Sourceval is_ambiguous_name : name -> bool
Sourceval is_type_name : name -> bool
Sourceval is_type : name -> bool
Sourceval is_static : name -> bool
Sourceval is_package_or_type_name : name -> bool
Sourceval is_expression : name -> bool
Sourceval is_unknown_expression : name -> bool
Sourceval is_unknown_name : name -> bool
Sourceval dummy_name : name
Sourcetype package_declaration = {
  1. pd_annotations : annotations;
  2. pd_name : name;
  3. pd_loc : loc;
}
Sourcetype import_declaration = {
  1. id_desc : import_declaration_desc;
  2. id_loc : loc;
}
Sourceand import_declaration_desc =
  1. | IDsingle of name
  2. | IDtypeOnDemand of name
  3. | IDsingleStatic of name * identifier
  4. | IDstaticOnDemand of name
  5. | IDerror of string
Sourcetype type_declaration = {
  1. td_desc : type_declaration_desc;
  2. td_loc : loc;
}
Sourceand type_declaration_desc =
  1. | TDclass of class_declaration
  2. | TDinterface of interface_declaration
  3. | TDempty
  4. | TDerror of string
  5. | TDorphan of type_declaration option * class_body_declaration
Sourcetype compilation_unit = {
  1. cu_package : package_declaration option;
  2. cu_imports : import_declaration list;
  3. cu_tydecls : type_declaration list;
  4. cu_modecl : module_declaration option;
}
Sourceval _mkprim : loc -> primary_desc -> primary
Sourceval mh_is_generic : method_header -> bool
Sourceval get_modifiers_from_mh : method_header -> modifier list
Sourceval get_annot_dims_from_type : javatype -> annot_dim list
Sourceval annot_exists : annot_dim list -> bool
Sourceval proc_op : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
Sourceval proc_element_value : (name -> unit) -> default_value -> unit
Sourceval proc_annotation : (name -> unit) -> annotation -> unit
Sourceval proc_type : (name -> unit) -> javatype -> unit
Sourceval proc_type_spec : (name -> unit) -> type_spec -> unit
Sourceval proc_expression : (name -> unit) -> left_hand_side -> unit
Sourceval proc_lambda_block : (name -> unit) -> lambda_body -> unit
Sourceval _name_to_facc : name -> primary_desc
Sourceval name_to_facc : name -> primary
Sourceval proc_primary : (name -> unit) -> primary -> unit
Sourceval proc_class_instance_creation : (name -> unit) -> class_instance_creation -> unit
Sourceval proc_class_body_declaration : (name -> unit) -> class_body_declaration -> unit
Sourceval proc_record_body_declaration : (name -> unit) -> record_body_declaration -> unit
Sourceval proc_compact_ctor_decl : (name -> unit) -> compact_constructor_declaration -> unit
Sourceval proc_type_bound : (name -> unit) -> type_bound -> unit
Sourceval proc_type_parameter : (name -> unit) -> type_parameter -> unit
Sourceval proc_type_parameters : (name -> unit) -> type_parameters -> unit
Sourceval proc_method_header : (name -> unit) -> method_header -> unit
Sourceval proc_formal_parameter : (name -> unit) -> formal_parameter -> unit
Sourceval proc_throws : (name -> unit) -> throws -> unit
Sourceval proc_array_initializer : (name -> unit) -> array_initializer -> unit
Sourceval proc_variable_initializer : (name -> unit) -> variable_initializer -> unit
Sourceval proc_variable_declarator : (name -> unit) -> variable_declarator -> unit
Sourceval proc_local_variable_declaration : (name -> unit) -> local_variable_declaration -> unit
Sourceval proc_statement_expression : (name -> unit) -> statement_expression -> unit
Sourceval proc_switch_label : (name -> unit) -> switch_label -> unit
Sourceval proc_statement : (name -> unit) -> statement -> unit
Sourceval proc_resource_spec : (name -> unit) -> resource_spec -> unit
Sourceval proc_resource : (name -> unit) -> resource -> unit
Sourceval proc_catch : (name -> unit) -> catch -> unit
Sourceval proc_catch_formal_parameter : (name -> unit) -> catch_formal_parameter -> unit
Sourceval proc_for_init : (name -> unit) -> for_init -> unit
Sourceval proc_block_statement : (name -> unit) -> block_statement -> unit
Sourceval proc_block : (name -> unit) -> block -> unit
Sourceval proc_extends_class : (name -> unit) -> extends_class -> unit
Sourceval proc_implements : (name -> unit) -> implements -> unit
Sourceval proc_permits : (name -> unit) -> permits -> unit
Sourceval proc_class_declaration_head : (name -> unit) -> class_declaration_head -> unit
Sourceval proc_record_declaration_head : (name -> unit) -> record_declaration_head -> unit
Sourceval proc_class_declaration : (name -> unit) -> class_declaration -> unit
Sourceval proc_aspect_body : (name -> unit) -> aspect_body -> unit
Sourceval proc_enum_body : (name -> unit) -> enum_body -> unit
Sourceval proc_enum_constant : (name -> unit) -> enum_constant -> unit
Sourceval proc_interface_declaration_head : (name -> unit) -> interface_declaration_head -> unit
Sourceval proc_interface_declaration : (name -> unit) -> interface_declaration -> unit
Sourceval proc_annotation_type_member_declaration : (name -> unit) -> annotation_type_member_declaration -> unit
Sourceval proc_interface_body : (name -> unit) -> interface_body -> unit
Sourceval proc_interface_member_declaration : (name -> unit) -> interface_member_declaration -> unit
Sourceval proc_modifiers : (name -> unit) -> modifiers -> unit
Sourceval proc_modifier : (name -> unit) -> modifier -> unit
Sourceval proc_field_declaration : (name -> unit) -> constant_declaration -> unit
Sourceval proc_interface_method_declaration : (name -> unit) -> interface_method_declaration -> unit
Sourceval proc_constructor_declaration : (name -> unit) -> constructor_declaration -> unit
Sourceval proc_constructor_body : (name -> unit) -> constructor_body -> unit
Sourceval proc_explicit_constructor_invocation : (name -> unit) -> explicit_constructor_invocation -> unit
Sourceval proc_method_reference : (name -> unit) -> method_reference -> unit
Sourceval proc_class_body : (name -> unit) -> class_body -> unit
Sourceval proc_record_body : (name -> unit) -> record_body -> unit
Sourceval proc_arguments : (name -> unit) -> arguments -> unit
Sourceval proc_type_argument : (name -> unit) -> type_argument -> unit
Sourceval proc_wildcard : (name -> unit) -> wildcard -> unit
Sourceval proc_wildcard_bounds : (name -> unit) -> wildcard_bounds -> unit
Sourceval proc_type_arguments : (name -> unit) -> type_arguments -> unit
Sourceval proc_field_access : (name -> unit) -> field_access -> unit
Sourceval name_attribute_to_string : name_attribute -> string
Sourceval name_to_simple_string : name -> identifier
Sourceval name_to_string : name -> string
Sourceval prim_to_string : primary -> string
Sourceval proc_method_invocation : (name -> unit) -> method_invocation -> unit
Sourceval proc_array_access : (name -> unit) -> array_access -> unit
Sourceval proc_array_creation_expression : (name -> unit) -> array_creation_expression -> unit
Sourceval proc_type_declaration : (name -> unit) -> type_declaration -> unit
Sourceval proc_import_declaration : (name -> unit) -> import_declaration -> unit
Sourceclass c : compilation_unit -> object ... end
Sourceval dummy_type : javatype
Sourcetype declaration =
  1. | D_import of import_declaration
  2. | D_type of type_declaration
Sourceval partition_declarations : declaration list -> import_declaration list * type_declaration list