gov.nasa.jpf.util.json

Class Token

java.lang.Object

gov.nasa.jpf.util.json.Token

public class Token
extends java.lang.Object

Token that is generated by JSONLexer.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Token.Type

Constructor Summary

Constructors

Constructor and Description
Token(Token.Type type, java.lang.String value)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Token.Type	getType()
java.lang.String	getValue()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Token

public Token(Token.Type type,
             java.lang.String value)

Method Detail

getType

public Token.Type getType()

getValue

public java.lang.String getValue()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object