public interface OutputSegment extends CharStreamSource
OutputDocument
to
replace segments of the source document with other text.
All text in the OutputDocument
between the character positions defined by getBegin()
and getEnd()
is replaced by the content of this output segment.
If the begin and end character positions are the same, the content is simply
inserted at this position without replacing any text.
Modifier and Type | Field and Description |
---|---|
static java.util.Comparator<OutputSegment> |
COMPARATOR
The comparator used to sort output segments in the
OutputDocument before output. |
Modifier and Type | Method and Description |
---|---|
void |
appendTo(java.lang.Appendable appendable)
Appends the content of this output segment to the specified
Appendable object. |
int |
getBegin()
Returns the character position in the source text of the output document where this segment begins.
|
java.lang.String |
getDebugInfo()
Returns a string representation of this object useful for debugging purposes.
|
int |
getEnd()
Returns the character position in the source text of the output document where this segment ends.
|
java.lang.String |
toString()
Returns the content of this output segment as a
String . |
void |
writeTo(java.io.Writer writer)
Writes the content of this output segment to the specified
Writer . |
getEstimatedMaximumOutputLength
static final java.util.Comparator<OutputSegment> COMPARATOR
OutputDocument
before output.
The following rules are applied in order compare two output segments:
Note: this comparator has a natural ordering that may be inconsistent with the equals
method of classes implementing this interface.
This means that the comparator may treat two output segments as equal where calling the
equals(Object)
method with the same two output segments returns false
.
int getBegin()
int getEnd()
void writeTo(java.io.Writer writer) throws java.io.IOException
Writer
.writeTo
in interface CharStreamSource
writer
- the destination java.io.Writer
for the output.java.io.IOException
- if an I/O exception occurs.void appendTo(java.lang.Appendable appendable) throws java.io.IOException
Appendable
object.appendTo
in interface CharStreamSource
appendable
- the destination java.lang.Appendable
object for the output.java.io.IOException
- if an I/O exception occurs.java.lang.String toString()
String
.toString
in interface CharStreamSource
toString
in class java.lang.Object
String
, guaranteed not null
.writeTo(Writer)
java.lang.String getDebugInfo()