123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245 |
- "use strict";
- const debug = require("./debug-helpers");
- function isReachable(segment) {
- return segment.reachable;
- }
- class CodePathSegment {
-
- constructor(id, allPrevSegments, reachable) {
-
- this.id = id;
-
- this.nextSegments = [];
-
- this.prevSegments = allPrevSegments.filter(isReachable);
-
- this.allNextSegments = [];
-
- this.allPrevSegments = allPrevSegments;
-
- this.reachable = reachable;
-
- Object.defineProperty(this, "internal", {
- value: {
- used: false,
- loopedPrevSegments: []
- }
- });
-
- if (debug.enabled) {
- this.internal.nodes = [];
- this.internal.exitNodes = [];
- }
- }
-
- isLoopedPrevSegment(segment) {
- return this.internal.loopedPrevSegments.indexOf(segment) !== -1;
- }
-
- static newRoot(id) {
- return new CodePathSegment(id, [], true);
- }
-
- static newNext(id, allPrevSegments) {
- return new CodePathSegment(
- id,
- CodePathSegment.flattenUnusedSegments(allPrevSegments),
- allPrevSegments.some(isReachable)
- );
- }
-
- static newUnreachable(id, allPrevSegments) {
- const segment = new CodePathSegment(id, CodePathSegment.flattenUnusedSegments(allPrevSegments), false);
-
- CodePathSegment.markUsed(segment);
- return segment;
- }
-
- static newDisconnected(id, allPrevSegments) {
- return new CodePathSegment(id, [], allPrevSegments.some(isReachable));
- }
-
- static markUsed(segment) {
- if (segment.internal.used) {
- return;
- }
- segment.internal.used = true;
- let i;
- if (segment.reachable) {
- for (i = 0; i < segment.allPrevSegments.length; ++i) {
- const prevSegment = segment.allPrevSegments[i];
- prevSegment.allNextSegments.push(segment);
- prevSegment.nextSegments.push(segment);
- }
- } else {
- for (i = 0; i < segment.allPrevSegments.length; ++i) {
- segment.allPrevSegments[i].allNextSegments.push(segment);
- }
- }
- }
-
- static markPrevSegmentAsLooped(segment, prevSegment) {
- segment.internal.loopedPrevSegments.push(prevSegment);
- }
-
- static flattenUnusedSegments(segments) {
- const done = Object.create(null);
- const retv = [];
- for (let i = 0; i < segments.length; ++i) {
- const segment = segments[i];
-
- if (done[segment.id]) {
- continue;
- }
-
- if (!segment.internal.used) {
- for (let j = 0; j < segment.allPrevSegments.length; ++j) {
- const prevSegment = segment.allPrevSegments[j];
- if (!done[prevSegment.id]) {
- done[prevSegment.id] = true;
- retv.push(prevSegment);
- }
- }
- } else {
- done[segment.id] = true;
- retv.push(segment);
- }
- }
- return retv;
- }
- }
- module.exports = CodePathSegment;
|