SymbolTable.Iterator

java.lang.Object

org.smtlib.SymbolTable.Iterator

All Implemented Interfaces:: Iterator<SymbolTable.Entry>

Enclosing class:: SymbolTable

public static class SymbolTable.Iterator extends Object implements Iterator<SymbolTable.Entry>

An iterator over all of the Symbols in the symbol scope stack from the top-most scope on down.

Author:: David R. Cok

Constructor Summary

Constructors

Constructor

Description

Iterator(SymbolTable sym)

Constructs a new iterator, initialized at the beginning
Method Summary

Modifier and Type

Method

Description

boolean

hasNext()

SymbolTable.Entry

next()

void

remove()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator
forEachRemaining

Constructor Details
- Iterator
  
  public Iterator(SymbolTable sym)
  
  Constructs a new iterator, initialized at the beginning
Method Details
- hasNext
  
  public boolean hasNext()
  
  Specified by:
  
  hasNext in interface Iterator<SymbolTable.Entry>
- next
  
  public SymbolTable.Entry next()
  
  Specified by:
  
  next in interface Iterator<SymbolTable.Entry>
- remove
  
  public void remove()
  
  Specified by:
  
  remove in interface Iterator<SymbolTable.Entry>