Class ArraySearchMarker


  • public class ArraySearchMarker
    extends java.lang.Object
    • Field Detail

      • globalSearchMarkerTimestamp

        public static int globalSearchMarkerTimestamp
        A unique timestamp that identifies each marker. Time is relative, this is more like an ever-increasing clock.
    • Constructor Detail

      • ArraySearchMarker

        public ArraySearchMarker()
      • ArraySearchMarker

        public ArraySearchMarker​(Item p,
                                 int index)
    • Method Detail

      • getP

        public Item getP()
      • setP

        public void setP​(Item p)
      • getIndex

        public int getIndex()
      • setIndex

        public void setIndex​(int index)
      • findMarker

        public static ArraySearchMarker findMarker​(AbstractType yArray,
                                                   int index)
        Finds a marker for the given index in an AbstractType.
        Parameters:
        yArray - The abstract type to search.
        index - The index to find the marker for.
        Returns:
        The found marker or null.
      • updateMarkerChanges

        public static void updateMarkerChanges​(java.util.List<ArraySearchMarker> searchMarker,
                                               int index,
                                               int len)
        Updates markers when a change happens.
        Parameters:
        searchMarker - The list of search markers.
        index - The index where the change occurs.
        len - The length of the change.