InstructionFactory

java.lang.Object
- gov.nasa.jpf.jvm.JVMInstructionFactory
- - gov.nasa.jpf.jvm.bytecode.InstructionFactory

All Implemented Interfaces:

java.lang.Cloneable
```
public class InstructionFactory
extends JVMInstructionFactory
```
this is the new JVMInstructionFactory

Field Summary
- Fields inherited from class gov.nasa.jpf.jvm.JVMInstructionFactory
  singleton

Constructor Summary

Constructors
Constructor and Description

InstructionFactory()

Constructors
Constructor and Description
`InstructionFactory()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Instruction`	`aaload()`
`Instruction`	`aastore()`
`Instruction`	`aconst_null()`
`Instruction`	`aload_0()`
`Instruction`	`aload_1()`
`Instruction`	`aload_2()`
`Instruction`	`aload_3()`
`Instruction`	`aload(int localVarIndex)`
`Instruction`	`anewarray(java.lang.String clsName)`
`Instruction`	`areturn()`
`Instruction`	`arraylength()`
`Instruction`	`astore_0()`
`Instruction`	`astore_1()`
`Instruction`	`astore_2()`
`Instruction`	`astore_3()`
`Instruction`	`astore(int localVarIndex)`
`Instruction`	`athrow()`
`Instruction`	`baload()`
`Instruction`	`bastore()`
`Instruction`	`bipush(int b)`
`Instruction`	`caload()`
`Instruction`	`castore()`
`Instruction`	`checkcast(java.lang.String clsName)`
`java.lang.Object`	`clone()`
`Instruction`	`d2f()`
`Instruction`	`d2i()`
`Instruction`	`d2l()`
`Instruction`	`dadd()`
`Instruction`	`daload()`
`Instruction`	`dastore()`
`Instruction`	`dcmpg()`
`Instruction`	`dcmpl()`
`Instruction`	`dconst_0()`
`Instruction`	`dconst_1()`
`Instruction`	`ddiv()`
`Instruction`	`directcallreturn()`
`Instruction`	`dload_0()`
`Instruction`	`dload_1()`
`Instruction`	`dload_2()`
`Instruction`	`dload_3()`
`Instruction`	`dload(int localVarIndex)`
`Instruction`	`dmul()`
`Instruction`	`dneg()`
`Instruction`	`drem()`
`Instruction`	`dreturn()`
`Instruction`	`dstore_0()`
`Instruction`	`dstore_1()`
`Instruction`	`dstore_2()`
`Instruction`	`dstore_3()`
`Instruction`	`dstore(int localVarIndex)`
`Instruction`	`dsub()`
`Instruction`	`dup_x1()`
`Instruction`	`dup_x2()`
`Instruction`	`dup()`
`Instruction`	`dup2_x1()`
`Instruction`	`dup2_x2()`
`Instruction`	`dup2()`
`Instruction`	`executenative(NativeMethodInfo mi)`
`Instruction`	`f2d()`
`Instruction`	`f2i()`
`Instruction`	`f2l()`
`Instruction`	`fadd()`
`Instruction`	`faload()`
`Instruction`	`fastore()`
`Instruction`	`fcmpg()`
`Instruction`	`fcmpl()`
`Instruction`	`fconst_0()`
`Instruction`	`fconst_1()`
`Instruction`	`fconst_2()`
`Instruction`	`fdiv()`
`Instruction`	`finishclinit(ClassInfo ci)`
`Instruction`	`fload_0()`
`Instruction`	`fload_1()`
`Instruction`	`fload_2()`
`Instruction`	`fload_3()`
`Instruction`	`fload(int localVarIndex)`
`Instruction`	`fmul()`
`Instruction`	`fneg()`
`Instruction`	`frem()`
`Instruction`	`freturn()`
`Instruction`	`fstore_0()`
`Instruction`	`fstore_1()`
`Instruction`	`fstore_2()`
`Instruction`	`fstore_3()`
`Instruction`	`fstore(int localVarIndex)`
`Instruction`	`fsub()`
`Instruction`	`getfield(java.lang.String fieldName, java.lang.String clsName, java.lang.String fieldDescriptor)`
`Instruction`	`getstatic(java.lang.String fieldName, java.lang.String clsName, java.lang.String fieldDescriptor)`
`Instruction`	`goto_(int targetPc)`
`Instruction`	`goto_w(int targetPc)`
`Instruction`	`i2b()`
`Instruction`	`i2c()`
`Instruction`	`i2d()`
`Instruction`	`i2f()`
`Instruction`	`i2l()`
`Instruction`	`i2s()`
`Instruction`	`iadd()`
`Instruction`	`iaload()`
`Instruction`	`iand()`
`Instruction`	`iastore()`
`Instruction`	`iconst_0()`
`Instruction`	`iconst_1()`
`Instruction`	`iconst_2()`
`Instruction`	`iconst_3()`
`Instruction`	`iconst_4()`
`Instruction`	`iconst_5()`
`Instruction`	`iconst_m1()`
`Instruction`	`idiv()`
`Instruction`	`if_acmpeq(int targetPc)`
`Instruction`	`if_acmpne(int targetPc)`
`Instruction`	`if_icmpeq(int targetPc)`
`Instruction`	`if_icmpge(int targetPc)`
`Instruction`	`if_icmpgt(int targetPc)`
`Instruction`	`if_icmple(int targetPc)`
`Instruction`	`if_icmplt(int targetPc)`
`Instruction`	`if_icmpne(int targetPc)`
`Instruction`	`ifeq(int targetPc)`
`Instruction`	`ifge(int targetPc)`
`Instruction`	`ifgt(int targetPc)`
`Instruction`	`ifle(int targetPc)`
`Instruction`	`iflt(int targetPc)`
`Instruction`	`ifne(int targetPc)`
`Instruction`	`ifnonnull(int targetPc)`
`Instruction`	`ifnull(int targetPc)`
`Instruction`	`iinc(int localVarIndex, int incConstant)`
`Instruction`	`iload_0()`
`Instruction`	`iload_1()`
`Instruction`	`iload_2()`
`Instruction`	`iload_3()`
`Instruction`	`iload(int localVarIndex)`
`Instruction`	`imul()`
`Instruction`	`ineg()`
`Instruction`	`instanceof_(java.lang.String clsName)`
`Instruction`	`invokecg(java.util.List<Invocation> invokes)`
`Instruction`	`invokeclinit(ClassInfo ci)`
`Instruction`	`invokedynamic(int bootstrapIndex, java.lang.String samMethodName, java.lang.String functionType)`
`Instruction`	`invokeinterface(java.lang.String clsName, java.lang.String methodName, java.lang.String methodSignature)`
`Instruction`	`invokespecial(java.lang.String clsName, java.lang.String methodName, java.lang.String methodSignature)`
`Instruction`	`invokestatic(java.lang.String clsName, java.lang.String methodName, java.lang.String methodSignature)`
`Instruction`	`invokevirtual(java.lang.String clsName, java.lang.String methodName, java.lang.String methodSignature)`
`Instruction`	`ior()`
`Instruction`	`irem()`
`Instruction`	`ireturn()`
`Instruction`	`ishl()`
`Instruction`	`ishr()`
`Instruction`	`istore_0()`
`Instruction`	`istore_1()`
`Instruction`	`istore_2()`
`Instruction`	`istore_3()`
`Instruction`	`istore(int localVarIndex)`
`Instruction`	`isub()`
`Instruction`	`iushr()`
`Instruction`	`ixor()`
`Instruction`	`jsr_w(int targetPc)`
`Instruction`	`jsr(int targetPc)`
`Instruction`	`l2d()`
`Instruction`	`l2f()`
`Instruction`	`l2i()`
`Instruction`	`ladd()`
`Instruction`	`laload()`
`Instruction`	`land()`
`Instruction`	`lastore()`
`Instruction`	`lcmp()`
`Instruction`	`lconst_0()`
`Instruction`	`lconst_1()`
`Instruction`	`ldc_w(float v)`
`Instruction`	`ldc_w(int v)`
`Instruction`	`ldc_w(java.lang.String v, boolean isClass)`
`Instruction`	`ldc(float v)`
`Instruction`	`ldc(int v)`
`Instruction`	`ldc(java.lang.String v, boolean isClass)`
`Instruction`	`ldc2_w(double v)`
`Instruction`	`ldc2_w(long v)`
`Instruction`	`ldiv()`
`Instruction`	`lload_0()`
`Instruction`	`lload_1()`
`Instruction`	`lload_2()`
`Instruction`	`lload_3()`
`Instruction`	`lload(int localVarIndex)`
`Instruction`	`lmul()`
`Instruction`	`lneg()`
`Instruction`	`lookupswitch(int defaultTargetPc, int nEntries)`
`Instruction`	`lor()`
`Instruction`	`lrem()`
`Instruction`	`lreturn()`
`Instruction`	`lshl()`
`Instruction`	`lshr()`
`Instruction`	`lstore_0()`
`Instruction`	`lstore_1()`
`Instruction`	`lstore_2()`
`Instruction`	`lstore_3()`
`Instruction`	`lstore(int localVarIndex)`
`Instruction`	`lsub()`
`Instruction`	`lushr()`
`Instruction`	`lxor()`
`Instruction`	`monitorenter()`
`Instruction`	`monitorexit()`
`Instruction`	`multianewarray(java.lang.String clsName, int dimensions)`
`Instruction`	`nativereturn()`
`Instruction`	`new_(java.lang.String clsName)`
`Instruction`	`newarray(int typeCode)`
`Instruction`	`nop()`
`Instruction`	`pop()`
`Instruction`	`pop2()`
`Instruction`	`putfield(java.lang.String fieldName, java.lang.String clsName, java.lang.String fieldDescriptor)`
`Instruction`	`putstatic(java.lang.String fieldName, java.lang.String clsName, java.lang.String fieldDescriptor)`
`Instruction`	`ret(int localVarIndex)`
`Instruction`	`return_()`
`Instruction`	`runstart(MethodInfo miRun)`
`Instruction`	`saload()`
`Instruction`	`sastore()`
`Instruction`	`sipush(int val)`
`Instruction`	`swap()`
`Instruction`	`tableswitch(int defaultTargetPc, int low, int high)`
`Instruction`	`wide()`

