|
|
|
|
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.torweg.pulse.util.xml.JDOMHandle
public class JDOMHandle
a cache handle for JDOM Documents.
PoorMansCache| Constructor Summary | |
|---|---|
JDOMHandle(org.jdom.Document doc,
java.io.File f)
builds a new cache handle. |
|
| Method Summary | |
|---|---|
org.jdom.Document |
getDocument()
returns the Document. |
java.io.File |
getFile()
returns the File the handle is built from. |
boolean |
isModified()
returns true, if the XML document has been modified since
the last check. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public JDOMHandle(org.jdom.Document doc,
java.io.File f)
doc - the documentf - the file| Method Detail |
|---|
public final org.jdom.Document getDocument()
Document.
Documentpublic final java.io.File getFile()
File the handle is built from.
File the handle is built frompublic final boolean isModified()
true, if the XML document has been modified since
the last check.
true, if the XML document has been modified since
the last check
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||