gov.nasa.jpf.util

Interface Attributable

All Known Subinterfaces:

InstanceInvokeInstruction, InstructionInterface, 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 Attributable

interface for types that support attributes

Method Summary

Modifier and Type	Method and Description
void	addAttr(java.lang.Object a)
ObjectList.Iterator	attrIterator()
<T> ObjectList.TypedIterator<T>	attrIterator(java.lang.Class<T> attrType)
java.lang.Object	getAttr()
<T> T	getAttr(java.lang.Class<T> attrType)
<T> T	getNextAttr(java.lang.Class<T> attrType, java.lang.Object prev)
boolean	hasAttr()
boolean	hasAttr(java.lang.Class<?> attrType)
void	removeAttr(java.lang.Object a)
void	replaceAttr(java.lang.Object oldAttr, java.lang.Object newAttr)
void	setAttr(java.lang.Object a)

Method Detail

hasAttr

boolean hasAttr()

hasAttr

boolean hasAttr(java.lang.Class<?> attrType)

getAttr

java.lang.Object getAttr()

setAttr

void setAttr(java.lang.Object a)

addAttr

void addAttr(java.lang.Object a)

removeAttr

void removeAttr(java.lang.Object a)

replaceAttr

void replaceAttr(java.lang.Object oldAttr,
                 java.lang.Object newAttr)

getAttr

<T> T getAttr(java.lang.Class<T> attrType)

getNextAttr

<T> T getNextAttr(java.lang.Class<T> attrType,
                  java.lang.Object prev)

attrIterator

ObjectList.Iterator attrIterator()

attrIterator

<T> ObjectList.TypedIterator<T> attrIterator(java.lang.Class<T> attrType)