A JSONTokener takes a source string and extracts characters and tokens from it. It is used by the JSONObject and
JSONArray constructors to parse JSON source strings.
|Method from org.apache.tapestry5.json.JSONTokener Detail:|
public void back()
Back up one character. This provides a sort of lookahead capability, so that you can test for a digit or letter
before attempting to parse the next number or identifier.
static int dehexchar(char c)
Get the hex value of a character (base16).
public boolean more()
Determine if the source string still contains characters that next() can consume.
public char next()
Get the next character in the source string.
public char next(char c)
Consume the next character, and check that it matches a specified character.
public String next(int n)
Get the next n characters.
public char nextClean()
Get the next char in the string, skipping whitespace and comments (slashslash, slashstar, and hash).
public String nextString(char quote)
Return the characters up to the next close quote character. Backslash processing is done. The formal JSON format
does not allow strings in single quotes, but an implementation is allowed to accept them.
public String nextTo(char d)
Get the text up but not including the specified character or the end of line, whichever comes first.
public String nextTo(String delimiters)
Get the text up but not including one of the specified delimeter characters or the end of line, whichever comes
public Object nextValue()
Get the next value. The value can be a Boolean, Double, Integer, JSONArray, JSONObject, Long, or String, or the
public boolean skipPast(String to)
Skip characters until past the requested string. If it is not found, we are left at the end of the source.
public char skipTo(char to)
Skip characters until the next character is the requested character. If the requested character is not found, no
characters are skipped.
RuntimeException syntaxError(String message)
Make a JSONException to signal a syntax error.
public String toString()
Make a printable string of this JSONTokener.