Rename

boogie-org · Nov 11, 2024 · 95583cd · 95583cd
1 parent 8225028
commit 95583cd
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Source/Core/Generic/TokenWrapper.cs b/Source/Core/Generic/TokenWrapper.cs
@@ -14,7 +14,7 @@ public int CompareTo(IToken? other) {
     return Inner.CompareTo(other);
   }
 
-  public bool SourceToken => false;
+  public bool IsSourceToken => false;
 
   public int kind {
     get => Inner.kind;

diff --git a/Source/Core/Token.cs b/Source/Core/Token.cs
@@ -12,7 +12,7 @@ public interface IToken : IComparable<IToken>
     /// <summary>
     /// True if this token was created during parsing
     /// </summary>
-    bool SourceToken { get; }
+    bool IsSourceToken { get; }
     int kind { get; set; } // token kind
     string filename { get; set; } // token file
     int pos { get; set; } // token position in the source text (starting at 0)
@@ -52,7 +52,7 @@ public Token(int linenum, int colnum)
       this._val = "anything so that it is nonnull";
     }
 
-    public bool SourceToken => true;
+    public bool IsSourceToken => true;
 
     public int kind
     {

diff --git a/Source/VCGeneration/Splits/IsolateAttributeOnJumpsHandler.cs b/Source/VCGeneration/Splits/IsolateAttributeOnJumpsHandler.cs
@@ -33,7 +33,7 @@ public static (List<ManualSplit> Isolated, ManualSplit Remainder) GetParts(VCGen
 
       var gotoFromReturn = gotoCmd.tok as GotoFromReturn;
       var isolateAttribute = QKeyValue.FindAttribute(gotoCmd.Attributes, p => p.Key == "isolate");
-      var isTypeOfAssert = gotoFromReturn != null && gotoFromReturn.Origin.tok.SourceToken;
+      var isTypeOfAssert = gotoFromReturn != null && gotoFromReturn.Origin.tok.IsSourceToken;
       var isolate = BlockRewriter.ShouldIsolate(isTypeOfAssert && splitOnEveryAssert, isolateAttribute);
       if (!isolate) {
         continue;