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()));
}
