Method StoreField

src/main/java/pascal/taie/ir/stmt/StoreField.java:38–44

(FieldAccess lvalue, Var rvalue)

public class StoreField extends FieldStmt<FieldAccess, Var> {

    public StoreField(FieldAccess lvalue, Var rvalue) {
        super(lvalue, rvalue);
        if (lvalue instanceof InstanceFieldAccess) {
            Var base = ((InstanceFieldAccess) lvalue).getBase();
            base.addStoreField(this);
        }
    }

    @Override
    public FieldAccess getFieldAccess() {