Lexer.LexToken

java.lang.Object

org.smtlib.sexpr.Lexer.LexToken

All Implemented Interfaces:: ILexToken, Lexer.IPLexToken

Enclosing class:: Lexer

protected class Lexer.LexToken extends Object implements Lexer.IPLexToken

A lexical token class for single punctuation characters.

Field Summary

Fields inherited from interface org.smtlib.sexpr.Lexer.IPLexToken
EMPTY, LP, RP
Constructor Summary

Constructors

Constructor

Description

LexToken(String s, int cp)
Method Summary

Modifier and Type

Method

Description

boolean

isError()

Returns true if this token represents a lexical error.

boolean

isLP()

Returns true if this token is a left parenthesis.

boolean

isRP()

Returns true if this token is a right parenthesis.

String

kind()

A short word characterizing the class of token (e.g.

IPos

pos()

The lexical position of the token

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.smtlib.sexpr.ILexToken
isEOD

Constructor Details
- LexToken
  
  public LexToken(String s, int cp)
Method Details
- pos
  
  public IPos pos()
  
  Description copied from interface: ILexToken
  
  The lexical position of the token
  
  Specified by:
  
  pos in interface ILexToken
  
  Specified by:
  
  pos in interface Lexer.IPLexToken
- isError
  
  public boolean isError()
  
  Description copied from interface: ILexToken
  
  Returns true if this token represents a lexical error.
  
  Specified by:
  
  isError in interface ILexToken
- isLP
  
  public boolean isLP()
  
  Description copied from interface: ILexToken
  
  Returns true if this token is a left parenthesis.
  
  Specified by:
  
  isLP in interface ILexToken
- isRP
  
  public boolean isRP()
  
  Description copied from interface: ILexToken
  
  Returns true if this token is a right parenthesis.
  
  Specified by:
  
  isRP in interface ILexToken
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- kind
  
  public String kind()
  
  Description copied from interface: ILexToken
  
  A short word characterizing the class of token (e.g. "numeral", "symbol").
  
  Specified by:
  
  kind in interface ILexToken
  
  Specified by:
  
  kind in interface Lexer.IPLexToken