public static final class AccessIterator.Result
extends java.lang.Object
AccessIterator.Result
represents an item returned by AccessIterator
.Constructor and Description |
---|
AccessIterator.Result(Access access,
SymbolicResult result) |
Modifier and Type | Method and Description |
---|---|
Access |
getAccess() |
SymbolicResult |
getResult() |
public AccessIterator.Result(Access access, SymbolicResult result)
public Access getAccess()
public SymbolicResult getResult()