gov.nasa.jpf.perturb

Class IntOverUnder

java.lang.Object

gov.nasa.jpf.perturb.IntOverUnder

All Implemented Interfaces:

OperandPerturbator

public class IntOverUnder
extends java.lang.Object
implements OperandPerturbator

simple +/- delta perturbation of integer operand values

Field Summary

Fields

Modifier and Type	Field and Description
protected int	delta
protected int	offset

Constructor Summary

Constructors

Constructor and Description
IntOverUnder(Config conf, java.lang.String keyPrefix)
IntOverUnder(int delta)

Method Summary

Modifier and Type	Method and Description
ChoiceGenerator<?>	createChoiceGenerator(java.lang.String id, StackFrame frame, java.lang.Object refObject)
java.lang.Class<? extends ChoiceGenerator<?>>	getChoiceGeneratorType()
boolean	perturb(ChoiceGenerator<?> cg, StackFrame frame)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

delta

protected int delta

offset

protected int offset

Constructor Detail

IntOverUnder

public IntOverUnder(Config conf,
                    java.lang.String keyPrefix)

IntOverUnder

public IntOverUnder(int delta)

Method Detail

createChoiceGenerator

public ChoiceGenerator<?> createChoiceGenerator(java.lang.String id,
                                                StackFrame frame,
                                                java.lang.Object refObject)

Specified by:

createChoiceGenerator in interface OperandPerturbator

perturb

public boolean perturb(ChoiceGenerator<?> cg,
                       StackFrame frame)

Specified by:

perturb in interface OperandPerturbator

getChoiceGeneratorType

public java.lang.Class<? extends ChoiceGenerator<?>> getChoiceGeneratorType()

Specified by:

getChoiceGeneratorType in interface OperandPerturbator