Package edu.umd.cs.findbugs.detect

Class StreamEquivalenceClass

  • public class StreamEquivalenceClass
extends java.lang.Object
    Set of streams that are in an equivalence class.
    Author:
    David Hovemeyer

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addAll​(StreamEquivalenceClass other)
      Add all members of other StreamEquivalenceClass to this one.
      void addMember​(Stream member)
      Add a single member to the equivalence class.
      java.util.Iterator<Stream> memberIterator()
      Get Iterator over the members of the class.
      void setClosed()
      Mark all members of the class as being closed.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • StreamEquivalenceClass

        public StreamEquivalenceClass()
        Constructor. Creates an empty set.

    • Method Detail

      • addMember

        public void addMember​(Stream member)
        Add a single member to the equivalence class.
        Parameters:
        member - the member Stream

      • memberIterator

        public java.util.Iterator<Stream> memberIterator()
        Get Iterator over the members of the class.

      • addAll

        public void addAll​(StreamEquivalenceClass other)
        Add all members of other StreamEquivalenceClass to this one.
        Parameters:
        other - the other StreamEquivalenceClass

      • setClosed

        public void setClosed()
        Mark all members of the class as being closed.