Method LoadField

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

(Var lvalue, FieldAccess rvalue)

public class LoadField extends FieldStmt<Var, FieldAccess> {

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

    @Override
    public FieldAccess getFieldAccess() {