Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

feat(eslint-plugin): [no-unnecessary-parameter-property-assignment] add new rule #8903

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 10 commits into from
Jul 6, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
---
description: 'Disallow unnecessary assignment of constructor property parameter.'
---

import Tabs from '@theme/Tabs';
import TabItem from '@theme/TabItem';

> 🛑 This file is source code, not the primary documentation location! 🛑
>
> See **https://typescript-eslint.io/rules/no-unnecessary-parameter-property-assignment** for documentation.

[TypeScript's parameter properties](https://www.typescriptlang.org/docs/handbook/2/classes.html#parameter-properties) allow creating and initializing a member in one place.
Therefore, in most cases, it is not necessary to assign parameter properties of the same name to members within a constructor.

## Examples

<Tabs>
<TabItem value="❌ Incorrect">

```ts
class Foo {
constructor(public bar: string) {
this.bar = bar;
}
}
```

</TabItem>
<TabItem value="✅ Correct">

```ts
class Foo {
constructor(public bar: string) {}
}
```

</TabItem>
</Tabs>

## When Not To Use It

If you don't use parameter properties, you can ignore this rule.
1 change: 1 addition & 0 deletions 1 packages/eslint-plugin/src/configs/all.ts
Original file line number Diff line number Diff line change
Expand Up @@ -92,6 +92,7 @@ export = {
'@typescript-eslint/no-this-alias': 'error',
'@typescript-eslint/no-unnecessary-boolean-literal-compare': 'error',
'@typescript-eslint/no-unnecessary-condition': 'error',
'@typescript-eslint/no-unnecessary-parameter-property-assignment': 'error',
'@typescript-eslint/no-unnecessary-qualifier': 'error',
'@typescript-eslint/no-unnecessary-template-expression': 'error',
'@typescript-eslint/no-unnecessary-type-arguments': 'error',
Expand Down
3 changes: 3 additions & 0 deletions 3 packages/eslint-plugin/src/rules/index.ts
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,7 @@ import noThrowLiteral from './no-throw-literal';
import noTypeAlias from './no-type-alias';
import noUnnecessaryBooleanLiteralCompare from './no-unnecessary-boolean-literal-compare';
import noUnnecessaryCondition from './no-unnecessary-condition';
import noUnnecessaryParameterPropertyAssignment from './no-unnecessary-parameter-property-assignment';
import noUnnecessaryQualifier from './no-unnecessary-qualifier';
import noUnnecessaryTemplateExpression from './no-unnecessary-template-expression';
import noUnnecessaryTypeArguments from './no-unnecessary-type-arguments';
Expand Down Expand Up @@ -226,6 +227,8 @@ export default {
'no-type-alias': noTypeAlias,
'no-unnecessary-boolean-literal-compare': noUnnecessaryBooleanLiteralCompare,
'no-unnecessary-condition': noUnnecessaryCondition,
'no-unnecessary-parameter-property-assignment':
noUnnecessaryParameterPropertyAssignment,
'no-unnecessary-qualifier': noUnnecessaryQualifier,
'no-unnecessary-template-expression': noUnnecessaryTemplateExpression,
'no-unnecessary-type-arguments': noUnnecessaryTypeArguments,
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,233 @@
import { DefinitionType } from '@typescript-eslint/scope-manager';
import type { TSESTree } from '@typescript-eslint/utils';
import { AST_NODE_TYPES, ASTUtils } from '@typescript-eslint/utils';

import { createRule, getStaticStringValue, nullThrows } from '../util';

const UNNECESSARY_OPERATORS = new Set(['=', '&&=', '||=', '??=']);

export default createRule({
name: 'no-unnecessary-parameter-property-assignment',
meta: {
docs: {
description:
'Disallow unnecessary assignment of constructor property parameter',
},
fixable: 'code',
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this true? I'm not able to get it to fix my code, and I don't see where a fixer is passed to context.report.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aha! You're right - this was an oversight. eslint/eslint#18008 would have caught it.

Are you up for filing an issue and/or sending a PR @dasa? It'd be a great contribution 😁

messages: {
unnecessaryAssign:
'This assignment is unnecessary since it is already assigned by a parameter property.',
},
schema: [],
type: 'suggestion',
},
defaultOptions: [],
create(context) {
const reportInfoStack: {
assignedBeforeUnnecessary: Set<string>;
assignedBeforeConstructor: Set<string>;
unnecessaryAssignments: {
name: string;
node: TSESTree.AssignmentExpression;
}[];
}[] = [];

function isThisMemberExpression(
node: TSESTree.Node,
): node is TSESTree.MemberExpression {
return (
node.type === AST_NODE_TYPES.MemberExpression &&
node.object.type === AST_NODE_TYPES.ThisExpression
);
}

function getPropertyName(node: TSESTree.Node): string | null {
if (!isThisMemberExpression(node)) {
return null;
}

if (node.property.type === AST_NODE_TYPES.Identifier) {
return node.property.name;
}
if (node.computed) {
return getStaticStringValue(node.property);
}
return null;
}

function findParentFunction(
node: TSESTree.Node | undefined,
):
| TSESTree.FunctionExpression
| TSESTree.FunctionDeclaration
| TSESTree.ArrowFunctionExpression
| undefined {
if (
!node ||
node.type === AST_NODE_TYPES.FunctionDeclaration ||
node.type === AST_NODE_TYPES.FunctionExpression ||
node.type === AST_NODE_TYPES.ArrowFunctionExpression
) {
return node;
}
return findParentFunction(node.parent);
}

function findParentPropertyDefinition(
node: TSESTree.Node | undefined,
): TSESTree.PropertyDefinition | undefined {
if (!node || node.type === AST_NODE_TYPES.PropertyDefinition) {
return node;
}
return findParentPropertyDefinition(node.parent);
}

function isConstructorFunctionExpression(
node: TSESTree.Node | undefined,
): node is TSESTree.FunctionExpression {
return (
node?.type === AST_NODE_TYPES.FunctionExpression &&
ASTUtils.isConstructor(node.parent)
);
}

function isReferenceFromParameter(node: TSESTree.Identifier): boolean {
const scope = context.sourceCode.getScope(node);

const rightRef = scope.references.find(
ref => ref.identifier.name === node.name,
);
return rightRef?.resolved?.defs.at(0)?.type === DefinitionType.Parameter;
}

function isParameterPropertyWithName(
node: TSESTree.Parameter,
name: string,
): boolean {
return (
node.type === AST_NODE_TYPES.TSParameterProperty &&
((node.parameter.type === AST_NODE_TYPES.Identifier && // constructor (public foo) {}
node.parameter.name === name) ||
(node.parameter.type === AST_NODE_TYPES.AssignmentPattern && // constructor (public foo = 1) {}
node.parameter.left.type === AST_NODE_TYPES.Identifier &&
node.parameter.left.name === name))
);
}

function getIdentifier(node: TSESTree.Node): TSESTree.Identifier | null {
if (node.type === AST_NODE_TYPES.Identifier) {
return node;
}
if (
node.type === AST_NODE_TYPES.TSAsExpression ||
node.type === AST_NODE_TYPES.TSNonNullExpression
) {
return getIdentifier(node.expression);
}
return null;
}

function isArrowIIFE(node: TSESTree.Node): boolean {
return (
node.type === AST_NODE_TYPES.ArrowFunctionExpression &&
node.parent.type === AST_NODE_TYPES.CallExpression
);
}

return {
ClassBody(): void {
reportInfoStack.push({
unnecessaryAssignments: [],
assignedBeforeUnnecessary: new Set(),
assignedBeforeConstructor: new Set(),
});
},
'ClassBody:exit'(): void {
const { unnecessaryAssignments, assignedBeforeConstructor } =
nullThrows(reportInfoStack.pop(), 'The top stack should exist');
unnecessaryAssignments.forEach(({ name, node }) => {
if (assignedBeforeConstructor.has(name)) {
return;
}
context.report({
node,
messageId: 'unnecessaryAssign',
});
});
},
'PropertyDefinition AssignmentExpression'(
node: TSESTree.AssignmentExpression,
): void {
const name = getPropertyName(node.left);

if (!name) {
return;
}

const functionNode = findParentFunction(node);
if (functionNode) {
if (
!(
isArrowIIFE(functionNode) &&
findParentPropertyDefinition(node)?.value === functionNode.parent
)
) {
return;
}
}

const { assignedBeforeConstructor } = nullThrows(
reportInfoStack.at(-1),
'The top stack should exist',
);
assignedBeforeConstructor.add(name);
},
"MethodDefinition[kind='constructor'] > FunctionExpression AssignmentExpression"(
node: TSESTree.AssignmentExpression,
): void {
const leftName = getPropertyName(node.left);

if (!leftName) {
return;
}

let functionNode = findParentFunction(node);
if (functionNode && isArrowIIFE(functionNode)) {
functionNode = findParentFunction(functionNode.parent);
}

if (!isConstructorFunctionExpression(functionNode)) {
return;
}

const { assignedBeforeUnnecessary, unnecessaryAssignments } =
nullThrows(
reportInfoStack.at(reportInfoStack.length - 1),
'The top of stack should exist',
);

if (!UNNECESSARY_OPERATORS.has(node.operator)) {
assignedBeforeUnnecessary.add(leftName);
return;
}

const rightId = getIdentifier(node.right);

if (leftName !== rightId?.name || !isReferenceFromParameter(rightId)) {
return;
}

const hasParameterProperty = functionNode.params.some(param =>
isParameterPropertyWithName(param, rightId.name),
);

if (hasParameterProperty && !assignedBeforeUnnecessary.has(leftName)) {
unnecessaryAssignments.push({
name: leftName,
node,
});
}
},
};
},
});

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading
Morty Proxy This is a proxified and sanitized view of the page, visit original site.