[bpt/coccinelle.git] / parsing_cocci / ast0_cocci.mli

(* --------------------------------------------------------------------- *)
(* Modified code *)

type arity = OPT | UNIQUE | NONE

type token_info =
    { tline_start : int; tline_end : int;
      left_offset : int; right_offset : int }
val default_token_info : token_info

type mcodekind =
    MINUS       of (Ast_cocci.anything list list * token_info) ref
  | PLUS
  | CONTEXT     of (Ast_cocci.anything Ast_cocci.befaft *
		      token_info * token_info) ref
  | MIXED       of (Ast_cocci.anything Ast_cocci.befaft *
		      token_info * token_info) ref

type info = { line_start : int; line_end : int;
	      logical_start : int; logical_end : int;
	      attachable_start : bool; attachable_end : bool;
	      mcode_start : mcodekind list; mcode_end : mcodekind list;
	      column : int; offset : int;
	      (* the following are only for + code *)
	      strings_before : string list; strings_after : string list }

type 'a mcode = 'a * arity * info * mcodekind * meta_pos ref (* pos, - only *)
and 'a wrap =
    { node : 'a;
      info : info;
      index : int ref;
      mcodekind : mcodekind ref;
      exp_ty : Type_cocci.typeC option ref; (* only for expressions *)
      bef_aft : dots_bef_aft; (* only for statements *)
      true_if_arg : bool; (* true if "arg_exp", only for exprs *)
      true_if_test : bool; (* true if "test position", only for exprs *)
      true_if_test_exp : bool;(* true if "test_exp from iso", only for exprs *)
      (*nonempty if this represents the use of an iso*)
      iso_info : (string*anything) list }

and dots_bef_aft =
    NoDots | AddingBetweenDots of statement | DroppingBetweenDots of statement

(* for iso metavariables, true if they can only match nonmodified, unitary
   metavariables
   for SP metavariables, true if the metavariable is unitary (valid up to
   isomorphism phase only) *)
and pure = Impure | Pure | Context | PureContext (* pure and only context *)

(* --------------------------------------------------------------------- *)
(* --------------------------------------------------------------------- *)
(* Dots *)

and 'a base_dots =
    DOTS of 'a list
  | CIRCLES of 'a list
  | STARS of 'a list

and 'a dots = 'a base_dots wrap

(* --------------------------------------------------------------------- *)
(* Identifier *)

and base_ident =
    Id of string mcode
  | MetaId        of Ast_cocci.meta_name mcode * ident list * pure
  | MetaFunc      of Ast_cocci.meta_name mcode * ident list * pure
  | MetaLocalFunc of Ast_cocci.meta_name mcode * ident list * pure
  | OptIdent      of ident
  | UniqueIdent   of ident

and ident = base_ident wrap

(* --------------------------------------------------------------------- *)
(* Expression *)

and base_expression = 
    Ident          of ident
  | Constant       of Ast_cocci.constant mcode
  | FunCall        of expression * string mcode (* ( *) *
                      expression dots * string mcode (* ) *)
  | Assignment     of expression * Ast_cocci.assignOp mcode * expression *
	              bool (* true if it can match an initialization *)
  | CondExpr       of expression * string mcode (* ? *) * expression option *
	              string mcode (* : *) * expression
  | Postfix        of expression * Ast_cocci.fixOp mcode
  | Infix          of expression * Ast_cocci.fixOp mcode
  | Unary          of expression * Ast_cocci.unaryOp mcode
  | Binary         of expression * Ast_cocci.binaryOp mcode * expression
  | Nested         of expression * Ast_cocci.binaryOp mcode * expression
  | Paren          of string mcode (* ( *) * expression *
                      string mcode (* ) *)
  | ArrayAccess    of expression * string mcode (* [ *) * expression *
	              string mcode (* ] *)
  | RecordAccess   of expression * string mcode (* . *) * ident
  | RecordPtAccess of expression * string mcode (* -> *) * ident
  | Cast           of string mcode (* ( *) * typeC * string mcode (* ) *) *
                      expression
  | SizeOfExpr     of string mcode (* sizeof *) * expression
  | SizeOfType     of string mcode (* sizeof *) * string mcode (* ( *) *
                      typeC * string mcode (* ) *)
  | TypeExp        of typeC
  | MetaErr        of Ast_cocci.meta_name mcode * expression list * pure
  | MetaExpr       of Ast_cocci.meta_name mcode * expression list *
	              Type_cocci.typeC list option * Ast_cocci.form * pure
  | MetaExprList   of Ast_cocci.meta_name mcode (* only in arglists *) *
	              listlen * pure
  | EComma         of string mcode (* only in arglists *)
  | DisjExpr       of string mcode * expression list * string mcode list *
	              string mcode
  | NestExpr       of string mcode * expression dots * string mcode *
	              expression option * Ast_cocci.multi
  | Edots          of string mcode (* ... *) * expression option
  | Ecircles       of string mcode (* ooo *) * expression option
  | Estars         of string mcode (* *** *) * expression option
  | OptExp         of expression
  | UniqueExp      of expression

