Class AccessConstraints
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.template.AccessConstraints
-
public final class AccessConstraints extends java.lang.Object
TheAccessConstraints
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.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
AccessConstraints.Builder
-
Field Summary
Fields Modifier and Type Field Description static AccessConstraints
EMPTY
-
Constructor Summary
Constructors Constructor Description AccessConstraints()
AccessConstraints(RegionSettings region, java.util.Collection<VariableConstraint> variableConstraints, java.util.Collection<BufferEventConstraint> bufferEventConstraints)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static AccessConstraints
compose(java.util.Collection<AccessConstraints> collection)
java.util.Collection<BufferEventConstraint>
getBufferEventConstraints()
java.util.Collection<ru.ispras.fortress.expression.Node>
getGeneralConstraints()
RegionSettings
getRegion()
java.util.Collection<VariableConstraint>
getVariableConstraints()
java.util.Collection<ru.ispras.fortress.expression.Node>
getVariateConstraints()
boolean
isEmpty()
static AccessConstraints
merge(AccessConstraints lhs, AccessConstraints rhs)
void
randomize()
java.lang.String
toString()
-
-
-
Field Detail
-
EMPTY
public static final AccessConstraints EMPTY
-
-
Constructor Detail
-
AccessConstraints
public AccessConstraints()
-
AccessConstraints
public AccessConstraints(RegionSettings region, java.util.Collection<VariableConstraint> variableConstraints, java.util.Collection<BufferEventConstraint> bufferEventConstraints)
-
-
Method Detail
-
compose
public static final AccessConstraints compose(java.util.Collection<AccessConstraints> collection)
-
merge
public static AccessConstraints merge(AccessConstraints lhs, AccessConstraints rhs)
-
isEmpty
public boolean isEmpty()
-
getRegion
public RegionSettings getRegion()
-
getVariableConstraints
public java.util.Collection<VariableConstraint> getVariableConstraints()
-
getBufferEventConstraints
public java.util.Collection<BufferEventConstraint> getBufferEventConstraints()
-
getGeneralConstraints
public java.util.Collection<ru.ispras.fortress.expression.Node> getGeneralConstraints()
-
getVariateConstraints
public java.util.Collection<ru.ispras.fortress.expression.Node> getVariateConstraints()
-
randomize
public void randomize()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-