edu.umd.cs.findbugs.detect
Class StreamEquivalenceClass

java.lang.Object
  extended by edu.umd.cs.findbugs.detect.StreamEquivalenceClass

public class StreamEquivalenceClass
extends java.lang.Object

Set of streams that are in an equivalence class.

Author:
David Hovemeyer

Field Summary
private  boolean isClosed
           
private  java.util.HashSet<Stream> memberSet
           
 
Constructor Summary
StreamEquivalenceClass()
          Constructor.
 
Method Summary
 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
 

Field Detail

memberSet

private java.util.HashSet<Stream> memberSet

isClosed

private boolean isClosed
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.