@Override public void visit(UnwrapArrayExpr expr) { expr.getArray().acceptVisitor(this); Expr arrayExpr = resultExpr; expr.setArray(arrayExpr); resultExpr = expr; }
@Override public void visit(UnwrapArrayInstruction insn) { UnwrapArrayExpr unwrapExpr = new UnwrapArrayExpr(insn.getElementType()); unwrapExpr.setArray(Expr.var(insn.getArray().getIndex())); assign(unwrapExpr, insn.getReceiver()); }