gov.nasa.jpf.vm.bytecode

Interface StoreInstruction

All Known Implementing Classes:

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

public interface StoreInstruction

abstraction for various store instructions