[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_default : (* compare to a res file *)
  Common.filename -> Common.filename -> compare_result * string list

val compare_to_original : (* compare to the source of the transformation *)
  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
951c7801 C	11
951c7801 C	12	val compare_default : (* compare to a res file *)
978fd7e5	13	Common.filename -> Common.filename -> compare_result * string list
34e49164	14
951c7801	15	val compare_to_original : (* compare to the source of the transformation *)
978fd7e5	16	Common.filename -> Common.filename -> compare_result * string list
34e49164 C	17
	18
	19	val compare_result_to_string : compare_result * string list -> string
	20	val compare_result_to_bool : compare_result -> bool