Methods inherited from class gov.nasa.jpf.jvm.JVMInstructionFactory
getFactory

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - InstructionFactory
```
public InstructionFactory()
```
- Method Detail
  - clone
```
public java.lang.Object clone()
```
    Overrides:
    
    clone in class java.lang.Object
  - aconst_null
```
public Instruction aconst_null()
```
    Specified by:
    
    aconst_null in class JVMInstructionFactory
  - aload
```
public Instruction aload(int localVarIndex)
```
    Specified by:
    
    aload in class JVMInstructionFactory
  - aload_0
```
public Instruction aload_0()
```
    Specified by:
    
    aload_0 in class JVMInstructionFactory
  - aload_1
```
public Instruction aload_1()
```
    Specified by:
    
    aload_1 in class JVMInstructionFactory
  - aload_2
```
public Instruction aload_2()
```
    Specified by:
    
    aload_2 in class JVMInstructionFactory
  - aload_3
```
public Instruction aload_3()
```
    Specified by:
    
    aload_3 in class JVMInstructionFactory
  - aaload
```
public Instruction aaload()
```
    Specified by:
    
    aaload in class JVMInstructionFactory
  - astore
```
public Instruction astore(int localVarIndex)
```
    Specified by:
    
    astore in class JVMInstructionFactory
  - astore_0
