C# (CSharp) Microsoft.Boogie MapAssignLhs.Cloneの例

コード例 #1

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

 public override AssignLhs VisitMapAssignLhs(MapAssignLhs node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<AssignLhs>() != null);
   MapAssignLhs clone = (MapAssignLhs)node.Clone();
   clone.Indexes = new List<Expr/*!*/>(clone.Indexes);
   return base.VisitMapAssignLhs(clone);
 }