Class AutomatonToTokenStream.EdgeToken

  • Enclosing class:
    AutomatonToTokenStream

    private static class AutomatonToTokenStream.EdgeToken
    extends java.lang.Object
    Edge between position nodes. These edges will be output as tokens in the TokenStream
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int destination  
      int value  
    • Constructor Summary

      Constructors 
      Constructor Description
      EdgeToken​(int destination, int value)  
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • destination

        public final int destination
      • value

        public final int value
    • Constructor Detail

      • EdgeToken

        public EdgeToken​(int destination,
                         int value)