diffast-langs-java-parsing 0.1.1

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token

type token = token

type production

type 'a env

type 'a checkpoint = private

| InputNeeded of 'a env
| Shifting of 'a env * 'a env * bool
| AboutToReduce of 'a env * production
| HandlingError of 'a env
| Accepted of 'a
| Rejected

val offer : 
  'a checkpoint ->
  (token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a checkpoint

type strategy = [

| `Legacy
| `Simplified

]

val resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint

type supplier =
  unit ->
  token
  * MenhirLib.IncrementalEngine.position
  * MenhirLib.IncrementalEngine.position

val lexer_lexbuf_to_supplier : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  supplier

val loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a

val loop_handle : 
  ('a -> 'answer) ->
  ('a checkpoint -> 'answer) ->
  supplier ->
  'a checkpoint ->
  'answer

val loop_handle_undo : 
  ('a -> 'answer) ->
  ('a checkpoint -> 'a checkpoint -> 'answer) ->
  supplier ->
  'a checkpoint ->
  'answer

val shifts : 'a checkpoint -> 'a env option

val acceptable : 
  'a checkpoint ->
  token ->
  MenhirLib.IncrementalEngine.position ->
  bool

type 'a lr1state

val number : _ lr1state -> int

val production_index : production -> int

val find_production : int -> production

type element =

| Element : 'a lr1state * 'a * MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position -> element

type stack = element MenhirLib.General.stream

val stack : 'a env -> stack

val top : 'a env -> element option

val pop_many : int -> 'a env -> 'a env option

val get : int -> 'a env -> element option

val current_state_number : 'a env -> int

val equal : 'a env -> 'a env -> bool

val positions : 
  'a env ->
  MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position

val env_has_default_reduction : 'a env -> bool

val state_has_default_reduction : _ lr1state -> bool

val pop : 'a env -> 'a env option

val force_reduction : production -> 'a env -> 'a env

val input_needed : 'a env -> 'a checkpoint

type 'a terminal = 'a Java_parsing.Tokens_.MenhirInterpreter.terminal

type _ nonterminal =

| N_yield_statement : Ast.statement nonterminal
| N_wildcard_3 : (Ast.wildcard * Lexing.position) nonterminal
| N_wildcard_2 : (Ast.wildcard * Lexing.position) nonterminal
| N_wildcard_1 : (Ast.wildcard * Lexing.position) nonterminal
| N_wildcard : Ast.wildcard nonterminal
| N_while_statement_no_short_if : Ast.statement nonterminal
| N_while_statement : Ast.statement nonterminal
| N_void : Ast.javatype nonterminal
| N_variable_modifier : Ast.modifier nonterminal
| N_variable_initializers : Ast.variable_initializer list nonterminal
| N_variable_initializer : Ast.variable_initializer nonterminal
| N_variable_declarator_id : Ast.variable_declarator_id nonterminal
| N_variable_declarator : Ast.variable_declarator nonterminal
| N_unary_pointcut_expr : Ast.pointcut_expr nonterminal
| N_unary_expression_not_plus_minus_or_lambda_expression : Ast.left_hand_side nonterminal
| N_unary_expression_not_plus_minus_nn : Ast.left_hand_side nonterminal
| N_unary_expression_not_plus_minus : Ast.left_hand_side nonterminal
| N_unary_expression_nn : Ast.left_hand_side nonterminal
| N_unary_expression : Ast.left_hand_side nonterminal
| N_unary_classname_pattern_expr : Ast.classname_pattern_expr nonterminal
| N_unann_type : Ast.javatype nonterminal
| N_unann_reference_type : Ast.javatype nonterminal
| N_unann_primitive_type : Ast.javatype nonterminal
| N_unann_class_or_interface_type_spec : (Ast.type_spec list * Ast.annotations * Ast.name) nonterminal
| N_unann_class_or_interface_type : Ast.javatype nonterminal
| N_unann_array_type : Ast.javatype nonterminal
| N_type_variable : (Ast.annotations * string) nonterminal
| N_type_parameters : Ast.type_parameters nonterminal
| N_type_parameter_list_1 : Ast.type_parameter list nonterminal
| N_type_parameter_list : Ast.type_parameter list nonterminal
| N_type_parameter_1 : Ast.type_parameter nonterminal
| N_type_parameter : Ast.type_parameter nonterminal
| N_type_import_on_demand_declaration : Ast.import_declaration nonterminal
| N_type_declaration : Ast.type_declaration nonterminal
| N_type_bound_1 : Ast.type_bound nonterminal
| N_type_bound : Ast.type_bound nonterminal
| N_type_arguments : Ast.type_arguments nonterminal
| N_type_argument_list_3 : Ast.type_argument list nonterminal
| N_type_argument_list_2 : Ast.type_argument list nonterminal
| N_type_argument_list_1 : Ast.type_argument list nonterminal
| N_type_argument_list : Ast.type_argument list nonterminal
| N_type_argument_3 : Ast.type_argument nonterminal
| N_type_argument_2 : Ast.type_argument nonterminal
| N_type_argument_1 : Ast.type_argument nonterminal
| N_type_argument : Ast.type_argument nonterminal
| N_try_statement : Ast.statement nonterminal
| N_try_head : unit nonterminal
| N_try_block : (Ast.resource_spec option * Ast.block) nonterminal
| N_throws : Ast.throws nonterminal
| N_throw_statement : Ast.statement nonterminal
| N_this : Ast.loc nonterminal
| N_synchronized_statement : Ast.statement nonterminal
| N_switch_statement : Ast.statement nonterminal
| N_switch_rules : Ast.switch_rule list nonterminal
| N_switch_rule_label : Ast.switch_rule_label nonterminal
| N_switch_rule : Ast.switch_rule nonterminal
| N_switch_label : Ast.switch_label nonterminal
| N_switch_expression : Ast.left_hand_side nonterminal
| N_switch_block_statement_groups : Ast.switch_block_stmt_grp list nonterminal
| N_switch_block_statement_group : Ast.switch_block_stmt_grp nonterminal
| N_switch_block : Ast.switch_block nonterminal
| N_super_ext : Ast.extends_class nonterminal
| N_super : Ast.loc nonterminal
| N_static_type_import_on_demand_declaration : Ast.import_declaration nonterminal
| N_static_single_type_import_declaration : Ast.import_declaration nonterminal
| N_static_initializer : Ast.class_body_declaration nonterminal
| N_statement_without_trailing_substatement : Ast.statement nonterminal
| N_statement_no_short_if : Ast.statement nonterminal
| N_statement_expression : Ast.statement_expression nonterminal
| N_statement : Ast.statement nonterminal
| N_single_type_import_declaration : Ast.import_declaration nonterminal
| N_single_element_annotation_body : Ast.annotation_desc nonterminal
| N_simple_name_pattern : string nonterminal
| N_simple_name : string nonterminal
| N_shift_expression_nn : Ast.left_hand_side nonterminal
| N_shift_expression : Ast.left_hand_side nonterminal
| N_separated_nonempty_list_COMMA_variable_declarator_ : Ast.variable_declarators nonterminal
| N_separated_nonempty_list_COMMA_statement_expression_ : Ast.statement_expression list nonterminal
| N_separated_nonempty_list_COMMA_name_ : Ast.name list nonterminal
| N_separated_nonempty_list_COMMA_module_name_ : Ast.module_name list nonterminal
| N_separated_nonempty_list_COMMA_interface_type_ : Ast.javatype list nonterminal
| N_separated_nonempty_list_COMMA_identifier_ : (Ast.loc * string) list nonterminal
| N_separated_nonempty_list_COMMA_formal_parameter_ : Ast.formal_parameter list nonterminal
| N_separated_nonempty_list_COMMA_expr_or_err_ : Ast.left_hand_side list nonterminal
| N_separated_nonempty_list_COMMA_element_value_pair_ : Ast.element_value_pair list nonterminal
| N_separated_nonempty_list_COMMA_element_value_ : Ast.element_value list nonterminal
| N_separated_nonempty_list_COMMA_constant_expression_ : Ast.left_hand_side list nonterminal
| N_separated_nonempty_list_COMMA_class_type_ : Ast.javatype list nonterminal
| N_return_statement : Ast.statement nonterminal
| N_resource_spec : Ast.resource_spec nonterminal
| N_resource_list : Ast.resource list nonterminal
| N_resource : Ast.resource nonterminal
| N_reserved : unit nonterminal
| N_requires_modifier : Ast.modifier nonterminal
| N_relational_expression_nn : Ast.left_hand_side nonterminal
| N_relational_expression : Ast.left_hand_side nonterminal
| N_reference_type_3 : Ast.javatype nonterminal
| N_reference_type_2 : Ast.javatype nonterminal
| N_reference_type_1 : Ast.javatype nonterminal
| N_record_header : Ast.formal_parameter list nonterminal
| N_record_declaration_head1 : ((Ast.modifiers option * (Ast.loc * string)) * Ast.type_parameters option) nonterminal
| N_record_declaration_head0 : (Ast.modifiers option * (Ast.loc * string)) nonterminal
| N_record_declaration_head : Ast.record_declaration_head nonterminal
| N_record_declaration : Ast.class_declaration nonterminal
| N_record_body_declaration : Ast.record_body_declaration nonterminal
| N_record_body : Ast.record_body nonterminal
| N_primary_no_new_array : Ast.primary nonterminal
| N_primary : Ast.primary nonterminal
| N_pre_increment_expression : Ast.left_hand_side nonterminal
| N_pre_decrement_expression : Ast.left_hand_side nonterminal
| N_postfix_expression_nn : Ast.left_hand_side nonterminal
| N_postfix_expression : Ast.left_hand_side nonterminal
| N_post_increment_expression : Ast.left_hand_side nonterminal
| N_post_decrement_expression : Ast.left_hand_side nonterminal
| N_pointcut_expr : Ast.pointcut_expr nonterminal
| N_pointcut_declaration : Ast.pointcut_declaration nonterminal
| N_permits : Ast.permits nonterminal
| N_pattern : Ast.local_variable_declaration nonterminal
| N_partial_block_statement : Ast.block_statement nonterminal
| N_partial_assert_statement : Ast.statement nonterminal
| N_package_declaration : Ast.package_declaration nonterminal
| N_or_pointcut_expr : Ast.pointcut_expr nonterminal
| N_numeric_type : Ast.javatype nonterminal
| N_normal_interface_declaration_head1 : ((Ast.modifiers option * string) * Ast.type_parameters option) nonterminal
| N_normal_interface_declaration_head0 : (Ast.modifiers option * string) nonterminal
| N_normal_interface_declaration_head : Ast.interface_declaration_head nonterminal
| N_normal_interface_declaration : Ast.interface_declaration nonterminal
| N_normal_annotation_body : Ast.annotation_desc nonterminal
| N_nonempty_list_variable_modifier_ : Ast.modifier list nonterminal
| N_nonempty_list_switch_label_ : Ast.switch_label list nonterminal
| N_nonempty_list_element_value_comma_ : Ast.element_value list nonterminal
| N_nonempty_list_catch_clause_ : Ast.catches nonterminal
| N_nonempty_list_block_statement_ : Ast.block_statement list nonterminal
| N_nonempty_list_annotation_or_modifier_ : Ast.modifier list nonterminal
| N_nonempty_list_annotation_ : Ast.annotations nonterminal
| N_nonempty_list_ann_dim_ : Ast.annot_dim list nonterminal
| N_nonempty_list_additional_bound_ : Ast.additional_bound list nonterminal
| N_name_pattern : string nonterminal
| N_name : Ast.name nonterminal
| N_multiplicative_expression_nn : Ast.left_hand_side nonterminal
| N_multiplicative_expression : Ast.left_hand_side nonterminal
| N_module_name : Ast.module_name nonterminal
| N_module_directive : Ast.module_directive nonterminal
| N_module_declaration_head : Ast.module_declaration_head nonterminal
| N_module_declaration : Ast.module_declaration nonterminal
| N_module_body : Ast.module_body nonterminal
| N_modifiers : Ast.modifiers nonterminal
| N_method_reference : Ast.method_reference nonterminal
| N_method_invocation : Ast.method_invocation nonterminal
| N_method_header : Ast.method_header nonterminal
| N_method_declarator_head : ((Ast.loc * string) * Ast.loc) nonterminal
| N_method_declarator : (((Ast.loc * string) * Ast.loc * Ast.formal_parameter list) * Ast.annot_dim list) nonterminal
| N_method_declaration : Ast.class_body_declaration nonterminal
| N_method_body : Ast.block option nonterminal
| N_marker_annotation_body : Ast.annotation_desc nonterminal
| N_main : Ast.compilation_unit nonterminal
| N_loption_block_statements_ : Ast.block_statement list nonterminal
| N_local_variable_declaration_statement : Ast.block_statement nonterminal
| N_local_variable_declaration : Ast.local_variable_declaration nonterminal
| N_literal : Ast.literal nonterminal
| N_list_requires_modifier_ : Ast.modifier list nonterminal
| N_list_record_body_declaration_ : Ast.record_body_declaration list nonterminal
| N_list_module_directive_ : Ast.module_directive list nonterminal
| N_list_interface_member_declaration_ : Ast.interface_member_declaration list nonterminal
| N_list_class_body_declaration_ : Ast.class_body_declaration list nonterminal
| N_list_annotation_type_member_declaration_ : Ast.annotation_type_member_declaration list nonterminal
| N_lambda_parameters : Ast.lambda_params nonterminal
| N_lambda_expression : Ast.left_hand_side nonterminal
| N_lambda_e : Ast.left_hand_side nonterminal
| N_lambda_body : Ast.lambda_body nonterminal
| N_lambda_b : Ast.lambda_body nonterminal
| N_labeled_statement_no_short_if : Ast.statement nonterminal
| N_labeled_statement_head : string nonterminal
| N_labeled_statement : Ast.statement nonterminal
| N_javatype_vdid : Ast.formal_parameter nonterminal
| N_interfaces : Ast.implements nonterminal
| N_interface_method_declaration : Ast.interface_method_declaration nonterminal
| N_interface_member_declaration : Ast.interface_member_declaration nonterminal
| N_interface_declaration : Ast.interface_declaration nonterminal
| N_interface_body : Ast.interface_body nonterminal
| N_integral_type : Ast.primitive_type nonterminal
| N_instanceof_expression_nn : Ast.left_hand_side nonterminal
| N_instanceof_expression : Ast.left_hand_side nonterminal
| N_instance_initializer : Ast.class_body_declaration nonterminal
| N_inclusive_or_expression_nn : Ast.left_hand_side nonterminal
| N_inclusive_or_expression : Ast.left_hand_side nonterminal
| N_import_declaration : Ast.import_declaration nonterminal
| N_if_then_statement : Ast.statement nonterminal
| N_if_then_else_statement_no_short_if : Ast.statement nonterminal
| N_if_then_else_statement : Ast.statement nonterminal
| N_identifier : (Ast.loc * string) nonterminal
| N_formal_parameter : Ast.formal_parameter nonterminal
| N_for_update0 : Ast.statement_expression list nonterminal
| N_for_update : Ast.statement_expression list nonterminal
| N_for_statement_no_short_if : Ast.statement nonterminal
| N_for_statement_head : unit nonterminal
| N_for_statement : Ast.statement nonterminal
| N_for_init_opt : Ast.for_init option nonterminal
| N_for_init : Ast.for_init nonterminal
| N_floating_point_type : Ast.primitive_type nonterminal
| N_finally : Ast.finally nonterminal
| N_field_declaration : Ast.field_declaration nonterminal
| N_field_access : Ast.field_access nonterminal
| N_extends_interfaces_opt : Ast.extends_interfaces option nonterminal
| N_expression_statement : Ast.statement nonterminal
| N_expression_opt : Ast.left_hand_side option nonterminal
| N_expression_nn : Ast.left_hand_side nonterminal
| N_expression : Ast.left_hand_side nonterminal
| N_explicit_constructor_invocation : Ast.explicit_constructor_invocation nonterminal
| N_exclusive_or_expression_nn : Ast.left_hand_side nonterminal
| N_exclusive_or_expression : Ast.left_hand_side nonterminal
| N_equality_expression_nn : Ast.left_hand_side nonterminal
| N_equality_expression : Ast.left_hand_side nonterminal
| N_enum_declaration_head0 : (Ast.modifiers option * (Ast.loc * string)) nonterminal
| N_enum_declaration_head : Ast.class_declaration_head nonterminal
| N_enum_declaration : Ast.class_declaration nonterminal
| N_enum_constants : Ast.enum_constant list nonterminal
| N_enum_constant_head : (Ast.loc * Ast.annotations * string * Ast.arguments option) nonterminal
| N_enum_constant : Ast.enum_constant nonterminal
| N_enum_body_declarations0 : Ast.class_body_declaration list nonterminal
| N_enum_body : Ast.enum_body nonterminal
| N_enhanced_for_statement_no_short_if : Ast.statement nonterminal
| N_enhanced_for_statement : Ast.statement nonterminal
| N_empty_statement : Ast.statement nonterminal
| N_element_value_pair : Ast.element_value_pair nonterminal
| N_element_value_array_initializer : Ast.element_value list nonterminal
| N_element_value : Ast.element_value nonterminal
| N_do_statement : Ast.statement nonterminal
| N_dim_exprs : Ast.dim_expr list nonterminal
| N_dim_expr : Ast.dim_expr nonterminal
| N_default_value_opt : Ast.element_value option nonterminal
| N_default_value : Ast.element_value nonterminal
| N_declare_declaration : Ast.declare_declaration nonterminal
| N_declarations : Ast.declaration list nonterminal
| N_declaration : Ast.declaration nonterminal
| N_continue_statement : Ast.statement nonterminal
| N_constructor_declarator_head : (string * Ast.loc) nonterminal
| N_constructor_declarator : (Ast.loc * string * Ast.loc * Ast.formal_parameter list) nonterminal
| N_constructor_declaration : Ast.constructor_declaration nonterminal
| N_constructor_body : Ast.constructor_body nonterminal
| N_conditional_or_expression_nn : Ast.left_hand_side nonterminal
| N_conditional_or_expression : Ast.left_hand_side nonterminal
| N_conditional_expression_nn : Ast.left_hand_side nonterminal
| N_conditional_expression : Ast.left_hand_side nonterminal
| N_conditional_and_expression_nn : Ast.left_hand_side nonterminal
| N_conditional_and_expression : Ast.left_hand_side nonterminal
| N_compilation_unit : Ast.compilation_unit nonterminal
| N_compact_constructor_declaration : Ast.compact_constructor_declaration nonterminal
| N_classname_pattern_expr_list : Ast.classname_pattern_expr list nonterminal
| N_classname_pattern_expr : Ast.classname_pattern_expr nonterminal
| N_class_member_declaration : Ast.class_body_declaration nonterminal
| N_class_instance_creation_head_qualified : (Ast.primary option * Ast.name option * Ast.type_arguments option) nonterminal
| N_class_instance_creation_head : (Ast.type_arguments option * Ast.javatype) nonterminal
| N_class_instance_creation_expression : Ast.class_instance_creation nonterminal
| N_class_declaration_head1 : ((Ast.modifiers option * (Ast.loc * string)) * Ast.type_parameters option) nonterminal
| N_class_declaration_head0 : (Ast.modifiers option * (Ast.loc * string)) nonterminal
| N_class_declaration_head : Ast.class_declaration_head nonterminal
| N_class_declaration : Ast.class_declaration nonterminal
| N_class_body_declaration : Ast.class_body_declaration nonterminal
| N_class_body : Ast.class_body nonterminal
| N_catch_type : Ast.javatype list nonterminal
| N_catch_formal_parameter : Ast.catch_formal_parameter nonterminal
| N_catch_clause_header : unit nonterminal
| N_catch_clause : Ast.catch nonterminal
| N_cast_expression : Ast.left_hand_side nonterminal
| N_break_statement : Ast.statement nonterminal
| N_block_statement : Ast.block_statement nonterminal
| N_block : Ast.block nonterminal
| N_basic_pointcut_expr : Ast.pointcut_expr nonterminal
| N_basic_classname_pattern_expr : Ast.classname_pattern_expr nonterminal
| N_assignment_expression_nn : Ast.left_hand_side nonterminal
| N_assignment_expression : Ast.left_hand_side nonterminal
| N_assignment : Ast.assignment nonterminal
| N_assert_statement : Ast.statement nonterminal
| N_aspect_declaration_head0 : (Ast.modifiers option * (Ast.loc * string)) nonterminal
| N_aspect_declaration_head : Ast.class_declaration_head nonterminal
| N_aspect_declaration : Ast.class_declaration nonterminal
| N_aspect_body_declarations : Ast.class_body_declaration list nonterminal
| N_aspect_body_declaration : Ast.class_body_declaration nonterminal
| N_aspect_body : Ast.aspect_body nonterminal
| N_array_initializer : Ast.variable_initializer nonterminal
| N_array_creation_noinit : Ast.array_creation_expression nonterminal
| N_array_creation_init : Ast.array_creation_expression nonterminal
| N_array_access : Ast.array_access nonterminal
| N_annotations : Ast.annotations nonterminal
| N_annotation_type_member_declaration : Ast.annotation_type_member_declaration nonterminal
| N_annotation_type_declaration_head : Ast.interface_declaration_head nonterminal
| N_annotation_type_declaration : Ast.interface_declaration nonterminal
| N_annotation_type_body : Ast.annotation_type_body nonterminal
| N_annotation_body : Ast.annotation_desc nonterminal
| N_annotation : Ast.annotation nonterminal
| N_ann_dims : Ast.annot_dim list nonterminal
| N_ann_dim : Ast.annot_dim nonterminal
| N_and_expression_nn : Ast.left_hand_side nonterminal
| N_and_expression : Ast.left_hand_side nonterminal
| N_and_classname_pattern_expr : Ast.classname_pattern_expr nonterminal
| N_adhoc_modifier : Ast.modifier_desc nonterminal
| N_additive_expression_nn : Ast.left_hand_side nonterminal
| N_additive_expression : Ast.left_hand_side nonterminal
| N_additional_bound_list_1 : Ast.additional_bound list nonterminal
| N_additional_bound_list : Ast.additional_bound list nonterminal
| N_additional_bound_1 : Ast.additional_bound nonterminal
| N_additional_bound : Ast.additional_bound nonterminal

include MenhirLib.IncrementalEngine.INSPECTION
  with type 'a lr1state := 'a lr1state
  with type production := production
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal
  with type 'a env := 'a env

include MenhirLib.IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal

type 'a symbol =

| T : 'a terminal -> 'a symbol
| N : 'a nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol

type item = production * int

val compare_terminals : _ terminal -> _ terminal -> int

val compare_nonterminals : _ nonterminal -> _ nonterminal -> int

val compare_symbols : xsymbol -> xsymbol -> int

val compare_productions : production -> production -> int

val compare_items : item -> item -> int

val incoming_symbol : 'a lr1state -> 'a symbol

val items : _ lr1state -> item list

val lhs : production -> xsymbol

val rhs : production -> xsymbol list

val nullable : _ nonterminal -> bool

val first : _ nonterminal -> _ terminal -> bool

val xfirst : xsymbol -> _ terminal -> bool

val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val feed : 
  'a symbol ->
  MenhirLib.IncrementalEngine.position ->
  'a ->
  MenhirLib.IncrementalEngine.position ->
  'b env ->
  'b env

package diffast-langs-java-parsing