コード例 #1
0
 public virtual Differences VisitQueryRollback(QueryRollback qr1, QueryRollback qr2){
   Differences differences = new Differences(qr1, qr2);
   if (qr1 == null || qr2 == null){
     if (qr1 != qr2) differences.NumberOfDifferences++; else differences.NumberOfSimilarities++;
   }else
     differences.Changes = null;
   return differences;
 }
コード例 #2
0
ファイル: Updater.cs プロジェクト: asvishnyakov/CodeContracts
 public virtual Node VisitQueryRollback(QueryRollback qr, QueryRollback changes, QueryRollback deletions, QueryRollback insertions){
   this.UpdateSourceContext(qr, changes);
   if (qr == null) return changes;
   if (changes != null){
     if (deletions == null || insertions == null)
       Debug.Assert(false);
     else{
     }
   }else if (deletions != null)
     return null;
   return qr;
 }
コード例 #3
0
ファイル: Checker.cs プロジェクト: hesam/SketchSharp
 public override Node VisitQueryRollback(QueryRollback qr) {
   if (qr == null) return null;
   if (this.currentTransaction == null) {
     this.HandleError(qr, Error.QueryNotTransacted);
     return null;
   }
   return base.VisitQueryRollback(qr);
 }
コード例 #4
0
ファイル: StandardVisitor.cs プロジェクト: dbremner/specsharp
 public virtual Node VisitQueryRollback(QueryRollback qr){
   return qr;
 }
コード例 #5
0
ファイル: Inspector.cs プロジェクト: a780201/CodeContracts
 public virtual void VisitQueryRollback(QueryRollback qr){
 }
コード例 #6
0
ファイル: Duplicator.cs プロジェクト: hnlshzx/DotNetOpenAuth
 public override Node VisitQueryRollback(QueryRollback qr){
   if (qr == null) return null;
   return base.VisitQueryRollback((QueryRollback)qr.Clone());
 }
コード例 #7
0
 public virtual Node VisitQueryRollback(QueryRollback qr1, QueryRollback qr2){
   return qr1;
 }
コード例 #8
0
ファイル: Normalizer.cs プロジェクト: dbremner/specsharp
 public override Node VisitQueryRollback(QueryRollback qr) {
   if (qr == null) return null;
   return this.VisitBranch(new Branch(null, this.currentTransaction.RollbackBody));
 }
コード例 #9
0
 public EventingVisitor(Action<QueryRollback> visitQueryRollback) { VisitedQueryRollback += visitQueryRollback; } public event Action<QueryRollback> VisitedQueryRollback; public override Node VisitQueryRollback(QueryRollback qr) { if (VisitedQueryRollback != null) VisitedQueryRollback(qr); return base.VisitQueryRollback(qr); }