DafnyExtension: improvements

1 files changed, 0 insertions, 11 deletions

diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
index 77a1fcf8..0304dd20 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
@@ -114,9 +114,6 @@ namespace DafnyLanguage
 

       foreach (var module in program.Modules) {

         foreach (var d in module.TopLevelDecls) {

-          if (!HasBodyTokens(d) && !(d is ClassDecl)) {

-            continue;

-          }

           if (d is DatatypeDecl) {

             var dt = (DatatypeDecl)d;

             foreach (var ctor in dt.Ctors) {

@@ -129,9 +126,6 @@ namespace DafnyLanguage
           } else if (d is ClassDecl) {

             var cl = (ClassDecl)d;

             foreach (var member in cl.Members) {

-              if (!HasBodyTokens(member)) {

-                continue;

-              }

               if (member is Function) {

                 var f = (Function)member;

                 foreach (var p in f.Formals) {

@@ -261,11 +255,6 @@ namespace DafnyLanguage
       }

     }

 

-    bool HasBodyTokens(Declaration decl) {

-      Contract.Requires(decl != null);

-      return decl.BodyStartTok != Bpl.Token.NoToken && decl.BodyEndTok != Bpl.Token.NoToken;

-    }

-

     class IdRegion

     {

       public readonly int Start;