PptTopLevel.ViewsIteratorIterator

Object
- ViewsIteratorIterator

All Implemented Interfaces:

Iterator<Iterator<Invariant>>

Enclosing class:

PptTopLevel
```
public static final class PptTopLevel.ViewsIteratorIterator
extends Object
implements Iterator<Iterator<Invariant>>
```
An iterator whose elements are themselves iterators that return invariants.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ViewsIteratorIterator(PptTopLevel ppt)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean hasNext()
  
  Iterator<Invariant> next()
  
  void remove()
  - Methods inherited from class Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface Iterator
    forEachRemaining

Constructor Detail

ViewsIteratorIterator

public ViewsIteratorIterator(PptTopLevel ppt)

Method Detail

hasNext

public boolean hasNext(@GuardSatisfied PptTopLevel.ViewsIteratorIterator this)

Specified by:: hasNext in interface Iterator<Iterator<Invariant>>

next

public Iterator<Invariant> next(@GuardSatisfied PptTopLevel.ViewsIteratorIterator this)

Specified by:: next in interface Iterator<Iterator<Invariant>>

remove

public void remove(@GuardSatisfied PptTopLevel.ViewsIteratorIterator this)

Specified by:: remove in interface Iterator<Iterator<Invariant>>