Don't use VS Code document versions anywhere

davidwengier · davidwengier · commit 77133ade6131 · 2024-08-26T14:04:57.000+10:00
diff --git a/src/razor/src/csharp/csharpProjectedDocument.ts b/src/razor/src/csharp/csharpProjectedDocument.ts
@@ -19,7 +19,6 @@ export class CSharpProjectedDocument implements IProjectedDocument {
     private resolveProvisionalEditAt: number | undefined;
     private ProvisionalDotPosition: Position | undefined;
     private hostDocumentVersion: number | null = null;
-    private projectedDocumentVersion = 0;
 
     public constructor(public readonly uri: vscode.Uri) {
         this.path = getUriPath(uri);
@@ -29,10 +28,6 @@ export class CSharpProjectedDocument implements IProjectedDocument {
         return this.hostDocumentVersion;
     }
 
-    public get projectedDocumentSyncVersion(): number {
-        return this.projectedDocumentVersion;
-    }
-
     public get length(): number {
         return this.content.length;
     }
@@ -153,7 +148,6 @@ export class CSharpProjectedDocument implements IProjectedDocument {
     }
 
     private setContent(content: string) {
-        this.projectedDocumentVersion++;
         this.content = content;
     }
 }
diff --git a/src/razor/src/csharp/csharpProjectedDocumentContentProvider.ts b/src/razor/src/csharp/csharpProjectedDocumentContentProvider.ts
@@ -29,7 +29,7 @@ export class CSharpProjectedDocumentContentProvider implements vscode.TextDocume
         return this.onDidChangeEmitter.event;
     }
 
