Minor refactoring

3 files changed, 16 insertions, 16 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index d961eb3e..5ed619d6 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -1865,14 +1865,14 @@ namespace Microsoft.Boogie {
       }

     }

 

-    public byte[] MD5DependenciesChecksum_;

-    public byte[] MD5DependenciesChecksum

+    public byte[] MD5DependencyChecksum_;

+    public byte[] MD5DependencyChecksum

     {

       get

       {

         Contract.Requires(DependenciesCollected);

 

-        if (MD5DependenciesChecksum_ == null && MD5Checksum != null)

+        if (MD5DependencyChecksum_ == null && MD5Checksum != null)

         {

           var c = MD5Checksum;

           var transFuncDeps = new HashSet<Function>();

@@ -1918,9 +1918,9 @@ namespace Microsoft.Boogie {
               }

             }

           }

-          MD5DependenciesChecksum_ = c;

+          MD5DependencyChecksum_ = c;

         }

-        return MD5DependenciesChecksum_;

+        return MD5DependencyChecksum_;

       }

     }

 

@@ -1932,16 +1932,16 @@ namespace Microsoft.Boogie {
       }

     }

 

-    string dependenciesChecksum;

-    public string DependenciesChecksum

+    string dependencyChecksum;

+    public string DependencyChecksum

     {

       get

       {

-        if (dependenciesChecksum == null && MD5DependenciesChecksum != null)

+        if (dependencyChecksum == null && MD5DependencyChecksum != null)

         {

-          dependenciesChecksum = BitConverter.ToString(MD5DependenciesChecksum);

+          dependencyChecksum = BitConverter.ToString(MD5DependencyChecksum);

         }

-        return dependenciesChecksum;

+        return dependencyChecksum;

       }

     }

 

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index b16fb1ba..26a28e0e 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -1999,7 +1999,7 @@ namespace Microsoft.Boogie {
     public string/*!*/ callee { get; set; }

     public Procedure Proc;

     public LocalVariable AssignedAssumptionVariable;

-    public bool EmitDependenciesChecksum;

+    public bool EmitDependencyChecksum;

 

     // Element of the following lists can be null, which means that

     // the call happens with * as these parameters

@@ -2087,12 +2087,12 @@ namespace Microsoft.Boogie {
         stream.Write(" := ");

       }

       stream.Write(TokenTextWriter.SanitizeIdentifier(callee));

-      if (stream.UseForComputingChecksums && EmitDependenciesChecksum)

+      if (stream.UseForComputingChecksums && EmitDependencyChecksum)

       {

-        var c = Proc.DependenciesChecksum;

+        var c = Proc.DependencyChecksum;

         if (c != null)

         {

-          stream.Write(string.Format("[dependencies_checksum:{0}]", c));

+          stream.Write(string.Format("[dependency_checksum:{0}]", c));

         }

       }

       stream.Write("(");

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 33b3a818..95a11a65 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1804,10 +1804,10 @@ namespace Microsoft.Boogie {
       this.name.Emit(stream, 0xF0, false);

       if (stream.UseForComputingChecksums)

       {

-        var c = Func.DependenciesChecksum;

+        var c = Func.DependencyChecksum;

         if (c != null)

         {

-          stream.Write(string.Format("[dependencies_checksum:{0}]", c));

+          stream.Write(string.Format("[dependency_checksum:{0}]", c));

         }

       }

       stream.Write("(");