jaga.pj.circuits.fpgaft
Class SingleRandomFaultModel
java.lang.Object
|
+--jaga.pj.circuits.fpgaft.SingleRandomFaultModel
- All Implemented Interfaces:
- java.util.Enumeration, FaultModel, java.io.Serializable, SingleFaultModel
- public class SingleRandomFaultModel
- extends java.lang.Object
- implements SingleFaultModel
A fault model where a single element will fail at any time, but this element
will be chosen randomly from a range of values. The number of elements chose
in this series of fautls is also random.
To have different random series the randomizer seed must be changed by
calling nextRandomSeries().
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
SingleRandomFaultModel
public SingleRandomFaultModel(int proofPos)
- Creates new SingleRandomFaultModel.
- Parameters:
proofPos
- position of (EXCLUSIVE) highest element number to
randomly pick from. Note this value will never be picked.
SingleRandomFaultModel
public SingleRandomFaultModel(int proofPos,
int phowMany)
- Creates new SingleRandomFaultModel
- Parameters:
proofPos
- position of highest element number to randomly pick from.phowMany
- how many random elements to pick to make sequence.
SingleRandomFaultModel
public SingleRandomFaultModel(int pfloorPos,
int proofPos,
int phowMany,
int ftypes)
- Creates new SingleRandomFaultModel
- Parameters:
proofPos
- position of lowest element number to randomly pick from.proofPos
- position of highest element number to randomly pick from.phowMany
- how many random elements to pick to make sequence.ftypes
- number of fault types to generate. These are as defined in FTLib.
reset
public void reset()
- Resets the sequence of faults
- Specified by:
reset
in interface FaultModel
hasMoreElements
public boolean hasMoreElements()
- Specified by:
hasMoreElements
in interface java.util.Enumeration
nextElement
public java.lang.Object nextElement()
- Specified by:
nextElement
in interface java.util.Enumeration
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
nextRandomSeries
public void nextRandomSeries()