Class AccessIterator.Result
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.AccessIterator.Result
-
- Enclosing class:
- AccessIterator
public static final class AccessIterator.Result extends java.lang.Object
AccessIterator.Result
represents an item returned byAccessIterator
.
-
-
Constructor Summary
Constructors Constructor Description Result(Access access, SymbolicResult result)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Access
getAccess()
SymbolicResult
getResult()
-
-
-
Constructor Detail
-
Result
public Result(Access access, SymbolicResult result)
-
-
Method Detail
-
getAccess
public Access getAccess()
-
getResult
public SymbolicResult getResult()
-
-