From 95583cdeda6a04b3249a498e7d6fbd6e497e156b Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Mon, 11 Nov 2024 17:39:43 +0100
Subject: [PATCH] Rename

---
 Source/Core/Generic/TokenWrapper.cs                          | 2 +-
 Source/Core/Token.cs                                         | 4 ++--
 Source/VCGeneration/Splits/IsolateAttributeOnJumpsHandler.cs | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Source/Core/Generic/TokenWrapper.cs b/Source/Core/Generic/TokenWrapper.cs
index 8b0a8fe16..004fb9f80 100644
--- 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
index f41401cf0..09e908dee 100644
--- 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
index 02dd0323e..f41c8973d 100644
--- 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;