gov.nasa.jpf.jvm.bytecode

Interface StoreInstruction

All Known Implementing Classes:

AASTORE, ArrayStoreInstruction, ASTORE, BASTORE, CASTORE, DASTORE, DSTORE, FASTORE, FSTORE, IASTORE, ISTORE, LASTORE, LongArrayStoreInstruction, LSTORE, PUTFIELD, PUTSTATIC, SASTORE

public interface StoreInstruction

abstraction for various store instructions