DTDDoc
Class DefinitionsMap

java.lang.Object
  extended by DTDDoc.DefinitionsMap

public class DefinitionsMap
extends java.lang.Object


Constructor Summary
DefinitionsMap()
           
 
Method Summary
 void add(com.wutka.dtd.DTDElement element, java.lang.String filePath)
           
 java.lang.String getLocation(com.wutka.dtd.DTDElement element)
           
 void merge(DefinitionsMap map)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DefinitionsMap

public DefinitionsMap()
Method Detail

merge

public void merge(DefinitionsMap map)

add

public void add(com.wutka.dtd.DTDElement element,
                java.lang.String filePath)

getLocation

public java.lang.String getLocation(com.wutka.dtd.DTDElement element)


Copyright © 2002-2009 DTDDoc. All Rights Reserved.