documentinvalidcharacterexceptioncreatepi.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 
00049 public class documentinvalidcharacterexceptioncreatepi extends DOMTestCase {
00050 
00051    public documentinvalidcharacterexceptioncreatepi(DOMTestDocumentBuilderFactory factory) 
00052  {
00053       super(factory);
00054 
00055    }
00056 
00057    public void runTest() throws java.lang.Throwable {
00058       Document doc;
00059       ProcessingInstruction badPI;
00060       doc = load("staff");
00061       
00062         {
00063                 boolean success = false;
00064                 try {
00065                         badPI = doc.createProcessingInstruction("invalid^Name","data");
00066       
00067                 }
00068                 catch(DOMException ex) {
00069                         success = (ex.code == DOMException.INVALID_CHARACTER_ERR);
00070                 }
00071                 assertTrue("documentInvalidCharacterExceptionCreatePIAssert",success);
00072         }
00073 
00074    }
00075    public String getTargetURI() {
00076       return "http://www.w3.org/2001/DOM-Test-Suite/level1/core/documentinvalidcharacterexceptioncreatepi";
00077    }
00078    public static void main(String[] args) {
00079         DOMTestCase.doMain(documentinvalidcharacterexceptioncreatepi.class,args);
00080    }
00081 }