public class TokenSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static TokenIdentifier |
ENDOFBUFFER |
static TokenIdentifier |
LAYOUT |
static Token |
LAYOUTTOKEN |
Constructor and Description |
---|
TokenSet() |
Modifier and Type | Method and Description |
---|---|
TokenIdentifier |
addTokenIdentifier(java.lang.String tokenName) |
TokenIdentifier |
addTokenIdentifier(java.lang.String tokenName,
TokenIdentifier token) |
static NTProductions |
createSearchGraph() |
TokenGraph |
getLayoutGraph() |
TokenGraph |
getTokenGraph() |
TokenIdentifier |
getTokenIdentifier(int index) |
TokenIdentifier |
getTokenIdentifier(java.lang.String tokenName) |
Token |
getValue(IndexReader source) |
void |
insertWhiteSpace(java.io.BufferedReader key,
int keyLength) |
void |
insertWhiteSpace(int[] chars) |
TokenIdentifier |
registerIdentifier(java.lang.String ideChars,
java.lang.String ideNumChars,
TokenIdentifier identifier) |
TokenIdentifier |
registerTokenIdentifier(TokenIdentifier tokenIdentifier) |
void |
skipSpace(IndexReader innerSource) |
java.lang.String |
toString() |
public static final TokenIdentifier LAYOUT
public static final Token LAYOUTTOKEN
public static final TokenIdentifier ENDOFBUFFER
public static final NTProductions createSearchGraph()
public TokenIdentifier registerTokenIdentifier(TokenIdentifier tokenIdentifier)
public TokenIdentifier addTokenIdentifier(java.lang.String tokenName, TokenIdentifier token)
public TokenIdentifier addTokenIdentifier(java.lang.String tokenName)
public TokenIdentifier getTokenIdentifier(java.lang.String tokenName)
public void insertWhiteSpace(int[] chars)
public void insertWhiteSpace(java.io.BufferedReader key, int keyLength)
public void skipSpace(IndexReader innerSource)
public Token getValue(IndexReader source) throws ParseException
ParseException
public TokenGraph getTokenGraph()
public TokenGraph getLayoutGraph()
public java.lang.String toString()
toString
in class java.lang.Object
public TokenIdentifier getTokenIdentifier(int index)
public TokenIdentifier registerIdentifier(java.lang.String ideChars, java.lang.String ideNumChars, TokenIdentifier identifier)