public override AssignLhs VisitMapAssignLhs(MapAssignLhs node) { MapAssignLhs clone = (MapAssignLhs)node.Clone(); clone.Indexes = new List <Expr>(node.Indexes); return(base.VisitMapAssignLhs(clone)); }
public override AssignLhs VisitMapAssignLhs(MapAssignLhs node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result <AssignLhs>() != null); MapAssignLhs clone = (MapAssignLhs)node.Clone(); clone.Indexes = new List <Expr /*!*/>(clone.Indexes); return(base.VisitMapAssignLhs(clone)); }
public override AssignLhs VisitMapAssignLhs(MapAssignLhs node) { return(base.VisitMapAssignLhs((MapAssignLhs)node.Clone())); }