Method addStoreField

src/main/java/pascal/taie/ir/exp/Var.java:163–166

(StoreField storeField)

    }

    public void addStoreField(StoreField storeField) {
        ensureRelevantStmts();
        relevantStmts.addStoreField(storeField);
    }

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