X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fminidom%2Fminidom.h;fp=helm%2Fminidom%2Fminidom.h;h=0000000000000000000000000000000000000000;hp=bb2b910131deee450ca3c78427a925216d97f9e7;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/minidom/minidom.h b/helm/minidom/minidom.h
deleted file mode 100644
index bb2b91013..000000000
--- a/helm/minidom/minidom.h
+++ /dev/null
@@ -1,105 +0,0 @@
-/*
- * Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
- * 
- * This file is part of miniDOM, a minimal implementation of the
- * Document Object Model
- * 
- * miniDOM is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
- * 
- * miniDOM is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- * 
- * You should have received a copy of the GNU General Public License
- * along with miniDOM; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- * 
- * For details, send a mail to <luca.padovani@cs.unibo.it> 
- */
-
-#ifndef minidom_h
-#define minidom_h
-
-#include <glib.h>
-#include <libxml/parser.h>
-
-#ifdef __cplusplus
-extern "C" {
-#endif /* __cplusplus */
-
-  typedef xmlChar*     mDOMStringRef;
-  typedef const xmlChar* mDOMConstStringRef;
-  typedef xmlDocPtr    mDOMDocRef;
-  typedef xmlNodePtr   mDOMNodeRef;
-  typedef xmlAttrPtr   mDOMAttrRef;
-  typedef xmlEntityPtr mDOMEntityRef;
-  typedef xmlNsPtr     mDOMNsRef;
-
-  typedef xmlEntityPtr (*mDOMEntityResolver)(void*, mDOMConstStringRef);
-
-#define C_STRING(s)         ((char*) (s))
-#define C_CONST_STRING(s)   ((const char*) (s))
-#define DOM_STRING(s)       ((mDOMStringRef) (s))
-#define DOM_CONST_STRING(s) ((mDOMConstStringRef) (s))
-
-  mDOMDocRef    mdom_load(const char*, gboolean, mDOMEntityResolver);
-  void          mdom_unload(mDOMDocRef);
-
-  gboolean      mdom_string_eq(mDOMConstStringRef, mDOMConstStringRef);
-  void          mdom_string_free(mDOMStringRef);
-  mDOMStringRef mdom_string_dup(mDOMConstStringRef);
-
-  mDOMDocRef    mdom_doc_new(mDOMConstStringRef);
-  void          mdom_doc_free(mDOMDocRef);
-  mDOMNodeRef   mdom_doc_get_root_node(mDOMDocRef);
-  mDOMEntityRef mdom_doc_add_entity(mDOMDocRef, mDOMConstStringRef, mDOMConstStringRef);
-  mDOMEntityRef mdom_doc_get_entity(mDOMDocRef, mDOMConstStringRef);
-  mDOMEntityRef mdom_get_predefined_entity(mDOMConstStringRef);
-  mDOMConstStringRef mdom_entity_get_content(mDOMEntityRef);
-
-#if 0
-  mDOMNsRef     mdom_doc_search_ns(mDOMDocRef, mDOMNodeRef, mDOMConstStringRef);
-  mDOMNsRef     mdom_doc_search_ns_by_uri(mDOMDocRef, mDOMNodeRef, mDOMConstStringRef);
-  void          mdom_ns_free(mDOMNsRef);
-  mDOMNsRef     mdom_node_ns_new(mDOMNodeRef, mDOMConstStringRef, mDOMConstStringRef);
-#endif
-
-  void          mdom_node_set_user_data(mDOMNodeRef, gpointer);
-  gpointer      mdom_node_get_user_data(mDOMNodeRef);
-  gboolean      mdom_node_is_text(mDOMNodeRef);
-  gboolean      mdom_node_is_element(mDOMNodeRef);
-  gboolean      mdom_node_is_entity_ref(mDOMNodeRef);
-  gboolean      mdom_node_is_blank(mDOMNodeRef);
-  guint         mdom_node_get_type(mDOMNodeRef);
-  mDOMConstStringRef mdom_node_get_name(mDOMNodeRef);
-  mDOMConstStringRef mdom_node_get_ns_uri(mDOMNodeRef);
-  mDOMStringRef mdom_node_get_attribute(mDOMNodeRef, mDOMConstStringRef);
-  mDOMStringRef mdom_node_get_attribute_ns(mDOMNodeRef, mDOMConstStringRef, mDOMConstStringRef);
-  gboolean      mdom_node_has_attribute(mDOMNodeRef, mDOMConstStringRef);
-  gboolean      mdom_node_has_attribute_ns(mDOMNodeRef, mDOMConstStringRef, mDOMConstStringRef);
-  mDOMStringRef mdom_node_get_content(mDOMNodeRef);
-  mDOMNodeRef   mdom_node_get_parent(mDOMNodeRef);
-  mDOMNodeRef   mdom_node_get_prev_sibling(mDOMNodeRef);
-  mDOMNodeRef   mdom_node_get_next_sibling(mDOMNodeRef);
-  mDOMNodeRef   mdom_node_get_first_child(mDOMNodeRef);
-  mDOMAttrRef   mdom_node_get_first_attribute(mDOMNodeRef);
-  gboolean      mdom_node_is_first(mDOMNodeRef);
-  gboolean      mdom_node_is_last(mDOMNodeRef);
-  
-  mDOMConstStringRef mdom_attr_get_name(mDOMAttrRef);
-  mDOMConstStringRef mdom_attr_get_ns_uri(mDOMAttrRef);
-  mDOMStringRef mdom_attr_get_value(mDOMAttrRef);
-  mDOMAttrRef   mdom_attr_get_prev_sibling(mDOMAttrRef);
-  mDOMAttrRef   mdom_attr_get_next_sibling(mDOMAttrRef);
-  mDOMNodeRef   mdom_attr_get_parent(mDOMAttrRef);
-  
-#ifdef __cplusplus
-}
-#endif /* __cplusplus */
-
-#endif /* minidom_h */
-