import java.util.Iterator; | |
// If quals are configured incorrectly, there will be an incompatible assignment error; this ensures | |
// that Void is given the Positive type. | |
public class IteratorVoid<T> { | |
T next1; | |
Iterator<T> itor1; | |
private void setnext1() { | |
next1 = itor1.hasNext() ? itor1.next() : null; | |
} | |
} |