jaga.pj.circuits.fpgaft
Class SingleFullFaultModel

java.lang.Object
  |
  +--jaga.pj.circuits.fpgaft.SingleFullFaultModel
All Implemented Interfaces:
java.util.Enumeration, FaultModel, java.io.Serializable, SingleFaultModel

public class SingleFullFaultModel
extends java.lang.Object
implements SingleFaultModel

A fault model where a sequence of all elements within a range are failed in several ways.

The default values for:

See Also:
Serialized Form

Constructor Summary
SingleFullFaultModel(int proofPos)
          Creates new SingleFullFaultModel.
SingleFullFaultModel(int pfloorPos, int proofPos)
          Creates new SingleFullFaultModel.
SingleFullFaultModel(int pfloorPos, int proofPos, int ftypes)
          Creates new SingleFullFaultModel.
 
Method Summary
 boolean hasMoreElements()
           
 java.lang.Object nextElement()
           
 void reset()
          Resets the sequence of faults
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SingleFullFaultModel

public SingleFullFaultModel(int proofPos)
Creates new SingleFullFaultModel.
Parameters:
proofPos - position of (EXCLUSIVE) highest element number of sequence.

SingleFullFaultModel

public SingleFullFaultModel(int pfloorPos,
                            int proofPos)
Creates new SingleFullFaultModel.
Parameters:
pfloorPos - position of (INCLUSIVE) lowest element number of sequence.
proofPos - position of (EXCLUSIVE) highest element number of sequence.
ftypes - number of fault types to generate. These are as defined in FTLib.

SingleFullFaultModel

public SingleFullFaultModel(int pfloorPos,
                            int proofPos,
                            int ftypes)
Creates new SingleFullFaultModel.
Parameters:
pfloorPos - position of (INCLUSIVE) lowest element number of sequence.
proofPos - position of (EXCLUSIVE) highest element number of sequence.
ftypes - number of fault types to generate. These are as defined in FTLib.
Method Detail

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