X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftree%2Fcommon.ml;fp=src%2Ftree%2Fcommon.ml;h=0000000000000000000000000000000000000000;hp=099d751cde9a104dd100b147b4971c7fd46c9277;hb=b00bff88c7902e828804c06b7f9dc55222fdc84e;hpb=03b6a364e7240ca827585e7baff225a0aaa33bc6 diff --git a/src/tree/common.ml b/src/tree/common.ml deleted file mode 100644 index 099d751..0000000 --- a/src/tree/common.ml +++ /dev/null @@ -1,40 +0,0 @@ -(***********************************************************************) -(* *) -(* TAToo *) -(* *) -(* Kim Nguyen, LRI UMR8623 *) -(* Université Paris-Sud & CNRS *) -(* *) -(* Copyright 2010-2012 Université Paris-Sud and Centre National de la *) -(* Recherche Scientifique. All rights reserved. This file is *) -(* distributed under the terms of the GNU Lesser General Public *) -(* License, with the special exception on linking described in file *) -(* ../LICENSE. *) -(* *) -(***********************************************************************) - -(* - Time-stamp: -*) - -module NodeKind = - struct - type t = - Document | Element | Text | Comment | Attribute | ProcessingInstruction - | Node - - let to_string = - function - Document -> "document" - | Element -> "element" - | Attribute -> "attribute" - | Text -> "text" - | Comment -> "comment" - | ProcessingInstruction -> "processing-instruction" - | Node -> "node" - let print ppf k = Format.fprintf ppf "%s" (to_string k) - - - let is_a k1 k2 = - k1 == Node || k2 == Node || k1 == k2 -end