C# (CSharp) QueryRollback Examples

Example #1

File: Comparer.cs Project: tapicer/resource-contracts-.net

 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;
 }

Example #2

File: Updater.cs Project: 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;
 }

Example #3

File: Checker.cs Project: 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);
 }

Example #4

File: StandardVisitor.cs Project: dbremner/specsharp

 public virtual Node VisitQueryRollback(QueryRollback qr){
   return qr;
 }

Example #5

File: Inspector.cs Project: a780201/CodeContracts

 public virtual void VisitQueryRollback(QueryRollback qr){
 }

Example #6

File: Duplicator.cs Project: hnlshzx/DotNetOpenAuth

 public override Node VisitQueryRollback(QueryRollback qr){
   if (qr == null) return null;
   return base.VisitQueryRollback((QueryRollback)qr.Clone());
 }

Example #7

File: DoubleVisitor.cs Project: hnlshzx/DotNetOpenAuth

 public virtual Node VisitQueryRollback(QueryRollback qr1, QueryRollback qr2){
   return qr1;
 }

Example #8

File: Normalizer.cs Project: dbremner/specsharp

 public override Node VisitQueryRollback(QueryRollback qr) {
   if (qr == null) return null;
   return this.VisitBranch(new Branch(null, this.currentTransaction.RollbackBody));
 }

Example #9

File: EventingVisitor.cs Project: asvishnyakov/CodeContracts

 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); }