public final class FrozenSlice
extends java.lang.Object
WorkingDocument. This
represents the document after ALL text substitutions have been made so ought
to be considered as representing a fixed block of text.
This is used to represent the block of text each parsed Token refers
to.
LaTeXTokeniser, it is technically possible to have a
FrozenSlice which may refer to text which could change, but this
phenomenon is temporary.| 限定符和类型 | 字段和说明 |
|---|---|
WorkingDocument |
document |
int |
endIndex |
int |
startIndex |
| 构造器和说明 |
|---|
FrozenSlice(WorkingDocument document,
int startIndex,
int endIndex) |
| 限定符和类型 | 方法和说明 |
|---|---|
protected void |
ensureSharesDocumentWith(FrozenSlice otherSlice) |
java.lang.CharSequence |
extract() |
WorkingDocument |
getDocument() |
int |
getEndIndex() |
int |
getStartIndex() |
boolean |
isWhitespace() |
FrozenSlice |
rightOuterSpan(FrozenSlice rightSlice) |
boolean |
sharesDocumentWith(FrozenSlice otherSlice) |
java.lang.String |
toString() |
public final WorkingDocument document
public final int startIndex
public final int endIndex
public FrozenSlice(WorkingDocument document, int startIndex, int endIndex)
public WorkingDocument getDocument()
public int getStartIndex()
public int getEndIndex()
public java.lang.CharSequence extract()
public boolean isWhitespace()
public FrozenSlice rightOuterSpan(FrozenSlice rightSlice)
public final boolean sharesDocumentWith(FrozenSlice otherSlice)
protected final void ensureSharesDocumentWith(FrozenSlice otherSlice)
public java.lang.String toString()
toString 在类中 java.lang.Object