[bpt/coccinelle.git] / parsing_c / compare_c.mli

type compare_result = 
  | Correct 
  | Pb of string
  | PbOnlyInNotParsedCorrectly of string


(* the string list is the output of diff *)

val compare_ast : 
 Common.filename -> Common.filename -> compare_result * string list 
val compare_token :
  Common.filename -> Common.filename -> compare_result * string list

val compare_default : 
  Common.filename -> Common.filename -> compare_result * string list


val compare_result_to_string : compare_result * string list -> string
val compare_result_to_bool : compare_result -> bool
Commit	Line	Data
34e49164 C	1	type compare_result =
	2	\| Correct
	3	\| Pb of string
	4	\| PbOnlyInNotParsedCorrectly of string
	5
	6
	7	(* the string list is the output of diff *)
	8
	9	val compare_ast :
978fd7e5	10	Common.filename -> Common.filename -> compare_result * string list
34e49164	11	val compare_token :
978fd7e5	12	Common.filename -> Common.filename -> compare_result * string list
34e49164	13
978fd7e5 C	14	val compare_default :
978fd7e5 C	15	Common.filename -> Common.filename -> compare_result * string list
34e49164 C	16
	17
	18	val compare_result_to_string : compare_result * string list -> string
	19	val compare_result_to_bool : compare_result -> bool