```
public Instruction astore_0()
```
    Specified by:
    
    astore_0 in class JVMInstructionFactory
  - astore_1
```
public Instruction astore_1()
```
    Specified by:
    
    astore_1 in class JVMInstructionFactory
  - astore_2
```
public Instruction astore_2()
```
    Specified by:
    
    astore_2 in class JVMInstructionFactory
  - astore_3
```
public Instruction astore_3()
```
    Specified by:
    
    astore_3 in class JVMInstructionFactory
  - aastore
```
public Instruction aastore()
```
    Specified by:
    
    aastore in class JVMInstructionFactory
  - areturn
```
public Instruction areturn()
```
    Specified by:
    
    areturn in class JVMInstructionFactory
  - anewarray
```
public Instruction anewarray(java.lang.String clsName)
```
    Specified by:
    
    anewarray in class JVMInstructionFactory
  - arraylength
```
public Instruction arraylength()
```
    Specified by:
    
    arraylength in class JVMInstructionFactory
  - athrow
```
public Instruction athrow()
```
    Specified by:
    
    athrow in class JVMInstructionFactory
  - baload
```
public Instruction baload()
```
    Specified by:
    
    baload in class JVMInstructionFactory
  - bastore
```
public Instruction bastore()
```
    Specified by:
    
    bastore in class JVMInstructionFactory
  - bipush
```
public Instruction bipush(int b)
```
    Specified by:
    
    bipush in class JVMInstructionFactory
  - caload
```
public Instruction caload()
```
    Specified by:
    
    caload in class JVMInstructionFactory
  - castore
```
public Instruction castore()
```
    Specified by:
    
    castore in class JVMInstructionFactory
  - checkcast
```
public Instruction checkcast(java.lang.String clsName)
```
    Specified by:
    
    checkcast in class JVMInstructionFactory
  - d2f
```
public Instruction d2f()
```
    Specified by:
    
    d2f in class JVMInstructionFactory
  - d2i
```
public Instruction d2i()
```
    Specified by:
    
    d2i in class JVMInstructionFactory
  - d2l
```
public Instruction d2l()
```
    Specified by:
    
    d2l in class JVMInstructionFactory
  - dadd
```
public Instruction dadd()
```
    Specified by:
    
    dadd in class JVMInstructionFactory
  - daload
```
public Instruction daload()
```
    Specified by:
    
    daload in class JVMInstructionFactory
  - dastore
```
public Instruction dastore()
```
    Specified by:
    
    dastore in class JVMInstructionFactory
  - dcmpg
```
public Instruction dcmpg()
```
    Specified by:
    
    dcmpg in class JVMInstructionFactory
  - dcmpl
```
public Instruction dcmpl()
```
    Specified by:
    
    dcmpl in class JVMInstructionFactory
  - dconst_0
```
public Instruction dconst_0()
```
    Specified by:
    
    dconst_0 in class JVMInstructionFactory
  - dconst_1
```
public Instruction dconst_1()
```
    Specified by:
    
    dconst_1 in class JVMInstructionFactory
  - ddiv
```
public Instruction ddiv()
```
    Specified by:
    
    ddiv in class JVMInstructionFactory
  - dload
```
public Instruction dload(int localVarIndex)
```
    Specified by:
    
    dload in class JVMInstructionFactory
  - dload_0
