Package org.smtlib.sexpr

Interface Lexer.IPLexToken

All Superinterfaces:
ILexToken
All Known Implementing Classes:
Lexer.LexToken
Enclosing class:
Lexer
public static interface Lexer.IPLexToken extends ILexToken
An interface used for punctuation tokens that can be retrieved from the parser input.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    EMPTY
     
    static final String
    LP
     
    static final String
    RP
     

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    kind()
    A short word characterizing the class of token (e.g.
    IPos
    pos()
    The lexical position of the token

    Methods inherited from interface org.smtlib.sexpr.ILexToken

    isEOD, isError, isLP, isRP

  • Field Details

    • RP

      static final String RP

    • LP

      static final String LP

    • EMPTY

      static final String EMPTY

  • Method Details

    • pos

      IPos pos()
      Description copied from interface: ILexToken
      The lexical position of the token
      Specified by:
      pos in interface ILexToken

    • kind

      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