From 60f33e573eeca5b01d5bc14c19d787dd01c00942 Mon Sep 17 00:00:00 2001
From: Nora <norascheuch@github.com>
Date: Wed, 12 Jul 2023 13:12:14 +0000
Subject: [PATCH] Convert ResultTable

---
 .../src/view/results/result-tables.tsx        | 53 ++++++++-----------
 1 file changed, 22 insertions(+), 31 deletions(-)

diff --git a/extensions/ql-vscode/src/view/results/result-tables.tsx b/extensions/ql-vscode/src/view/results/result-tables.tsx
index ec45df90842..4e21c2f3cfa 100644
--- a/extensions/ql-vscode/src/view/results/result-tables.tsx
+++ b/extensions/ql-vscode/src/view/results/result-tables.tsx
@@ -440,37 +440,28 @@ export class ResultTables extends React.Component<
   }
 }
 
-class ResultTable extends React.Component<
-  ResultTableProps,
-  Record<string, never>
-> {
-  constructor(props: ResultTableProps) {
-    super(props);
-  }
-
-  render(): React.ReactNode {
-    const { resultSet } = this.props;
-    switch (resultSet.t) {
-      case "RawResultSet":
-        return <RawTable {...this.props} resultSet={resultSet} />;
-      case "InterpretedResultSet": {
-        const data = resultSet.interpretation.data;
-        switch (data.t) {
-          case "SarifInterpretationData": {
-            const sarifResultSet = {
-              ...resultSet,
-              interpretation: { ...resultSet.interpretation, data },
-            };
-            return <AlertTable {...this.props} resultSet={sarifResultSet} />;
-          }
-          case "GraphInterpretationData": {
-            return (
-              <Graph
-                graphData={data?.dot[this.props.offset]}
-                databaseUri={this.props.databaseUri}
-              />
-            );
-          }
+export function ResultTable(props: ResultTableProps) {
+  const { resultSet } = props;
+  switch (resultSet.t) {
+    case "RawResultSet":
+      return <RawTable {...props} resultSet={resultSet} />;
+    case "InterpretedResultSet": {
+      const data = resultSet.interpretation.data;
+      switch (data.t) {
+        case "SarifInterpretationData": {
+          const sarifResultSet = {
+            ...resultSet,
+            interpretation: { ...resultSet.interpretation, data },
+          };
+          return <AlertTable {...props} resultSet={sarifResultSet} />;
+        }
+        case "GraphInterpretationData": {
+          return (
+            <Graph
+              graphData={data?.dot[props.offset]}
+              databaseUri={props.databaseUri}
+            />
+          );
         }
       }
     }