Uses of Class
org.tweetyproject.preferences.io.Token

Packages that use Token

Package	Description
org.tweetyproject.preferences.io

Uses of Token in org.tweetyproject.preferences.io

Fields in org.tweetyproject.preferences.io declared as Token

Modifier and Type	Field	Description
Token	ParseException.currentToken	This is the last token that has been consumed successfully.
Token	POParser.jj_nt	Next token.
Token	UPParser.jj_nt	Next token.
Token	Token.next	A reference to the next regular (non-special) token in the input stream.
Token	Token.specialToken	A reference to special tokens that occur before this token but after the immediately preceding regular (non-special) token.
Token	POParser.token	Current token.
Token	UPParser.token	Current token.

Methods in org.tweetyproject.preferences.io that return Token

Modifier and Type	Method	Description
final Token	POParser.getNextToken()	Retrieves the next Token from the input stream.
Token	POParserTokenManager.getNextToken()	Return the next token
final Token	UPParser.getNextToken()	Get the next Token.
Token	UPParserTokenManager.getNextToken()	Get the next Token.
final Token	POParser.getToken(int index)	Retrieves the Token at a specific position relative to the current token.
final Token	UPParser.getToken(int index)	Get the specific Token
static Token	Token.newToken(int ofKind)	Returns a new Token object with the specified kind.
static Token	Token.newToken(int ofKind, String image)	Returns a new Token object.

Constructors in org.tweetyproject.preferences.io with parameters of type Token

Modifier	Constructor	Description
	ParseException(Token currentTokenVal, int[][] expectedTokenSequencesVal, String[] tokenImageVal)	Constructs a new ParseException with the specified details.