refactor: extract cfg-javascript as a library (#103)

Author: dstallenberg

.gitignore

@@ -116,6 +116,7 @@ dist
 .vscode-test
 
 ### Syntest Javascript ###
+!packages/cfg-javascript/lib
 
 # End of https://www.toptal.com/developers/gitignore/api/node
 

package-lock.json

@@ -20,6 +20,9 @@
     "type": "git",
     "url": "git+https://github.com/syntest-framework/syntest-javascript.git"
   },
+  "bin": {
+    "syntest-javascript": "./packages/javascript/dist/bin.js"
+  },
   "scripts": {
     "lint-staged": "lint-staged",
     "build": "lerna run build",

package.json

@@ -0,0 +1,5 @@
+SynTest Javascript
+Copyright 2020-2023 Delft University of Technology and SynTest contributors
+
+This product includes software developed at
+Delft University of Technology (http://www.tudelft.nl/).

packages/cfg-javascript/NOTICE

@@ -0,0 +1 @@
+# Control Flow Graph library for JavaScript

packages/cfg-javascript/README.md

@@ -30,11 +30,10 @@ export class CFGGenerator {
   /**
    * Generate function map for specified target.
    *
-   * @param targetPath The path of the AST
    * @param targetAST The AST of the target
    */
-  generate(targetPath: string, targetAST: t.Node): CFG {
-    const visitor = new ControlFlowGraphVisitor(targetPath);
+  generate(targetAST: t.Node): CFG {
+    const visitor = new ControlFlowGraphVisitor();
     traverse(targetAST, visitor);
 
     return visitor.cfg;

packages/javascript/lib/analysis/static/cfg/CFGGenerator.ts renamed to packages/cfg-javascript/lib/CFGGenerator.ts

@@ -16,7 +16,6 @@
  * limitations under the License.
  */
 
-import { Visitor } from "../Visitor";
 import {
   BranchNode,
   CFG,
@@ -27,7 +26,7 @@ import {
   RootNode,
 } from "@syntest/cfg-core";
 
-export class ControlFlowGraphVisitor extends Visitor {
+export class ControlFlowGraphVisitor {
   private _cfg: CFG;
 
   // private _nodeStack: Node[][]
@@ -42,8 +41,7 @@ export class ControlFlowGraphVisitor extends Visitor {
 
   private _nodeStack: Node[];
 
-  constructor(filePath: string) {
-    super(filePath);
+  constructor() {
     this._cfg = new CFG();
 
     this._trackingLeaves = [];

packages/javascript/lib/analysis/static/cfg/ControlFlowGraphGenerator.ts renamed to packages/cfg-javascript/lib/ControlFlowGraphGenerator.ts

@@ -0,0 +1,21 @@
+/*
+ * Copyright 2020-2023 Delft University of Technology and SynTest contributors
+ *
+ * This file is part of SynTest Framework - SynTest Javascript.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+export * from "./CFGGenerator";
+export * from "./ControlFlowGraphGenerator";
+export * from "./ControlFlowGraphVisitor";

packages/javascript/lib/analysis/static/cfg/ControlFlowGraphVisitor.ts renamed to packages/cfg-javascript/lib/ControlFlowGraphVisitor.ts

@@ -0,0 +1,9 @@
+{
+  "extends": "../../../tsconfig-base.json",
+  "compilerOptions": {
+    "outDir": "../dist",
+    "rootDir": ".",
+    "composite": true
+  },
+  "include": ["**/*.ts"]
+}