public interface Merger
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ROLE |
Modifier and Type | Method and Description |
---|---|
org.jdom2.Document |
merge(org.jdom2.Document dDocument,
org.jdom2.Document rDocument)
Merge with the recessive document.
|
void |
mergeDescriptors(java.io.File outputDescriptor,
java.util.List<java.io.File> descriptors) |
void |
writeMergedDocument(org.jdom2.Document mergedDocument,
java.io.File file)
Allows writing out a merged JDom Document to the specified file.
|
org.jdom2.Document merge(org.jdom2.Document dDocument, org.jdom2.Document rDocument) throws MergeException
dDocument
- the dominant document.rDocument
- the recessive document.Document
instance.MergeException
- if there was an error in merge.void writeMergedDocument(org.jdom2.Document mergedDocument, java.io.File file) throws java.io.IOException
mergedDocument
- the merged Document
instance.file
- File to write the merged contents to.java.io.IOException
- if there was an error while writing merged contents to the specified file.void mergeDescriptors(java.io.File outputDescriptor, java.util.List<java.io.File> descriptors) throws java.io.IOException
java.io.IOException