Class PointerUpdater<E>


  • public class PointerUpdater<E>
    extends java.lang.Object
    • Field Detail

      • oldBase

        Face oldBase
      • newBase

        Face newBase
      • newEnd

        Face newEnd
      • oldEnd

        Face oldEnd
      • preventUpdateFlag

        public boolean preventUpdateFlag
    • Constructor Detail

      • PointerUpdater

        public PointerUpdater()
    • Method Detail

      • clear

        public final void clear()
      • update

        public final void update​(Face vp)
      • needUpdate

        public final boolean needUpdate()