```
public Instruction dload_0()
```
    Specified by:
    
    dload_0 in class JVMInstructionFactory
  - dload_1
```
public Instruction dload_1()
```
    Specified by:
    
    dload_1 in class JVMInstructionFactory
  - dload_2
```
public Instruction dload_2()
```
    Specified by:
    
    dload_2 in class JVMInstructionFactory
  - dload_3
```
public Instruction dload_3()
```
    Specified by:
    
    dload_3 in class JVMInstructionFactory
  - dmul
```
public Instruction dmul()
```
    Specified by:
    
    dmul in class JVMInstructionFactory
  - dneg
```
public Instruction dneg()
```
    Specified by:
    
    dneg in class JVMInstructionFactory
  - drem
```
public Instruction drem()
```
    Specified by:
    
    drem in class JVMInstructionFactory
  - dreturn
```
public Instruction dreturn()
```
    Specified by:
    
    dreturn in class JVMInstructionFactory
  - dstore
```
public Instruction dstore(int localVarIndex)
```
    Specified by:
    
    dstore in class JVMInstructionFactory
  - dstore_0
```
public Instruction dstore_0()
```
    Specified by:
    
    dstore_0 in class JVMInstructionFactory
  - dstore_1
```
public Instruction dstore_1()
```
    Specified by:
    
    dstore_1 in class JVMInstructionFactory
  - dstore_2
```
public Instruction dstore_2()
```
    Specified by:
    
    dstore_2 in class JVMInstructionFactory
  - dstore_3
```
public Instruction dstore_3()
```
    Specified by:
    
    dstore_3 in class JVMInstructionFactory
  - dsub
```
public Instruction dsub()
```
    Specified by:
    
    dsub in class JVMInstructionFactory
  - dup
```
public Instruction dup()
```
    Specified by:
    
    dup in class JVMInstructionFactory
  - dup_x1
```
public Instruction dup_x1()
```
    Specified by:
    
    dup_x1 in class JVMInstructionFactory
  - dup_x2
```
public Instruction dup_x2()
```
    Specified by:
    
    dup_x2 in class JVMInstructionFactory
  - dup2
```
public Instruction dup2()
```
    Specified by:
    
    dup2 in class JVMInstructionFactory
  - dup2_x1
```
public Instruction dup2_x1()
```
    Specified by:
    
    dup2_x1 in class JVMInstructionFactory
  - dup2_x2
```
public Instruction dup2_x2()
```
    Specified by:
    
    dup2_x2 in class JVMInstructionFactory
  - f2d
```
public Instruction f2d()
```
    Specified by:
    
    f2d in class JVMInstructionFactory
  - f2i
```
public Instruction f2i()
```
    Specified by:
    
    f2i in class JVMInstructionFactory
  - f2l
```
public Instruction f2l()
```
    Specified by:
    
    f2l in class JVMInstructionFactory
  - fadd
```
public Instruction fadd()
```
    Specified by:
    
    fadd in class JVMInstructionFactory
  - faload
```
public Instruction faload()
```
    Specified by:
    
    faload in class JVMInstructionFactory
  - fastore
```
public Instruction fastore()
```
    Specified by:
    
    fastore in class JVMInstructionFactory
  - fcmpg
```
public Instruction fcmpg()
```
    Specified by:
    
    fcmpg in class JVMInstructionFactory
  - fcmpl
```
public Instruction fcmpl()
```
    Specified by:
    
    fcmpl in class JVMInstructionFactory
  - fconst_0
```
public Instruction fconst_0()
```
    Specified by:
    
    fconst_0 in class JVMInstructionFactory
  - fconst_1
```
public Instruction fconst_1()
```
    Specified by:
    
    fconst_1 in class JVMInstructionFactory
  - fconst_2
```
public Instruction fconst_2()
```
    Specified by:
    
    fconst_2 in class JVMInstructionFactory
  - fdiv
```
public Instruction fdiv()
```
    Specified by:
    
    fdiv in class JVMInstructionFactory
  - fload
```
public Instruction fload(int localVarIndex)
```
    Specified by:
    
    fload in class JVMInstructionFactory
  - fload_0
```
public Instruction fload_0()
```
    Specified by:
    
    fload_0 in class JVMInstructionFactory
  - fload_1
```
public Instruction fload_1()
```
    Specified by:
    
    fload_1 in class JVMInstructionFactory
  - fload_2
```
public Instruction fload_2()
```
    Specified by:
    
    fload_2 in class JVMInstructionFactory
  - fload_3
```
public Instruction fload_3()
```
    Specified by:
    
    fload_3 in class JVMInstructionFactory
  - fmul
```
public Instruction fmul()
```
    Specified by:
    
    fmul in class JVMInstructionFactory
  - fneg
```
public Instruction fneg()
```
    Specified by:
    
    fneg in class JVMInstructionFactory
  - frem
```
public Instruction frem()
```
    Specified by:
    
    frem in class JVMInstructionFactory
  - freturn
