characterdataindexsizeerrreplacedataoffsetnegative.java Source File

00001 
00002 /*
00003 This Java source file was generated by test-to-java.xsl
00004 and is a derived work from the source document.
00005 The source document contained the following notice:
00006 
00007 
00008 Copyright (c) 2001 World Wide Web Consortium,
00009 (Massachusetts Institute of Technology, Institut National de
00010 Recherche en Informatique et en Automatique, Keio University). All
00011 Rights Reserved. This program is distributed under the W3C's Software
00012 Intellectual Property License. This program is distributed in the
00013 hope that it will be useful, but WITHOUT ANY WARRANTY; without even
00014 the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
00015 PURPOSE.
00016 See W3C License http://www.w3.org/Consortium/Legal/ for more details.
00017 
00018 */
00019 
00020 package org.w3c.domts.level1.core;
00021 
00022 import org.w3c.dom.*;
00023 import org.w3c.dom.html.*;
00024 import org.w3c.dom.events.*;
00025 import org.w3c.domts.*;
00026 import javax.xml.parsers.*;
00027 import java.util.*;
00028 
00029 
00030 
00050 public class characterdataindexsizeerrreplacedataoffsetnegative extends DOMTestCase {
00051 
00052    public characterdataindexsizeerrreplacedataoffsetnegative(DOMTestDocumentBuilderFactory factory) 
00053  throws DOMTestIncompatibleException {
00054 
00055       DocumentBuilderSetting[] settings = new DocumentBuilderSetting[] {
00056 DocumentBuilderSetting.signed
00057         };
00058         DOMTestDocumentBuilderFactory testFactory = factory.newInstance(settings);
00059         setFactory(testFactory);
00060 
00061    }
00062 
00063    public void runTest() throws java.lang.Throwable {
00064       Document doc;
00065       NodeList elementList;
00066       Node nameNode;
00067       CharacterData child;
00068       doc = load("staff");
00069       elementList = doc.getElementsByTagName("address");
00070       nameNode = elementList.item(0);
00071       child = (CharacterData)nameNode.getFirstChild();
00072       
00073         {
00074                 boolean success = false;
00075                 try {
00076                         child.replaceData(-5,3,"ABC");
00077       
00078                 }
00079                 catch(DOMException ex) {
00080                         success = (ex.code == DOMException.INDEX_SIZE_ERR);
00081                 }
00082                 assertTrue("throws_INDEX_SIZE_ERR",success);
00083         }
00084 
00085    }
00086    public String getTargetURI() {
00087       return "http://www.w3.org/2001/DOM-Test-Suite/level1/core/characterdataindexsizeerrreplacedataoffsetnegative";
00088    }
00089    public static void main(String[] args) {
00090         DOMTestCase.doMain(characterdataindexsizeerrreplacedataoffsetnegative.class,args);
00091    }
00092 }