Class Descriptor


  • public class Descriptor
    extends java.lang.Object
    A descriptor is a slot (a state) with it's position in the input.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int j
      The right extent.
      int k
      The left extent.
      State slot
      The slot.
    • Constructor Summary

      Constructors 
      Constructor Description
      Descriptor​(State slot, int k, int j)
      Create a descriptor.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • slot

        public final State slot
        The slot.
      • k

        public final int k
        The left extent.
      • j

        public final int j
        The right extent.
    • Constructor Detail

      • Descriptor

        public Descriptor​(State slot,
                          int k,
                          int j)
        Create a descriptor.
        Parameters:
        slot - the slot.
        k - the left extent.
        j - the right extent.
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object