[bpt/coccinelle.git] / ocaml / coccilib.mli


type pos = { current_element : string;
	     file :string ;
	     line : int;
	     col : int;
	     line_end : int;
	     col_end : int; }

type param_type =
    Pos of pos list
  | Str of string
  | Type of Ast_c.fullType
  | Init of Ast_c.initialiser
  | Int of int
  | Param of Ast_c.parameterType
  | ParamList of Ast_c.parameterType Ast_c.wrap2 list
  | Expr of Ast_c.expression
  | ExprList of Ast_c.argument Ast_c.wrap2 list
  | Decl of Ast_c.declaration
  | Field of Ast_c.field
  | Stmt of Ast_c.statement

val fcts : (string, param_type list -> string ref list -> unit) Hashtbl.t

(* ---------------------------------------------------------------------- *)
(* Match management *)

val inc_match : bool ref
val include_match : bool -> unit
val dir : unit -> string
Commit	Line	Data
174d1640 C	1
	2	type pos = { current_element : string;
	3	file :string ;
	4	line : int;
	5	col : int;
	6	line_end : int;
	7	col_end : int; }
	8
aba5c457 C	9	type param_type =
	10	Pos of pos list
	11	\| Str of string
	12	\| Type of Ast_c.fullType
	13	\| Init of Ast_c.initialiser
	14	\| Int of int
	15	\| Param of Ast_c.parameterType
	16	\| ParamList of Ast_c.parameterType Ast_c.wrap2 list
	17	\| Expr of Ast_c.expression
	18	\| ExprList of Ast_c.argument Ast_c.wrap2 list
413ffc02 C	19	\| Decl of Ast_c.declaration
413ffc02 C	20	\| Field of Ast_c.field
aba5c457	21	\| Stmt of Ast_c.statement
174d1640	22
413ffc02	23	val fcts : (string, param_type list -> string ref list -> unit) Hashtbl.t
174d1640 C	24
	25	(* ---------------------------------------------------------------------- *)
	26	(* Match management *)
	27
	28	val inc_match : bool ref
	29	val include_match : bool -> unit
aba5c457	30	val dir : unit -> string