parsing_cocci/parser_cocci_menhir.mli

   1 exception Error
   2
   3 type token =
   4   | Tvolatile of (Data.clt)
   5   | Tvoid of (Data.clt)
   6   | Tunsigned of (Data.clt)
   7   | Tunion of (Data.clt)
   8   | Ttypedef of (Data.clt)
   9   | Tstruct of (Data.clt)
  10   | Tstatic of (Data.clt)
  11   | Tssize_t of (Data.clt)
  12   | Tsize_t of (Data.clt)
  13   | Tsigned of (Data.clt)
  14   | Tshort of (Data.clt)
  15   | Tregister of (Data.clt)
  16   | Tptrdiff_t of (Data.clt)
  17   | Tlong of (Data.clt)
  18   | Tlist
  19   | Tint of (Data.clt)
  20   | Tinline of (Data.clt)
  21   | Tfloat of (Data.clt)
  22   | Textern of (Data.clt)
  23   | Tenum of (Data.clt)
  24   | Tdouble of (Data.clt)
  25   | Tconst of (Data.clt)
  26   | Tchar of (Data.clt)
  27   | Tauto of (Data.clt)
  28   | Tattr of (string * Data.clt)
  29   | TXor of (Data.clt)
  30   | TWords
  31   | TWhy0
  32   | TWhy of (Data.clt)
  33   | TWhile of (Data.clt)
  34   | TWhenTrue of (Data.clt)
  35   | TWhenFalse of (Data.clt)
  36   | TWhen of (Data.clt)
  37   | TVirtual
  38   | TUsing
  39   | TUnderscore
  40   | TUndef of (Data.clt * token)
  41   | TTypedef
  42   | TTypeId of (string * Data.clt)
  43   | TType
  44   | TTildeExclEq of (Data.clt)
  45   | TTildeEq of (Data.clt)
  46   | TTilde of (Data.clt)
  47   | TSwitch of (Data.clt)
  48   | TSub of (Data.clt)
  49   | TString of (string * Data.clt)
  50   | TStrict of (Data.clt)
  51   | TStatement
  52   | TSizeof of (Data.clt)
  53   | TShROp of (Ast_cocci.arithOp * Data.clt)
  54   | TShLOp of (Ast_cocci.arithOp * Data.clt)
  55   | TScriptData of (string)
  56   | TScript
  57   | TRuleName of (string)
  58   | TRightIso
  59   | TReturn of (Data.clt)
  60   | TPure
  61   | TPtrOp of (Data.clt)
  62   | TPtVirg of (Data.clt)
  63   | TPragma of (Ast_cocci.added_string * Data.clt)
  64   | TPosition
  65   | TPosAny
  66   | TPlusFile of (string * Data.clt)
  67   | TPlus0
  68   | TPlus of (Data.clt)
  69   | TPathIsoFile of (string)
  70   | TParameter
  71   | TPOEllipsis of (Data.clt)
  72   | TPCEllipsis of (Data.clt)
  73   | TPArob
  74   | TOrLog of (Data.clt)
  75   | TOr of (Data.clt)
  76   | TOn
  77   | TOPar0 of (Data.clt)
  78   | TOPar of (Data.clt)
  79   | TOInit of (Data.clt)
  80   | TOEllipsis of (Data.clt)
  81   | TOCro of (Data.clt)
  82   | TOBrace of (Data.clt)
  83   | TNothing
  84   | TNotEq of (Data.clt)
  85   | TNever
  86   | TName
  87   | TMul of (Data.clt)
  88   | TMinusFile of (string * Data.clt)
  89   | TMinus of (Data.clt)
  90   | TMid0 of (Data.clt)
  91   | TMetavariable
  92   | TMetaType of (Parse_aux.info)
  93   | TMetaStmList of (Parse_aux.info)
  94   | TMetaStm of (Parse_aux.info)
  95   | TMetaPos of (Parse_aux.pos_info)
  96   | TMetaParamList of (Parse_aux.list_info)
  97   | TMetaParam of (Parse_aux.info)
  98   | TMetaLocalIdExp of (Parse_aux.typed_expinfo)
  99   | TMetaLocalFunc of (Parse_aux.idinfo)
 100   | TMetaIterator of (Parse_aux.idinfo)
 101   | TMetaInitList of (Parse_aux.list_info)
 102   | TMetaInit of (Parse_aux.info)
 103   | TMetaIdExp of (Parse_aux.typed_expinfo)
 104   | TMetaId of (Parse_aux.midinfo)
 105   | TMetaFunc of (Parse_aux.idinfo)
 106   | TMetaFieldList of (Parse_aux.list_info)
 107   | TMetaField of (Parse_aux.info)
 108   | TMetaExpList of (Parse_aux.list_info)
 109   | TMetaExp of (Parse_aux.typed_expinfo)
 110   | TMetaErr of (Parse_aux.expinfo)
 111   | TMetaDeclarer of (Parse_aux.idinfo)
 112   | TMetaDecl of (Parse_aux.info)
 113   | TMetaConst of (Parse_aux.typed_expinfo)
 114   | TMeta of (Parse_aux.info)
 115   | TMPtVirg
 116   | TLogOp of (Ast_cocci.logicalOp * Data.clt)
 117   | TLocal
 118   | TLineEnd of (Data.clt)
 119   | TIteratorId of (string * Data.clt)
 120   | TIterator
 121   | TIsoType
 122   | TIsoTopLevel
 123   | TIsoToTestExpression
 124   | TIsoTestExpression
 125   | TIsoStatement
 126   | TIsoExpression
 127   | TIsoDeclaration
 128   | TIsoArgExpression
 129   | TIso
 130   | TInvalid
 131   | TInt of (string * Data.clt)
 132   | TInitialize
 133   | TInitialiser
 134   | TIncludeNL of (string * Data.clt)
 135   | TIncludeL of (string * Data.clt)
 136   | TInc of (Data.clt)
 137   | TIf of (Data.clt)
 138   | TIdentifier
 139   | TIdent of (string * Data.clt)
 140   | TIdExpression
 141   | TGoto of (Data.clt)
 142   | TGenerated
 143   | TFunction
 144   | TFunDecl of (Data.clt)
 145   | TFresh
 146   | TForall
 147   | TFor of (Data.clt)
 148   | TFloat of (string * Data.clt)
 149   | TFinalize
 150   | TField
 151   | TExtends
 152   | TExpression
 153   | TExists
 154   | TEver
 155   | TError
 156   | TEqEq of (Data.clt)
 157   | TEq of (Data.clt)
 158   | TElse of (Data.clt)
 159   | TEllipsis of (Data.clt)
 160   | TDotDot of (Data.clt)
 161   | TDot of (Data.clt)
 162   | TDo of (Data.clt)
 163   | TDmOp of (Ast_cocci.arithOp * Data.clt)
 164   | TDisable
 165   | TDepends
 166   | TDefineParam of (Data.clt * token * int * int)
 167   | TDefine of (Data.clt * token)
 168   | TDefault of (Data.clt)
 169   | TDeclarerId of (string * Data.clt)
 170   | TDeclarer
 171   | TDeclaration
 172   | TDec of (Data.clt)
 173   | TCppConcatOp
 174   | TContinue of (Data.clt)
 175   | TContext
 176   | TConstant
 177   | TComma of (Data.clt)
 178   | TChar of (string * Data.clt)
 179   | TCase of (Data.clt)
 180   | TCPar0 of (Data.clt)
 181   | TCPar of (Data.clt)
 182   | TCEllipsis of (Data.clt)
 183   | TCCro of (Data.clt)
 184   | TCBrace of (Data.clt)
 185   | TBreak of (Data.clt)
 186   | TBang0
 187   | TBang of (Data.clt)
 188   | TAssign of (Ast_cocci.assignOp * Data.clt)
 189   | TArobArob
 190   | TArob
 191   | TAny of (Data.clt)
 192   | TAndLog of (Data.clt)
 193   | TAnd of (Data.clt)
 194   | EOF
 195
 196
 197 val script_meta_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((string option (*string*) * string option (*ast*)) * (Ast_cocci.meta_name * Ast_cocci.metavar) option)
 198 val rule_name: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast_cocci.rulename)
 199 val reinit: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (unit)
 200 val plus_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule)
 201 val plus_exp_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule)
 202 val never_used: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (unit)
 203 val minus_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule)
 204 val minus_exp_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule)
 205 val meta_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((Ast_cocci.metavar,Ast_cocci.metavar) Common.either list)
 206 val iso_rule_name: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast_cocci.rulename)
 207 val iso_meta_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((Ast_cocci.metavar,Ast_cocci.metavar) Common.either list)
 208 val iso_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.anything list list)
 209 val include_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Data.incl_iso list)