diff options
author | Mark Wielaard <mark@klomp.org> | 2004-12-29 21:39:35 +0000 |
---|---|---|
committer | Mark Wielaard <mark@klomp.org> | 2004-12-29 21:39:35 +0000 |
commit | 4ce3a29bc0cd0364b7ceb2552a93ae99968f6229 (patch) | |
tree | 5d26bf2eb32a1b81b584209c0d3a391644880a96 /gnu/xml/libxmlj/dom/GnomeCharacterData.java | |
parent | 78a343044456c8f47d8d73065441cd16b4a13f98 (diff) | |
download | classpath-4ce3a29bc0cd0364b7ceb2552a93ae99968f6229.tar.gz |
* configure.ac: Add --enable-xmlj option. Check for libxml2 and
libxslt libraries when enabled. Add native/jni/xmlj/Makefile.
* gnu/xml/libxmlj/*: New files.
* include/Makefile.am: Add XMLJ_H_FILES. Group awt gtk peer headers
under GTKPEER_H_FILES. Generate new headers.
* include/gnu_xml_libxmlj_*.h: New generated files.
* native/jni/Makefile.am: Conditionally add xmlj dir.
* native/jni/xmlj/*: New files.
Diffstat (limited to 'gnu/xml/libxmlj/dom/GnomeCharacterData.java')
-rw-r--r-- | gnu/xml/libxmlj/dom/GnomeCharacterData.java | 117 |
1 files changed, 117 insertions, 0 deletions
diff --git a/gnu/xml/libxmlj/dom/GnomeCharacterData.java b/gnu/xml/libxmlj/dom/GnomeCharacterData.java new file mode 100644 index 000000000..40d43bd8d --- /dev/null +++ b/gnu/xml/libxmlj/dom/GnomeCharacterData.java @@ -0,0 +1,117 @@ +/* GnomeCharacterData.java - + Copyright (C) 2004 Free Software Foundation, Inc. + +This file is part of GNU Classpath. + +GNU Classpath 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, or (at your option) +any later version. + +GNU Classpath 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 GNU Classpath; see the file COPYING. If not, write to the +Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA +02111-1307 USA. + +Linking this library statically or dynamically with other modules is +making a combined work based on this library. Thus, the terms and +conditions of the GNU General Public License cover the whole +combination. + +As a special exception, the copyright holders of this library give you +permission to link this library with independent modules to produce an +executable, regardless of the license terms of these independent +modules, and to copy and distribute the resulting executable under +terms of your choice, provided that you also meet, for each linked +independent module, the terms and conditions of the license of that +module. An independent module is a module which is not derived from +or based on this library. If you modify this library, you may extend +this exception to your version of the library, but you are not +obligated to do so. If you do not wish to do so, delete this +exception statement from your version. */ + +package gnu.xml.libxmlj.dom; + +import org.w3c.dom.CharacterData; +import org.w3c.dom.DOMException; + +/** + * A DOM character data node implemented in libxml2. + * + * @author <a href='mailto:dog@gnu.org'>Chris Burdess</a> + */ +abstract class GnomeCharacterData + extends GnomeNode + implements CharacterData +{ + + GnomeCharacterData(Object id) + { + super(id); + } + + public String getData() + throws DOMException + { + return getNodeValue(); + } + + public void setData(String data) + throws DOMException + { + setNodeValue(data); + } + + public int getLength() + { + return getData().length(); + } + + public String substringData(int offset, int count) + throws DOMException + { + return getData().substring(offset, offset + count); + } + + public void appendData(String arg) + throws DOMException + { + setData(getData() + arg); + } + + public void insertData(int offset, String arg) + throws DOMException + { + String data = getData(); + setData(data.substring(0, offset) + arg + data.substring(offset)); + } + + public void deleteData(int offset, int count) + throws DOMException + { + String data = getData(); + setData(data.substring(0, offset) + data.substring(offset + count)); + } + + public void replaceData(int offset, int count, String arg) + { + String data = getData(); + setData(data.substring(0, offset) + arg + + data.substring(offset + count)); + } + + public String toString() + { + StringBuffer buffer = new StringBuffer(getClass().getName()); + buffer.append("[data="); + buffer.append(getData()); + buffer.append("]"); + return buffer.toString(); + } + +} |