Class DFA

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected short[] accept  
      static boolean debug  
      protected int decisionNumber  
      protected short[] eof  
      protected short[] eot  
      protected char[] max  
      protected char[] min  
      protected BaseRecognizer recognizer
      Which recognizer encloses this DFA? Needed to check backtracking
      protected short[] special  
      protected short[][] transition  
    • Constructor Summary

      Constructors 
      Constructor Description
      DFA()  
    • Field Detail

      • eot

        protected short[] eot
      • eof

        protected short[] eof
      • min

        protected char[] min
      • max

        protected char[] max
      • accept

        protected short[] accept
      • special

        protected short[] special
      • transition

        protected short[][] transition
      • decisionNumber

        protected int decisionNumber
      • recognizer

        protected BaseRecognizer recognizer
        Which recognizer encloses this DFA? Needed to check backtracking
    • Constructor Detail

      • DFA

        public DFA()
    • Method Detail

      • predict

        public int predict​(IntStream input)
                    throws RecognitionException
        From the input stream, predict what alternative will succeed using this DFA (representing the covering regular approximation to the underlying CFL). Return an alternative number 1..n. Throw an exception upon error.
        Throws:
        RecognitionException
      • getDescription

        public java.lang.String getDescription()
      • unpackEncodedString

        public static short[] unpackEncodedString​(java.lang.String encodedString)
        Given a String that has a run-length-encoding of some unsigned shorts like "\1\2\3\9", convert to short[] {2,9,9,9}. We do this to avoid static short[] which generates so much init code that the class won't compile. :(
      • unpackEncodedStringToUnsignedChars

        public static char[] unpackEncodedStringToUnsignedChars​(java.lang.String encodedString)
        Hideous duplication of code, but I need different typed arrays out :(