1400 lines
43 KiB
JavaScript
1400 lines
43 KiB
JavaScript
/**
|
|
* @fileoverview A class to manage state of generating a code path.
|
|
* @author Toru Nagashima
|
|
*/
|
|
|
|
"use strict";
|
|
|
|
//------------------------------------------------------------------------------
|
|
// Requirements
|
|
//------------------------------------------------------------------------------
|
|
|
|
const CodePathSegment = require("./code-path-segment"),
|
|
ForkContext = require("./fork-context");
|
|
|
|
//------------------------------------------------------------------------------
|
|
// Helpers
|
|
//------------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Adds given segments into the `dest` array.
|
|
* If the `others` array does not includes the given segments, adds to the `all`
|
|
* array as well.
|
|
*
|
|
* This adds only reachable and used segments.
|
|
* @param {CodePathSegment[]} dest A destination array (`returnedSegments` or `thrownSegments`).
|
|
* @param {CodePathSegment[]} others Another destination array (`returnedSegments` or `thrownSegments`).
|
|
* @param {CodePathSegment[]} all The unified destination array (`finalSegments`).
|
|
* @param {CodePathSegment[]} segments Segments to add.
|
|
* @returns {void}
|
|
*/
|
|
function addToReturnedOrThrown(dest, others, all, segments) {
|
|
for (let i = 0; i < segments.length; ++i) {
|
|
const segment = segments[i];
|
|
|
|
dest.push(segment);
|
|
if (others.indexOf(segment) === -1) {
|
|
all.push(segment);
|
|
}
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Gets a loop-context for a `continue` statement.
|
|
* @param {CodePathState} state A state to get.
|
|
* @param {string} label The label of a `continue` statement.
|
|
* @returns {LoopContext} A loop-context for a `continue` statement.
|
|
*/
|
|
function getContinueContext(state, label) {
|
|
if (!label) {
|
|
return state.loopContext;
|
|
}
|
|
|
|
let context = state.loopContext;
|
|
|
|
while (context) {
|
|
if (context.label === label) {
|
|
return context;
|
|
}
|
|
context = context.upper;
|
|
}
|
|
|
|
/* istanbul ignore next: foolproof (syntax error) */
|
|
return null;
|
|
}
|
|
|
|
/**
|
|
* Gets a context for a `break` statement.
|
|
* @param {CodePathState} state A state to get.
|
|
* @param {string} label The label of a `break` statement.
|
|
* @returns {LoopContext|SwitchContext} A context for a `break` statement.
|
|
*/
|
|
function getBreakContext(state, label) {
|
|
let context = state.breakContext;
|
|
|
|
while (context) {
|
|
if (label ? context.label === label : context.breakable) {
|
|
return context;
|
|
}
|
|
context = context.upper;
|
|
}
|
|
|
|
/* istanbul ignore next: foolproof (syntax error) */
|
|
return null;
|
|
}
|
|
|
|
/**
|
|
* Gets a context for a `return` statement.
|
|
* @param {CodePathState} state A state to get.
|
|
* @returns {TryContext|CodePathState} A context for a `return` statement.
|
|
*/
|
|
function getReturnContext(state) {
|
|
let context = state.tryContext;
|
|
|
|
while (context) {
|
|
if (context.hasFinalizer && context.position !== "finally") {
|
|
return context;
|
|
}
|
|
context = context.upper;
|
|
}
|
|
|
|
return state;
|
|
}
|
|
|
|
/**
|
|
* Gets a context for a `throw` statement.
|
|
* @param {CodePathState} state A state to get.
|
|
* @returns {TryContext|CodePathState} A context for a `throw` statement.
|
|
*/
|
|
function getThrowContext(state) {
|
|
let context = state.tryContext;
|
|
|
|
while (context) {
|
|
if (context.position === "try" ||
|
|
(context.hasFinalizer && context.position === "catch")
|
|
) {
|
|
return context;
|
|
}
|
|
context = context.upper;
|
|
}
|
|
|
|
return state;
|
|
}
|
|
|
|
/**
|
|
* Removes a given element from a given array.
|
|
* @param {any[]} xs An array to remove the specific element.
|
|
* @param {any} x An element to be removed.
|
|
* @returns {void}
|
|
*/
|
|
function remove(xs, x) {
|
|
xs.splice(xs.indexOf(x), 1);
|
|
}
|
|
|
|
/**
|
|
* Disconnect given segments.
|
|
*
|
|
* This is used in a process for switch statements.
|
|
* If there is the "default" chunk before other cases, the order is different
|
|
* between node's and running's.
|
|
* @param {CodePathSegment[]} prevSegments Forward segments to disconnect.
|
|
* @param {CodePathSegment[]} nextSegments Backward segments to disconnect.
|
|
* @returns {void}
|
|
*/
|
|
function removeConnection(prevSegments, nextSegments) {
|
|
for (let i = 0; i < prevSegments.length; ++i) {
|
|
const prevSegment = prevSegments[i];
|
|
const nextSegment = nextSegments[i];
|
|
|
|
remove(prevSegment.nextSegments, nextSegment);
|
|
remove(prevSegment.allNextSegments, nextSegment);
|
|
remove(nextSegment.prevSegments, prevSegment);
|
|
remove(nextSegment.allPrevSegments, prevSegment);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Creates looping path.
|
|
* @param {CodePathState} state The instance.
|
|
* @param {CodePathSegment[]} unflattenedFromSegments Segments which are source.
|
|
* @param {CodePathSegment[]} unflattenedToSegments Segments which are destination.
|
|
* @returns {void}
|
|
*/
|
|
function makeLooped(state, unflattenedFromSegments, unflattenedToSegments) {
|
|
const fromSegments = CodePathSegment.flattenUnusedSegments(unflattenedFromSegments);
|
|
const toSegments = CodePathSegment.flattenUnusedSegments(unflattenedToSegments);
|
|
|
|
const end = Math.min(fromSegments.length, toSegments.length);
|
|
|
|
for (let i = 0; i < end; ++i) {
|
|
const fromSegment = fromSegments[i];
|
|
const toSegment = toSegments[i];
|
|
|
|
if (toSegment.reachable) {
|
|
fromSegment.nextSegments.push(toSegment);
|
|
}
|
|
if (fromSegment.reachable) {
|
|
toSegment.prevSegments.push(fromSegment);
|
|
}
|
|
fromSegment.allNextSegments.push(toSegment);
|
|
toSegment.allPrevSegments.push(fromSegment);
|
|
|
|
if (toSegment.allPrevSegments.length >= 2) {
|
|
CodePathSegment.markPrevSegmentAsLooped(toSegment, fromSegment);
|
|
}
|
|
|
|
state.notifyLooped(fromSegment, toSegment);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Finalizes segments of `test` chunk of a ForStatement.
|
|
*
|
|
* - Adds `false` paths to paths which are leaving from the loop.
|
|
* - Sets `true` paths to paths which go to the body.
|
|
* @param {LoopContext} context A loop context to modify.
|
|
* @param {ChoiceContext} choiceContext A choice context of this loop.
|
|
* @param {CodePathSegment[]} head The current head paths.
|
|
* @returns {void}
|
|
*/
|
|
function finalizeTestSegmentsOfFor(context, choiceContext, head) {
|
|
if (!choiceContext.processed) {
|
|
choiceContext.trueForkContext.add(head);
|
|
choiceContext.falseForkContext.add(head);
|
|
}
|
|
|
|
if (context.test !== true) {
|
|
context.brokenForkContext.addAll(choiceContext.falseForkContext);
|
|
}
|
|
context.endOfTestSegments = choiceContext.trueForkContext.makeNext(0, -1);
|
|
}
|
|
|
|
//------------------------------------------------------------------------------
|
|
// Public Interface
|
|
//------------------------------------------------------------------------------
|
|
|
|
/**
|
|
* A class which manages state to analyze code paths.
|
|
*/
|
|
class CodePathState {
|
|
|
|
// eslint-disable-next-line jsdoc/require-description
|
|
/**
|
|
* @param {IdGenerator} idGenerator An id generator to generate id for code
|
|
* path segments.
|
|
* @param {Function} onLooped A callback function to notify looping.
|
|
*/
|
|
constructor(idGenerator, onLooped) {
|
|
this.idGenerator = idGenerator;
|
|
this.notifyLooped = onLooped;
|
|
this.forkContext = ForkContext.newRoot(idGenerator);
|
|
this.choiceContext = null;
|
|
this.switchContext = null;
|
|
this.tryContext = null;
|
|
this.loopContext = null;
|
|
this.breakContext = null;
|
|
|
|
this.currentSegments = [];
|
|
this.initialSegment = this.forkContext.head[0];
|
|
|
|
// returnedSegments and thrownSegments push elements into finalSegments also.
|
|
const final = this.finalSegments = [];
|
|
const returned = this.returnedForkContext = [];
|
|
const thrown = this.thrownForkContext = [];
|
|
|
|
returned.add = addToReturnedOrThrown.bind(null, returned, thrown, final);
|
|
thrown.add = addToReturnedOrThrown.bind(null, thrown, returned, final);
|
|
}
|
|
|
|
/**
|
|
* The head segments.
|
|
* @type {CodePathSegment[]}
|
|
*/
|
|
get headSegments() {
|
|
return this.forkContext.head;
|
|
}
|
|
|
|
/**
|
|
* The parent forking context.
|
|
* This is used for the root of new forks.
|
|
* @type {ForkContext}
|
|
*/
|
|
get parentForkContext() {
|
|
const current = this.forkContext;
|
|
|
|
return current && current.upper;
|
|
}
|
|
|
|
/**
|
|
* Creates and stacks new forking context.
|
|
* @param {boolean} forkLeavingPath A flag which shows being in a
|
|
* "finally" block.
|
|
* @returns {ForkContext} The created context.
|
|
*/
|
|
pushForkContext(forkLeavingPath) {
|
|
this.forkContext = ForkContext.newEmpty(
|
|
this.forkContext,
|
|
forkLeavingPath
|
|
);
|
|
|
|
return this.forkContext;
|
|
}
|
|
|
|
/**
|
|
* Pops and merges the last forking context.
|
|
* @returns {ForkContext} The last context.
|
|
*/
|
|
popForkContext() {
|
|
const lastContext = this.forkContext;
|
|
|
|
this.forkContext = lastContext.upper;
|
|
this.forkContext.replaceHead(lastContext.makeNext(0, -1));
|
|
|
|
return lastContext;
|
|
}
|
|
|
|
/**
|
|
* Creates a new path.
|
|
* @returns {void}
|
|
*/
|
|
forkPath() {
|
|
this.forkContext.add(this.parentForkContext.makeNext(-1, -1));
|
|
}
|
|
|
|
/**
|
|
* Creates a bypass path.
|
|
* This is used for such as IfStatement which does not have "else" chunk.
|
|
* @returns {void}
|
|
*/
|
|
forkBypassPath() {
|
|
this.forkContext.add(this.parentForkContext.head);
|
|
}
|
|
|
|
//--------------------------------------------------------------------------
|
|
// ConditionalExpression, LogicalExpression, IfStatement
|
|
//--------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Creates a context for ConditionalExpression, LogicalExpression,
|
|
* IfStatement, WhileStatement, DoWhileStatement, or ForStatement.
|
|
*
|
|
* LogicalExpressions have cases that it goes different paths between the
|
|
* `true` case and the `false` case.
|
|
*
|
|
* For Example:
|
|
*
|
|
* if (a || b) {
|
|
* foo();
|
|
* } else {
|
|
* bar();
|
|
* }
|
|
*
|
|
* In this case, `b` is evaluated always in the code path of the `else`
|
|
* block, but it's not so in the code path of the `if` block.
|
|
* So there are 3 paths.
|
|
*
|
|
* a -> foo();
|
|
* a -> b -> foo();
|
|
* a -> b -> bar();
|
|
* @param {string} kind A kind string.
|
|
* If the new context is LogicalExpression's, this is `"&&"` or `"||"`.
|
|
* If it's IfStatement's or ConditionalExpression's, this is `"test"`.
|
|
* Otherwise, this is `"loop"`.
|
|
* @param {boolean} isForkingAsResult A flag that shows that goes different
|
|
* paths between `true` and `false`.
|
|
* @returns {void}
|
|
*/
|
|
pushChoiceContext(kind, isForkingAsResult) {
|
|
this.choiceContext = {
|
|
upper: this.choiceContext,
|
|
kind,
|
|
isForkingAsResult,
|
|
trueForkContext: ForkContext.newEmpty(this.forkContext),
|
|
falseForkContext: ForkContext.newEmpty(this.forkContext),
|
|
processed: false
|
|
};
|
|
}
|
|
|
|
/**
|
|
* Pops the last choice context and finalizes it.
|
|
* @returns {ChoiceContext} The popped context.
|
|
*/
|
|
popChoiceContext() {
|
|
const context = this.choiceContext;
|
|
|
|
this.choiceContext = context.upper;
|
|
|
|
const forkContext = this.forkContext;
|
|
const headSegments = forkContext.head;
|
|
|
|
switch (context.kind) {
|
|
case "&&":
|
|
case "||":
|
|
|
|
/*
|
|
* If any result were not transferred from child contexts,
|
|
* this sets the head segments to both cases.
|
|
* The head segments are the path of the right-hand operand.
|
|
*/
|
|
if (!context.processed) {
|
|
context.trueForkContext.add(headSegments);
|
|
context.falseForkContext.add(headSegments);
|
|
}
|
|
|
|
/*
|
|
* Transfers results to upper context if this context is in
|
|
* test chunk.
|
|
*/
|
|
if (context.isForkingAsResult) {
|
|
const parentContext = this.choiceContext;
|
|
|
|
parentContext.trueForkContext.addAll(context.trueForkContext);
|
|
parentContext.falseForkContext.addAll(context.falseForkContext);
|
|
parentContext.processed = true;
|
|
|
|
return context;
|
|
}
|
|
|
|
break;
|
|
|
|
case "test":
|
|
if (!context.processed) {
|
|
|
|
/*
|
|
* The head segments are the path of the `if` block here.
|
|
* Updates the `true` path with the end of the `if` block.
|
|
*/
|
|
context.trueForkContext.clear();
|
|
context.trueForkContext.add(headSegments);
|
|
} else {
|
|
|
|
/*
|
|
* The head segments are the path of the `else` block here.
|
|
* Updates the `false` path with the end of the `else`
|
|
* block.
|
|
*/
|
|
context.falseForkContext.clear();
|
|
context.falseForkContext.add(headSegments);
|
|
}
|
|
|
|
break;
|
|
|
|
case "loop":
|
|
|
|
/*
|
|
* Loops are addressed in popLoopContext().
|
|
* This is called from popLoopContext().
|
|
*/
|
|
return context;
|
|
|
|
/* istanbul ignore next */
|
|
default:
|
|
throw new Error("unreachable");
|
|
}
|
|
|
|
// Merges all paths.
|
|
const prevForkContext = context.trueForkContext;
|
|
|
|
prevForkContext.addAll(context.falseForkContext);
|
|
forkContext.replaceHead(prevForkContext.makeNext(0, -1));
|
|
|
|
return context;
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment of the right-hand operand of a logical
|
|
* expression.
|
|
* @returns {void}
|
|
*/
|
|
makeLogicalRight() {
|
|
const context = this.choiceContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
if (context.processed) {
|
|
|
|
/*
|
|
* This got segments already from the child choice context.
|
|
* Creates the next path from own true/false fork context.
|
|
*/
|
|
const prevForkContext =
|
|
context.kind === "&&" ? context.trueForkContext
|
|
/* kind === "||" */ : context.falseForkContext;
|
|
|
|
forkContext.replaceHead(prevForkContext.makeNext(0, -1));
|
|
prevForkContext.clear();
|
|
|
|
context.processed = false;
|
|
} else {
|
|
|
|
/*
|
|
* This did not get segments from the child choice context.
|
|
* So addresses the head segments.
|
|
* The head segments are the path of the left-hand operand.
|
|
*/
|
|
if (context.kind === "&&") {
|
|
|
|
// The path does short-circuit if false.
|
|
context.falseForkContext.add(forkContext.head);
|
|
} else {
|
|
|
|
// The path does short-circuit if true.
|
|
context.trueForkContext.add(forkContext.head);
|
|
}
|
|
|
|
forkContext.replaceHead(forkContext.makeNext(-1, -1));
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment of the `if` block.
|
|
* @returns {void}
|
|
*/
|
|
makeIfConsequent() {
|
|
const context = this.choiceContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
/*
|
|
* If any result were not transferred from child contexts,
|
|
* this sets the head segments to both cases.
|
|
* The head segments are the path of the test expression.
|
|
*/
|
|
if (!context.processed) {
|
|
context.trueForkContext.add(forkContext.head);
|
|
context.falseForkContext.add(forkContext.head);
|
|
}
|
|
|
|
context.processed = false;
|
|
|
|
// Creates new path from the `true` case.
|
|
forkContext.replaceHead(
|
|
context.trueForkContext.makeNext(0, -1)
|
|
);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment of the `else` block.
|
|
* @returns {void}
|
|
*/
|
|
makeIfAlternate() {
|
|
const context = this.choiceContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
/*
|
|
* The head segments are the path of the `if` block.
|
|
* Updates the `true` path with the end of the `if` block.
|
|
*/
|
|
context.trueForkContext.clear();
|
|
context.trueForkContext.add(forkContext.head);
|
|
context.processed = true;
|
|
|
|
// Creates new path from the `false` case.
|
|
forkContext.replaceHead(
|
|
context.falseForkContext.makeNext(0, -1)
|
|
);
|
|
}
|
|
|
|
//--------------------------------------------------------------------------
|
|
// SwitchStatement
|
|
//--------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Creates a context object of SwitchStatement and stacks it.
|
|
* @param {boolean} hasCase `true` if the switch statement has one or more
|
|
* case parts.
|
|
* @param {string|null} label The label text.
|
|
* @returns {void}
|
|
*/
|
|
pushSwitchContext(hasCase, label) {
|
|
this.switchContext = {
|
|
upper: this.switchContext,
|
|
hasCase,
|
|
defaultSegments: null,
|
|
defaultBodySegments: null,
|
|
foundDefault: false,
|
|
lastIsDefault: false,
|
|
countForks: 0
|
|
};
|
|
|
|
this.pushBreakContext(true, label);
|
|
}
|
|
|
|
/**
|
|
* Pops the last context of SwitchStatement and finalizes it.
|
|
*
|
|
* - Disposes all forking stack for `case` and `default`.
|
|
* - Creates the next code path segment from `context.brokenForkContext`.
|
|
* - If the last `SwitchCase` node is not a `default` part, creates a path
|
|
* to the `default` body.
|
|
* @returns {void}
|
|
*/
|
|
popSwitchContext() {
|
|
const context = this.switchContext;
|
|
|
|
this.switchContext = context.upper;
|
|
|
|
const forkContext = this.forkContext;
|
|
const brokenForkContext = this.popBreakContext().brokenForkContext;
|
|
|
|
if (context.countForks === 0) {
|
|
|
|
/*
|
|
* When there is only one `default` chunk and there is one or more
|
|
* `break` statements, even if forks are nothing, it needs to merge
|
|
* those.
|
|
*/
|
|
if (!brokenForkContext.empty) {
|
|
brokenForkContext.add(forkContext.makeNext(-1, -1));
|
|
forkContext.replaceHead(brokenForkContext.makeNext(0, -1));
|
|
}
|
|
|
|
return;
|
|
}
|
|
|
|
const lastSegments = forkContext.head;
|
|
|
|
this.forkBypassPath();
|
|
const lastCaseSegments = forkContext.head;
|
|
|
|
/*
|
|
* `brokenForkContext` is used to make the next segment.
|
|
* It must add the last segment into `brokenForkContext`.
|
|
*/
|
|
brokenForkContext.add(lastSegments);
|
|
|
|
/*
|
|
* A path which is failed in all case test should be connected to path
|
|
* of `default` chunk.
|
|
*/
|
|
if (!context.lastIsDefault) {
|
|
if (context.defaultBodySegments) {
|
|
|
|
/*
|
|
* Remove a link from `default` label to its chunk.
|
|
* It's false route.
|
|
*/
|
|
removeConnection(context.defaultSegments, context.defaultBodySegments);
|
|
makeLooped(this, lastCaseSegments, context.defaultBodySegments);
|
|
} else {
|
|
|
|
/*
|
|
* It handles the last case body as broken if `default` chunk
|
|
* does not exist.
|
|
*/
|
|
brokenForkContext.add(lastCaseSegments);
|
|
}
|
|
}
|
|
|
|
// Pops the segment context stack until the entry segment.
|
|
for (let i = 0; i < context.countForks; ++i) {
|
|
this.forkContext = this.forkContext.upper;
|
|
}
|
|
|
|
/*
|
|
* Creates a path from all brokenForkContext paths.
|
|
* This is a path after switch statement.
|
|
*/
|
|
this.forkContext.replaceHead(brokenForkContext.makeNext(0, -1));
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for a `SwitchCase` node.
|
|
* @param {boolean} isEmpty `true` if the body is empty.
|
|
* @param {boolean} isDefault `true` if the body is the default case.
|
|
* @returns {void}
|
|
*/
|
|
makeSwitchCaseBody(isEmpty, isDefault) {
|
|
const context = this.switchContext;
|
|
|
|
if (!context.hasCase) {
|
|
return;
|
|
}
|
|
|
|
/*
|
|
* Merge forks.
|
|
* The parent fork context has two segments.
|
|
* Those are from the current case and the body of the previous case.
|
|
*/
|
|
const parentForkContext = this.forkContext;
|
|
const forkContext = this.pushForkContext();
|
|
|
|
forkContext.add(parentForkContext.makeNext(0, -1));
|
|
|
|
/*
|
|
* Save `default` chunk info.
|
|
* If the `default` label is not at the last, we must make a path from
|
|
* the last `case` to the `default` chunk.
|
|
*/
|
|
if (isDefault) {
|
|
context.defaultSegments = parentForkContext.head;
|
|
if (isEmpty) {
|
|
context.foundDefault = true;
|
|
} else {
|
|
context.defaultBodySegments = forkContext.head;
|
|
}
|
|
} else {
|
|
if (!isEmpty && context.foundDefault) {
|
|
context.foundDefault = false;
|
|
context.defaultBodySegments = forkContext.head;
|
|
}
|
|
}
|
|
|
|
context.lastIsDefault = isDefault;
|
|
context.countForks += 1;
|
|
}
|
|
|
|
//--------------------------------------------------------------------------
|
|
// TryStatement
|
|
//--------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Creates a context object of TryStatement and stacks it.
|
|
* @param {boolean} hasFinalizer `true` if the try statement has a
|
|
* `finally` block.
|
|
* @returns {void}
|
|
*/
|
|
pushTryContext(hasFinalizer) {
|
|
this.tryContext = {
|
|
upper: this.tryContext,
|
|
position: "try",
|
|
hasFinalizer,
|
|
|
|
returnedForkContext: hasFinalizer
|
|
? ForkContext.newEmpty(this.forkContext)
|
|
: null,
|
|
|
|
thrownForkContext: ForkContext.newEmpty(this.forkContext),
|
|
lastOfTryIsReachable: false,
|
|
lastOfCatchIsReachable: false
|
|
};
|
|
}
|
|
|
|
/**
|
|
* Pops the last context of TryStatement and finalizes it.
|
|
* @returns {void}
|
|
*/
|
|
popTryContext() {
|
|
const context = this.tryContext;
|
|
|
|
this.tryContext = context.upper;
|
|
|
|
if (context.position === "catch") {
|
|
|
|
// Merges two paths from the `try` block and `catch` block merely.
|
|
this.popForkContext();
|
|
return;
|
|
}
|
|
|
|
/*
|
|
* The following process is executed only when there is the `finally`
|
|
* block.
|
|
*/
|
|
|
|
const returned = context.returnedForkContext;
|
|
const thrown = context.thrownForkContext;
|
|
|
|
if (returned.empty && thrown.empty) {
|
|
return;
|
|
}
|
|
|
|
// Separate head to normal paths and leaving paths.
|
|
const headSegments = this.forkContext.head;
|
|
|
|
this.forkContext = this.forkContext.upper;
|
|
const normalSegments = headSegments.slice(0, headSegments.length / 2 | 0);
|
|
const leavingSegments = headSegments.slice(headSegments.length / 2 | 0);
|
|
|
|
// Forwards the leaving path to upper contexts.
|
|
if (!returned.empty) {
|
|
getReturnContext(this).returnedForkContext.add(leavingSegments);
|
|
}
|
|
if (!thrown.empty) {
|
|
getThrowContext(this).thrownForkContext.add(leavingSegments);
|
|
}
|
|
|
|
// Sets the normal path as the next.
|
|
this.forkContext.replaceHead(normalSegments);
|
|
|
|
/*
|
|
* If both paths of the `try` block and the `catch` block are
|
|
* unreachable, the next path becomes unreachable as well.
|
|
*/
|
|
if (!context.lastOfTryIsReachable && !context.lastOfCatchIsReachable) {
|
|
this.forkContext.makeUnreachable();
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for a `catch` block.
|
|
* @returns {void}
|
|
*/
|
|
makeCatchBlock() {
|
|
const context = this.tryContext;
|
|
const forkContext = this.forkContext;
|
|
const thrown = context.thrownForkContext;
|
|
|
|
// Update state.
|
|
context.position = "catch";
|
|
context.thrownForkContext = ForkContext.newEmpty(forkContext);
|
|
context.lastOfTryIsReachable = forkContext.reachable;
|
|
|
|
// Merge thrown paths.
|
|
thrown.add(forkContext.head);
|
|
const thrownSegments = thrown.makeNext(0, -1);
|
|
|
|
// Fork to a bypass and the merged thrown path.
|
|
this.pushForkContext();
|
|
this.forkBypassPath();
|
|
this.forkContext.add(thrownSegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for a `finally` block.
|
|
*
|
|
* In the `finally` block, parallel paths are created. The parallel paths
|
|
* are used as leaving-paths. The leaving-paths are paths from `return`
|
|
* statements and `throw` statements in a `try` block or a `catch` block.
|
|
* @returns {void}
|
|
*/
|
|
makeFinallyBlock() {
|
|
const context = this.tryContext;
|
|
let forkContext = this.forkContext;
|
|
const returned = context.returnedForkContext;
|
|
const thrown = context.thrownForkContext;
|
|
const headOfLeavingSegments = forkContext.head;
|
|
|
|
// Update state.
|
|
if (context.position === "catch") {
|
|
|
|
// Merges two paths from the `try` block and `catch` block.
|
|
this.popForkContext();
|
|
forkContext = this.forkContext;
|
|
|
|
context.lastOfCatchIsReachable = forkContext.reachable;
|
|
} else {
|
|
context.lastOfTryIsReachable = forkContext.reachable;
|
|
}
|
|
context.position = "finally";
|
|
|
|
if (returned.empty && thrown.empty) {
|
|
|
|
// This path does not leave.
|
|
return;
|
|
}
|
|
|
|
/*
|
|
* Create a parallel segment from merging returned and thrown.
|
|
* This segment will leave at the end of this finally block.
|
|
*/
|
|
const segments = forkContext.makeNext(-1, -1);
|
|
|
|
for (let i = 0; i < forkContext.count; ++i) {
|
|
const prevSegsOfLeavingSegment = [headOfLeavingSegments[i]];
|
|
|
|
for (let j = 0; j < returned.segmentsList.length; ++j) {
|
|
prevSegsOfLeavingSegment.push(returned.segmentsList[j][i]);
|
|
}
|
|
for (let j = 0; j < thrown.segmentsList.length; ++j) {
|
|
prevSegsOfLeavingSegment.push(thrown.segmentsList[j][i]);
|
|
}
|
|
|
|
segments.push(
|
|
CodePathSegment.newNext(
|
|
this.idGenerator.next(),
|
|
prevSegsOfLeavingSegment
|
|
)
|
|
);
|
|
}
|
|
|
|
this.pushForkContext(true);
|
|
this.forkContext.add(segments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment from the first throwable node to the `catch`
|
|
* block or the `finally` block.
|
|
* @returns {void}
|
|
*/
|
|
makeFirstThrowablePathInTryBlock() {
|
|
const forkContext = this.forkContext;
|
|
|
|
if (!forkContext.reachable) {
|
|
return;
|
|
}
|
|
|
|
const context = getThrowContext(this);
|
|
|
|
if (context === this ||
|
|
context.position !== "try" ||
|
|
!context.thrownForkContext.empty
|
|
) {
|
|
return;
|
|
}
|
|
|
|
context.thrownForkContext.add(forkContext.head);
|
|
forkContext.replaceHead(forkContext.makeNext(-1, -1));
|
|
}
|
|
|
|
//--------------------------------------------------------------------------
|
|
// Loop Statements
|
|
//--------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Creates a context object of a loop statement and stacks it.
|
|
* @param {string} type The type of the node which was triggered. One of
|
|
* `WhileStatement`, `DoWhileStatement`, `ForStatement`, `ForInStatement`,
|
|
* and `ForStatement`.
|
|
* @param {string|null} label A label of the node which was triggered.
|
|
* @returns {void}
|
|
*/
|
|
pushLoopContext(type, label) {
|
|
const forkContext = this.forkContext;
|
|
const breakContext = this.pushBreakContext(true, label);
|
|
|
|
switch (type) {
|
|
case "WhileStatement":
|
|
this.pushChoiceContext("loop", false);
|
|
this.loopContext = {
|
|
upper: this.loopContext,
|
|
type,
|
|
label,
|
|
test: void 0,
|
|
continueDestSegments: null,
|
|
brokenForkContext: breakContext.brokenForkContext
|
|
};
|
|
break;
|
|
|
|
case "DoWhileStatement":
|
|
this.pushChoiceContext("loop", false);
|
|
this.loopContext = {
|
|
upper: this.loopContext,
|
|
type,
|
|
label,
|
|
test: void 0,
|
|
entrySegments: null,
|
|
continueForkContext: ForkContext.newEmpty(forkContext),
|
|
brokenForkContext: breakContext.brokenForkContext
|
|
};
|
|
break;
|
|
|
|
case "ForStatement":
|
|
this.pushChoiceContext("loop", false);
|
|
this.loopContext = {
|
|
upper: this.loopContext,
|
|
type,
|
|
label,
|
|
test: void 0,
|
|
endOfInitSegments: null,
|
|
testSegments: null,
|
|
endOfTestSegments: null,
|
|
updateSegments: null,
|
|
endOfUpdateSegments: null,
|
|
continueDestSegments: null,
|
|
brokenForkContext: breakContext.brokenForkContext
|
|
};
|
|
break;
|
|
|
|
case "ForInStatement":
|
|
case "ForOfStatement":
|
|
this.loopContext = {
|
|
upper: this.loopContext,
|
|
type,
|
|
label,
|
|
prevSegments: null,
|
|
leftSegments: null,
|
|
endOfLeftSegments: null,
|
|
continueDestSegments: null,
|
|
brokenForkContext: breakContext.brokenForkContext
|
|
};
|
|
break;
|
|
|
|
/* istanbul ignore next */
|
|
default:
|
|
throw new Error(`unknown type: "${type}"`);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Pops the last context of a loop statement and finalizes it.
|
|
* @returns {void}
|
|
*/
|
|
popLoopContext() {
|
|
const context = this.loopContext;
|
|
|
|
this.loopContext = context.upper;
|
|
|
|
const forkContext = this.forkContext;
|
|
const brokenForkContext = this.popBreakContext().brokenForkContext;
|
|
|
|
// Creates a looped path.
|
|
switch (context.type) {
|
|
case "WhileStatement":
|
|
case "ForStatement":
|
|
this.popChoiceContext();
|
|
makeLooped(
|
|
this,
|
|
forkContext.head,
|
|
context.continueDestSegments
|
|
);
|
|
break;
|
|
|
|
case "DoWhileStatement": {
|
|
const choiceContext = this.popChoiceContext();
|
|
|
|
if (!choiceContext.processed) {
|
|
choiceContext.trueForkContext.add(forkContext.head);
|
|
choiceContext.falseForkContext.add(forkContext.head);
|
|
}
|
|
if (context.test !== true) {
|
|
brokenForkContext.addAll(choiceContext.falseForkContext);
|
|
}
|
|
|
|
// `true` paths go to looping.
|
|
const segmentsList = choiceContext.trueForkContext.segmentsList;
|
|
|
|
for (let i = 0; i < segmentsList.length; ++i) {
|
|
makeLooped(
|
|
this,
|
|
segmentsList[i],
|
|
context.entrySegments
|
|
);
|
|
}
|
|
break;
|
|
}
|
|
|
|
case "ForInStatement":
|
|
case "ForOfStatement":
|
|
brokenForkContext.add(forkContext.head);
|
|
makeLooped(
|
|
this,
|
|
forkContext.head,
|
|
context.leftSegments
|
|
);
|
|
break;
|
|
|
|
/* istanbul ignore next */
|
|
default:
|
|
throw new Error("unreachable");
|
|
}
|
|
|
|
// Go next.
|
|
if (brokenForkContext.empty) {
|
|
forkContext.replaceHead(forkContext.makeUnreachable(-1, -1));
|
|
} else {
|
|
forkContext.replaceHead(brokenForkContext.makeNext(0, -1));
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the test part of a WhileStatement.
|
|
* @param {boolean|undefined} test The test value (only when constant).
|
|
* @returns {void}
|
|
*/
|
|
makeWhileTest(test) {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
const testSegments = forkContext.makeNext(0, -1);
|
|
|
|
// Update state.
|
|
context.test = test;
|
|
context.continueDestSegments = testSegments;
|
|
forkContext.replaceHead(testSegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the body part of a WhileStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeWhileBody() {
|
|
const context = this.loopContext;
|
|
const choiceContext = this.choiceContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
if (!choiceContext.processed) {
|
|
choiceContext.trueForkContext.add(forkContext.head);
|
|
choiceContext.falseForkContext.add(forkContext.head);
|
|
}
|
|
|
|
// Update state.
|
|
if (context.test !== true) {
|
|
context.brokenForkContext.addAll(choiceContext.falseForkContext);
|
|
}
|
|
forkContext.replaceHead(choiceContext.trueForkContext.makeNext(0, -1));
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the body part of a DoWhileStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeDoWhileBody() {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
const bodySegments = forkContext.makeNext(-1, -1);
|
|
|
|
// Update state.
|
|
context.entrySegments = bodySegments;
|
|
forkContext.replaceHead(bodySegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the test part of a DoWhileStatement.
|
|
* @param {boolean|undefined} test The test value (only when constant).
|
|
* @returns {void}
|
|
*/
|
|
makeDoWhileTest(test) {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
context.test = test;
|
|
|
|
// Creates paths of `continue` statements.
|
|
if (!context.continueForkContext.empty) {
|
|
context.continueForkContext.add(forkContext.head);
|
|
const testSegments = context.continueForkContext.makeNext(0, -1);
|
|
|
|
forkContext.replaceHead(testSegments);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the test part of a ForStatement.
|
|
* @param {boolean|undefined} test The test value (only when constant).
|
|
* @returns {void}
|
|
*/
|
|
makeForTest(test) {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
const endOfInitSegments = forkContext.head;
|
|
const testSegments = forkContext.makeNext(-1, -1);
|
|
|
|
// Update state.
|
|
context.test = test;
|
|
context.endOfInitSegments = endOfInitSegments;
|
|
context.continueDestSegments = context.testSegments = testSegments;
|
|
forkContext.replaceHead(testSegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the update part of a ForStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeForUpdate() {
|
|
const context = this.loopContext;
|
|
const choiceContext = this.choiceContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
// Make the next paths of the test.
|
|
if (context.testSegments) {
|
|
finalizeTestSegmentsOfFor(
|
|
context,
|
|
choiceContext,
|
|
forkContext.head
|
|
);
|
|
} else {
|
|
context.endOfInitSegments = forkContext.head;
|
|
}
|
|
|
|
// Update state.
|
|
const updateSegments = forkContext.makeDisconnected(-1, -1);
|
|
|
|
context.continueDestSegments = context.updateSegments = updateSegments;
|
|
forkContext.replaceHead(updateSegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the body part of a ForStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeForBody() {
|
|
const context = this.loopContext;
|
|
const choiceContext = this.choiceContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
// Update state.
|
|
if (context.updateSegments) {
|
|
context.endOfUpdateSegments = forkContext.head;
|
|
|
|
// `update` -> `test`
|
|
if (context.testSegments) {
|
|
makeLooped(
|
|
this,
|
|
context.endOfUpdateSegments,
|
|
context.testSegments
|
|
);
|
|
}
|
|
} else if (context.testSegments) {
|
|
finalizeTestSegmentsOfFor(
|
|
context,
|
|
choiceContext,
|
|
forkContext.head
|
|
);
|
|
} else {
|
|
context.endOfInitSegments = forkContext.head;
|
|
}
|
|
|
|
let bodySegments = context.endOfTestSegments;
|
|
|
|
if (!bodySegments) {
|
|
|
|
/*
|
|
* If there is not the `test` part, the `body` path comes from the
|
|
* `init` part and the `update` part.
|
|
*/
|
|
const prevForkContext = ForkContext.newEmpty(forkContext);
|
|
|
|
prevForkContext.add(context.endOfInitSegments);
|
|
if (context.endOfUpdateSegments) {
|
|
prevForkContext.add(context.endOfUpdateSegments);
|
|
}
|
|
|
|
bodySegments = prevForkContext.makeNext(0, -1);
|
|
}
|
|
context.continueDestSegments = context.continueDestSegments || bodySegments;
|
|
forkContext.replaceHead(bodySegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the left part of a ForInStatement and a
|
|
* ForOfStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeForInOfLeft() {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
const leftSegments = forkContext.makeDisconnected(-1, -1);
|
|
|
|
// Update state.
|
|
context.prevSegments = forkContext.head;
|
|
context.leftSegments = context.continueDestSegments = leftSegments;
|
|
forkContext.replaceHead(leftSegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the right part of a ForInStatement and a
|
|
* ForOfStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeForInOfRight() {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
const temp = ForkContext.newEmpty(forkContext);
|
|
|
|
temp.add(context.prevSegments);
|
|
const rightSegments = temp.makeNext(-1, -1);
|
|
|
|
// Update state.
|
|
context.endOfLeftSegments = forkContext.head;
|
|
forkContext.replaceHead(rightSegments);
|
|
}
|
|
|
|
/**
|
|
* Makes a code path segment for the body part of a ForInStatement and a
|
|
* ForOfStatement.
|
|
* @returns {void}
|
|
*/
|
|
makeForInOfBody() {
|
|
const context = this.loopContext;
|
|
const forkContext = this.forkContext;
|
|
const temp = ForkContext.newEmpty(forkContext);
|
|
|
|
temp.add(context.endOfLeftSegments);
|
|
const bodySegments = temp.makeNext(-1, -1);
|
|
|
|
// Make a path: `right` -> `left`.
|
|
makeLooped(this, forkContext.head, context.leftSegments);
|
|
|
|
// Update state.
|
|
context.brokenForkContext.add(forkContext.head);
|
|
forkContext.replaceHead(bodySegments);
|
|
}
|
|
|
|
//--------------------------------------------------------------------------
|
|
// Control Statements
|
|
//--------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Creates new context for BreakStatement.
|
|
* @param {boolean} breakable The flag to indicate it can break by
|
|
* an unlabeled BreakStatement.
|
|
* @param {string|null} label The label of this context.
|
|
* @returns {Object} The new context.
|
|
*/
|
|
pushBreakContext(breakable, label) {
|
|
this.breakContext = {
|
|
upper: this.breakContext,
|
|
breakable,
|
|
label,
|
|
brokenForkContext: ForkContext.newEmpty(this.forkContext)
|
|
};
|
|
return this.breakContext;
|
|
}
|
|
|
|
/**
|
|
* Removes the top item of the break context stack.
|
|
* @returns {Object} The removed context.
|
|
*/
|
|
popBreakContext() {
|
|
const context = this.breakContext;
|
|
const forkContext = this.forkContext;
|
|
|
|
this.breakContext = context.upper;
|
|
|
|
// Process this context here for other than switches and loops.
|
|
if (!context.breakable) {
|
|
const brokenForkContext = context.brokenForkContext;
|
|
|
|
if (!brokenForkContext.empty) {
|
|
brokenForkContext.add(forkContext.head);
|
|
forkContext.replaceHead(brokenForkContext.makeNext(0, -1));
|
|
}
|
|
}
|
|
|
|
return context;
|
|
}
|
|
|
|
/**
|
|
* Makes a path for a `break` statement.
|
|
*
|
|
* It registers the head segment to a context of `break`.
|
|
* It makes new unreachable segment, then it set the head with the segment.
|
|
* @param {string} label A label of the break statement.
|
|
* @returns {void}
|
|
*/
|
|
makeBreak(label) {
|
|
const forkContext = this.forkContext;
|
|
|
|
if (!forkContext.reachable) {
|
|
return;
|
|
}
|
|
|
|
const context = getBreakContext(this, label);
|
|
|
|
/* istanbul ignore else: foolproof (syntax error) */
|
|
if (context) {
|
|
context.brokenForkContext.add(forkContext.head);
|
|
}
|
|
|
|
forkContext.replaceHead(forkContext.makeUnreachable(-1, -1));
|
|
}
|
|
|
|
/**
|
|
* Makes a path for a `continue` statement.
|
|
*
|
|
* It makes a looping path.
|
|
* It makes new unreachable segment, then it set the head with the segment.
|
|
* @param {string} label A label of the continue statement.
|
|
* @returns {void}
|
|
*/
|
|
makeContinue(label) {
|
|
const forkContext = this.forkContext;
|
|
|
|
if (!forkContext.reachable) {
|
|
return;
|
|
}
|
|
|
|
const context = getContinueContext(this, label);
|
|
|
|
/* istanbul ignore else: foolproof (syntax error) */
|
|
if (context) {
|
|
if (context.continueDestSegments) {
|
|
makeLooped(this, forkContext.head, context.continueDestSegments);
|
|
|
|
// If the context is a for-in/of loop, this effects a break also.
|
|
if (context.type === "ForInStatement" ||
|
|
context.type === "ForOfStatement"
|
|
) {
|
|
context.brokenForkContext.add(forkContext.head);
|
|
}
|
|
} else {
|
|
context.continueForkContext.add(forkContext.head);
|
|
}
|
|
}
|
|
forkContext.replaceHead(forkContext.makeUnreachable(-1, -1));
|
|
}
|
|
|
|
/**
|
|
* Makes a path for a `return` statement.
|
|
*
|
|
* It registers the head segment to a context of `return`.
|
|
* It makes new unreachable segment, then it set the head with the segment.
|
|
* @returns {void}
|
|
*/
|
|
makeReturn() {
|
|
const forkContext = this.forkContext;
|
|
|
|
if (forkContext.reachable) {
|
|
getReturnContext(this).returnedForkContext.add(forkContext.head);
|
|
forkContext.replaceHead(forkContext.makeUnreachable(-1, -1));
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Makes a path for a `throw` statement.
|
|
*
|
|
* It registers the head segment to a context of `throw`.
|
|
* It makes new unreachable segment, then it set the head with the segment.
|
|
* @returns {void}
|
|
*/
|
|
makeThrow() {
|
|
const forkContext = this.forkContext;
|
|
|
|
if (forkContext.reachable) {
|
|
getThrowContext(this).thrownForkContext.add(forkContext.head);
|
|
forkContext.replaceHead(forkContext.makeUnreachable(-1, -1));
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Makes the final path.
|
|
* @returns {void}
|
|
*/
|
|
makeFinal() {
|
|
const segments = this.currentSegments;
|
|
|
|
if (segments.length > 0 && segments[0].reachable) {
|
|
this.returnedForkContext.add(segments);
|
|
}
|
|
}
|
|
}
|
|
|
|
module.exports = CodePathState;
|