Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode |
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 |