123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557 |
- var assert = require("assert");
- var linesModule = require("./lines");
- var types = require("./types");
- var getFieldValue = types.getFieldValue;
- var Node = types.namedTypes.Node;
- var Printable = types.namedTypes.Printable;
- var Expression = types.namedTypes.Expression;
- var ReturnStatement = types.namedTypes.ReturnStatement;
- var SourceLocation = types.namedTypes.SourceLocation;
- var util = require("./util");
- var comparePos = util.comparePos;
- var FastPath = require("./fast-path");
- var isObject = types.builtInTypes.object;
- var isArray = types.builtInTypes.array;
- var isString = types.builtInTypes.string;
- var riskyAdjoiningCharExp = /[0-9a-z_$]/i;
- function Patcher(lines) {
- assert.ok(this instanceof Patcher);
- assert.ok(lines instanceof linesModule.Lines);
- var self = this,
- replacements = [];
- self.replace = function(loc, lines) {
- if (isString.check(lines))
- lines = linesModule.fromString(lines);
- replacements.push({
- lines: lines,
- start: loc.start,
- end: loc.end
- });
- };
- self.get = function(loc) {
- // If no location is provided, return the complete Lines object.
- loc = loc || {
- start: { line: 1, column: 0 },
- end: { line: lines.length,
- column: lines.getLineLength(lines.length) }
- };
- var sliceFrom = loc.start,
- toConcat = [];
- function pushSlice(from, to) {
- assert.ok(comparePos(from, to) <= 0);
- toConcat.push(lines.slice(from, to));
- }
- replacements.sort(function(a, b) {
- return comparePos(a.start, b.start);
- }).forEach(function(rep) {
- if (comparePos(sliceFrom, rep.start) > 0) {
- // Ignore nested replacement ranges.
- } else {
- pushSlice(sliceFrom, rep.start);
- toConcat.push(rep.lines);
- sliceFrom = rep.end;
- }
- });
- pushSlice(sliceFrom, loc.end);
- return linesModule.concat(toConcat);
- };
- }
- exports.Patcher = Patcher;
- var Pp = Patcher.prototype;
- Pp.tryToReprintComments = function(newNode, oldNode, print) {
- var patcher = this;
- if (!newNode.comments &&
- !oldNode.comments) {
- // We were (vacuously) able to reprint all the comments!
- return true;
- }
- var newPath = FastPath.from(newNode);
- var oldPath = FastPath.from(oldNode);
- newPath.stack.push("comments", getSurroundingComments(newNode));
- oldPath.stack.push("comments", getSurroundingComments(oldNode));
- var reprints = [];
- var ableToReprintComments =
- findArrayReprints(newPath, oldPath, reprints);
- // No need to pop anything from newPath.stack or oldPath.stack, since
- // newPath and oldPath are fresh local variables.
- if (ableToReprintComments && reprints.length > 0) {
- reprints.forEach(function(reprint) {
- var oldComment = reprint.oldPath.getValue();
- assert.ok(oldComment.leading || oldComment.trailing);
- patcher.replace(
- oldComment.loc,
- // Comments can't have .comments, so it doesn't matter whether we
- // print with comments or without.
- print(reprint.newPath).indentTail(oldComment.loc.indent)
- );
- });
- }
- return ableToReprintComments;
- };
- // Get all comments that are either leading or trailing, ignoring any
- // comments that occur inside node.loc. Returns an empty array for nodes
- // with no leading or trailing comments.
- function getSurroundingComments(node) {
- var result = [];
- if (node.comments &&
- node.comments.length > 0) {
- node.comments.forEach(function(comment) {
- if (comment.leading || comment.trailing) {
- result.push(comment);
- }
- });
- }
- return result;
- }
- Pp.deleteComments = function(node) {
- if (!node.comments) {
- return;
- }
- var patcher = this;
- node.comments.forEach(function(comment) {
- if (comment.leading) {
- // Delete leading comments along with any trailing whitespace they
- // might have.
- patcher.replace({
- start: comment.loc.start,
- end: node.loc.lines.skipSpaces(
- comment.loc.end, false, false)
- }, "");
- } else if (comment.trailing) {
- // Delete trailing comments along with any leading whitespace they
- // might have.
- patcher.replace({
- start: node.loc.lines.skipSpaces(
- comment.loc.start, true, false),
- end: comment.loc.end
- }, "");
- }
- });
- };
- exports.getReprinter = function(path) {
- assert.ok(path instanceof FastPath);
- // Make sure that this path refers specifically to a Node, rather than
- // some non-Node subproperty of a Node.
- var node = path.getValue();
- if (!Printable.check(node))
- return;
- var orig = node.original;
- var origLoc = orig && orig.loc;
- var lines = origLoc && origLoc.lines;
- var reprints = [];
- if (!lines || !findReprints(path, reprints))
- return;
- return function(print) {
- var patcher = new Patcher(lines);
- reprints.forEach(function(reprint) {
- var newNode = reprint.newPath.getValue();
- var oldNode = reprint.oldPath.getValue();
- SourceLocation.assert(oldNode.loc, true);
- var needToPrintNewPathWithComments =
- !patcher.tryToReprintComments(newNode, oldNode, print)
- if (needToPrintNewPathWithComments) {
- // Since we were not able to preserve all leading/trailing
- // comments, we delete oldNode's comments, print newPath with
- // comments, and then patch the resulting lines where oldNode used
- // to be.
- patcher.deleteComments(oldNode);
- }
- var newLines = print(
- reprint.newPath,
- needToPrintNewPathWithComments
- ).indentTail(oldNode.loc.indent);
- var nls = needsLeadingSpace(lines, oldNode.loc, newLines);
- var nts = needsTrailingSpace(lines, oldNode.loc, newLines);
- // If we try to replace the argument of a ReturnStatement like
- // return"asdf" with e.g. a literal null expression, we run the risk
- // of ending up with returnnull, so we need to add an extra leading
- // space in situations where that might happen. Likewise for
- // "asdf"in obj. See #170.
- if (nls || nts) {
- var newParts = [];
- nls && newParts.push(" ");
- newParts.push(newLines);
- nts && newParts.push(" ");
- newLines = linesModule.concat(newParts);
- }
- patcher.replace(oldNode.loc, newLines);
- });
- // Recall that origLoc is the .loc of an ancestor node that is
- // guaranteed to contain all the reprinted nodes and comments.
- return patcher.get(origLoc).indentTail(-orig.loc.indent);
- };
- };
- // If the last character before oldLoc and the first character of newLines
- // are both identifier characters, they must be separated by a space,
- // otherwise they will most likely get fused together into a single token.
- function needsLeadingSpace(oldLines, oldLoc, newLines) {
- var posBeforeOldLoc = util.copyPos(oldLoc.start);
- // The character just before the location occupied by oldNode.
- var charBeforeOldLoc =
- oldLines.prevPos(posBeforeOldLoc) &&
- oldLines.charAt(posBeforeOldLoc);
- // First character of the reprinted node.
- var newFirstChar = newLines.charAt(newLines.firstPos());
- return charBeforeOldLoc &&
- riskyAdjoiningCharExp.test(charBeforeOldLoc) &&
- newFirstChar &&
- riskyAdjoiningCharExp.test(newFirstChar);
- }
- // If the last character of newLines and the first character after oldLoc
- // are both identifier characters, they must be separated by a space,
- // otherwise they will most likely get fused together into a single token.
- function needsTrailingSpace(oldLines, oldLoc, newLines) {
- // The character just after the location occupied by oldNode.
- var charAfterOldLoc = oldLines.charAt(oldLoc.end);
- var newLastPos = newLines.lastPos();
- // Last character of the reprinted node.
- var newLastChar = newLines.prevPos(newLastPos) &&
- newLines.charAt(newLastPos);
- return newLastChar &&
- riskyAdjoiningCharExp.test(newLastChar) &&
- charAfterOldLoc &&
- riskyAdjoiningCharExp.test(charAfterOldLoc);
- }
- function findReprints(newPath, reprints) {
- var newNode = newPath.getValue();
- Printable.assert(newNode);
- var oldNode = newNode.original;
- Printable.assert(oldNode);
- assert.deepEqual(reprints, []);
- if (newNode.type !== oldNode.type) {
- return false;
- }
- var oldPath = new FastPath(oldNode);
- var canReprint = findChildReprints(newPath, oldPath, reprints);
- if (!canReprint) {
- // Make absolutely sure the calling code does not attempt to reprint
- // any nodes.
- reprints.length = 0;
- }
- return canReprint;
- }
- function findAnyReprints(newPath, oldPath, reprints) {
- var newNode = newPath.getValue();
- var oldNode = oldPath.getValue();
- if (newNode === oldNode)
- return true;
- if (isArray.check(newNode))
- return findArrayReprints(newPath, oldPath, reprints);
- if (isObject.check(newNode))
- return findObjectReprints(newPath, oldPath, reprints);
- return false;
- }
- function findArrayReprints(newPath, oldPath, reprints) {
- var newNode = newPath.getValue();
- var oldNode = oldPath.getValue();
- if (newNode === oldNode ||
- newPath.valueIsDuplicate() ||
- oldPath.valueIsDuplicate()) {
- return true;
- }
- isArray.assert(newNode);
- var len = newNode.length;
- if (!(isArray.check(oldNode) &&
- oldNode.length === len))
- return false;
- for (var i = 0; i < len; ++i) {
- newPath.stack.push(i, newNode[i]);
- oldPath.stack.push(i, oldNode[i]);
- var canReprint = findAnyReprints(newPath, oldPath, reprints);
- newPath.stack.length -= 2;
- oldPath.stack.length -= 2;
- if (!canReprint) {
- return false;
- }
- }
- return true;
- }
- function findObjectReprints(newPath, oldPath, reprints) {
- var newNode = newPath.getValue();
- isObject.assert(newNode);
- if (newNode.original === null) {
- // If newNode.original node was set to null, reprint the node.
- return false;
- }
- var oldNode = oldPath.getValue();
- if (!isObject.check(oldNode))
- return false;
- if (newNode === oldNode ||
- newPath.valueIsDuplicate() ||
- oldPath.valueIsDuplicate()) {
- return true;
- }
- if (Printable.check(newNode)) {
- if (!Printable.check(oldNode)) {
- return false;
- }
- // Here we need to decide whether the reprinted code for newNode is
- // appropriate for patching into the location of oldNode.
- if (newNode.type === oldNode.type) {
- var childReprints = [];
- if (findChildReprints(newPath, oldPath, childReprints)) {
- reprints.push.apply(reprints, childReprints);
- } else if (oldNode.loc) {
- // If we have no .loc information for oldNode, then we won't be
- // able to reprint it.
- reprints.push({
- oldPath: oldPath.copy(),
- newPath: newPath.copy()
- });
- } else {
- return false;
- }
- return true;
- }
- if (Expression.check(newNode) &&
- Expression.check(oldNode) &&
- // If we have no .loc information for oldNode, then we won't be
- // able to reprint it.
- oldNode.loc) {
- // If both nodes are subtypes of Expression, then we should be able
- // to fill the location occupied by the old node with code printed
- // for the new node with no ill consequences.
- reprints.push({
- oldPath: oldPath.copy(),
- newPath: newPath.copy()
- });
- return true;
- }
- // The nodes have different types, and at least one of the types is
- // not a subtype of the Expression type, so we cannot safely assume
- // the nodes are syntactically interchangeable.
- return false;
- }
- return findChildReprints(newPath, oldPath, reprints);
- }
- // This object is reused in hasOpeningParen and hasClosingParen to avoid
- // having to allocate a temporary object.
- var reusablePos = { line: 1, column: 0 };
- var nonSpaceExp = /\S/;
- function hasOpeningParen(oldPath) {
- var oldNode = oldPath.getValue();
- var loc = oldNode.loc;
- var lines = loc && loc.lines;
- if (lines) {
- var pos = reusablePos;
- pos.line = loc.start.line;
- pos.column = loc.start.column;
- while (lines.prevPos(pos)) {
- var ch = lines.charAt(pos);
- if (ch === "(") {
- // If we found an opening parenthesis but it occurred before the
- // start of the original subtree for this reprinting, then we must
- // not return true for hasOpeningParen(oldPath).
- return comparePos(oldPath.getRootValue().loc.start, pos) <= 0;
- }
- if (nonSpaceExp.test(ch)) {
- return false;
- }
- }
- }
- return false;
- }
- function hasClosingParen(oldPath) {
- var oldNode = oldPath.getValue();
- var loc = oldNode.loc;
- var lines = loc && loc.lines;
- if (lines) {
- var pos = reusablePos;
- pos.line = loc.end.line;
- pos.column = loc.end.column;
- do {
- var ch = lines.charAt(pos);
- if (ch === ")") {
- // If we found a closing parenthesis but it occurred after the end
- // of the original subtree for this reprinting, then we must not
- // return true for hasClosingParen(oldPath).
- return comparePos(pos, oldPath.getRootValue().loc.end) <= 0;
- }
- if (nonSpaceExp.test(ch)) {
- return false;
- }
- } while (lines.nextPos(pos));
- }
- return false;
- }
- function hasParens(oldPath) {
- // This logic can technically be fooled if the node has parentheses but
- // there are comments intervening between the parentheses and the
- // node. In such cases the node will be harmlessly wrapped in an
- // additional layer of parentheses.
- return hasOpeningParen(oldPath) && hasClosingParen(oldPath);
- }
- function findChildReprints(newPath, oldPath, reprints) {
- var newNode = newPath.getValue();
- var oldNode = oldPath.getValue();
- isObject.assert(newNode);
- isObject.assert(oldNode);
- if (newNode.original === null) {
- // If newNode.original node was set to null, reprint the node.
- return false;
- }
- // If this type of node cannot come lexically first in its enclosing
- // statement (e.g. a function expression or object literal), and it
- // seems to be doing so, then the only way we can ignore this problem
- // and save ourselves from falling back to the pretty printer is if an
- // opening parenthesis happens to precede the node. For example,
- // (function(){ ... }()); does not need to be reprinted, even though the
- // FunctionExpression comes lexically first in the enclosing
- // ExpressionStatement and fails the hasParens test, because the parent
- // CallExpression passes the hasParens test. If we relied on the
- // path.needsParens() && !hasParens(oldNode) check below, the absence of
- // a closing parenthesis after the FunctionExpression would trigger
- // pretty-printing unnecessarily.
- if (Node.check(newNode) &&
- !newPath.canBeFirstInStatement() &&
- newPath.firstInStatement() &&
- !hasOpeningParen(oldPath)) {
- return false;
- }
- // If this node needs parentheses and will not be wrapped with
- // parentheses when reprinted, then return false to skip reprinting and
- // let it be printed generically.
- if (newPath.needsParens(true) && !hasParens(oldPath)) {
- return false;
- }
- var keys = util.getUnionOfKeys(oldNode, newNode);
- if (oldNode.type === "File" ||
- newNode.type === "File") {
- // Don't bother traversing file.tokens, an often very large array
- // returned by Babylon, and useless for our purposes.
- delete keys.tokens;
- }
- // Don't bother traversing .loc objects looking for reprintable nodes.
- delete keys.loc;
- var originalReprintCount = reprints.length;
- for (var k in keys) {
- if (k.charAt(0) === "_") {
- // Ignore "private" AST properties added by e.g. Babel plugins and
- // parsers like Babylon.
- continue;
- }
- newPath.stack.push(k, types.getFieldValue(newNode, k));
- oldPath.stack.push(k, types.getFieldValue(oldNode, k));
- var canReprint = findAnyReprints(newPath, oldPath, reprints);
- newPath.stack.length -= 2;
- oldPath.stack.length -= 2;
- if (!canReprint) {
- return false;
- }
- }
- // Return statements might end up running into ASI issues due to
- // comments inserted deep within the tree, so reprint them if anything
- // changed within them.
- if (ReturnStatement.check(newPath.getNode()) &&
- reprints.length > originalReprintCount) {
- return false;
- }
- return true;
- }
|