public static final class LaTeXTokeniser.StringTerminator extends Object implements LaTeXTokeniser.Terminator
Terminator is used to handle fixed Strings as
terminators.| Constructor and Description |
|---|
StringTerminator(String terminatorString) |
| Modifier and Type | Method and Description |
|---|---|
int |
matchesAt(WorkingDocument workingDocument,
int index)
Tests whether this Terminator matches the
WorkingDocument at the given index. |
int |
nextMatchFrom(WorkingDocument workingDocument,
int index)
Finds the next match of this Terminator in the given
WorkingDocument starting
at the given index. |
String |
toString() |
public StringTerminator(String terminatorString)
public int matchesAt(WorkingDocument workingDocument, int index)
LaTeXTokeniser.TerminatorWorkingDocument at the given index.matchesAt in interface LaTeXTokeniser.TerminatorworkingDocument - WorkingDocument to checkindex - index to match atpublic int nextMatchFrom(WorkingDocument workingDocument, int index)
LaTeXTokeniser.TerminatorWorkingDocument starting
at the given index.nextMatchFrom in interface LaTeXTokeniser.TerminatorworkingDocument - WorkingDocument to checkindex - index to search fromCopyright © 2008–2026 The University of Edinburgh. All rights reserved.