de.uka.ilkd.key.gui.proofdiff

Class diff_match_patch.LinesToCharsResult

java.lang.Object

de.uka.ilkd.key.gui.proofdiff.diff_match_patch.LinesToCharsResult

Enclosing class:

diff_match_patch

protected static class diff_match_patch.LinesToCharsResult
extends java.lang.Object

Internal class for returning results from diff_linesToChars(). Other less paranoid languages just use a three-element array.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	chars1
protected java.lang.String	chars2
protected java.util.List<java.lang.String>	lineArray

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LinesToCharsResult(java.lang.String chars1, java.lang.String chars2, java.util.List<java.lang.String> lineArray)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

chars1

protected java.lang.String chars1

chars2

protected java.lang.String chars2

lineArray

protected java.util.List<java.lang.String> lineArray

Constructor Detail

LinesToCharsResult

protected LinesToCharsResult(java.lang.String chars1,
                             java.lang.String chars2,
                             java.util.List<java.lang.String> lineArray)