Class HistoricalArrayList<E>

    • Constructor Detail

      • HistoricalArrayList

        public HistoricalArrayList​(HistoryManager historyManager)
        Construct a new, empty HistoricalArrayList.
        Parameters:
        historyManager - HistoryManager; history manager
      • HistoricalArrayList

        public HistoricalArrayList​(HistoryManager historyManager,
                                   Collection<? extends E> c)
        Construct a new HistoricalArrayList and add all elements of a given Collection to it.
        Parameters:
        historyManager - HistoryManager; history manager
        c - Collection<? extends E>; initial collection
    • Method Detail

      • get

        public ArrayList<E> get()
        Retrieve the current, internal list. TODO document what the caller may do with the result.
        Returns:
        List<E>; current list
      • get

        public ArrayList<E> get​(Time time)
        Retrieve a past list.
        Parameters:
        time - Time; time to obtain the list at
        Returns:
        List<E>; past list