gov.nasa.jpf.perturb

Interface OperandPerturbator

All Known Implementing Classes:

GenericDataAbstractor, IntOverUnder

public interface OperandPerturbator

basic type for policy objects that perturb operand stacks by means of choice generators

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)

Method Detail

getChoiceGeneratorType

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

createChoiceGenerator

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

perturb

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