type token = | TUnknown of Parse_info.t| EOF of Parse_info.t| TComment of Parse_info.t| TCommentNewline of Parse_info.t| TCommentSpace of Parse_info.t| TInt of string * Parse_info.t| TFloat of string * Parse_info.t| TChar of string * Parse_info.t| TString of string * Parse_info.t| IDENTIFIER of string * Parse_info.t| PRIMITIVE_TYPE of string * Parse_info.t| LP of Parse_info.t| RP of Parse_info.t| LC of Parse_info.t| RC of Parse_info.t| LB of Parse_info.t| RB of Parse_info.t| SM of Parse_info.t| CM of Parse_info.t| DOT of Parse_info.t| EQ of Parse_info.t| GT of Parse_info.t| LT of Parse_info.t| NOT of Parse_info.t| COMPL of Parse_info.t| COND of Parse_info.t| COLON of Parse_info.t| EQ_EQ of Parse_info.t| LE of Parse_info.t| GE of Parse_info.t| NOT_EQ of Parse_info.t| AND_AND of Parse_info.t| OR_OR of Parse_info.t| INCR of Parse_info.t| DECR of Parse_info.t| PLUS of Parse_info.t| MINUS of Parse_info.t| TIMES of Parse_info.t| DIV of Parse_info.t| AND of Parse_info.t| OR of Parse_info.t| XOR of Parse_info.t| MOD of Parse_info.t| LS of Parse_info.t| SRS of Parse_info.t| URS of Parse_info.t| AT of Parse_info.t| DOTS of Parse_info.t| ARROW of Parse_info.t| COLONCOLON of Parse_info.t| OPERATOR_EQ of Ast_generic.arithmetic_operator * Parse_info.t| ABSTRACT of Parse_info.t| BREAK of Parse_info.t| CASE of Parse_info.t| CATCH of Parse_info.t| CLASS of Parse_info.t| CONST of Parse_info.t| CONTINUE of Parse_info.t| DEFAULT of Parse_info.t| DO of Parse_info.t| ELSE of Parse_info.t| EXTENDS of Parse_info.t| FINAL of Parse_info.t| FINALLY of Parse_info.t| FOR of Parse_info.t| GOTO of Parse_info.t| IF of Parse_info.t| IMPLEMENTS of Parse_info.t| IMPORT of Parse_info.t| INSTANCEOF of Parse_info.t| INTERFACE of Parse_info.t| NATIVE of Parse_info.t| NEW of Parse_info.t| PACKAGE of Parse_info.t| PRIVATE of Parse_info.t| PROTECTED of Parse_info.t| PUBLIC of Parse_info.t| RETURN of Parse_info.t| STATIC of Parse_info.t| STRICTFP of Parse_info.t| SUPER of Parse_info.t| SWITCH of Parse_info.t| SYNCHRONIZED of Parse_info.t| THIS of Parse_info.t| THROW of Parse_info.t| THROWS of Parse_info.t| TRANSIENT of Parse_info.t| TRY of Parse_info.t| VOID of Parse_info.t| VOLATILE of Parse_info.t| WHILE of Parse_info.t| ASSERT of Parse_info.t| ENUM of Parse_info.t| TRUE of Parse_info.t| FALSE of Parse_info.t| NULL of Parse_info.t| VAR of Parse_info.t| LB_RB of Parse_info.t| LT_GENERIC of Parse_info.t| LP_LAMBDA of Parse_info.t| DEFAULT_COLON of Parse_info.tval goal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast_java.programval sgrep_spatch_pattern :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Ast_java.any