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