```
public Instruction freturn()
```
    Specified by:
    
    freturn in class JVMInstructionFactory
  - fstore
```
public Instruction fstore(int localVarIndex)
```
    Specified by:
    
    fstore in class JVMInstructionFactory
  - fstore_0
```
public Instruction fstore_0()
```
    Specified by:
    
    fstore_0 in class JVMInstructionFactory
  - fstore_1
```
public Instruction fstore_1()
```
    Specified by:
    
    fstore_1 in class JVMInstructionFactory
  - fstore_2
```
public Instruction fstore_2()
```
    Specified by:
    
    fstore_2 in class JVMInstructionFactory
  - fstore_3
```
public Instruction fstore_3()
```
    Specified by:
    
    fstore_3 in class JVMInstructionFactory
  - fsub
```
public Instruction fsub()
```
    Specified by:
    
    fsub in class JVMInstructionFactory
  - getfield
```
public Instruction getfield(java.lang.String fieldName,
                            java.lang.String clsName,
                            java.lang.String fieldDescriptor)
```
    Specified by:
    
    getfield in class JVMInstructionFactory
  - getstatic
```
public Instruction getstatic(java.lang.String fieldName,
                             java.lang.String clsName,
                             java.lang.String fieldDescriptor)
```
    Specified by:
    
    getstatic in class JVMInstructionFactory
  - goto_
```
public Instruction goto_(int targetPc)
```
    Specified by:
    
    goto_ in class JVMInstructionFactory
  - goto_w
```
public Instruction goto_w(int targetPc)
```
    Specified by:
    
    goto_w in class JVMInstructionFactory
  - i2b
```
public Instruction i2b()
```
    Specified by:
    
    i2b in class JVMInstructionFactory
  - i2c
```
public Instruction i2c()
```
    Specified by:
    
    i2c in class JVMInstructionFactory
  - i2d
```
public Instruction i2d()
```
    Specified by:
    
    i2d in class JVMInstructionFactory
  - i2f
```
public Instruction i2f()
```
    Specified by:
    
    i2f in class JVMInstructionFactory
  - i2l
```
public Instruction i2l()
```
    Specified by:
    
    i2l in class JVMInstructionFactory
  - i2s
```
public Instruction i2s()
```
    Specified by:
    
    i2s in class JVMInstructionFactory
  - iadd
```
public Instruction iadd()
```
    Specified by:
    
    iadd in class JVMInstructionFactory
  - iaload
```
public Instruction iaload()
```
    Specified by:
    
    iaload in class JVMInstructionFactory
  - iand
```
public Instruction iand()
```
    Specified by:
    
    iand in class JVMInstructionFactory
  - iastore
```
public Instruction iastore()
```
    Specified by:
    
    iastore in class JVMInstructionFactory
  - iconst_m1
```
public Instruction iconst_m1()
```
    Specified by:
    
    iconst_m1 in class JVMInstructionFactory
  - iconst_0
```
public Instruction iconst_0()
```
    Specified by:
    
    iconst_0 in class JVMInstructionFactory
  - iconst_1
```
public Instruction iconst_1()
```
    Specified by:
    
    iconst_1 in class JVMInstructionFactory
  - iconst_2
```
public Instruction iconst_2()
```
    Specified by:
    
    iconst_2 in class JVMInstructionFactory
  - iconst_3
```
public Instruction iconst_3()
```
    Specified by:
    
    iconst_3 in class JVMInstructionFactory
  - iconst_4
```
public Instruction iconst_4()
```
    Specified by:
    
    iconst_4 in class JVMInstructionFactory
  - iconst_5
```
public Instruction iconst_5()
```
    Specified by:
    
    iconst_5 in class JVMInstructionFactory
  - idiv
```
public Instruction idiv()
```
    Specified by:
    
    idiv in class JVMInstructionFactory
  - if_acmpeq
```
public Instruction if_acmpeq(int targetPc)
```
    Specified by:
    
    if_acmpeq in class JVMInstructionFactory
  - if_acmpne
```
public Instruction if_acmpne(int targetPc)
```
    Specified by:
    
    if_acmpne in class JVMInstructionFactory
  - if_icmpeq
```
public Instruction if_icmpeq(int targetPc)
```
    Specified by:
    
    if_icmpeq in class JVMInstructionFactory
  - if_icmpne
```
public Instruction if_icmpne(int targetPc)
```
    Specified by:
    
    if_icmpne in class JVMInstructionFactory
  - if_icmplt
```
public Instruction if_icmplt(int targetPc)
```
    Specified by:
    
    if_icmplt in class JVMInstructionFactory
  - if_icmpge
```
public Instruction if_icmpge(int targetPc)
```
    Specified by:
    
    if_icmpge in class JVMInstructionFactory
  - if_icmpgt
```
public Instruction if_icmpgt(int targetPc)
```
    Specified by:
    
    if_icmpgt in class JVMInstructionFactory
  - if_icmple
```
public Instruction if_icmple(int targetPc)
```
    Specified by:
    
    if_icmple in class JVMInstructionFactory
  - ifeq
