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

Methods

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

Method Detail

getChoiceGeneratorType

Class<? extends ChoiceGenerator<?>> getChoiceGeneratorType()

createChoiceGenerator

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

perturb

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