and expression = base_expression wrap

and listlen = Ast_cocci.meta_name mcode option

(* --------------------------------------------------------------------- *)
(* Types *)

and base_typeC = 
    ConstVol        of Ast_cocci.const_vol mcode * typeC
  | BaseType        of Ast_cocci.baseType mcode * Ast_cocci.sign mcode option
  | ImplicitInt     of Ast_cocci.sign mcode
  | Pointer         of typeC * string mcode (* * *)
  | FunctionPointer of typeC *
	          string mcode(* ( *)*string mcode(* * *)*string mcode(* ) *)*
                  string mcode (* ( *)*parameter_list*string mcode(* ) *)
  | FunctionType    of typeC option *
	               string mcode (* ( *) * parameter_list *
                       string mcode (* ) *)
  | Array           of typeC * string mcode (* [ *) *
	               expression option * string mcode (* ] *)
  | StructUnionName of Ast_cocci.structUnion mcode * ident option (* name *)
  | StructUnionDef  of typeC (* either StructUnionName or metavar *) *
	string mcode (* { *) * declaration dots * string mcode (* } *)
  | TypeName        of string mcode
  | MetaType        of Ast_cocci.meta_name mcode * pure
  | DisjType        of string mcode * typeC list * (* only after iso *)
                       string mcode list (* the |s *)  * string mcode
  | OptType         of typeC
  | UniqueType      of typeC

and typeC = base_typeC wrap

(* --------------------------------------------------------------------- *)
(* Variable declaration *)
(* Even if the Cocci program specifies a list of declarations, they are
   split out into multiple declarations of a single variable each. *)

and base_declaration =
    Init       of Ast_cocci.storage mcode option * typeC * ident *
	string mcode (*=*) * initialiser * string mcode (*;*)
  | UnInit     of Ast_cocci.storage mcode option * typeC * ident *
	string mcode (* ; *)
  | TyDecl of typeC * string mcode (* ; *)
  | MacroDecl of ident (* name *) * string mcode (* ( *) *
        expression dots * string mcode (* ) *) * string mcode (* ; *)
  | Typedef of string mcode (* typedef *) * typeC * typeC * string mcode (*;*)
  | DisjDecl   of string mcode * declaration list * string mcode list *
	          string mcode
  | Ddots      of string mcode (* ... *) * declaration option (* whencode *)
  | OptDecl    of declaration
  | UniqueDecl of declaration

and declaration = base_declaration wrap

(* --------------------------------------------------------------------- *)
(* Initializers *)

and base_initialiser =
    InitExpr of expression 
  | InitList of string mcode (*{*) * initialiser_list * string mcode (*}*)
  | InitGccDotName of
      string mcode (*.*) * ident (* name *) * string mcode (*=*) *
	initialiser (* gccext: *)
  | InitGccName of ident (* name *) * string mcode (*:*) *
	initialiser
  | InitGccIndex of
      string mcode (*[*) * expression * string mcode (*]*) *
	string mcode (*=*) * initialiser
  | InitGccRange of
      string mcode (*[*) * expression * string mcode (*...*) *
        expression * string mcode (*]*) * string mcode (*=*) * initialiser
  | IComma of string mcode
  | Idots  of string mcode (* ... *) * initialiser option (* whencode *)
  | OptIni    of initialiser
  | UniqueIni of initialiser

and initialiser = base_initialiser wrap

and initialiser_list = initialiser dots

(* --------------------------------------------------------------------- *)
(* Parameter *)

and base_parameterTypeDef =
    VoidParam     of typeC
  | Param         of typeC * ident option
  | MetaParam     of Ast_cocci.meta_name mcode * pure
  | MetaParamList of Ast_cocci.meta_name mcode * listlen * pure
  | PComma        of string mcode
  | Pdots         of string mcode (* ... *)
  | Pcircles      of string mcode (* ooo *)
  | OptParam      of parameterTypeDef
  | UniqueParam   of parameterTypeDef

and parameterTypeDef = base_parameterTypeDef wrap

and parameter_list = parameterTypeDef dots

