예제 #1
0
 public override Absy Visit(Absy node) {
   return node.StdDispatch(this);
 }
예제 #2
0
 public override Absy Visit(Absy node)
 {
     Contract.Ensures(Contract.Result<Absy>() == node);
     return node.StdDispatch(this);
 }
예제 #3
0
 public override Absy Visit(Absy node)
 {
     //Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<Absy>() != null);
       return node.StdDispatch(this);
 }