@Test public void testTop() { for(int i : TEST_BOUNDS) { BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i); assert(bsf.top().isSaturated()); assert(bsf.top().getSize() == i+1); try { bsf.top().getSet(); fail("Expected failure: top().getSet()"); } catch(Error e) { } } }
public BoundedSet<V> top() { return top; }
BoundedSetFactory { public BoundedSet<V> top() { return top; } }
BoundedSetFactory { public BoundedSet<V> top() { return top; } BoundedSetFactory(int limit); }
BoundedSetFactory { public BoundedSet<V> top() { return top; } BoundedSetFactory(int limit); BoundedSet<V> empty(); BoundedSet<V> singleton(V el); BoundedSet<V> top(); }
BoundedSetFactory { public BoundedSet<V> top() { return top; } BoundedSetFactory(int limit); BoundedSet<V> empty(); BoundedSet<V> singleton(V el); BoundedSet<V> top();  }