documentgetdoctypenodtd.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 
00042 public class documentgetdoctypenodtd extends DOMTestCase {
00043 
00044    public documentgetdoctypenodtd(DOMTestDocumentBuilderFactory factory) 
00045  throws DOMTestIncompatibleException {
00046 
00047       DocumentBuilderSetting[] settings = new DocumentBuilderSetting[] {
00048 DocumentBuilderSetting.notValidating
00049         };
00050         DOMTestDocumentBuilderFactory testFactory = factory.newInstance(settings);
00051         setFactory(testFactory);
00052 
00053    }
00054 
00055    public void runTest() throws java.lang.Throwable {
00056       Document doc;
00057       DocumentType docType;
00058       doc = load("nodtdstaff");
00059       docType = doc.getDoctype();
00060       assertNull("documentGetDocTypeNoDTDAssert",docType);
00061       
00062    }
00063    public String getTargetURI() {
00064       return "http://www.w3.org/2001/DOM-Test-Suite/level1/core/documentgetdoctypenodtd";
00065    }
00066    public static void main(String[] args) {
00067         DOMTestCase.doMain(documentgetdoctypenodtd.class,args);
00068    }
00069 }