public final class MemoryAccessConstraints
extends java.lang.Object
MemoryAccessConstraints
class holds constraints related to memory
accesses. There are two categories of constraints: (1) constraints on variable
values and (2) constraints on memory access events. Each is stored in a separate
collection.Modifier and Type | Class and Description |
---|---|
static class |
MemoryAccessConstraints.Builder |
Modifier and Type | Field and Description |
---|---|
static MemoryAccessConstraints |
EMPTY |
Constructor and Description |
---|
MemoryAccessConstraints() |
MemoryAccessConstraints(java.util.List<IntegerConstraint<IntegerField>> integerConstraints,
java.util.List<BufferEventConstraint> bufferEventConstraints) |
Modifier and Type | Method and Description |
---|---|
static MemoryAccessConstraints |
compose(java.util.Collection<MemoryAccessConstraints> collection) |
static IntegerConstraint<IntegerField> |
EQ(MmuAddressInstance address,
java.math.BigInteger value) |
java.util.List<BufferEventConstraint> |
getBufferEvents() |
java.util.List<IntegerConstraint<IntegerField>> |
getIntegers() |
boolean |
isEmpty() |
static MemoryAccessConstraints |
merge(MemoryAccessConstraints first,
MemoryAccessConstraints second) |
static IntegerConstraint<IntegerField> |
RANGE(MmuAddressInstance address,
IntegerRange range) |
java.lang.String |
toString() |
public static final MemoryAccessConstraints EMPTY
public MemoryAccessConstraints()
public MemoryAccessConstraints(java.util.List<IntegerConstraint<IntegerField>> integerConstraints, java.util.List<BufferEventConstraint> bufferEventConstraints)
public static IntegerConstraint<IntegerField> EQ(MmuAddressInstance address, java.math.BigInteger value)
public static IntegerConstraint<IntegerField> RANGE(MmuAddressInstance address, IntegerRange range)
public static final MemoryAccessConstraints compose(java.util.Collection<MemoryAccessConstraints> collection)
public static MemoryAccessConstraints merge(MemoryAccessConstraints first, MemoryAccessConstraints second)
public boolean isEmpty()
public java.util.List<IntegerConstraint<IntegerField>> getIntegers()
public java.util.List<BufferEventConstraint> getBufferEvents()
public java.lang.String toString()
toString
in class java.lang.Object