DTDDoc
Class DefinitionsMap

java.lang.Object
  extended by DTDDoc.DefinitionsMap

public class DefinitionsMap
extends Object


Constructor Summary
DefinitionsMap()
           
 
Method Summary
 void add(com.wutka.dtd.DTDElement element, String filePath)
           
 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,
                String filePath)

getLocation

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


Copyright © 2002-2011 DTDDoc. All Rights Reserved.