Class GrammarSpelunker.Scanner

  • Enclosing class:
    GrammarSpelunker

    public static class GrammarSpelunker.Scanner
    extends java.lang.Object
    Strip comments and then return stream of words and tokens {';', ':', '{', '}'}
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int c  
      static int EOF  
      (package private) java.io.Reader input  
    • Constructor Summary

      Constructors 
      Constructor Description
      Scanner​(java.io.Reader input)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) void COMMENT()  
      (package private) void consume()  
      (package private) java.lang.String ID()
      NAME : LETTER+ ; // NAME is sequence of >=1 letter
      (package private) java.lang.String INT()  
      (package private) boolean isDIGIT()  
      (package private) boolean isID_LETTER()  
      (package private) boolean isID_START()  
      java.lang.String nextToken()  
      (package private) java.lang.String STRING()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Scanner

        public Scanner​(java.io.Reader input)
                throws java.io.IOException
        Throws:
        java.io.IOException
    • Method Detail

      • isDIGIT

        boolean isDIGIT()
      • isID_START

        boolean isID_START()
      • isID_LETTER

        boolean isID_LETTER()
      • consume

        void consume()
              throws java.io.IOException
        Throws:
        java.io.IOException
      • nextToken

        public java.lang.String nextToken()
                                   throws java.io.IOException
        Throws:
        java.io.IOException
      • ID

        java.lang.String ID()
                     throws java.io.IOException
        NAME : LETTER+ ; // NAME is sequence of >=1 letter
        Throws:
        java.io.IOException
      • INT

        java.lang.String INT()
                      throws java.io.IOException
        Throws:
        java.io.IOException
      • STRING

        java.lang.String STRING()
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • COMMENT

        void COMMENT()
              throws java.io.IOException
        Throws:
        java.io.IOException