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