public class GDiffPatcher extends Object
| Constructor and Description |
|---|
GDiffPatcher()
Constructs a new GDiffPatcher.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
main(String[] argv)
Simple command line tool to patch a file.
|
byte[] |
patch(byte[] source,
byte[] patch)
Patches in memory, returning the patch result.
|
void |
patch(byte[] source,
InputStream patch,
OutputStream output)
Patches to an output stream.
|
void |
patch(File sourceFile,
File patchFile,
File outputFile)
Patches to an output file.
|
void |
patch(SeekableSource source,
InputStream patch,
OutputStream out)
Patches to an output stream.
|
public void patch(File sourceFile, File patchFile, File outputFile) throws IOException
IOExceptionpublic void patch(byte[] source,
InputStream patch,
OutputStream output)
throws IOException
IOExceptionpublic byte[] patch(byte[] source,
byte[] patch)
throws IOException
IOExceptionpublic void patch(SeekableSource source, InputStream patch, OutputStream out) throws IOException
IOExceptionpublic static void main(String[] argv)