Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.merlotxml.util.xml
Class ValidDocument  view ValidDocument download ValidDocument.java

java.lang.Object
  extended byorg.merlotxml.util.xml.ValidDocument

public class ValidDocument
extends java.lang.Object

Container for a validated Document and it's DTDDocuments

Version:
$Id: ValidDocument.java,v 1.1.1.1 2001/07/02 15:41:28 flament Exp $

Field Summary
private  DTDCacheEntry _cachedDTD
           
private  org.w3c.dom.Document _doc
           
private  java.util.Hashtable _dtds
           
private  java.util.Stack _dtdStack
          Stack for keeping track of multiple DTD's used by a document
private  java.util.Hashtable _element2DTD
          Reverse hashtable for looking up what document type a element came from
private  java.util.Hashtable _elements
          Hashtable of all the defined elements in the different DTD's
private  java.lang.String _encoding
           
private  java.lang.String _fileLocation
          location of the file used to find relative DTD's
private  DTDDocument _maindtd
           
 
Constructor Summary
ValidDocument()
           
ValidDocument(org.w3c.dom.Document doc)
           
 
Method Summary
 void addDTD(DTDCacheEntry cachedDTD, java.lang.String doctype)
           
 org.w3c.dom.Document getDocument()
           
 java.util.Enumeration getDTDAttributes(java.lang.String elementName)
           
 DTDCacheEntry getDTDCacheEntry()
           
 DTDDocument getDTDDocument(java.lang.String name)
           
 DTDDocument getDTDForElement(org.w3c.dom.Element el)
           
 java.util.Stack getDTDStackCopy()
          Deprecated.  
 java.lang.String getEncoding()
           
 java.lang.String getFileLocation()
           
 DTDDocument getMainDTDDocument()
           
protected  void lazyInitElements()
           
 void setDocument(org.w3c.dom.Document doc)
           
 void setEncoding(java.lang.String enc)
           
 void setFileLocation(java.lang.String fileLocation)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_doc

private org.w3c.dom.Document _doc

_dtds

private java.util.Hashtable _dtds

_maindtd

private DTDDocument _maindtd

_encoding

private java.lang.String _encoding

_cachedDTD

private DTDCacheEntry _cachedDTD

_fileLocation

private java.lang.String _fileLocation
location of the file used to find relative DTD's


_elements

private java.util.Hashtable _elements
Hashtable of all the defined elements in the different DTD's


_element2DTD

private java.util.Hashtable _element2DTD
Reverse hashtable for looking up what document type a element came from


_dtdStack

private java.util.Stack _dtdStack
Stack for keeping track of multiple DTD's used by a document

Constructor Detail

ValidDocument

public ValidDocument()

ValidDocument

public ValidDocument(org.w3c.dom.Document doc)
Method Detail

getDocument

public org.w3c.dom.Document getDocument()

getEncoding

public java.lang.String getEncoding()

setEncoding

public void setEncoding(java.lang.String enc)

setDocument

public void setDocument(org.w3c.dom.Document doc)

addDTD

public void addDTD(DTDCacheEntry cachedDTD,
                   java.lang.String doctype)

getDTDStackCopy

public java.util.Stack getDTDStackCopy()
Deprecated.  


getDTDDocument

public DTDDocument getDTDDocument(java.lang.String name)

getMainDTDDocument

public DTDDocument getMainDTDDocument()

getDTDCacheEntry

public DTDCacheEntry getDTDCacheEntry()

setFileLocation

public void setFileLocation(java.lang.String fileLocation)

getFileLocation

public java.lang.String getFileLocation()

getDTDAttributes

public java.util.Enumeration getDTDAttributes(java.lang.String elementName)

getDTDForElement

public DTDDocument getDTDForElement(org.w3c.dom.Element el)

lazyInitElements

protected void lazyInitElements()