Esempio n. 1
0
 public override Type VisitBasicType(BasicType node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Type>() != null);
     // do /not/ clone the type recursively
     return((BasicType)node.Clone());
 }
Esempio n. 2
0
 public override Type VisitBasicType(BasicType node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Type>() != null);
   // do /not/ clone the type recursively
   return (BasicType)node.Clone();
 }
Esempio n. 3
0
 public override Type VisitBasicType(BasicType node)
 {
     // do /not/ clone the type recursively
     return((BasicType)node.Clone());
 }