@syntest/core/dist/analysis/static/TargetPool.d.ts

The common core of the SynTest Framework

import { Target } from "./Target";
import { CFG } from "@syntest/cfg-core";
import { TargetMetaData } from "./TargetMetaData";
import { EventManager } from "../../event/EventManager";
import { Encoding } from "../../search/Encoding";
export declare abstract class TargetPool<T extends Encoding> {
    protected _targets: Target[];
    protected eventManager: EventManager<T>;
    constructor(eventManager: EventManager<T>);
    abstract getSource(targetPath: string): string;
    abstract getTargetMap(targetPath: string): Map<string, TargetMetaData>;
    abstract getFunctionMap(targetPath: string, targetName: string): Map<string, Map<string, unknown>>;
    abstract getCFG(targetPath: string, targetName: string): CFG;
    abstract getAST(targetPath: string): unknown;
    loadTargets(): void;
    get targets(): Target[];
}
//# sourceMappingURL=TargetPool.d.ts.map