-    public async provideTextDocumentContent(uri: vscode.Uri) {
+    public provideTextDocumentContent(uri: vscode.Uri) {
         const razorDocument = this.findRazorDocument(uri);
         if (!razorDocument) {
             // Document was removed from the document manager, meaning there's no more content for this
@@ -46,7 +46,7 @@ export class CSharpProjectedDocumentContentProvider implements vscode.TextDocume
         }
 
         const content = `${razorDocument.csharpDocument.getContent()}
-// ${razorDocument.csharpDocument.projectedDocumentSyncVersion}`;
+// ${razorDocument.csharpDocument.hostDocumentSyncVersion}`;
 
         return content;
     }
diff --git a/src/razor/src/document/razorDocumentSynchronizer.ts b/src/razor/src/document/razorDocumentSynchronizer.ts
@@ -41,22 +41,10 @@ export class RazorDocumentSynchronizer {
             const ehdv = expectedHostDocumentVersion;
             this.logger.logVerbose(
                 `${logId} - Synchronizing '${documentKey}':
-    Currently at ${projectedDocument.hostDocumentSyncVersion}, synchronizing to version '${ehdv}'.
-    Current host document version: '${hostDocument.version}'
-    Current projected document version: '${projectedDocument.projectedDocumentSyncVersion}'`
+    Currently at ${projectedDocument.hostDocumentSyncVersion}, synchronizing to version '${ehdv}'.'`
             );
         }
 
-        if (hostDocument.version !== expectedHostDocumentVersion) {
-            if (this.logger.verboseEnabled) {
-                this.logger.logVerbose(
-                    `${logId} - toHostDocumentVersion and hostDocument.version already out of date.`
-                );
-            }
-
-            // Already out-of-date. Allowing synchronizations for now to see if this actually causes any issues.
-        }
-
         const context: SynchronizationContext = this.createSynchronizationContext(
             documentKey,
             projectedDocument,
@@ -84,7 +72,7 @@ export class RazorDocumentSynchronizer {
 
             const projectedTextDocument = await vscode.workspace.openTextDocument(projectedDocument.uri);
             const projectedTextDocumentVersion = this.getProjectedTextDocumentVersion(projectedTextDocument);
-            if (projectedDocument.projectedDocumentSyncVersion !== projectedTextDocumentVersion) {
+            if (projectedDocument.hostDocumentSyncVersion !== projectedTextDocumentVersion) {
                 if (this.logger.verboseEnabled) {
                     this.logger.logVerbose(
                         `${logId} - Projected text document not in sync with data type, waiting for update...
@@ -162,7 +150,6 @@ export class RazorDocumentSynchronizer {
             logIdentifier: this.synchronizationIdentifier,
             timeoutId,
             toHostDocumentVersion,
-            hostDocumentVersion: hostDocument.version,
             cancel: (reason) => {
                 for (const reject of rejectionsForCancel) {
                     reject(reason);
@@ -210,7 +197,7 @@ export class RazorDocumentSynchronizer {
         }
 
         for (const context of synchronizationContexts) {
-            if (context.projectedDocument.projectedDocumentSyncVersion === projectedTextDocumentVersion) {
+            if (context.projectedDocument.hostDocumentSyncVersion === projectedTextDocumentVersion) {
                 if (this.logger.verboseEnabled) {
                     const li = context.logIdentifier;
                     const ptdv = projectedTextDocumentVersion;
@@ -269,7 +256,6 @@ interface SynchronizationContext {
     readonly projectedDocument: IProjectedDocument;
     readonly logIdentifier: number;
     readonly toHostDocumentVersion: number;
-    readonly hostDocumentVersion: number;
     readonly timeoutId: NodeJS.Timer;
     readonly projectedDocumentSynchronized: () => void;
     readonly onProjectedDocumentSynchronized: Promise<void>;
diff --git a/src/razor/src/documentHighlight/razorDocumentHighlightProvider.ts b/src/razor/src/documentHighlight/razorDocumentHighlightProvider.ts
@@ -46,7 +46,7 @@ export class RazorDocumentHighlightProvider
                 continue;
             }
 
-            if (document.version !== remappedResponse.hostDocumentVersion) {
+            if (projection.hostDocumentVersion !== remappedResponse.hostDocumentVersion) {
                 // This highlight result is for a different version of the text document, bail.
                 continue;
             }
diff --git a/src/razor/src/hover/razorHoverProvider.ts b/src/razor/src/hover/razorHoverProvider.ts
@@ -48,7 +48,7 @@ export class RazorHoverProvider extends RazorLanguageFeatureBase implements vsco
             return;
         }
 
-        if (document.version !== remappedResponse.hostDocumentVersion) {
+        if (projection.hostDocumentVersion !== remappedResponse.hostDocumentVersion) {
             // This hover result is for a different version of the text document, bail.
             return;
         }
diff --git a/src/razor/src/html/htmlProjectedDocument.ts b/src/razor/src/html/htmlProjectedDocument.ts
@@ -12,7 +12,6 @@ export class HtmlProjectedDocument implements IProjectedDocument {
     public readonly path: string;
     private content = '';
     private hostDocumentVersion: number | null = null;
-    private projectedDocumentVersion = 0;
 
     public constructor(public readonly uri: vscode.Uri) {
         this.path = getUriPath(uri);
@@ -22,10 +21,6 @@ export class HtmlProjectedDocument implements IProjectedDocument {
         return this.hostDocumentVersion;
     }
 
-    public get projectedDocumentSyncVersion(): number {
-        return this.projectedDocumentVersion;
-    }
-
     public get length(): number {
         return this.content.length;
     }
@@ -63,7 +58,6 @@ export class HtmlProjectedDocument implements IProjectedDocument {
     }
 
     private setContent(content: string) {
-        this.projectedDocumentVersion++;
         this.content = content;
     }
 }
diff --git a/src/razor/src/html/htmlProjectedDocumentContentProvider.ts b/src/razor/src/html/htmlProjectedDocumentContentProvider.ts
@@ -46,7 +46,7 @@ export class HtmlProjectedDocumentContentProvider implements vscode.TextDocument
         }
 
         const content = `${razorDocument.htmlDocument.getContent()}
-// ${razorDocument.htmlDocument.projectedDocumentSyncVersion}`;
+// ${razorDocument.htmlDocument.hostDocumentSyncVersion}`;
 
         return content;
     }
diff --git a/src/razor/src/projection/IProjectedDocument.ts b/src/razor/src/projection/IProjectedDocument.ts
@@ -9,7 +9,6 @@ export interface IProjectedDocument {
     readonly path: string;
     readonly uri: vscode.Uri;
     readonly hostDocumentSyncVersion: number | null;
-    readonly projectedDocumentSyncVersion: number;
     readonly length: number;
     getContent(): string;
 }
diff --git a/src/razor/src/projection/projectionResult.ts b/src/razor/src/projection/projectionResult.ts
@@ -10,4 +10,5 @@ export interface ProjectionResult {
     uri: vscode.Uri;
     position: vscode.Position;
     languageKind: LanguageKind;
+    hostDocumentVersion: number;
 }
diff --git a/src/razor/src/razorLanguageFeatureBase.ts b/src/razor/src/razorLanguageFeatureBase.ts
@@ -64,6 +64,7 @@ export class RazorLanguageFeatureBase {
                     uri: projectedUri,
                     position: languageResponse.position,
                     languageKind: languageResponse.kind,
+                    hostDocumentVersion: projectedDocument.hostDocumentSyncVersion,
                 } as ProjectionResult;
             }
             default:

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,6 @@ export class CSharpProjectedDocument implements IProjectedDocument {`
`19`	`19`	`private resolveProvisionalEditAt: number \| undefined;`
`20`	`20`	`private ProvisionalDotPosition: Position \| undefined;`
`21`	`21`	`private hostDocumentVersion: number \| null = null;`
`22`		`- private projectedDocumentVersion = 0;`
`23`	`22`
`24`	`23`	`public constructor(public readonly uri: vscode.Uri) {`
`25`	`24`	`this.path = getUriPath(uri);`
`@@ -29,10 +28,6 @@ export class CSharpProjectedDocument implements IProjectedDocument {`
`29`	`28`	`return this.hostDocumentVersion;`
`30`	`29`	`}`
`31`	`30`
`32`		`- public get projectedDocumentSyncVersion(): number {`
`33`		`- return this.projectedDocumentVersion;`
`34`		`- }`
`35`		`-`
`36`	`31`	`public get length(): number {`
`37`	`32`	`return this.content.length;`
`38`	`33`	`}`
`@@ -153,7 +148,6 @@ export class CSharpProjectedDocument implements IProjectedDocument {`
`153`	`148`	`}`
`154`	`149`
`155`	`150`	`private setContent(content: string) {`
`156`		`- this.projectedDocumentVersion++;`
`157`	`151`	`this.content = content;`
`158`	`152`	`}`
`159`	`153`	`}`
Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ export class CSharpProjectedDocumentContentProvider implements vscode.TextDocume`
`29`	`29`	`return this.onDidChangeEmitter.event;`
`30`	`30`	`}`
`31`	`31`
`32`		`- public async provideTextDocumentContent(uri: vscode.Uri) {`
	`32`	`+ public provideTextDocumentContent(uri: vscode.Uri) {`
`33`	`33`	`const razorDocument = this.findRazorDocument(uri);`
`34`	`34`	`if (!razorDocument) {`
`35`	`35`	`// Document was removed from the document manager, meaning there's no more content for this`
`@@ -46,7 +46,7 @@ export class CSharpProjectedDocumentContentProvider implements vscode.TextDocume`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	const content = `${razorDocument.csharpDocument.getContent()}
`49`		-// ${razorDocument.csharpDocument.projectedDocumentSyncVersion}`;
	`49`	+// ${razorDocument.csharpDocument.hostDocumentSyncVersion}`;
`50`	`50`
`51`	`51`	`return content;`
`52`	`52`	`}`
Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ export class RazorDocumentHighlightProvider`
`46`	`46`	`continue;`
`47`	`47`	`}`
`48`	`48`
`49`		`- if (document.version !== remappedResponse.hostDocumentVersion) {`
	`49`	`+ if (projection.hostDocumentVersion !== remappedResponse.hostDocumentVersion) {`
`50`	`50`	`// This highlight result is for a different version of the text document, bail.`
`51`	`51`	`continue;`
`52`	`52`	`}`
Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ export class RazorHoverProvider extends RazorLanguageFeatureBase implements vsco`
`48`	`48`	`return;`
`49`	`49`	`}`
`50`	`50`
`51`		`- if (document.version !== remappedResponse.hostDocumentVersion) {`
	`51`	`+ if (projection.hostDocumentVersion !== remappedResponse.hostDocumentVersion) {`
`52`	`52`	`// This hover result is for a different version of the text document, bail.`
`53`	`53`	`return;`
`54`	`54`	`}`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,6 @@ export class HtmlProjectedDocument implements IProjectedDocument {`
`12`	`12`	`public readonly path: string;`
`13`	`13`	`private content = '';`
`14`	`14`	`private hostDocumentVersion: number \| null = null;`
`15`		`- private projectedDocumentVersion = 0;`
`16`	`15`
`17`	`16`	`public constructor(public readonly uri: vscode.Uri) {`
`18`	`17`	`this.path = getUriPath(uri);`
`@@ -22,10 +21,6 @@ export class HtmlProjectedDocument implements IProjectedDocument {`
`22`	`21`	`return this.hostDocumentVersion;`
`23`	`22`	`}`
`24`	`23`
`25`		`- public get projectedDocumentSyncVersion(): number {`
`26`		`- return this.projectedDocumentVersion;`
`27`		`- }`
`28`		`-`
`29`	`24`	`public get length(): number {`
`30`	`25`	`return this.content.length;`
`31`	`26`	`}`
`@@ -63,7 +58,6 @@ export class HtmlProjectedDocument implements IProjectedDocument {`
`63`	`58`	`}`
`64`	`59`
`65`	`60`	`private setContent(content: string) {`
`66`		`- this.projectedDocumentVersion++;`
`67`	`61`	`this.content = content;`
`68`	`62`	`}`
`69`	`63`	`}`
Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ export class HtmlProjectedDocumentContentProvider implements vscode.TextDocument`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	const content = `${razorDocument.htmlDocument.getContent()}
`49`		-// ${razorDocument.htmlDocument.projectedDocumentSyncVersion}`;
	`49`	+// ${razorDocument.htmlDocument.hostDocumentSyncVersion}`;
`50`	`50`
`51`	`51`	`return content;`
`52`	`52`	`}`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,6 @@ export interface IProjectedDocument {`
`9`	`9`	`readonly path: string;`
`10`	`10`	`readonly uri: vscode.Uri;`
`11`	`11`	`readonly hostDocumentSyncVersion: number \| null;`
`12`		`- readonly projectedDocumentSyncVersion: number;`
`13`	`12`	`readonly length: number;`
`14`	`13`	`getContent(): string;`
`15`	`14`	`}`
Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,5 @@ export interface ProjectionResult {`
`10`	`10`	`uri: vscode.Uri;`
`11`	`11`	`position: vscode.Position;`
`12`	`12`	`languageKind: LanguageKind;`
	`13`	`+ hostDocumentVersion: number;`
`13`	`14`	`}`
Original file line number	Diff line number	Diff line change
`@@ -64,6 +64,7 @@ export class RazorLanguageFeatureBase {`
`64`	`64`	`uri: projectedUri,`
`65`	`65`	`position: languageResponse.position,`
`66`	`66`	`languageKind: languageResponse.kind,`
	`67`	`+ hostDocumentVersion: projectedDocument.hostDocumentSyncVersion,`
`67`	`68`	`} as ProjectionResult;`
`68`	`69`	`}`
`69`	`70`	`default:`