public class RichTextChange<PS,SEG,S> extends TextChange<StyledDocument<PS,SEG,S>,RichTextChange<PS,SEG,S>>
GenericStyledArea
.inserted, position, removed
Constructor and Description |
---|
RichTextChange(int position,
StyledDocument<PS,SEG,S> removed,
StyledDocument<PS,SEG,S> inserted) |
Modifier and Type | Method and Description |
---|---|
protected StyledDocument<PS,SEG,S> |
concat(StyledDocument<PS,SEG,S> a,
StyledDocument<PS,SEG,S> b) |
protected RichTextChange<PS,SEG,S> |
create(int position,
StyledDocument<PS,SEG,S> removed,
StyledDocument<PS,SEG,S> inserted) |
protected int |
insertedLength() |
boolean |
isPlainTextIdentity()
Equivalent to
richChange.toPlainTextChange().isIdentity() but without the additional object
creation via toPlainTextChange() . |
protected int |
removedLength() |
protected StyledDocument<PS,SEG,S> |
sub(StyledDocument<PS,SEG,S> doc,
int from,
int to) |
PlainTextChange |
toPlainTextChange() |
equals, getInserted, getInsertionEnd, getNetLength, getPosition, getRemovalEnd, getRemoved, hashCode, invert, isIdentity, mergeWith, toString
public RichTextChange(int position, StyledDocument<PS,SEG,S> removed, StyledDocument<PS,SEG,S> inserted)
protected int removedLength()
removedLength
in class TextChange<StyledDocument<PS,SEG,S>,RichTextChange<PS,SEG,S>>
protected int insertedLength()
insertedLength
in class TextChange<StyledDocument<PS,SEG,S>,RichTextChange<PS,SEG,S>>
protected final StyledDocument<PS,SEG,S> concat(StyledDocument<PS,SEG,S> a, StyledDocument<PS,SEG,S> b)
concat
in class TextChange<StyledDocument<PS,SEG,S>,RichTextChange<PS,SEG,S>>
protected final StyledDocument<PS,SEG,S> sub(StyledDocument<PS,SEG,S> doc, int from, int to)
sub
in class TextChange<StyledDocument<PS,SEG,S>,RichTextChange<PS,SEG,S>>
protected final RichTextChange<PS,SEG,S> create(int position, StyledDocument<PS,SEG,S> removed, StyledDocument<PS,SEG,S> inserted)
create
in class TextChange<StyledDocument<PS,SEG,S>,RichTextChange<PS,SEG,S>>
public final PlainTextChange toPlainTextChange()
public final boolean isPlainTextIdentity()
richChange.toPlainTextChange().isIdentity()
but without the additional object
creation via toPlainTextChange()
.