public static final class WorkingDocument.Slice extends Object
WorkingDocument.CharacterSource.
During parsing, WorkingDocument.Slices will be broken up to create new Slices whenever user-defined
commands and environments are substituted.| Modifier and Type | Field and Description |
|---|---|
int |
componentIndexOffset |
int |
endIndex |
WorkingDocument.CharacterSource |
resolvedComponent |
int |
startIndex |
| Constructor and Description |
|---|
Slice(int startIndex,
int endIndex,
WorkingDocument.CharacterSource resolvedComponent,
int componentIndexOffset) |
public final int startIndex
public final int endIndex
public final WorkingDocument.CharacterSource resolvedComponent
public final int componentIndexOffset
public Slice(int startIndex,
int endIndex,
WorkingDocument.CharacterSource resolvedComponent,
int componentIndexOffset)
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.