[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
ae4735db C	1	type compare_result =
ae4735db C	2	\| Correct
34e49164 C	3	\| Pb of string
	4	\| PbOnlyInNotParsedCorrectly of string
	5
	6
	7	(* the string list is the output of diff *)
	8
ae4735db C	9	val compare_ast :
ae4735db C	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