Method addStoreArray

src/main/java/pascal/taie/ir/exp/Var.java:187–190

(StoreArray storeArray)

    }

    public void addStoreArray(StoreArray storeArray) {
        ensureRelevantStmts();
        relevantStmts.addStoreArray(storeArray);
    }

    /**
     * @return {@link StoreArray}s whose base variable is this Var.