pw.prok.kdiff.delta

Class DeleteDelta<T>

java.lang.Object

pw.prok.kdiff.delta.Delta<T>

pw.prok.kdiff.delta.DeleteDelta<T>

Type Parameters:

T - The type of the compared elements in the 'lines'.

public class DeleteDelta<T>
extends Delta<T>

Describes the delete-delta between original and revised texts.

Nested Class Summary

Nested classes/interfaces inherited from class pw.prok.kdiff.delta.Delta

Delta.DeltaType

Constructor Summary

Constructors

Constructor and Description
DeleteDelta(Chunk<T> original, Chunk<T> revised) Creates a change delta with the two given chunks.

Method Summary

Modifier and Type	Method and Description
void	applyTo(java.util.List<T> target) Applies this delta as the patch for a given target
DeleteDelta<T>	copy()
Delta.DeltaType	getType() Returns the type of delta
void	restore(java.util.List<T> target) Cancel this delta for a given revised text.
java.lang.String	toString()
void	verify(java.util.List<T> target) Verifies that this delta can be used to patch the given text.

Methods inherited from class pw.prok.kdiff.delta.Delta

equals, getOriginal, getRevised, hashCode, setOriginal, setRevised

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DeleteDelta

public DeleteDelta(Chunk<T> original,
                   Chunk<T> revised)

Creates a change delta with the two given chunks.

Parameters:

original - The original chunk. Must not be null.

revised - The original chunk. Must not be null.

Method Detail

applyTo

public void applyTo(java.util.List<T> target)
             throws PatchFailedException

Applies this delta as the patch for a given target

Specified by:

applyTo in class Delta<T>

Parameters:

target - the given target

Throws:

PatchFailedException - if the patch cannot be applied.

restore

public void restore(java.util.List<T> target)

Cancel this delta for a given revised text. The action is opposite to patch.

Specified by:

restore in class Delta<T>

Parameters:

target - the given revised text

getType

public Delta.DeltaType getType()

Description copied from class: Delta

Returns the type of delta

Specified by:

getType in class Delta<T>

Returns:

the type enum

verify

public void verify(java.util.List<T> target)
            throws PatchFailedException

Description copied from class: Delta

Verifies that this delta can be used to patch the given text.

Specified by:

verify in class Delta<T>

Parameters:

target - the text to patch.

Throws:

PatchFailedException - if the patch cannot be applied.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

copy

public DeleteDelta<T> copy()

Specified by:

copy in class Delta<T>