public class XMLAlignmentUpdater extends Object
ArchiveProjectWriter
.Constructor and Description |
---|
XMLAlignmentUpdater() |
Modifier and Type | Method and Description |
---|---|
static void |
update(File resource,
URI oldFile,
boolean includeWebResources,
IOReporter reporter)
Reads the given alignment (resource) and searches for included base
alignment in the file.
|
public static void update(File resource, URI oldFile, boolean includeWebResources, IOReporter reporter) throws IOException
resource
- the file of the new resource (will be adapted)oldFile
- the file of the old resource (will be untouched), may be
null
in case it didn't exist beforeincludeWebResources
- true if web resources should be copied and
updated too otherwise falsereporter
- the reporter of the current I/O process where errors
should be reported toIOException
- if file can not be updatedXMLSchemaUpdater.update(File, URI, boolean, IOReporter)
,
XMLPathUpdater.update(File, URI, String, boolean, IOReporter)
Build 2013-10-07_11-27-38
Revision 99b27713a799a59a21b0b166eaaea8aaefbf125a