Package edu.umd.cs.findbugs.detect

Class StreamEquivalenceClass

java.lang.Object

edu.umd.cs.findbugs.detect.StreamEquivalenceClass

public class StreamEquivalenceClass
extends Object

Set of streams that are in an equivalence class.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
StreamEquivalenceClass()	Constructor.

Method Summary

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.
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 Details

StreamEquivalenceClass

public StreamEquivalenceClass()

Constructor. Creates an empty set.

Method Details

addMember

public void addMember(Stream member)

Add a single member to the equivalence class.

Parameters:

member - the member Stream

memberIterator

public 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.