Fix broken raw queries.

jcreedcmu · jcreedcmu · commit e2d125a558d4 · 2020-07-02T10:32:38.000-04:00
diff --git a/extensions/ql-vscode/src/interface.ts b/extensions/ql-vscode/src/interface.ts
@@ -294,7 +294,8 @@ export class InterfaceManager extends DisposableObject {
       return;
     }
 
-    const interpretation = await this.interpretResultsInfo(
+    this._interpretation = undefined;
+    const interpretationPage = await this.interpretResultsInfo(
       results.query,
       results.interpretedResultsSortState
     );
@@ -372,7 +373,7 @@ export class InterfaceManager extends DisposableObject {
 
     await this.postMessage({
       t: 'setState',
-      interpretation,
+      interpretation: interpretationPage,
       origResultsPaths: results.query.resultsPaths,
       resultsPath: this.convertPathToWebviewUri(
         results.query.resultsPaths.resultsPath
@@ -580,7 +581,7 @@ export class InterfaceManager extends DisposableObject {
         );
       }
     }
-    return this.getPageOfInterpretedResults(0);
+    return this._interpretation && this.getPageOfInterpretedResults(0);
   }
 
   private async showResultsAsDiagnostics(

Original file line number	Diff line number	Diff line change
`@@ -294,7 +294,8 @@ export class InterfaceManager extends DisposableObject {`
`294`	`294`	`return;`
`295`	`295`	`}`
`296`	`296`
`297`		`- const interpretation = await this.interpretResultsInfo(`
	`297`	`+ this._interpretation = undefined;`
	`298`	`+ const interpretationPage = await this.interpretResultsInfo(`
`298`	`299`	`results.query,`
`299`	`300`	`results.interpretedResultsSortState`
`300`	`301`	`);`
`@@ -372,7 +373,7 @@ export class InterfaceManager extends DisposableObject {`
`372`	`373`
`373`	`374`	`await this.postMessage({`
`374`	`375`	`t: 'setState',`
`375`		`- interpretation,`
	`376`	`+ interpretation: interpretationPage,`
`376`	`377`	`origResultsPaths: results.query.resultsPaths,`
`377`	`378`	`resultsPath: this.convertPathToWebviewUri(`
`378`	`379`	`results.query.resultsPaths.resultsPath`
`@@ -580,7 +581,7 @@ export class InterfaceManager extends DisposableObject {`
`580`	`581`	`);`
`581`	`582`	`}`
`582`	`583`	`}`
`583`		`- return this.getPageOfInterpretedResults(0);`
	`584`	`+ return this._interpretation && this.getPageOfInterpretedResults(0);`
`584`	`585`	`}`
`585`	`586`
`586`	`587`	`private async showResultsAsDiagnostics(`