public final class ConstraintFactory
extends java.lang.Object
ConstraintFactory
class is used by test templates to
create memory-related constraints from Ruby code.Modifier and Type | Method and Description |
---|---|
static ConstraintFactory |
get() |
MemoryAccessConstraints |
newConstraints(java.lang.Object[] constraints) |
VariableConstraint |
newEqArray(java.lang.String variableName,
java.math.BigInteger[] array) |
VariableConstraint |
newEqDist(java.lang.String variableName,
ru.ispras.fortress.randomizer.Variate<?> distribution) |
VariableConstraint |
newEqRange(java.lang.String variableName,
java.math.BigInteger min,
java.math.BigInteger max) |
VariableConstraint |
newEqValue(java.lang.String variableName,
java.math.BigInteger value) |
BufferEventConstraint |
newEvent(java.lang.String bufferName,
int hitBias,
int missBias) |
BufferEventConstraint |
newHit(java.lang.String bufferName) |
BufferEventConstraint |
newMiss(java.lang.String bufferName) |
BufferEventConstraint |
newRead(java.lang.String bufferName) |
BufferEventConstraint |
newWrite(java.lang.String bufferName) |
public static ConstraintFactory get()
public VariableConstraint newEqValue(java.lang.String variableName, java.math.BigInteger value)
public VariableConstraint newEqRange(java.lang.String variableName, java.math.BigInteger min, java.math.BigInteger max)
public VariableConstraint newEqArray(java.lang.String variableName, java.math.BigInteger[] array)
public VariableConstraint newEqDist(java.lang.String variableName, ru.ispras.fortress.randomizer.Variate<?> distribution)
public BufferEventConstraint newHit(java.lang.String bufferName)
public BufferEventConstraint newMiss(java.lang.String bufferName)
public BufferEventConstraint newRead(java.lang.String bufferName)
public BufferEventConstraint newWrite(java.lang.String bufferName)
public BufferEventConstraint newEvent(java.lang.String bufferName, int hitBias, int missBias)
public MemoryAccessConstraints newConstraints(java.lang.Object[] constraints)