Class ASPParserTokenManager

java.lang.Object
org.tweetyproject.lp.asp.parser.ASPParserTokenManager
All Implemented Interfaces:
ASPParserConstants

public class ASPParserTokenManager extends Object implements ASPParserConstants
Token Manager.
  • Field Details

    • debugStream

      public PrintStream debugStream
      Debug output.
    • jjstrLiteralImages

      public static final String[] jjstrLiteralImages
      Token literal values.
    • lexStateNames

      public static final String[] lexStateNames
      Lexer state names.
  • Constructor Details

    • ASPParserTokenManager

      public ASPParserTokenManager(SimpleCharStream stream)
      Parameters:
      stream - ASPParserTokenManager
    • ASPParserTokenManager

      public ASPParserTokenManager(SimpleCharStream stream, int lexState)
      Parameters:
      stream - ASPParser
      lexState - ASPParser
  • Method Details

    • setDebugStream

      public void setDebugStream(PrintStream ds)
      Set debug output.
    • ReInit

      public void ReInit(SimpleCharStream stream)
      Parameters:
      stream - ReInit
    • ReInit

      public void ReInit(SimpleCharStream stream, int lexState)
      Parameters:
      stream - ReInit
      lexState - ReInit
    • SwitchTo

      public void SwitchTo(int lexState)
      Parameters:
      lexState - SwitchTo
    • getNextToken

      public Token getNextToken()
      Returns:
      getNextToken