Rename Linter to something more specific

dafny-lang · Sep 1, 2022 · a526739 · a526739
1 parent bfc3d61
commit a526739
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
@@ -441,7 +441,7 @@ public void ResolveProgram(Program prog) {
         rewriters.Add(new ConstructorWarning(reporter));
       }
 
-      rewriters.Add(new Linter(reporter));
+      rewriters.Add(new UselessOldLinter(reporter));
 
       foreach (var plugin in DafnyOptions.O.Plugins) {
         rewriters.AddRange(plugin.GetRewriters(reporter));

diff --git a/Source/Dafny/Linter.cs → Source/Dafny/UselessOldLinter.cs b/Source/Dafny/Linter.cs → Source/Dafny/UselessOldLinter.cs
@@ -11,27 +11,27 @@
 
 namespace Microsoft.Dafny {
 
-  class Linter : IRewriter {
+  public class UselessOldLinter : IRewriter {
     internal override void PostResolve(Program program) {
       base.PostResolve(program);
       foreach (var moduleDefinition in program.Modules()) {
         foreach (var topLevelDecl in moduleDefinition.TopLevelDecls.OfType<TopLevelDeclWithMembers>()) {
           foreach (var callable in topLevelDecl.Members.OfType<ICallable>()) {
-            var visitor = new LinterVisitor(this.Reporter);
+            var visitor = new UselessOldLinterVisitor(this.Reporter);
             visitor.Visit(callable, Unit.Default);
           }
         }
       }
     }
 
-    public Linter(ErrorReporter reporter) : base(reporter) {
+    public UselessOldLinter(ErrorReporter reporter) : base(reporter) {
     }
   }
 
-  class LinterVisitor : TopDownVisitor<Unit> {
+  class UselessOldLinterVisitor : TopDownVisitor<Unit> {
     private readonly ErrorReporter reporter;
 
-    public LinterVisitor(ErrorReporter reporter) {
+    public UselessOldLinterVisitor(ErrorReporter reporter) {
       this.reporter = reporter;
     }