```
public Instruction ifeq(int targetPc)
```
    Specified by:
    
    ifeq in class JVMInstructionFactory
  - ifne
```
public Instruction ifne(int targetPc)
```
    Specified by:
    
    ifne in class JVMInstructionFactory
  - iflt
```
public Instruction iflt(int targetPc)
```
    Specified by:
    
    iflt in class JVMInstructionFactory
  - ifge
```
public Instruction ifge(int targetPc)
```
    Specified by:
    
    ifge in class JVMInstructionFactory
  - ifgt
```
public Instruction ifgt(int targetPc)
```
    Specified by:
    
    ifgt in class JVMInstructionFactory
  - ifle
```
public Instruction ifle(int targetPc)
```
    Specified by:
    
    ifle in class JVMInstructionFactory
  - ifnonnull
```
public Instruction ifnonnull(int targetPc)
```
    Specified by:
    
    ifnonnull in class JVMInstructionFactory
  - ifnull
```
public Instruction ifnull(int targetPc)
```
    Specified by:
    
    ifnull in class JVMInstructionFactory
  - iinc
```
public Instruction iinc(int localVarIndex,
                        int incConstant)
```
    Specified by:
    
    iinc in class JVMInstructionFactory
  - iload
```
public Instruction iload(int localVarIndex)
```
    Specified by:
    
    iload in class JVMInstructionFactory
  - iload_0
```
public Instruction iload_0()
```
    Specified by:
    
    iload_0 in class JVMInstructionFactory
  - iload_1
```
public Instruction iload_1()
```
    Specified by:
    
    iload_1 in class JVMInstructionFactory
  - iload_2
```
public Instruction iload_2()
```
    Specified by:
    
    iload_2 in class JVMInstructionFactory
  - iload_3
```
public Instruction iload_3()
```
    Specified by:
    
    iload_3 in class JVMInstructionFactory
  - imul
```
public Instruction imul()
```
    Specified by:
    
    imul in class JVMInstructionFactory
  - ineg
```
public Instruction ineg()
```
    Specified by:
    
    ineg in class JVMInstructionFactory
  - instanceof_
```
public Instruction instanceof_(java.lang.String clsName)
```
    Specified by:
    
    instanceof_ in class JVMInstructionFactory
  - invokeinterface
```
public Instruction invokeinterface(java.lang.String clsName,
                                   java.lang.String methodName,
                                   java.lang.String methodSignature)
```
    Specified by:
    
    invokeinterface in class JVMInstructionFactory
  - invokespecial
```
public Instruction invokespecial(java.lang.String clsName,
                                 java.lang.String methodName,
                                 java.lang.String methodSignature)
```
    Specified by:
    
    invokespecial in class JVMInstructionFactory
  - invokestatic
```
public Instruction invokestatic(java.lang.String clsName,
                                java.lang.String methodName,
                                java.lang.String methodSignature)
```
    Specified by:
    
    invokestatic in class JVMInstructionFactory
  - invokevirtual
```
public Instruction invokevirtual(java.lang.String clsName,
                                 java.lang.String methodName,
                                 java.lang.String methodSignature)
```
    Specified by:
    
    invokevirtual in class JVMInstructionFactory
  - invokedynamic
```
public Instruction invokedynamic(int bootstrapIndex,
                                 java.lang.String samMethodName,
                                 java.lang.String functionType)
```
    Specified by:
    
    invokedynamic in class JVMInstructionFactory
  - ior
```
public Instruction ior()
```
    Specified by:
    
    ior in class JVMInstructionFactory
  - irem
```
public Instruction irem()
```
    Specified by:
    
    irem in class JVMInstructionFactory
  - ireturn
```
public Instruction ireturn()
```
    Specified by:
    
    ireturn in class JVMInstructionFactory
  - ishl
```
public Instruction ishl()
```
    Specified by:
    
    ishl in class JVMInstructionFactory
  - ishr
```
public Instruction ishr()
```
    Specified by:
    
    ishr in class JVMInstructionFactory
  - istore
```
public Instruction istore(int localVarIndex)
```
    Specified by:
    
    istore in class JVMInstructionFactory
  - istore_0
```
public Instruction istore_0()
```
    Specified by:
    
    istore_0 in class JVMInstructionFactory
  - istore_1
```
public Instruction istore_1()
```
    Specified by:
    
    istore_1 in class JVMInstructionFactory
  - istore_2
```
public Instruction istore_2()
```
    Specified by:
    
    istore_2 in class JVMInstructionFactory
  - istore_3
```
public Instruction istore_3()
```
    Specified by:
    
    istore_3 in class JVMInstructionFactory
  - isub
```
public Instruction isub()
```
    Specified by:
    
    isub in class JVMInstructionFactory
  - iushr
```
public Instruction iushr()
```
    Specified by:
    
    iushr in class JVMInstructionFactory
  - ixor
```
public Instruction ixor()
```
    Specified by:
    
    ixor in class JVMInstructionFactory
  - jsr
