aastore

aastore

Forms aastore = 83 (0x53)

Stack ..., arrayref, index, value ...

Description The arrayref must be of type reference and must refer to an array whose components are of type reference. The index must be of type int and value must be of type reference. The arrayref, index, and value are popped from the operand stack. The reference value is stored as the component of the array at index.

The type of value must be assignment compatible (§2.6.6) with the type of the components of the array referenced by arrayref. Assignment of a value of reference type S (source) to a variable of reference type T (target) is allowed only when the type S supports all the operations defined on type T. The detailed rules follow:

• If S is a class type, then:
  • If T is a class type, then S must be the same class (§2.8.1) as T, or S must be a subclass of T;
  • If T is an interface type, S must implement (§2.13) interface T.

• If S is an array type, namely the type SC[], that is, an array of components of type SC, then:
  • If T is a class type, T must be Object (§2.4.6), or:
    • If T is an array type, namely the type TC[], an array of components of type TC, then eitherTC and SC must be the same primitive type, or
    • TC and SC must both be reference types with type SC assignable to TC, by these rules.

Runtime Exceptions If arrayref is null, aastore throws a NullPointerException.

Otherwise, if index is not within the bounds of the array referenced by arrayref, the aastore instruction throws an ArrayIndex-OutOfBounds-Exception.

Otherwise, if arrayref is not null and the actual type of value is not assignment compatible (§2.6.6) with the actual type of the components of the array, aastore throws an ArrayStoreException.