Package psidev.psi.mi.jami.enricher.util.diff

Class Diff

java.lang.Object

psidev.psi.mi.jami.enricher.util.diff.diff_match_patch.Diff

psidev.psi.mi.jami.enricher.util.diff.Diff

public class Diff
extends diff_match_patch.Diff

Extension of diff_match_patch.Diff

Version:

$Id: Diff.java 11644 2008-06-23 16:36:27Z baranda $

Author:

Bruno Aranda (baranda@ebi.ac.uk)

Field Summary

Fields inherited from class psidev.psi.mi.jami.enricher.util.diff.diff_match_patch.Diff

operation, text

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Diff(diff_match_patch.Diff diff, int indexInString1, int indexInString2)	Constructor for Diff.

Method Summary

Modifier and Type	Method	Description
int	getIndexInString1()	Getter for the field indexInString1.
int	getIndexInString2()	Getter for the field indexInString2.
Operation	getOperation()	getOperation.
String	getText()	getText.
String	toString()	Display a human-readable version of this Diff.

Methods inherited from class psidev.psi.mi.jami.enricher.util.diff.diff_match_patch.Diff

equals

Methods inherited from class java.lang.Object

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

Constructor Detail

Diff

protected Diff(diff_match_patch.Diff diff,
               int indexInString1,
               int indexInString2)

Constructor for Diff.

Parameters:

diff - a diff_match_patch.Diff object.

indexInString1 - a int.

indexInString2 - a int.

Method Detail

toString

public String toString()

Display a human-readable version of this Diff.

Overrides:

toString in class diff_match_patch.Diff

Returns:

text version

getOperation

public Operation getOperation()

getOperation.

Returns:

a Operation object.

getText

public String getText()

getText.

Returns:

a String object.

getIndexInString1

public int getIndexInString1()

Getter for the field indexInString1.

Returns:

a int.

getIndexInString2

public int getIndexInString2()

Getter for the field indexInString2.

Returns:

a int.