Rin Tepis 224a35c5c6
Don't insert __self: this within constructors of derived classes (#13552)
* Don't insert `__self: this` prior to `super()` calls (#13550)

`__self: this` is inserted for debugging purposes. However, it will cause a runtime error if it is inserted prior to a `super()` call in a constructor. This commit will prevent `__self: this` from inserted when there is a following `super()` call.

* Prevent adding `__self` within a constructor that has `super()` altogether.

* Fix 2 typos in the comments.

* Add an additional test case for constructors that do not have a `super()` call.

* Detect `super()` call by testing whether the class has a superclass.

* Update method name and corresponding comments

* Add an additional test for the case where the derived class do not have a `super()` call.

* Apply the same changes to babel-plugin-transform-react-jsx
2021-07-26 13:32:29 -04:00

94 lines
2.5 KiB
JavaScript

/**
* This adds a __self={this} JSX attribute to all JSX elements, which React will use
* to generate some runtime warnings. However, if the JSX element appears within a
* constructor of a derived class, `__self={this}` will not be inserted in order to
* prevent runtime errors.
*
* == JSX Literals ==
*
* <sometag />
*
* becomes:
*
* <sometag __self={this} />
*/
import { declare } from "@babel/helper-plugin-utils";
import { types as t } from "@babel/core";
const TRACE_ID = "__self";
/**
* Finds the closest parent function that provides `this`. Specifically, this looks for
* the first parent function that isn't an arrow function.
*
* Derived from `Scope#getFunctionParent`
*/
function getThisFunctionParent(path) {
let scope = path.scope;
do {
if (
scope.path.isFunctionParent() &&
!scope.path.isArrowFunctionExpression()
) {
return scope.path;
}
} while ((scope = scope.parent));
return null;
}
/**
* Returns whether the class has specified a superclass.
*/
function isDerivedClass(classPath) {
return classPath.node.superClass !== null;
}
/**
* Returns whether `this` is allowed at given path.
*/
function isThisAllowed(path) {
// This specifically skips arrow functions as they do not rewrite `this`.
const parentMethodOrFunction = getThisFunctionParent(path);
if (parentMethodOrFunction === null) {
// We are not in a method or function. It is fine to use `this`.
return true;
}
if (!parentMethodOrFunction.isMethod()) {
// If the closest parent is a regular function, `this` will be rebound, therefore it is fine to use `this`.
return true;
}
// Current node is within a method, so we need to check if the method is a constructor.
if (parentMethodOrFunction.node.kind !== "constructor") {
// We are not in a constructor, therefore it is always fine to use `this`.
return true;
}
// Now we are in a constructor. If it is a derived class, we do not reference `this`.
return !isDerivedClass(parentMethodOrFunction.parentPath.parentPath);
}
export default declare(api => {
api.assertVersion(7);
const visitor = {
JSXOpeningElement(path) {
if (!isThisAllowed(path)) {
return;
}
const node = path.node;
const id = t.jsxIdentifier(TRACE_ID);
const trace = t.thisExpression();
node.attributes.push(t.jsxAttribute(id, t.jsxExpressionContainer(trace)));
},
};
return {
name: "transform-react-jsx-self",
visitor: {
Program(path) {
path.traverse(visitor);
},
},
};
});