InstructionInterface

All Superinterfaces:

Attributable

All Known Subinterfaces:

InstanceInvokeInstruction, JVMFieldInstruction, JVMInstruction, LocalVariableInstruction, ReadInstruction, ReadOrWriteInstruction, ReturnValueInstruction, WriteInstruction

All Known Implementing Classes:

AALOAD, AASTORE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ArrayElementInstruction, ARRAYLENGTH, ArrayLoadInstruction, ArrayStoreInstruction, ASTORE, ATHROW, BALOAD, BASTORE, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST, DDIV, DIRECTCALLRETURN, DLOAD, DMUL, DNEG, DoubleCompareInstruction, DREM, DRETURN, DSTORE, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, EXECUTENATIVE, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST, FDIV, FieldInstruction, FINISHCLINIT, FLOAD, FMUL, FNEG, FREM, FRETURN, FSTORE, FSUB, GETFIELD, GETSTATIC, GOTO, GOTO_W, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IfInstruction, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, IMUL, INEG, InstanceFieldInstruction, InstanceInvocation, INSTANCEOF, Instruction, INVOKECG, INVOKECLINIT, INVOKEDYNAMIC, InvokeInstruction, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, JSR_W, JVMArrayElementInstruction, JVMInstanceFieldInstruction, JVMInvokeInstruction, JVMLocalVariableInstruction, JVMReturnInstruction, JVMStaticFieldInstruction, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST, LDC, LDC_W, LDC2_W, LDIV, LLOAD, LMUL, LNEG, LockInstruction, LongArrayLoadInstruction, LongArrayStoreInstruction, LongReturn, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSUB, LUSHR, LXOR, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NATIVERETURN, NEW, NEWARRAY, NewArrayInstruction, NewInstruction, NOP, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, ReturnInstruction, RUNSTART, SALOAD, SASTORE, SIPUSH, StaticFieldInstruction, StaticFieldInstruction, SWAP, SwitchInstruction, TABLESWITCH, VirtualInvocation, WIDE
```
public interface InstructionInterface
extends Attributable
```
we use that to access Instruction methods from xInstruction interfaces NOTE - this has to be kept in sync with Instruction

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`Instruction`	`asInstruction()` this is for cases where we need the Instruction type.
`Instruction`	`execute(ThreadInfo ti)`
`int`	`getByteCode()`
`java.lang.String`	`getFileLocation()`
`java.lang.String`	`getFilePos()`
`int`	`getInstructionIndex()`
`int`	`getLength()`
`int`	`getLineNumber()`
`MethodInfo`	`getMethodInfo()`
`java.lang.String`	`getMnemonic()`
`Instruction`	`getNext()`
`Instruction`	`getNext(ThreadInfo ti)`
`int`	`getPosition()`
`Instruction`	`getPrev()`
`java.lang.String`	`getSourceLine()`
`java.lang.String`	`getSourceLocation()`
`boolean`	`isBackJump()`
`boolean`	`isCompleted(ThreadInfo ti)`
`boolean`	`isExtendedInstruction()`
`boolean`	`isFirstInstruction()`
`java.lang.String`	`toPostExecString()`

Methods inherited from interface gov.nasa.jpf.util.Attributable
addAttr, attrIterator, attrIterator, getAttr, getAttr, getNextAttr, hasAttr, hasAttr, removeAttr, replaceAttr, setAttr

Method Detail

asInstruction
```
Instruction asInstruction()
```
this is for cases where we need the Instruction type. Try to use InstructionInterface in clients

getByteCode
```
int getByteCode()
```

isFirstInstruction
```
boolean isFirstInstruction()
```

isBackJump
```
boolean isBackJump()
```

isExtendedInstruction
```
boolean isExtendedInstruction()
```

getNext
```
Instruction getNext()
```

getInstructionIndex
```
int getInstructionIndex()
```

getPosition
```
int getPosition()
```

getMethodInfo
```
MethodInfo getMethodInfo()
```

getLength
```
int getLength()
```

getPrev
```
Instruction getPrev()
```

isCompleted
```
boolean isCompleted(ThreadInfo ti)
```

getSourceLine
```
java.lang.String getSourceLine()
```

getSourceLocation
```
java.lang.String getSourceLocation()
```

execute
```
Instruction execute(ThreadInfo ti)
```

toPostExecString
```
java.lang.String toPostExecString()
```

getMnemonic
```
java.lang.String getMnemonic()
```

getLineNumber
```
int getLineNumber()
```

getFileLocation
```
java.lang.String getFileLocation()
```

getFilePos
```
java.lang.String getFilePos()
```

getNext
```
Instruction getNext(ThreadInfo ti)
```

Interface InstructionInterface

Method Summary

Methods inherited from interface gov.nasa.jpf.util.Attributable

Method Detail

asInstruction

getByteCode

isFirstInstruction

isBackJump

isExtendedInstruction

getNext

getInstructionIndex

getPosition

getMethodInfo

getLength

getPrev

isCompleted

getSourceLine

getSourceLocation

execute

toPostExecString

getMnemonic

getLineNumber

getFileLocation

getFilePos

getNext