Class Tuple


  • public class Tuple
    extends java.lang.Object
    A tuple stores a variable binding and optionally has a pointer to another predecessor tuple.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected int hashcode
      The hashcode (cached for speed).
      protected Tuple last
      The tuple pointer.
      protected java.lang.Object object
      The object.
      protected int size
      The size.
      protected IOAVState state
      The state.
    • Constructor Summary

      Constructors 
      Constructor Description
      Tuple​(IOAVState state, Tuple last, java.lang.Object object)
      Create a new tuple.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)
      Test for equality.
      Tuple getLastTuple()
      Get the last tuple.
      java.lang.Object getObject()
      Get the object.
      java.lang.Object getObject​(int index)
      Get the value at the index.
      java.util.List getObjects()
      Get the values.
      int hashCode()
      Get the hashcode.
      int size()
      Get the size.
      java.lang.String toString()
      Get the string representation.
      • Methods inherited from class java.lang.Object

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

      • state

        protected IOAVState state
        The state.
      • object

        protected java.lang.Object object
        The object.
      • last

        protected Tuple last
        The tuple pointer.
      • size

        protected int size
        The size.
      • hashcode

        protected final int hashcode
        The hashcode (cached for speed).
    • Constructor Detail

      • Tuple

        public Tuple​(IOAVState state,
                     Tuple last,
                     java.lang.Object object)
        Create a new tuple.
    • Method Detail

      • getObject

        public java.lang.Object getObject()
        Get the object.
        Returns:
        The object.
      • getLastTuple

        public Tuple getLastTuple()
        Get the last tuple.
        Returns:
        The last tuple.
      • size

        public int size()
        Get the size.
        Returns:
        The size.
      • getObject

        public java.lang.Object getObject​(int index)
        Get the value at the index.
        Parameters:
        index - The index.
      • getObjects

        public java.util.List getObjects()
        Get the values.
      • hashCode

        public int hashCode()
        Get the hashcode.
        Overrides:
        hashCode in class java.lang.Object
        Returns:
        The hash code.
      • equals

        public boolean equals​(java.lang.Object obj)
        Test for equality. True, if both objects are equal.
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Get the string representation.
        Overrides:
        toString in class java.lang.Object
        Returns:
        The string representation.