Package org.svvrl.goal.core.logic.ltl.parser

  • Interface Summary 
    Interface Description
    LTLParserConstants
    Token literal values and constants.
  • Class Summary 
    Class Description
    LTLParser  
    LTLParser.JJCalls  
    LTLParserTokenManager
    Token Manager.
    SimpleCharStream
    An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
    Token
    Describes the input token stream.
  • Exception Summary 
    Exception Description
    ParseException
    This exception is thrown when parse errors are encountered.
  • Error Summary 
    Error Description
    TokenMgrError
    Token Manager Error.