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