(* --------------------------------------------------------------------- *)
(* #define Parameters *)

and base_define_param =
    DParam        of ident
  | DPComma       of string mcode
  | DPdots        of string mcode (* ... *)
  | DPcircles     of string mcode (* ooo *)
  | OptDParam     of define_param
  | UniqueDParam  of define_param

and define_param = base_define_param wrap

and base_define_parameters =
    NoParams
  | DParams      of string mcode(*( *) * define_param dots * string mcode(* )*)

and define_parameters = base_define_parameters wrap

(* --------------------------------------------------------------------- *)
(* Statement*)

and base_statement =
    Decl          of (info * mcodekind) (* before the decl *) * declaration
  | Seq           of string mcode (* { *) * statement dots *
 	             string mcode (* } *)
  | ExprStatement of expression * string mcode (*;*)
  | IfThen        of string mcode (* if *) * string mcode (* ( *) *
	             expression * string mcode (* ) *) *
	             statement * (info * mcodekind)
  | IfThenElse    of string mcode (* if *) * string mcode (* ( *) *
	             expression * string mcode (* ) *) *
	             statement * string mcode (* else *) * statement *
	             (info * mcodekind)
  | While         of string mcode (* while *) * string mcode (* ( *) *
	             expression * string mcode (* ) *) *
	             statement * (info * mcodekind) (* after info *)
  | Do            of string mcode (* do *) * statement *
                     string mcode (* while *) * string mcode (* ( *) *
	             expression * string mcode (* ) *) *
                     string mcode (* ; *)
  | For           of string mcode (* for *) * string mcode (* ( *) *
                     expression option * string mcode (*;*) *
	             expression option * string mcode (*;*) *
                     expression option * string mcode (* ) *) * statement *
	             (info * mcodekind) (* after info *)
  | Iterator      of ident (* name *) * string mcode (* ( *) *
	             expression dots * string mcode (* ) *) *
	             statement * (info * mcodekind) (* after info *)
  | Switch        of string mcode (* switch *) * string mcode (* ( *) *
	             expression * string mcode (* ) *) * string mcode (* { *) *
	             case_line dots * string mcode (* } *)
  | Break         of string mcode (* break *) * string mcode (* ; *)
  | Continue      of string mcode (* continue *) * string mcode (* ; *)
  | Label         of ident * string mcode (* : *)
  | Goto          of string mcode (* goto *) * ident * string mcode (* ; *)
  | Return        of string mcode (* return *) * string mcode (* ; *)
  | ReturnExpr    of string mcode (* return *) * expression *
	             string mcode (* ; *)
  | MetaStmt      of Ast_cocci.meta_name mcode * pure
  | MetaStmtList  of Ast_cocci.meta_name mcode (*only in statement lists*) *
	             pure
  | Exp           of expression  (* only in dotted statement lists *)
  | TopExp        of expression (* for macros body *)
  | Ty            of typeC (* only at top level *)
  | TopInit       of initialiser (* only at top level *)
  | Disj          of string mcode * statement dots list * string mcode list *
	             string mcode
  | Nest          of string mcode * statement dots * string mcode *
	             (statement dots,statement) whencode list * Ast_cocci.multi
  | Dots          of string mcode (* ... *) *
                     (statement dots,statement) whencode list
  | Circles       of string mcode (* ooo *) *
	             (statement dots,statement) whencode list
  | Stars         of string mcode (* *** *) *
	             (statement dots,statement) whencode list
  | FunDecl of (info * mcodekind) (* before the function decl *) *
	fninfo list * ident (* name *) *
	string mcode (* ( *) * parameter_list * string mcode (* ) *) *
	string mcode (* { *) * statement dots *
	string mcode (* } *)
  | Include of string mcode (* #include *) * Ast_cocci.inc_file mcode(* file *)
  | Define of string mcode (* #define *) * ident (* name *) *
	define_parameters (*params*) * statement dots
  | OptStm   of statement
  | UniqueStm of statement

and fninfo =
    FStorage of Ast_cocci.storage mcode
  | FType of typeC
  | FInline of string mcode
  | FAttr of string mcode

and ('a,'b) whencode =
    WhenNot of 'a
  | WhenAlways of 'b
  | WhenModifier of Ast_cocci.when_modifier
  | WhenNotTrue of expression
  | WhenNotFalse of expression

and statement = base_statement wrap

and base_case_line =
    Default of string mcode (* default *) * string mcode (*:*) * statement dots
  | Case of string mcode (* case *) * expression * string mcode (*:*) *
	statement dots
  | OptCase of case_line

and case_line = base_case_line wrap

(* --------------------------------------------------------------------- *)
(* Positions *)

and meta_pos =
    MetaPos of Ast_cocci.meta_name mcode * Ast_cocci.meta_name list *
	Ast_cocci.meta_collect
  | NoMetaPos

(* --------------------------------------------------------------------- *)
(* Top-level code *)

and base_top_level =
    DECL of statement
  | CODE of statement dots
  | FILEINFO of string mcode (* old file *) * string mcode (* new file *)
  | ERRORWORDS of expression list
  | OTHER of statement (* temporary, disappears after top_level.ml *)

and top_level = base_top_level wrap
and rule = top_level list

and parsed_rule =
    CocciRule of
      (rule * Ast_cocci.metavar list *
	 (string list * string list * Ast_cocci.dependency * string *
	    Ast_cocci.exists)) *
	(rule * Ast_cocci.metavar list)
  | ScriptRule of
      string * Ast_cocci.dependency * (string * Ast_cocci.meta_name) list *
	string

(* --------------------------------------------------------------------- *)

and anything =
    DotsExprTag of expression dots
  | DotsInitTag of initialiser dots
  | DotsParamTag of parameterTypeDef dots
  | DotsStmtTag of statement dots
  | DotsDeclTag of declaration dots
  | DotsCaseTag of case_line dots
  | IdentTag of ident
  | ExprTag of expression
  | ArgExprTag of expression  (* for isos *)
  | TestExprTag of expression (* for isos *)
  | TypeCTag of typeC
  | ParamTag of parameterTypeDef
  | InitTag of initialiser
  | DeclTag of declaration
  | StmtTag of statement
  | CaseLineTag of case_line
  | TopTag of top_level
  | IsoWhenTag of Ast_cocci.when_modifier (*only for when code, in iso phase*)
  | IsoWhenTTag of expression(*only for when code, in iso phase*)
  | IsoWhenFTag of expression(*only for when code, in iso phase*)
  | MetaPosTag of meta_pos (* only in iso phase *)

val dotsExpr : expression dots -> anything
val dotsInit : initialiser dots -> anything
val dotsParam : parameterTypeDef dots -> anything
val dotsStmt : statement dots -> anything
val dotsDecl : declaration dots -> anything
val dotsCase : case_line dots -> anything
val ident : ident -> anything
val expr : expression -> anything
val typeC : typeC -> anything
val param : parameterTypeDef -> anything
val ini : initialiser -> anything
val decl : declaration -> anything
val stmt : statement -> anything
val case_line : case_line -> anything
val top : top_level -> anything

(* --------------------------------------------------------------------- *)

val undots : 'a dots -> 'a list

(* --------------------------------------------------------------------- *)
(* Avoid cluttering the parser.  Calculated in compute_lines.ml. *)

val default_info : unit -> info
val default_befaft : unit -> mcodekind
val context_befaft : unit -> mcodekind
val wrap : 'a -> 'a wrap
val context_wrap : 'a -> 'a wrap
val unwrap : 'a wrap -> 'a
val unwrap_mcode : 'a mcode -> 'a
val rewrap : 'a wrap -> 'b -> 'b wrap
val rewrap_mcode : 'a mcode -> 'b -> 'b mcode
val copywrap : 'a wrap -> 'b -> 'b wrap
val get_pos : 'a mcode -> meta_pos
val get_pos_ref : 'a mcode -> meta_pos ref
val set_pos : meta_pos -> 'a mcode -> 'a mcode
val get_info : 'a wrap -> info
val set_info : 'a wrap -> info -> 'a wrap
val get_index : 'a wrap -> int
val set_index : 'a wrap -> int -> unit
val get_line : 'a wrap -> int
val get_line_end : 'a wrap -> int
val get_mcodekind : 'a wrap -> mcodekind
val get_mcode_mcodekind : 'a mcode -> mcodekind
val get_mcodekind_ref : 'a wrap -> mcodekind ref
val set_mcodekind : 'a wrap -> mcodekind -> unit
val set_type : 'a wrap -> Type_cocci.typeC option -> unit
val get_type : 'a wrap -> Type_cocci.typeC option
val set_dots_bef_aft : statement -> dots_bef_aft -> statement
val get_dots_bef_aft : 'a wrap -> dots_bef_aft
val set_arg_exp : expression -> expression
val get_arg_exp : expression -> bool
val set_test_pos : expression -> expression
val get_test_pos : 'a wrap -> bool
val set_test_exp : expression -> expression
val get_test_exp : 'a wrap -> bool
val set_iso : 'a wrap -> (string*anything) list -> 'a wrap
val get_iso : 'a wrap -> (string*anything) list
val fresh_index : unit -> int
val set_mcode_data : 'a -> 'a mcode -> 'a mcode
val make_mcode : 'a -> 'a mcode
val make_mcode_info : 'a -> info -> 'a mcode

val ast0_type_to_type : typeC -> Type_cocci.typeC
val reverse_type : Type_cocci.typeC -> base_typeC
exception TyConv

val lub_pure : pure -> pure -> pure

(* --------------------------------------------------------------------- *)

val rule_name : string ref (* for the convenience of the parser *)
Commit	Line	Data
34e49164 C	1	(* --------------------------------------------------------------------- *)
	2	(* Modified code *)
	3
	4	type arity = OPT \| UNIQUE \| NONE
	5
	6	type token_info =
	7	{ tline_start : int; tline_end : int;
	8	left_offset : int; right_offset : int }
	9	val default_token_info : token_info
	10
	11	type mcodekind =
	12	MINUS of (Ast_cocci.anything list list * token_info) ref
	13	\| PLUS
	14	\| CONTEXT of (Ast_cocci.anything Ast_cocci.befaft *
	15	token_info * token_info) ref
	16	\| MIXED of (Ast_cocci.anything Ast_cocci.befaft *
	17	token_info * token_info) ref
	18
	19	type info = { line_start : int; line_end : int;
	20	logical_start : int; logical_end : int;
	21	attachable_start : bool; attachable_end : bool;
	22	mcode_start : mcodekind list; mcode_end : mcodekind list;
	23	column : int; offset : int;
	24	(* the following are only for + code *)
	25	strings_before : string list; strings_after : string list }
	26
	27	type 'a mcode = 'a * arity * info * mcodekind * meta_pos ref (* pos, - only *)
	28	and 'a wrap =
	29	{ node : 'a;
	30	info : info;
	31	index : int ref;
	32	mcodekind : mcodekind ref;
	33	exp_ty : Type_cocci.typeC option ref; (* only for expressions *)
	34	bef_aft : dots_bef_aft; (* only for statements *)
	35	true_if_arg : bool; (* true if "arg_exp", only for exprs *)
	36	true_if_test : bool; (* true if "test position", only for exprs *)
	37	true_if_test_exp : bool;(* true if "test_exp from iso", only for exprs *)
	38	(nonempty if this represents the use of an iso)
	39	iso_info : (string*anything) list }
	40
	41	and dots_bef_aft =
	42	NoDots \| AddingBetweenDots of statement \| DroppingBetweenDots of statement
	43
	44	(* for iso metavariables, true if they can only match nonmodified, unitary
	45	metavariables
	46	for SP metavariables, true if the metavariable is unitary (valid up to
	47	isomorphism phase only) *)
	48	and pure = Impure \| Pure \| Context \| PureContext (* pure and only context *)
	49
	50	(* --------------------------------------------------------------------- *)
	51	(* --------------------------------------------------------------------- *)
	52	(* Dots *)
	53
	54	and 'a base_dots =
	55	DOTS of 'a list
	56	\| CIRCLES of 'a list
	57	\| STARS of 'a list
	58
	59	and 'a dots = 'a base_dots wrap
	60
	61	(* --------------------------------------------------------------------- *)
	62	(* Identifier *)
	63
	64	and base_ident =
65	Id of string mcode
66	\| MetaId of Ast_cocci.meta_name mcode * ident list * pure
67	\| MetaFunc of Ast_cocci.meta_name mcode * ident list * pure
68	\| MetaLocalFunc of Ast_cocci.meta_name mcode * ident list * pure
69	\| OptIdent of ident
70	\| UniqueIdent of ident
71
72	and ident = base_ident wrap
73
74	(* --------------------------------------------------------------------- *)
75	(* Expression *)
76
77	and base_expression =
78	Ident of ident
79	\| Constant of Ast_cocci.constant mcode
80	\| FunCall of expression * string mcode (* ( )
81	expression dots * string mcode (* ) *)
82	\| Assignment of expression * Ast_cocci.assignOp mcode * expression *
83	bool (* true if it can match an initialization *)
84	\| CondExpr of expression * string mcode (* ? ) expression option *
85	string mcode (* : ) expression
86	\| Postfix of expression * Ast_cocci.fixOp mcode
87	\| Infix of expression * Ast_cocci.fixOp mcode
88	\| Unary of expression * Ast_cocci.unaryOp mcode
89	\| Binary of expression * Ast_cocci.binaryOp mcode * expression
90	\| Nested of expression * Ast_cocci.binaryOp mcode * expression
91	\| Paren of string mcode (* ( ) expression *
92	string mcode (* ) *)
93	\| ArrayAccess of expression * string mcode (* [ ) expression *
94	string mcode (* ] *)
95	\| RecordAccess of expression * string mcode (* . ) ident
96	\| RecordPtAccess of expression * string mcode (* -> ) ident
97	\| Cast of string mcode (* ( ) typeC * string mcode (* ) )
98	expression
99	\| SizeOfExpr of string mcode (* sizeof ) expression
100	\| SizeOfType of string mcode (* sizeof ) string mcode (* ( )
101	typeC * string mcode (* ) *)
102	\| TypeExp of typeC
103	\| MetaErr of Ast_cocci.meta_name mcode * expression list * pure
104	\| MetaExpr of Ast_cocci.meta_name mcode * expression list *
105	Type_cocci.typeC list option * Ast_cocci.form * pure
106	\| MetaExprList of Ast_cocci.meta_name mcode (* only in arglists )
107	listlen * pure
108	\| EComma of string mcode (* only in arglists *)
109	\| DisjExpr of string mcode * expression list * string mcode list *
110	string mcode
111	\| NestExpr of string mcode * expression dots * string mcode *
112	expression option * Ast_cocci.multi
113	\| Edots of string mcode (* ... ) expression option
114	\| Ecircles of string mcode (* ooo ) expression option
115	\| Estars of string mcode (* *** ) expression option
116	\| OptExp of expression
117	\| UniqueExp of expression
118
119	and expression = base_expression wrap
120
121	and listlen = Ast_cocci.meta_name mcode option
122
123	(* --------------------------------------------------------------------- *)
124	(* Types *)
125
126	and base_typeC =
127	ConstVol of Ast_cocci.const_vol mcode * typeC
128	\| BaseType of Ast_cocci.baseType mcode * Ast_cocci.sign mcode option
129	\| ImplicitInt of Ast_cocci.sign mcode
130	\| Pointer of typeC * string mcode (* * *)
131	\| FunctionPointer of typeC *
132	string mcode(* ( )string mcode(* * )string mcode(* ) )
133	string mcode (* ( )parameter_liststring mcode( ) *)
134	\| FunctionType of typeC option *
135	string mcode (* ( ) parameter_list *
136	string mcode (* ) *)
137	\| Array of typeC * string mcode (* [ )
138	expression option * string mcode (* ] *)
139	\| StructUnionName of Ast_cocci.structUnion mcode * ident option (* name *)
140	\| StructUnionDef of typeC (* either StructUnionName or metavar )
141	string mcode (* { ) declaration dots * string mcode (* } *)
142	\| TypeName of string mcode
143	\| MetaType of Ast_cocci.meta_name mcode * pure
144	\| DisjType of string mcode * typeC list * (* only after iso *)
145	string mcode list (* the \|s ) string mcode
146	\| OptType of typeC
147	\| UniqueType of typeC
148
149	and typeC = base_typeC wrap
150
151	(* --------------------------------------------------------------------- *)
152	(* Variable declaration *)
153	(* Even if the Cocci program specifies a list of declarations, they are
154	split out into multiple declarations of a single variable each. *)
155
156	and base_declaration =
157	Init of Ast_cocci.storage mcode option * typeC * ident *
158	string mcode (=) * initialiser * string mcode (;)
159	\| UnInit of Ast_cocci.storage mcode option * typeC * ident *
160	string mcode (* ; *)
161	\| TyDecl of typeC * string mcode (* ; *)
162	\| MacroDecl of ident (* name ) string mcode (* ( )
163	expression dots * string mcode (* ) ) string mcode (* ; *)
164	\| Typedef of string mcode (* typedef ) typeC * typeC * string mcode (;)
165	\| DisjDecl of string mcode * declaration list * string mcode list *
166	string mcode
167	\| Ddots of string mcode (* ... ) declaration option (* whencode *)
168	\| OptDecl of declaration
169	\| UniqueDecl of declaration
170
171	and declaration = base_declaration wrap
172
173	(* --------------------------------------------------------------------- *)
174	(* Initializers *)
175
176	and base_initialiser =
177	InitExpr of expression
178	\| InitList of string mcode ({) * initialiser_list * string mcode (})
179	\| InitGccDotName of
180	string mcode (.) * ident (* name ) string mcode (=) *
181	initialiser (* gccext: *)
182	\| InitGccName of ident (* name ) string mcode (:) *
183	initialiser
184	\| InitGccIndex of
185	string mcode ([) * expression * string mcode (]) *
186	string mcode (=) * initialiser
187	\| InitGccRange of
188	string mcode ([) * expression * string mcode (...) *
189	expression * string mcode (]) * string mcode (=) * initialiser
190	\| IComma of string mcode
191	\| Idots of string mcode (* ... ) initialiser option (* whencode *)
192	\| OptIni of initialiser
193	\| UniqueIni of initialiser
194
195	and initialiser = base_initialiser wrap
196
197	and initialiser_list = initialiser dots
198
199	(* --------------------------------------------------------------------- *)
200	(* Parameter *)
201
202	and base_parameterTypeDef =
203	VoidParam of typeC
204	\| Param of typeC * ident option
205	\| MetaParam of Ast_cocci.meta_name mcode * pure
206	\| MetaParamList of Ast_cocci.meta_name mcode * listlen * pure
207	\| PComma of string mcode
208	\| Pdots of string mcode (* ... *)
209	\| Pcircles of string mcode (* ooo *)
210	\| OptParam of parameterTypeDef
211	\| UniqueParam of parameterTypeDef
212
213	and parameterTypeDef = base_parameterTypeDef wrap
214
215	and parameter_list = parameterTypeDef dots
216
217	(* --------------------------------------------------------------------- *)
218	(* #define Parameters *)
219
220	and base_define_param =
221	DParam of ident
222	\| DPComma of string mcode
223	\| DPdots of string mcode (* ... *)
224	\| DPcircles of string mcode (* ooo *)
225	\| OptDParam of define_param
226	\| UniqueDParam of define_param
227
228	and define_param = base_define_param wrap
229
230	and base_define_parameters =
231	NoParams
232	\| DParams of string mcode(( ) * define_param dots * string mcode(* )*)
233
234	and define_parameters = base_define_parameters wrap
235
236	(* --------------------------------------------------------------------- *)
237	(* Statement*)
238
239	and base_statement =
240	Decl of (info * mcodekind) (* before the decl ) declaration
241	\| Seq of string mcode (* { ) statement dots *
242	string mcode (* } *)
243	\| ExprStatement of expression * string mcode (;)
244	\| IfThen of string mcode (* if ) string mcode (* ( )
245	expression * string mcode (* ) )
246	statement * (info * mcodekind)
247	\| IfThenElse of string mcode (* if ) string mcode (* ( )
248	expression * string mcode (* ) )
249	statement * string mcode (* else ) statement *
250	(info * mcodekind)
251	\| While of string mcode (* while ) string mcode (* ( )
252	expression * string mcode (* ) )
253	statement * (info * mcodekind) (* after info *)
254	\| Do of string mcode (* do ) statement *
255	string mcode (* while ) string mcode (* ( )
256	expression * string mcode (* ) )
257	string mcode (* ; *)
258	\| For of string mcode (* for ) string mcode (* ( )
259	expression option * string mcode (;) *
260	expression option * string mcode (;) *
261	expression option * string mcode (* ) ) statement *
262	(info * mcodekind) (* after info *)
263	\| Iterator of ident (* name ) string mcode (* ( )
264	expression dots * string mcode (* ) )
265	statement * (info * mcodekind) (* after info *)
266	\| Switch of string mcode (* switch ) string mcode (* ( )
267	expression * string mcode (* ) ) string mcode (* { )
268	case_line dots * string mcode (* } *)
269	\| Break of string mcode (* break ) string mcode (* ; *)
270	\| Continue of string mcode (* continue ) string mcode (* ; *)
271	\| Label of ident * string mcode (* : *)
272	\| Goto of string mcode (* goto ) ident * string mcode (* ; *)
273	\| Return of string mcode (* return ) string mcode (* ; *)
274	\| ReturnExpr of string mcode (* return ) expression *
275	string mcode (* ; *)
276	\| MetaStmt of Ast_cocci.meta_name mcode * pure
277	\| MetaStmtList of Ast_cocci.meta_name mcode (only in statement lists) *
278	pure
279	\| Exp of expression (* only in dotted statement lists *)
280	\| TopExp of expression (* for macros body *)
281	\| Ty of typeC (* only at top level *)
1be43e12	282	\| TopInit of initialiser (* only at top level *)
34e49164 C	283	\| Disj of string mcode * statement dots list * string mcode list *
	284	string mcode
	285	\| Nest of string mcode * statement dots * string mcode *
	286	(statement dots,statement) whencode list * Ast_cocci.multi
	287	\| Dots of string mcode (* ... )
	288	(statement dots,statement) whencode list
	289	\| Circles of string mcode (* ooo )
	290	(statement dots,statement) whencode list
	291	\| Stars of string mcode (* *** )
	292	(statement dots,statement) whencode list
	293	\| FunDecl of (info * mcodekind) (* before the function decl )
	294	fninfo list * ident (* name )
	295	string mcode (* ( ) parameter_list * string mcode (* ) )
	296	string mcode (* { ) statement dots *
	297	string mcode (* } *)
	298	\| Include of string mcode (* #include ) Ast_cocci.inc_file mcode(* file *)
	299	\| Define of string mcode (* #define ) ident (* name )
	300	define_parameters (params) * statement dots
	301	\| OptStm of statement
	302	\| UniqueStm of statement
	303
	304	and fninfo =
	305	FStorage of Ast_cocci.storage mcode
	306	\| FType of typeC
	307	\| FInline of string mcode
	308	\| FAttr of string mcode
	309
	310	and ('a,'b) whencode =
	311	WhenNot of 'a
	312	\| WhenAlways of 'b
	313	\| WhenModifier of Ast_cocci.when_modifier
1be43e12 C	314	\| WhenNotTrue of expression
1be43e12 C	315	\| WhenNotFalse of expression
34e49164 C	316
	317	and statement = base_statement wrap
	318
	319	and base_case_line =
	320	Default of string mcode (* default ) string mcode (:) * statement dots
	321	\| Case of string mcode (* case ) expression * string mcode (:) *
	322	statement dots
	323	\| OptCase of case_line
	324
	325	and case_line = base_case_line wrap
	326
	327	(* --------------------------------------------------------------------- *)
	328	(* Positions *)
	329
	330	and meta_pos =
	331	MetaPos of Ast_cocci.meta_name mcode * Ast_cocci.meta_name list *
	332	Ast_cocci.meta_collect
	333	\| NoMetaPos
	334
	335	(* --------------------------------------------------------------------- *)
	336	(* Top-level code *)
	337
	338	and base_top_level =
	339	DECL of statement
	340	\| CODE of statement dots
	341	\| FILEINFO of string mcode (* old file ) string mcode (* new file *)
	342	\| ERRORWORDS of expression list
	343	\| OTHER of statement (* temporary, disappears after top_level.ml *)
	344
	345	and top_level = base_top_level wrap
	346	and rule = top_level list
	347
	348	and parsed_rule =
	349	CocciRule of
	350	(rule * Ast_cocci.metavar list *
	351	(string list * string list * Ast_cocci.dependency * string *
	352	Ast_cocci.exists)) *
	353	(rule * Ast_cocci.metavar list)
	354	\| ScriptRule of
	355	string * Ast_cocci.dependency * (string * Ast_cocci.meta_name) list *
	356	string
	357
	358	(* --------------------------------------------------------------------- *)
	359
	360	and anything =
	361	DotsExprTag of expression dots
	362	\| DotsInitTag of initialiser dots
	363	\| DotsParamTag of parameterTypeDef dots
	364	\| DotsStmtTag of statement dots
	365	\| DotsDeclTag of declaration dots
	366	\| DotsCaseTag of case_line dots
	367	\| IdentTag of ident
	368	\| ExprTag of expression
	369	\| ArgExprTag of expression (* for isos *)
	370	\| TestExprTag of expression (* for isos *)
	371	\| TypeCTag of typeC
	372	\| ParamTag of parameterTypeDef
	373	\| InitTag of initialiser
	374	\| DeclTag of declaration
	375	\| StmtTag of statement
	376	\| CaseLineTag of case_line
	377	\| TopTag of top_level
	378	\| IsoWhenTag of Ast_cocci.when_modifier (only for when code, in iso phase)
1be43e12 C	379	\| IsoWhenTTag of expression(only for when code, in iso phase)
1be43e12 C	380	\| IsoWhenFTag of expression(only for when code, in iso phase)
34e49164 C	381	\| MetaPosTag of meta_pos (* only in iso phase *)
	382
	383	val dotsExpr : expression dots -> anything
	384	val dotsInit : initialiser dots -> anything
	385	val dotsParam : parameterTypeDef dots -> anything
	386	val dotsStmt : statement dots -> anything
	387	val dotsDecl : declaration dots -> anything
	388	val dotsCase : case_line dots -> anything
	389	val ident : ident -> anything
	390	val expr : expression -> anything
	391	val typeC : typeC -> anything
	392	val param : parameterTypeDef -> anything
	393	val ini : initialiser -> anything
	394	val decl : declaration -> anything
	395	val stmt : statement -> anything
	396	val case_line : case_line -> anything
	397	val top : top_level -> anything
	398
	399	(* --------------------------------------------------------------------- *)
	400
	401	val undots : 'a dots -> 'a list
	402
	403	(* --------------------------------------------------------------------- *)
	404	(* Avoid cluttering the parser. Calculated in compute_lines.ml. *)
	405
	406	val default_info : unit -> info
	407	val default_befaft : unit -> mcodekind
	408	val context_befaft : unit -> mcodekind
	409	val wrap : 'a -> 'a wrap
	410	val context_wrap : 'a -> 'a wrap
	411	val unwrap : 'a wrap -> 'a
	412	val unwrap_mcode : 'a mcode -> 'a
	413	val rewrap : 'a wrap -> 'b -> 'b wrap
	414	val rewrap_mcode : 'a mcode -> 'b -> 'b mcode
	415	val copywrap : 'a wrap -> 'b -> 'b wrap
	416	val get_pos : 'a mcode -> meta_pos
	417	val get_pos_ref : 'a mcode -> meta_pos ref
	418	val set_pos : meta_pos -> 'a mcode -> 'a mcode
	419	val get_info : 'a wrap -> info
	420	val set_info : 'a wrap -> info -> 'a wrap
	421	val get_index : 'a wrap -> int
	422	val set_index : 'a wrap -> int -> unit
	423	val get_line : 'a wrap -> int
	424	val get_line_end : 'a wrap -> int
	425	val get_mcodekind : 'a wrap -> mcodekind
	426	val get_mcode_mcodekind : 'a mcode -> mcodekind
	427	val get_mcodekind_ref : 'a wrap -> mcodekind ref
	428	val set_mcodekind : 'a wrap -> mcodekind -> unit
	429	val set_type : 'a wrap -> Type_cocci.typeC option -> unit
	430	val get_type : 'a wrap -> Type_cocci.typeC option
	431	val set_dots_bef_aft : statement -> dots_bef_aft -> statement
	432	val get_dots_bef_aft : 'a wrap -> dots_bef_aft
	433	val set_arg_exp : expression -> expression
	434	val get_arg_exp : expression -> bool
	435	val set_test_pos : expression -> expression
	436	val get_test_pos : 'a wrap -> bool
	437	val set_test_exp : expression -> expression
	438	val get_test_exp : 'a wrap -> bool
	439	val set_iso : 'a wrap -> (string*anything) list -> 'a wrap
	440	val get_iso : 'a wrap -> (string*anything) list
	441	val fresh_index : unit -> int
	442	val set_mcode_data : 'a -> 'a mcode -> 'a mcode
	443	val make_mcode : 'a -> 'a mcode
	444	val make_mcode_info : 'a -> info -> 'a mcode
445
446	val ast0_type_to_type : typeC -> Type_cocci.typeC
447	val reverse_type : Type_cocci.typeC -> base_typeC
448	exception TyConv
449
450	val lub_pure : pure -> pure -> pure
451
452	(* --------------------------------------------------------------------- *)
453
454	val rule_name : string ref (* for the convenience of the parser *)