public final class MemoryAccessIterator extends java.lang.Object implements ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
MemoryAccessIterator
implements an iterator of memory access structures, i.e.
sequences of memory access paths connected with dependencies.Modifier and Type | Class and Description |
---|---|
static class |
MemoryAccessIterator.Mode |
Constructor and Description |
---|
MemoryAccessIterator(MemoryGraphAbstraction abstraction,
java.util.List<MemoryAccessType> accessTypes,
java.util.List<MemoryAccessConstraints> accessConstraints,
MemoryAccessConstraints constraints,
int recursionLimit,
MemoryAccessIterator.Mode mode) |
Modifier and Type | Method and Description |
---|---|
MemoryAccessIterator |
clone() |
boolean |
hasValue() |
void |
init() |
void |
next() |
void |
stop() |
java.util.List<MemoryAccess> |
value() |
public MemoryAccessIterator(MemoryGraphAbstraction abstraction, java.util.List<MemoryAccessType> accessTypes, java.util.List<MemoryAccessConstraints> accessConstraints, MemoryAccessConstraints constraints, int recursionLimit, MemoryAccessIterator.Mode mode)
public void init()
init
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
public boolean hasValue()
hasValue
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
public java.util.List<MemoryAccess> value()
value
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
public void next()
next
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
public void stop()
stop
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
public MemoryAccessIterator clone()
clone
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<MemoryAccess>>
clone
in class java.lang.Object