org.eclipse.viatra.transformation.tracer

Class TraceExecutor.TraceExecutorIterator

java.lang.Object

org.eclipse.viatra.transformation.tracer.TraceExecutor.TraceExecutorIterator

All Implemented Interfaces:

java.util.Iterator<Activation<?>>

Enclosing class:

TraceExecutor

public class TraceExecutor.TraceExecutorIterator
extends java.lang.Object
implements java.util.Iterator<Activation<?>>

Constructor Summary

Constructors

Constructor and Description
TraceExecutorIterator(java.util.Iterator<Activation<?>> delegatedIterator)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Activation<?>	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 Detail

TraceExecutorIterator

public TraceExecutorIterator(java.util.Iterator<Activation<?>> delegatedIterator)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Activation<?>>

next

public Activation<?> next()

Specified by:

next in interface java.util.Iterator<Activation<?>>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Activation<?>>