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

(*
 * Copyright 2012, INRIA
 * Julia Lawall, Gilles Muller
 * Copyright 2010-2011, INRIA, University of Copenhagen
 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


# 0 "./get_constants2.mli"
(*
 * Copyright 2012, INRIA
 * Julia Lawall, Gilles Muller
 * Copyright 2010-2011, INRIA, University of Copenhagen
 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 * This file is part of Coccinelle.
 *
 * Coccinelle is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, according to version 2 of the License.
 *
 * Coccinelle is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)


# 0 "./get_constants2.mli"
type combine =
    And of combine list | Or of combine list | Elem of string | False | True

val get_constants :
    Ast_cocci.rule list ->
      (((Ast_cocci.meta_name list) list) list) (*negated pos vars*) ->
	  (string list option (* grep result *) *
	     string list option (* non-grep result, if any *) *
	     combine option (* raw non-grep result, if any *))
Commit	Line	Data
f537ebc4	1	(*
17ba0788 C	2	* Copyright 2012, INRIA
	3	* Julia Lawall, Gilles Muller
	4	* Copyright 2010-2011, INRIA, University of Copenhagen
f537ebc4 C	5	* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	6	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	7	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	8	* This file is part of Coccinelle.
	9	*
	10	* Coccinelle is free software: you can redistribute it and/or modify
	11	* it under the terms of the GNU General Public License as published by
d6ce1786 C	12	* the Free Software Foundation, according to version 2 of the License.
	13	*
	14	* Coccinelle is distributed in the hope that it will be useful,
	15	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	16	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	17	* GNU General Public License for more details.
	18	*
	19	* You should have received a copy of the GNU General Public License
	20	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	21	*
	22	* The authors reserve the right to distribute this or future versions of
	23	* Coccinelle under other licenses.
	24	*)
	25
	26
	27	# 0 "./get_constants2.mli"
	28	(*
	29	* Copyright 2012, INRIA
	30	* Julia Lawall, Gilles Muller
	31	* Copyright 2010-2011, INRIA, University of Copenhagen
	32	* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	33	* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	34	* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	35	* This file is part of Coccinelle.
	36	*
	37	* Coccinelle is free software: you can redistribute it and/or modify
	38	* it under the terms of the GNU General Public License as published by
f537ebc4 C	39	* the Free Software Foundation, according to version 2 of the License.
	40	*
	41	* Coccinelle is distributed in the hope that it will be useful,
	42	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	43	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	44	* GNU General Public License for more details.
	45	*
	46	* You should have received a copy of the GNU General Public License
	47	* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	48	*
	49	* The authors reserve the right to distribute this or future versions of
	50	* Coccinelle under other licenses.
	51	*)
	52
	53
feec80c3	54	# 0 "./get_constants2.mli"
1eddfd50 C	55	type combine =
	56	And of combine list \| Or of combine list \| Elem of string \| False \| True
	57
34e49164 C	58	val get_constants :
	59	Ast_cocci.rule list ->
	60	(((Ast_cocci.meta_name list) list) list) (negated pos vars) ->
90aeb998	61	(string list option (* grep result )
1eddfd50 C	62	string list option (* non-grep result, if any )
1eddfd50 C	63	combine option (* raw non-grep result, if any *))