|
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683 |
-
-
- "use strict";
-
-
-
-
-
- const assert = require("assert"),
- CodePath = require("./code-path"),
- CodePathSegment = require("./code-path-segment"),
- IdGenerator = require("./id-generator"),
- debug = require("./debug-helpers"),
- astUtils = require("../util/ast-utils");
-
-
-
-
-
-
- function isCaseNode(node) {
- return Boolean(node.test);
- }
-
-
- function isHandledLogicalOperator(operator) {
- return operator === "&&" || operator === "||";
- }
-
-
- function isForkingByTrueOrFalse(node) {
- const parent = node.parent;
-
- switch (parent.type) {
- case "ConditionalExpression":
- case "IfStatement":
- case "WhileStatement":
- case "DoWhileStatement":
- case "ForStatement":
- return parent.test === node;
-
- case "LogicalExpression":
- return isHandledLogicalOperator(parent.operator);
-
- default:
- return false;
- }
- }
-
-
- function getBooleanValueIfSimpleConstant(node) {
- if (node.type === "Literal") {
- return Boolean(node.value);
- }
- return void 0;
- }
-
-
- function isIdentifierReference(node) {
- const parent = node.parent;
-
- switch (parent.type) {
- case "LabeledStatement":
- case "BreakStatement":
- case "ContinueStatement":
- case "ArrayPattern":
- case "RestElement":
- case "ImportSpecifier":
- case "ImportDefaultSpecifier":
- case "ImportNamespaceSpecifier":
- case "CatchClause":
- return false;
-
- case "FunctionDeclaration":
- case "FunctionExpression":
- case "ArrowFunctionExpression":
- case "ClassDeclaration":
- case "ClassExpression":
- case "VariableDeclarator":
- return parent.id !== node;
-
- case "Property":
- case "MethodDefinition":
- return (
- parent.key !== node ||
- parent.computed ||
- parent.shorthand
- );
-
- case "AssignmentPattern":
- return parent.key !== node;
-
- default:
- return true;
- }
- }
-
-
- function forwardCurrentToHead(analyzer, node) {
- const codePath = analyzer.codePath;
- const state = CodePath.getState(codePath);
- const currentSegments = state.currentSegments;
- const headSegments = state.headSegments;
- const end = Math.max(currentSegments.length, headSegments.length);
- let i, currentSegment, headSegment;
-
-
- for (i = 0; i < end; ++i) {
- currentSegment = currentSegments[i];
- headSegment = headSegments[i];
-
- if (currentSegment !== headSegment && currentSegment) {
- debug.dump(`onCodePathSegmentEnd ${currentSegment.id}`);
-
- if (currentSegment.reachable) {
- analyzer.emitter.emit(
- "onCodePathSegmentEnd",
- currentSegment,
- node
- );
- }
- }
- }
-
-
- state.currentSegments = headSegments;
-
-
- for (i = 0; i < end; ++i) {
- currentSegment = currentSegments[i];
- headSegment = headSegments[i];
-
- if (currentSegment !== headSegment && headSegment) {
- debug.dump(`onCodePathSegmentStart ${headSegment.id}`);
-
- CodePathSegment.markUsed(headSegment);
- if (headSegment.reachable) {
- analyzer.emitter.emit(
- "onCodePathSegmentStart",
- headSegment,
- node
- );
- }
- }
- }
-
- }
-
-
- function leaveFromCurrentSegment(analyzer, node) {
- const state = CodePath.getState(analyzer.codePath);
- const currentSegments = state.currentSegments;
-
- for (let i = 0; i < currentSegments.length; ++i) {
- const currentSegment = currentSegments[i];
-
- debug.dump(`onCodePathSegmentEnd ${currentSegment.id}`);
- if (currentSegment.reachable) {
- analyzer.emitter.emit(
- "onCodePathSegmentEnd",
- currentSegment,
- node
- );
- }
- }
-
- state.currentSegments = [];
- }
-
-
- function preprocess(analyzer, node) {
- const codePath = analyzer.codePath;
- const state = CodePath.getState(codePath);
- const parent = node.parent;
-
- switch (parent.type) {
- case "LogicalExpression":
- if (
- parent.right === node &&
- isHandledLogicalOperator(parent.operator)
- ) {
- state.makeLogicalRight();
- }
- break;
-
- case "ConditionalExpression":
- case "IfStatement":
-
-
-
- if (parent.consequent === node) {
- state.makeIfConsequent();
- } else if (parent.alternate === node) {
- state.makeIfAlternate();
- }
- break;
-
- case "SwitchCase":
- if (parent.consequent[0] === node) {
- state.makeSwitchCaseBody(false, !parent.test);
- }
- break;
-
- case "TryStatement":
- if (parent.handler === node) {
- state.makeCatchBlock();
- } else if (parent.finalizer === node) {
- state.makeFinallyBlock();
- }
- break;
-
- case "WhileStatement":
- if (parent.test === node) {
- state.makeWhileTest(getBooleanValueIfSimpleConstant(node));
- } else {
- assert(parent.body === node);
- state.makeWhileBody();
- }
- break;
-
- case "DoWhileStatement":
- if (parent.body === node) {
- state.makeDoWhileBody();
- } else {
- assert(parent.test === node);
- state.makeDoWhileTest(getBooleanValueIfSimpleConstant(node));
- }
- break;
-
- case "ForStatement":
- if (parent.test === node) {
- state.makeForTest(getBooleanValueIfSimpleConstant(node));
- } else if (parent.update === node) {
- state.makeForUpdate();
- } else if (parent.body === node) {
- state.makeForBody();
- }
- break;
-
- case "ForInStatement":
- case "ForOfStatement":
- if (parent.left === node) {
- state.makeForInOfLeft();
- } else if (parent.right === node) {
- state.makeForInOfRight();
- } else {
- assert(parent.body === node);
- state.makeForInOfBody();
- }
- break;
-
- case "AssignmentPattern":
-
-
-
- if (parent.right === node) {
- state.pushForkContext();
- state.forkBypassPath();
- state.forkPath();
- }
- break;
-
- default:
- break;
- }
- }
-
-
- function processCodePathToEnter(analyzer, node) {
- let codePath = analyzer.codePath;
- let state = codePath && CodePath.getState(codePath);
- const parent = node.parent;
-
- switch (node.type) {
- case "Program":
- case "FunctionDeclaration":
- case "FunctionExpression":
- case "ArrowFunctionExpression":
- if (codePath) {
-
-
- forwardCurrentToHead(analyzer, node);
- debug.dumpState(node, state, false);
- }
-
-
- codePath = analyzer.codePath = new CodePath(
- analyzer.idGenerator.next(),
- codePath,
- analyzer.onLooped
- );
- state = CodePath.getState(codePath);
-
-
- debug.dump(`onCodePathStart ${codePath.id}`);
- analyzer.emitter.emit("onCodePathStart", codePath, node);
- break;
-
- case "LogicalExpression":
- if (isHandledLogicalOperator(node.operator)) {
- state.pushChoiceContext(
- node.operator,
- isForkingByTrueOrFalse(node)
- );
- }
- break;
-
- case "ConditionalExpression":
- case "IfStatement":
- state.pushChoiceContext("test", false);
- break;
-
- case "SwitchStatement":
- state.pushSwitchContext(
- node.cases.some(isCaseNode),
- astUtils.getLabel(node)
- );
- break;
-
- case "TryStatement":
- state.pushTryContext(Boolean(node.finalizer));
- break;
-
- case "SwitchCase":
-
-
-
- if (parent.discriminant !== node && parent.cases[0] !== node) {
- state.forkPath();
- }
- break;
-
- case "WhileStatement":
- case "DoWhileStatement":
- case "ForStatement":
- case "ForInStatement":
- case "ForOfStatement":
- state.pushLoopContext(node.type, astUtils.getLabel(node));
- break;
-
- case "LabeledStatement":
- if (!astUtils.isBreakableStatement(node.body)) {
- state.pushBreakContext(false, node.label.name);
- }
- break;
-
- default:
- break;
- }
-
-
- forwardCurrentToHead(analyzer, node);
- debug.dumpState(node, state, false);
- }
-
-
- function processCodePathToExit(analyzer, node) {
- const codePath = analyzer.codePath;
- const state = CodePath.getState(codePath);
- let dontForward = false;
-
- switch (node.type) {
- case "IfStatement":
- case "ConditionalExpression":
- state.popChoiceContext();
- break;
-
- case "LogicalExpression":
- if (isHandledLogicalOperator(node.operator)) {
- state.popChoiceContext();
- }
- break;
-
- case "SwitchStatement":
- state.popSwitchContext();
- break;
-
- case "SwitchCase":
-
-
-
- if (node.consequent.length === 0) {
- state.makeSwitchCaseBody(true, !node.test);
- }
- if (state.forkContext.reachable) {
- dontForward = true;
- }
- break;
-
- case "TryStatement":
- state.popTryContext();
- break;
-
- case "BreakStatement":
- forwardCurrentToHead(analyzer, node);
- state.makeBreak(node.label && node.label.name);
- dontForward = true;
- break;
-
- case "ContinueStatement":
- forwardCurrentToHead(analyzer, node);
- state.makeContinue(node.label && node.label.name);
- dontForward = true;
- break;
-
- case "ReturnStatement":
- forwardCurrentToHead(analyzer, node);
- state.makeReturn();
- dontForward = true;
- break;
-
- case "ThrowStatement":
- forwardCurrentToHead(analyzer, node);
- state.makeThrow();
- dontForward = true;
- break;
-
- case "Identifier":
- if (isIdentifierReference(node)) {
- state.makeFirstThrowablePathInTryBlock();
- dontForward = true;
- }
- break;
-
- case "CallExpression":
- case "MemberExpression":
- case "NewExpression":
- state.makeFirstThrowablePathInTryBlock();
- break;
-
- case "WhileStatement":
- case "DoWhileStatement":
- case "ForStatement":
- case "ForInStatement":
- case "ForOfStatement":
- state.popLoopContext();
- break;
-
- case "AssignmentPattern":
- state.popForkContext();
- break;
-
- case "LabeledStatement":
- if (!astUtils.isBreakableStatement(node.body)) {
- state.popBreakContext();
- }
- break;
-
- default:
- break;
- }
-
-
- if (!dontForward) {
- forwardCurrentToHead(analyzer, node);
- }
- debug.dumpState(node, state, true);
- }
-
-
- function postprocess(analyzer, node) {
- switch (node.type) {
- case "Program":
- case "FunctionDeclaration":
- case "FunctionExpression":
- case "ArrowFunctionExpression": {
- let codePath = analyzer.codePath;
-
-
- CodePath.getState(codePath).makeFinal();
-
-
- leaveFromCurrentSegment(analyzer, node);
-
-
- debug.dump(`onCodePathEnd ${codePath.id}`);
- analyzer.emitter.emit("onCodePathEnd", codePath, node);
- debug.dumpDot(codePath);
-
- codePath = analyzer.codePath = analyzer.codePath.upper;
- if (codePath) {
- debug.dumpState(node, CodePath.getState(codePath), true);
- }
- break;
- }
-
- default:
- break;
- }
- }
-
-
-
-
-
-
- class CodePathAnalyzer {
-
-
-
- constructor(eventGenerator) {
- this.original = eventGenerator;
- this.emitter = eventGenerator.emitter;
- this.codePath = null;
- this.idGenerator = new IdGenerator("s");
- this.currentNode = null;
- this.onLooped = this.onLooped.bind(this);
- }
-
-
-
- enterNode(node) {
- this.currentNode = node;
-
-
- if (node.parent) {
- preprocess(this, node);
- }
-
-
-
- processCodePathToEnter(this, node);
-
-
- this.original.enterNode(node);
-
- this.currentNode = null;
- }
-
-
-
- leaveNode(node) {
- this.currentNode = node;
-
-
-
- processCodePathToExit(this, node);
-
-
- this.original.leaveNode(node);
-
-
- postprocess(this, node);
-
- this.currentNode = null;
- }
-
-
-
- onLooped(fromSegment, toSegment) {
- if (fromSegment.reachable && toSegment.reachable) {
- debug.dump(`onCodePathSegmentLoop ${fromSegment.id} -> ${toSegment.id}`);
- this.emitter.emit(
- "onCodePathSegmentLoop",
- fromSegment,
- toSegment,
- this.currentNode
- );
- }
- }
- }
-
- module.exports = CodePathAnalyzer;
|