Merge pull request #1257 from sosy-lab/typescript-migration/migration/entry-points

Convert core entry points to TypeScript

Author: PhilippWendler

benchexec/tablegenerator/react-table/build/main.min.js

@@ -9,13 +9,39 @@ import "./App.scss";
 import React from "react";
 import Overview from "./components/Overview";
 
+// ==============================
+// Global augmentations
+// ==============================
+
+declare global {
+  interface Window {
+    // Global injected app data (loaded via @data in dev and via index.html in prod).
+    data: unknown;
+  }
+}
+
+// ==============================
+// Component props
+// ==============================
+
+interface AppProps {
+  // Callback that is forwarded to Overview. We keep it generic here
+  // because the exact payload type is defined by Overview.
+  onStatsReady?: (stats: unknown) => void;
+}
+
 if (process.env.NODE_ENV !== "production") {
   // Load example data for development
-  window.data = require("@data");
-  window.data.version = "(development build)";
+  // `require` is used here intentionally because @data is only available in dev builds.
+  // eslint-disable-next-line @typescript-eslint/no-var-requires
+  window.data = require("@data") as unknown;
+
+  // `window.data` is `unknown` on purpose (shape depends on runtime data).
+  // We keep the original behavior and only narrow locally for this assignment.
+  (window.data as { version?: string }).version = "(development build)";
 }
 
-const App = (props) => {
+const App = (props: AppProps): JSX.Element => {
   // If we visit this page without a hash, like www.domain.com/ or www.domain.com/subpage, we
   // append a hash to the URL to ensure that the page is loaded correctly. This is necessary
   // to ensure correct routing in the app.

…ec/tablegenerator/react-table/src/App.js …c/tablegenerator/react-table/src/App.tsxbenchexec/tablegenerator/react-table/src/App.js renamed to benchexec/tablegenerator/react-table/src/App.tsx benchexec/tablegenerator/react-table/src/App.js renamed to benchexec/tablegenerator/react-table/src/App.tsx

@@ -0,0 +1,22 @@
+// This file is part of BenchExec, a framework for reliable benchmarking:
+// https://github.com/sosy-lab/benchexec
+//
+// SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+//
+// SPDX-License-Identifier: Apache-2.0
+
+import React from "react";
+import ReactDOM from "react-dom";
+import "./index.css";
+import App from "./App";
+
+// `getElementById` can return null. We keep the runtime behavior
+// (it should exist in production) but add a safe guard for type safety.
+const rootEl = document.getElementById("root");
+if (rootEl) {
+  ReactDOM.render(<App />, rootEl);
+}
+
+// Remove loading message
+// Guard against missing element to avoid runtime errors in non-standard environments (e.g. tests).
+document.getElementById("msg-container")?.remove();