public final class AccessesIterator extends java.lang.Object implements ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
AccessesIterator
implements an iterator of memory accesses.Modifier and Type | Class and Description |
---|---|
static class |
AccessesIterator.Mode |
Constructor and Description |
---|
AccessesIterator(GraphAbstraction abstraction,
java.util.List<MemoryAccessType> accessTypes,
java.util.List<AccessConstraints> accessConstraints,
AccessConstraints globalConstraints,
int recursionLimit,
AccessesIterator.Mode mode) |
public AccessesIterator(GraphAbstraction abstraction, java.util.List<MemoryAccessType> accessTypes, java.util.List<AccessConstraints> accessConstraints, AccessConstraints globalConstraints, int recursionLimit, AccessesIterator.Mode mode)
public void init()
init
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
public boolean hasValue()
hasValue
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
public java.util.List<Access> value()
value
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
public void next()
next
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
public void stop()
stop
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
public AccessesIterator clone()
clone
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<Access>>
clone
in class java.lang.Object