@syntest/cfg
Version:
A Control Flow Graph package
11 lines • 799 B
TypeScript
export declare const shouldNeverHappen: (bugLocation: string) => string;
export declare const tooManyIncoming: (node: string) => string;
export declare const tooManyOutgoing: (node: string) => string;
export declare const notDirectlyConnected: (node1: string, node2: string) => string;
export declare const cannotMergeEntryAndExit: () => string;
export declare const exactlyOneEdgeShouldBeRemoved: (node1: string, node2: string, amount: number) => string;
export declare const exactlyOneNodeShouldBeRemoved: (node1: string, node2: string, amount: number) => string;
export declare const duplicateNodeId: (id: string) => string;
export declare const duplicateNodeInMappping: () => string;
export declare const nodeNotFoundInMapping: (node: string) => string;
//# sourceMappingURL=diagnostics.d.ts.map