public override Expression VisitArrayAccess(ArrayAccess acc) { var tmr = new TypedMemoryExpressionRewriter(prog); return tmr.RewriteArrayAccess(acc.TypeVariable, acc.Array, acc.Index); }
public override Expression VisitSegmentedAccess(SegmentedAccess access) { var tmer = new TypedMemoryExpressionRewriter(prog); return tmer.Rewrite(access); }
public override Expression VisitMemoryAccess(MemoryAccess access) { var tmer = new TypedMemoryExpressionRewriter(program); return tmer.Rewrite(access); }