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) |
IntegerConstraint<IntegerField> |
newEqArray(java.lang.String variableName,
java.math.BigInteger[] values) |
IntegerConstraint<IntegerField> |
newEqDist(java.lang.String variableName,
ru.ispras.fortress.randomizer.Variate<?> distribution) |
IntegerConstraint<IntegerField> |
newEqRange(java.lang.String variableName,
java.math.BigInteger min,
java.math.BigInteger max) |
IntegerConstraint<IntegerField> |
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) |
public static ConstraintFactory get()
public IntegerConstraint<IntegerField> newEqValue(java.lang.String variableName, java.math.BigInteger value)
public IntegerConstraint<IntegerField> newEqRange(java.lang.String variableName, java.math.BigInteger min, java.math.BigInteger max)
public IntegerConstraint<IntegerField> newEqArray(java.lang.String variableName, java.math.BigInteger[] values)
public IntegerConstraint<IntegerField> 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 newEvent(java.lang.String bufferName, int hitBias, int missBias)
public MemoryAccessConstraints newConstraints(java.lang.Object[] constraints)