edu.umd.cs.findbugs.detect
public class StreamEquivalenceClass extends Object
| 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.
|
| Iterator<Stream> | memberIterator()
Get Iterator over the members of the class. |
| void | setClosed()
Mark all members of the class as being closed. |
Parameters: other the other StreamEquivalenceClass
Parameters: member the member Stream