예제 #1
0
 public override AssignLhs VisitSimpleAssignLhs(SimpleAssignLhs node)
 {
     return(base.VisitSimpleAssignLhs((SimpleAssignLhs)node.Clone()));
 }
예제 #2
0
 public override AssignLhs VisitSimpleAssignLhs(SimpleAssignLhs node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <AssignLhs>() != null);
     return(base.VisitSimpleAssignLhs((SimpleAssignLhs)node.Clone()));
 }