public final class FrozenSlice extends 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.| Modifier and Type | Field and Description |
|---|---|
WorkingDocument |
document |
int |
endIndex |
int |
startIndex |
| Constructor and Description |
|---|
FrozenSlice(WorkingDocument document,
int startIndex,
int endIndex) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
ensureSharesDocumentWith(FrozenSlice otherSlice) |
CharSequence |
extract() |
WorkingDocument |
getDocument() |
int |
getEndIndex() |
int |
getStartIndex() |
boolean |
isWhitespace() |
FrozenSlice |
rightOuterSpan(FrozenSlice rightSlice) |
boolean |
sharesDocumentWith(FrozenSlice otherSlice) |
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 CharSequence extract()
public boolean isWhitespace()
public FrozenSlice rightOuterSpan(FrozenSlice rightSlice)
public final boolean sharesDocumentWith(FrozenSlice otherSlice)
protected final void ensureSharesDocumentWith(FrozenSlice otherSlice)
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.