C# (CSharp) MapType.Cloneの例

コード例 #1

ファイル: Duplicator.cs プロジェクト: luckysunda/hice-dt

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

コード例 #2

ファイル: Duplicator.cs プロジェクト: qunyanm/boogie

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

コード例 #3

 public override MapType VisitMapType(MapType node)
 {
     // do /not/ clone the type recursively
     return((MapType)node.Clone());
 }