Merge pull request #1250 from sosy-lab/typescript-migration/migration/utils-folder-new

Convert and refactor utility modules to TypeScript

Author: PhilippWendler

benchexec/tablegenerator/react-table/MIGRATION.md

@@ -166,7 +166,7 @@ changes and improves the reproducibility of the migration process.
 
 **Order (bottom-up):**
 
-- [ ] `src/utils/` (utils.js, filters.js, stats.js, plot.js)
+- [x] `src/utils/` (utils.js, filters.js, stats.js, plot.js)
 - [ ] `src/workers/` (workerDirector.js, dataUrls.js)
 - [ ] `src/components/` (leaf components → central components)
   - [ ] `src/components/FilterBox/`

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

@@ -64,6 +64,7 @@
           "@typescript-eslint/no-unused-vars": [
             "error",
             {
+              "varsIgnorePattern": "^_",
               "argsIgnorePattern": "^_"
             }
           ]

benchexec/tablegenerator/react-table/package.json

@@ -19,7 +19,7 @@ import {
   SelectColumnsButton,
   StandardColumnHeader,
 } from "./TableComponents";
-import { computeStats, statisticsRows } from "../utils/stats.js";
+import { computeStats, statisticsRows } from "../utils/stats.ts";
 import {
   determineColumnWidth,
   isNumericColumn,

benchexec/tablegenerator/react-table/src/components/StatisticsTable.js

@@ -6,7 +6,7 @@
 // SPDX-License-Identifier: Apache-2.0
 
 import React from "react";
-import { formatColumnTitle, getRunSetName } from "../utils/utils.js";
+import { formatColumnTitle, getRunSetName } from "../utils/utils.tsx";
 
 export const SelectColumnsButton = ({ handler, ...other }) => (
   <span onClick={handler} title="" className="selectColumns" {...other}>

benchexec/tablegenerator/react-table/src/components/TableComponents.js

@@ -10,7 +10,7 @@ import StatisticsTable from "../components/StatisticsTable.js";
 import fs from "fs";
 import renderer from "react-test-renderer";
 import { getOverviewProps } from "./utils.js";
-import { computeStats, filterComputableStatistics } from "../utils/stats.js";
+import { computeStats, filterComputableStatistics } from "../utils/stats.ts";
 const testDir = "../test_integration/expected/";
 
 fs.readdirSync(testDir)