C# (CSharp) BvType.Clone 예제들

예제 #1

파일: Duplicator.cs 프로젝트: luckysunda/hice-dt

 public override Type VisitBvType(BvType node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Type>() != null);
     // do /not/ clone the type recursively
     return((BvType)node.Clone());
 }

예제 #2

파일: Duplicator.cs 프로젝트: qunyanm/boogie

 public override Type VisitBvType(BvType node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Type>() != null);
   // do /not/ clone the type recursively
   return (BvType)node.Clone();
 }

예제 #3

 public override Type VisitBvType(BvType node)
 {
     // do /not/ clone the type recursively
     return((BvType)node.Clone());
 }