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
Token	POParser.jj_nt
Token	UPParser.jj_nt	Next token.
Token	Token.next	A reference to the next regular (non-special) token from the input stream.
Token	Token.specialToken	This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
Token	POParser.token
Token	UPParser.token	Current token.

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

Modifier and Type	Method	Description
final Token	POParser.getNextToken()
Token	POParserTokenManager.getNextToken()
final Token	UPParser.getNextToken()	Get the next Token.
Token	UPParserTokenManager.getNextToken()	Get the next Token.
final Token	POParser.getToken(int index)
final Token	UPParser.getToken(int index)	Get the specific Token.
static Token	Token.newToken(int ofKind)
static Token	Token.newToken(int ofKind, String image)

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

Modifier	Constructor	Description
	ParseException(Token currentTokenVal, int[][] expectedTokenSequencesVal, String[] tokenImageVal)