Uses of Class
gov.nasa.jpf.util.Invocation

Packages that use Invocation

Package	Description
gov.nasa.jpf.jvm
gov.nasa.jpf.jvm.bytecode
gov.nasa.jpf.vm.choice

Uses of Invocation in gov.nasa.jpf.jvm

Method parameters in gov.nasa.jpf.jvm with type arguments of type Invocation

Modifier and Type	Method and Description
abstract Instruction	JVMInstructionFactory.invokecg(List<Invocation> invokes)
void	JVMCodeBuilder.invokecg(List<Invocation> invokes)

Uses of Invocation in gov.nasa.jpf.jvm.bytecode

Method parameters in gov.nasa.jpf.jvm.bytecode with type arguments of type Invocation

Modifier and Type	Method and Description
Instruction	InstructionFactory.invokecg(List<Invocation> invokes)
void	INVOKECG.setInvokes(List<Invocation> invokes)

Constructor parameters in gov.nasa.jpf.jvm.bytecode with type arguments of type Invocation

Constructor and Description
INVOKECG(List<Invocation> invokes)

Uses of Invocation in gov.nasa.jpf.vm.choice

Fields in gov.nasa.jpf.vm.choice declared as Invocation

Modifier and Type	Field and Description
protected Invocation	InvocationCG.cur

Fields in gov.nasa.jpf.vm.choice with type parameters of type Invocation

Modifier and Type	Field and Description
protected List<Invocation>	InvocationCG.invokes
protected ListIterator<Invocation>	InvocationCG.it

Methods in gov.nasa.jpf.vm.choice that return Invocation

Modifier and Type	Method and Description
Invocation	InvocationCG.getNextChoice()

Methods in gov.nasa.jpf.vm.choice that return types with arguments of type Invocation

Modifier and Type	Method and Description
Class<Invocation>	InvocationCG.getChoiceType()
ChoiceGenerator<Invocation>	InvocationCG.randomize()

Constructor parameters in gov.nasa.jpf.vm.choice with type arguments of type Invocation

Constructor and Description
InvocationCG(String id, List<Invocation> invokes)