```
public Instruction jsr(int targetPc)
```
    Specified by:
    
    jsr in class JVMInstructionFactory
  - jsr_w
```
public Instruction jsr_w(int targetPc)
```
    Specified by:
    
    jsr_w in class JVMInstructionFactory
  - l2d
```
public Instruction l2d()
```
    Specified by:
    
    l2d in class JVMInstructionFactory
  - l2f
```
public Instruction l2f()
```
    Specified by:
    
    l2f in class JVMInstructionFactory
  - l2i
```
public Instruction l2i()
```
    Specified by:
    
    l2i in class JVMInstructionFactory
  - ladd
```
public Instruction ladd()
```
    Specified by:
    
    ladd in class JVMInstructionFactory
  - laload
```
public Instruction laload()
```
    Specified by:
    
    laload in class JVMInstructionFactory
  - land
```
public Instruction land()
```
    Specified by:
    
    land in class JVMInstructionFactory
  - lastore
```
public Instruction lastore()
```
    Specified by:
    
    lastore in class JVMInstructionFactory
  - lcmp
```
public Instruction lcmp()
```
    Specified by:
    
    lcmp in class JVMInstructionFactory
  - lconst_0
```
public Instruction lconst_0()
```
    Specified by:
    
    lconst_0 in class JVMInstructionFactory
  - lconst_1
```
public Instruction lconst_1()
```
    Specified by:
    
    lconst_1 in class JVMInstructionFactory
  - ldc
```
public Instruction ldc(int v)
```
    Specified by:
    
    ldc in class JVMInstructionFactory
  - ldc
```
public Instruction ldc(float v)
```
    Specified by:
    
    ldc in class JVMInstructionFactory
  - ldc
```
public Instruction ldc(java.lang.String v,
                       boolean isClass)
```
    Specified by:
    
    ldc in class JVMInstructionFactory
  - ldc_w
```
public Instruction ldc_w(int v)
```
    Specified by:
    
    ldc_w in class JVMInstructionFactory
  - ldc_w
```
public Instruction ldc_w(float v)
```
    Specified by:
    
    ldc_w in class JVMInstructionFactory
  - ldc_w
```
public Instruction ldc_w(java.lang.String v,
                         boolean isClass)
```
    Specified by:
    
    ldc_w in class JVMInstructionFactory
  - ldc2_w
```
public Instruction ldc2_w(long v)
```
    Specified by:
    
    ldc2_w in class JVMInstructionFactory
  - ldc2_w
```
public Instruction ldc2_w(double v)
```
    Specified by:
    
    ldc2_w in class JVMInstructionFactory
  - ldiv
```
public Instruction ldiv()
```
    Specified by:
    
    ldiv in class JVMInstructionFactory
  - lload
```
public Instruction lload(int localVarIndex)
```
    Specified by:
    
    lload in class JVMInstructionFactory
  - lload_0
```
public Instruction lload_0()
```
    Specified by:
    
    lload_0 in class JVMInstructionFactory
  - lload_1
```
public Instruction lload_1()
```
    Specified by:
    
    lload_1 in class JVMInstructionFactory
  - lload_2
```
public Instruction lload_2()
```
    Specified by:
    
    lload_2 in class JVMInstructionFactory
  - lload_3
```
public Instruction lload_3()
```
    Specified by:
    
    lload_3 in class JVMInstructionFactory
  - lmul
```
public Instruction lmul()
```
    Specified by:
    
    lmul in class JVMInstructionFactory
  - lneg
```
public Instruction lneg()
```
    Specified by:
    
    lneg in class JVMInstructionFactory
  - lookupswitch
```
public Instruction lookupswitch(int defaultTargetPc,
                                int nEntries)
```
    Specified by:
    
    lookupswitch in class JVMInstructionFactory
  - lor
```
public Instruction lor()
```
    Specified by:
    
    lor in class JVMInstructionFactory
  - lrem
```
public Instruction lrem()
```
    Specified by:
    
    lrem in class JVMInstructionFactory
  - lreturn
```
public Instruction lreturn()
```
    Specified by:
    
    lreturn in class JVMInstructionFactory
  - lshl
```
public Instruction lshl()
```
    Specified by:
    
    lshl in class JVMInstructionFactory
  - lshr
```
public Instruction lshr()
```
    Specified by:
    
    lshr in class JVMInstructionFactory
  - lstore
```
public Instruction lstore(int localVarIndex)
```
    Specified by:
    
    lstore in class JVMInstructionFactory
  - lstore_0
```
public Instruction lstore_0()
```
    Specified by:
    
    lstore_0 in class JVMInstructionFactory
  - lstore_1
```
public Instruction lstore_1()
```
    Specified by:
    
    lstore_1 in class JVMInstructionFactory
  - lstore_2
```
public Instruction lstore_2()
```
    Specified by:
    
    lstore_2 in class JVMInstructionFactory
  - lstore_3
```
public Instruction lstore_3()
```
    Specified by:
    
    lstore_3 in class JVMInstructionFactory
  - lsub
