public class GDiffPatcher
extends java.lang.Object
| Constructor and Description |
|---|
GDiffPatcher()
Constructs a new GDiffPatcher.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.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,
java.io.InputStream patch,
java.io.OutputStream output)
Patches to an output stream.
|
void |
patch(java.io.File sourceFile,
java.io.File patchFile,
java.io.File outputFile)
Patches to an output file.
|
void |
patch(SeekableSource source,
java.io.InputStream patch,
java.io.OutputStream out)
Patches to an output stream.
|
public void patch(java.io.File sourceFile,
java.io.File patchFile,
java.io.File outputFile)
throws java.io.IOException
java.io.IOExceptionpublic void patch(byte[] source,
java.io.InputStream patch,
java.io.OutputStream output)
throws java.io.IOException
java.io.IOExceptionpublic byte[] patch(byte[] source,
byte[] patch)
throws java.io.IOException
java.io.IOExceptionpublic void patch(SeekableSource source, java.io.InputStream patch, java.io.OutputStream out) throws java.io.IOException
java.io.IOExceptionpublic static void main(java.lang.String[] argv)