X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/9f8e26f459677a621822918b7539ae94214621ac..ae4735db5e7e9386036cf7b496ebdc994514dc53:/commons/objet.ml diff --git a/commons/objet.ml b/commons/objet.ml index 273b0f4..447cc89 100644 --- a/commons/objet.ml +++ b/commons/objet.ml @@ -1,29 +1,29 @@ open Common (* TypeClass via objects. Cf also now interfaces.ml - * + * * todo? get more inspiration from Java to put fundamental interfaces * here ? such as cloneable, equaable, showable, debugable, etc *) class virtual objet = object(o:'o) - method invariant: unit -> unit = fun () -> + method invariant: unit -> unit = fun () -> raise Todo - (* method check: unit -> unit = fun () -> + (* method check: unit -> unit = fun () -> assert(o#invariant()); *) - method of_string: string -> unit = + method of_string: string -> unit = raise Todo - method to_string: unit -> string = + method to_string: unit -> string = raise Todo - method debug: unit -> unit = + method debug: unit -> unit = raise Todo - method misc_op_hook: unit -> 'o = + method misc_op_hook: unit -> 'o = raise Todo - method misc_op_hook2: unit = + method misc_op_hook2: unit = () end