public class Replacement<PS,SEG,S>
extends java.lang.Object
EditableStyledDocument.replace(int, int, StyledDocument)
.Constructor and Description |
---|
Replacement(int start,
int end,
ReadOnlyStyledDocument<PS,SEG,S> document) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
ReadOnlyStyledDocument<PS,SEG,S> |
getDocument() |
int |
getEnd() |
int |
getNetLength()
Shortcut for
document.length() - (end - start) |
int |
getStart() |
int |
hashCode() |
java.lang.String |
toString() |
public Replacement(int start, int end, ReadOnlyStyledDocument<PS,SEG,S> document)
public final int getStart()
public final int getEnd()
public final ReadOnlyStyledDocument<PS,SEG,S> getDocument()
public int getNetLength()
document.length() - (end - start)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object