Class CharSets.EmptySet

java.lang.Object
java.util.AbstractCollection<java.lang.Character>
All Implemented Interfaces:
CharCollection, CharIterable, CharSet, java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<java.lang.Character>, java.util.Collection<java.lang.Character>, java.util.Set<java.lang.Character>
Direct Known Subclasses:
CharSortedSets.EmptySet
Enclosing class:
CharSets

public static class CharSets.EmptySet
extends CharCollections.EmptyCollection
implements CharSet, java.io.Serializable, java.lang.Cloneable
An immutable class representing the empty set and implementing a type-specific set interface.

This class may be useful to implement your own in case you subclass a type-specific set.

See Also:
Serialized Form
  • Method Details

    • remove

      public boolean remove​(char ok)
      Description copied from interface: CharSet
      Removes an element from this set.
      Specified by:
      remove in interface CharSet
      See Also:
      Collection.remove(Object)
    • clone

      public java.lang.Object clone()
    • equals

      public boolean equals​(java.lang.Object o)
      Specified by:
      equals in interface java.util.Collection<java.lang.Character>
      Specified by:
      equals in interface java.util.Set<java.lang.Character>
      Overrides:
      equals in class CharCollections.EmptyCollection
    • rem

      @Deprecated public boolean rem​(char k)
      Deprecated.
      Description copied from class: AbstractCharCollection
      Removes a single instance of the specified element from this collection, if it is present (optional operation).

      Note that this method should be called remove(), but the clash with the similarly named index-based method in the List interface forces us to use a distinguished name. For simplicity, the set interfaces reinstates remove().

      Specified by:
      rem in interface CharCollection
      Specified by:
      rem in interface CharSet
      Overrides:
      rem in class AbstractCharCollection
      See Also:
      Collection.remove(Object)