public virtual Differences VisitResourceUse(ResourceUse resourceUse1, ResourceUse resourceUse2){ Differences differences = new Differences(resourceUse1, resourceUse2); if (resourceUse1 == null || resourceUse2 == null){ if (resourceUse1 != resourceUse2) differences.NumberOfDifferences++; else differences.NumberOfSimilarities++; return differences; } ResourceUse changes = (ResourceUse)resourceUse2.Clone(); ResourceUse deletions = (ResourceUse)resourceUse2.Clone(); ResourceUse insertions = (ResourceUse)resourceUse2.Clone(); Differences diff = this.VisitBlock(resourceUse1.Body, resourceUse2.Body); if (diff == null){Debug.Assert(false); return differences;} changes.Body = diff.Changes as Block; deletions.Body = diff.Deletions as Block; insertions.Body = diff.Insertions as Block; Debug.Assert(diff.Changes == changes.Body && diff.Deletions == deletions.Body && diff.Insertions == insertions.Body); differences.NumberOfDifferences += diff.NumberOfDifferences; differences.NumberOfSimilarities += diff.NumberOfSimilarities; diff = this.VisitStatement(resourceUse1.ResourceAcquisition, resourceUse2.ResourceAcquisition); if (diff == null){Debug.Assert(false); return differences;} changes.ResourceAcquisition = diff.Changes as Statement; deletions.ResourceAcquisition = diff.Deletions as Statement; insertions.ResourceAcquisition = diff.Insertions as Statement; Debug.Assert(diff.Changes == changes.ResourceAcquisition && diff.Deletions == deletions.ResourceAcquisition && diff.Insertions == insertions.ResourceAcquisition); differences.NumberOfDifferences += diff.NumberOfDifferences; differences.NumberOfSimilarities += diff.NumberOfSimilarities; if (differences.NumberOfDifferences == 0){ differences.Changes = null; differences.Deletions = null; differences.Insertions = null; }else{ differences.Changes = changes; differences.Deletions = deletions; differences.Insertions = insertions; } return differences; }
public override Statement VisitResourceUse(ResourceUse resourceUse) { if (resourceUse == null) return null; return base.VisitResourceUse((ResourceUse)resourceUse.Clone()); }