Class JumpPosition


  • public class JumpPosition
    extends java.lang.Object
    • Constructor Detail

      • JumpPosition

        public JumpPosition​(JNode node)
      • JumpPosition

        public JumpPosition​(JNode node,
                            int pos)
    • Method Detail

      • getPos

        public int getPos()
      • setPos

        public void setPos​(int pos)
      • getNode

        public JNode getNode()
      • 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