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
IOException
public void patch(byte[] source, InputStream patch, OutputStream output) throws IOException
IOException
public byte[] patch(byte[] source, byte[] patch) throws IOException
IOException
public void patch(SeekableSource source, InputStream patch, OutputStream out) throws IOException
IOException
public static void main(String[] argv)