feat: allow calling non target methods and some bugs (#166)

- fixes targetting bugs
- fixes instrumenter bugs
- fixes branch distance bugs
- fixes statement pool bugs
- allows calling non target methods

Author: dstallenberg

.eslintrc.json

@@ -60,6 +60,8 @@
       }
     ],
     "unicorn/filename-case": "off",
+    "unicorn/prefer-ternary": "warn",
+
     // "no-unused-vars": "off",
     // "@typescript-eslint/no-unused-vars": "off",
 		// "unused-imports/no-unused-imports": "error",

libraries/analysis-javascript/index.ts

@@ -56,7 +56,6 @@ export * from "./lib/type/resolving/TypeEnum";
 export * from "./lib/type/resolving/TypeModel";
 export * from "./lib/type/resolving/TypeModelFactory";
 export * from "./lib/type/resolving/InferenceTypeModelFactory";
-export * from "./lib/type/resolving/RandomTypeModelFactory";
 
 export * from "./lib/utils/fileSystem";
 

libraries/analysis-javascript/lib/constant/ConstantPool.ts

@@ -32,9 +32,6 @@ export class ConstantPool {
     this._numericPool = new Map();
     this.addNumeric(Math.PI);
     this.addNumeric(Math.E);
-    this.addNumeric(-1);
-    this.addNumeric(0);
-    this.addNumeric(+1);
 
     this._integerPool = new Map();
     this.addInteger(-1);
@@ -63,6 +60,7 @@ export class ConstantPool {
       this._integerPool.set(value, 1);
     }
     this._integerCount++;
+    this.addNumeric(value);
   }
 
   public addBigInt(value: bigint): void {

libraries/analysis-javascript/lib/target/Target.ts

@@ -36,6 +36,7 @@ export interface SubTarget extends CoreSubTarget {
 
 export interface NamedSubTarget extends SubTarget {
   name: string;
+  typeId: string;
 }
 
 export type Exportable = {