Uses of Interface
gov.nasa.jpf.vm.AllocInstruction

Packages that use AllocInstruction

Package	Description
gov.nasa.jpf.jvm.bytecode

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

Classes in gov.nasa.jpf.jvm.bytecode that implement AllocInstruction

Modifier and Type	Class and Description
class	ANEWARRAY Create new array of reference ..., count => ..., arrayref
class	NEW Create new object ...
class	NEWARRAY Create new array ..., count => ..., arrayref
class	NewArrayInstruction