Class ConstraintFactory
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.template.ConstraintFactory
-
public final class ConstraintFactory extends java.lang.Object
TheConstraintFactory
class is used by test templates to create memory-related constraints from Ruby code.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static ConstraintFactory
get()
AccessConstraints
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)
-
-
-
Method Detail
-
get
public static ConstraintFactory get()
-
newEqValue
public VariableConstraint newEqValue(java.lang.String variableName, java.math.BigInteger value)
-
newEqRange
public VariableConstraint newEqRange(java.lang.String variableName, java.math.BigInteger min, java.math.BigInteger max)
-
newEqArray
public VariableConstraint newEqArray(java.lang.String variableName, java.math.BigInteger[] array)
-
newEqDist
public VariableConstraint newEqDist(java.lang.String variableName, ru.ispras.fortress.randomizer.Variate<?> distribution)
-
newHit
public BufferEventConstraint newHit(java.lang.String bufferName)
-
newMiss
public BufferEventConstraint newMiss(java.lang.String bufferName)
-
newRead
public BufferEventConstraint newRead(java.lang.String bufferName)
-
newWrite
public BufferEventConstraint newWrite(java.lang.String bufferName)
-
newEvent
public BufferEventConstraint newEvent(java.lang.String bufferName, int hitBias, int missBias)
-
newConstraints
public AccessConstraints newConstraints(java.lang.Object[] constraints)
-
-