Class AbstractWaitlist<CollectionT extends java.util.Collection<AbstractState>>

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected AbstractWaitlist​(CollectionT waitList)
      Create a waitlist from a carrier collection.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(AbstractState abstractState)
      Adds an abstract state.
      void addAll​(java.util.Collection<? extends AbstractState> abstractStates)
      Adds multiple abstract states.
      void clear()
      Empties the waitlist.
      boolean contains​(AbstractState abstractState)
      Checks whether the abstract state is present.
      void forEach​(java.util.function.Consumer<? super AbstractState> action)  
      boolean isEmpty()
      Checks whether the waitlist is empty.
      @NotNull java.util.Iterator<AbstractState> iterator()  
      boolean remove​(AbstractState abstractState)
      Removes an abstract state.
      void removeAll​(java.util.Collection<?> abstractStates)
      Removes multiple abstract states.
      int size()
      Returns the size of the waitlist.
      java.util.Spliterator<AbstractState> spliterator()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface proguard.analysis.cpa.interfaces.Waitlist

        pop
    • Constructor Detail

      • AbstractWaitlist

        protected AbstractWaitlist​(CollectionT waitList)
        Create a waitlist from a carrier collection.
        Parameters:
        waitList - the carrier collection
    • Method Detail

      • add

        public void add​(AbstractState abstractState)
        Description copied from interface: Waitlist
        Adds an abstract state.
        Specified by:
        add in interface Waitlist
      • addAll

        public void addAll​(java.util.Collection<? extends AbstractState> abstractStates)
        Description copied from interface: Waitlist
        Adds multiple abstract states.
        Specified by:
        addAll in interface Waitlist
      • clear

        public void clear()
        Description copied from interface: Waitlist
        Empties the waitlist.
        Specified by:
        clear in interface Waitlist
      • contains

        public boolean contains​(AbstractState abstractState)
        Description copied from interface: Waitlist
        Checks whether the abstract state is present.
        Specified by:
        contains in interface Waitlist
      • isEmpty

        public boolean isEmpty()
        Description copied from interface: Waitlist
        Checks whether the waitlist is empty.
        Specified by:
        isEmpty in interface Waitlist
      • remove

        public boolean remove​(AbstractState abstractState)
        Description copied from interface: Waitlist
        Removes an abstract state.
        Specified by:
        remove in interface Waitlist
      • removeAll

        public void removeAll​(java.util.Collection<?> abstractStates)
        Description copied from interface: Waitlist
        Removes multiple abstract states.
        Specified by:
        removeAll in interface Waitlist
      • size

        public int size()
        Description copied from interface: Waitlist
        Returns the size of the waitlist.
        Specified by:
        size in interface Waitlist
      • iterator

        @NotNull
        public @NotNull java.util.Iterator<AbstractState> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<CollectionT extends java.util.Collection<AbstractState>>
      • forEach

        public void forEach​(java.util.function.Consumer<? super AbstractState> action)
        Specified by:
        forEach in interface java.lang.Iterable<CollectionT extends java.util.Collection<AbstractState>>
      • spliterator

        public java.util.Spliterator<AbstractState> spliterator()
        Specified by:
        spliterator in interface java.lang.Iterable<CollectionT extends java.util.Collection<AbstractState>>