| 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; | |
| } | |
| } |