The Meta-Environment API

nl.cwi.sen1.tide.tool.support
Class StringIterator

java.lang.Object
  extended by nl.cwi.sen1.tide.tool.support.StringIterator
All Implemented Interfaces:
java.util.Iterator<java.lang.String>

 class StringIterator
extends java.lang.Object
implements java.util.Iterator<java.lang.String>


Field Summary
private  aterm.ATermList list
           
 
Constructor Summary
StringIterator(aterm.ATermList list)
           
 
Method Summary
 boolean hasNext()
           
 java.lang.String next()
           
 void remove()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

list

private aterm.ATermList list
Constructor Detail

StringIterator

public StringIterator(aterm.ATermList list)
Method Detail

hasNext

public boolean hasNext()
Specified by:
hasNext in interface java.util.Iterator<java.lang.String>

next

public java.lang.String next()
Specified by:
next in interface java.util.Iterator<java.lang.String>

remove

public void remove()
Specified by:
remove in interface java.util.Iterator<java.lang.String>

The Meta-Environment API