```
public Instruction lsub()
```
    Specified by:
    
    lsub in class JVMInstructionFactory
  - lushr
```
public Instruction lushr()
```
    Specified by:
    
    lushr in class JVMInstructionFactory
  - lxor
```
public Instruction lxor()
```
    Specified by:
    
    lxor in class JVMInstructionFactory
  - monitorenter
```
public Instruction monitorenter()
```
    Specified by:
    
    monitorenter in class JVMInstructionFactory
  - monitorexit
```
public Instruction monitorexit()
```
    Specified by:
    
    monitorexit in class JVMInstructionFactory
  - multianewarray
```
public Instruction multianewarray(java.lang.String clsName,
                                  int dimensions)
```
    Specified by:
    
    multianewarray in class JVMInstructionFactory
  - new_
```
public Instruction new_(java.lang.String clsName)
```
    Specified by:
    
    new_ in class JVMInstructionFactory
  - newarray
```
public Instruction newarray(int typeCode)
```
    Specified by:
    
    newarray in class JVMInstructionFactory
  - nop
```
public Instruction nop()
```
    Specified by:
    
    nop in class JVMInstructionFactory
  - pop
```
public Instruction pop()
```
    Specified by:
    
    pop in class JVMInstructionFactory
  - pop2
```
public Instruction pop2()
```
    Specified by:
    
    pop2 in class JVMInstructionFactory
  - putfield
```
public Instruction putfield(java.lang.String fieldName,
                            java.lang.String clsName,
                            java.lang.String fieldDescriptor)
```
    Specified by:
    
    putfield in class JVMInstructionFactory
  - putstatic
```
public Instruction putstatic(java.lang.String fieldName,
                             java.lang.String clsName,
                             java.lang.String fieldDescriptor)
```
    Specified by:
    
    putstatic in class JVMInstructionFactory
  - ret
```
public Instruction ret(int localVarIndex)
```
    Specified by:
    
    ret in class JVMInstructionFactory
  - return_
```
public Instruction return_()
```
    Specified by:
    
    return_ in class JVMInstructionFactory
  - saload
```
public Instruction saload()
```
    Specified by:
    
    saload in class JVMInstructionFactory
  - sastore
```
public Instruction sastore()
```
    Specified by:
    
    sastore in class JVMInstructionFactory
  - sipush
```
public Instruction sipush(int val)
```
    Specified by:
    
    sipush in class JVMInstructionFactory
  - swap
```
public Instruction swap()
```
    Specified by:
    
    swap in class JVMInstructionFactory
  - tableswitch
```
public Instruction tableswitch(int defaultTargetPc,
                               int low,
                               int high)
```
    Specified by:
    
    tableswitch in class JVMInstructionFactory
  - wide
```
public Instruction wide()
```
    Specified by:
    
    wide in class JVMInstructionFactory
  - invokecg
```
public Instruction invokecg(java.util.List<Invocation> invokes)
```
    Specified by:
    
    invokecg in class JVMInstructionFactory
  - invokeclinit
```
public Instruction invokeclinit(ClassInfo ci)
```
    Specified by:
    
    invokeclinit in class JVMInstructionFactory
  - directcallreturn
```
public Instruction directcallreturn()
```
    Specified by:
    
    directcallreturn in class JVMInstructionFactory
  - executenative
```
public Instruction executenative(NativeMethodInfo mi)
```
    Specified by:
    
    executenative in class JVMInstructionFactory
  - nativereturn
```
public Instruction nativereturn()
```
    Specified by:
    
    nativereturn in class JVMInstructionFactory
  - runstart
```
public Instruction runstart(MethodInfo miRun)
```
    Specified by:
    
    runstart in class JVMInstructionFactory
  - finishclinit
```
public Instruction finishclinit(ClassInfo ci)
```
    Specified by:
    
    finishclinit in class JVMInstructionFactory

Class InstructionFactory

Field Summary

Fields inherited from class gov.nasa.jpf.jvm.JVMInstructionFactory

Constructor Summary

Method Summary

Methods inherited from class gov.nasa.jpf.jvm.JVMInstructionFactory

Methods inherited from class java.lang.Object

Constructor Detail

InstructionFactory

Method Detail

clone

aconst_null

aload

aload_0

aload_1

aload_2

aload_3

aaload

astore

astore_0

astore_1

astore_2

astore_3

aastore

areturn

anewarray

arraylength

athrow

baload

bastore

bipush

caload

castore

checkcast

d2f

d2i

d2l

dadd

daload

dastore

dcmpg

dcmpl

dconst_0

dconst_1

ddiv

dload

dload_0

dload_1

dload_2

dload_3

dmul

dneg

drem

dreturn

dstore

dstore_0

dstore_1

dstore_2

dstore_3

dsub

dup

dup_x1

dup_x2

dup2

dup2_x1

dup2_x2

f2d

f2i

f2l

fadd

faload

fastore

fcmpg

fcmpl

fconst_0

fconst_1

fconst_2

fdiv

fload

fload_0