org.meta_environment.eclipse.tokens
Class TokenIterator

java.lang.Object
  org.meta_environment.eclipse.tokens.TokenIterator

All Implemented Interfaces:

java.util.Iterator<Token>

public class TokenIterator
extends java.lang.Object
implements java.util.Iterator<Token>

Field Summary

private errorapi.types.AreaAreas	areas
private java.lang.String	category
private errorapi.Factory	eFactory
private aterm.ATermList	slices

Constructor Summary

TokenIterator(errorapi.Factory factory, aterm.ATermList slices)

Method Summary

boolean	hasNext()
Token	next()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

slices

private aterm.ATermList slices

areas

private errorapi.types.AreaAreas areas

category

private java.lang.String category

eFactory

private errorapi.Factory eFactory

Constructor Detail

TokenIterator

public TokenIterator(errorapi.Factory factory,
                     aterm.ATermList slices)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Token>

next

public Token next()

Specified by:

next in interface java.util.Iterator<Token>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Token>