(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of its methods now demand the return value to equal the given node.

Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs
index 6119d522..a76566e4 100644
--- a/Source/Predication/UniformityAnalyser.cs
+++ b/Source/Predication/UniformityAnalyser.cs
@@ -396,7 +396,7 @@ namespace Microsoft.Boogie
             return !nonUniformBlocks[procedureName].Contains(b);

         }

 

-        class UniformExpressionAnalysisVisitor : StandardVisitor {

+        class UniformExpressionAnalysisVisitor : ReadOnlyVisitor {

 

           private bool isUniform = true;

           private Dictionary<string, bool> uniformityInfo;