feat(linter): eslint-plugin-react/no-useless-fragment (#1021)

This commit is contained in:
Cameron 2023-10-21 16:16:46 +01:00 committed by GitHub
parent 72cf9ec725
commit f13fc2287a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 468 additions and 1 deletions

View file

@ -125,6 +125,7 @@ mod jest {
mod react {
pub mod jsx_key;
pub mod jsx_no_useless_fragment;
pub mod no_children_prop;
}
@ -248,8 +249,9 @@ oxc_macros::declare_all_lint_rules! {
unicorn::no_thenable,
unicorn::throw_new_error,
unicorn::prefer_array_flat_map,
react::jsx_key,
react::no_children_prop,
react::jsx_key,
react::jsx_no_useless_fragment,
import::named,
import::no_cycle,
import::no_self_import,

View file

@ -0,0 +1,299 @@
use oxc_ast::{
ast::{
Expression, JSXAttributeItem, JSXAttributeName, JSXChild, JSXElement, JSXElementName,
JSXExpression, JSXFragment, JSXMemberExpressionObject, JSXOpeningElement,
},
AstKind,
};
use oxc_diagnostics::{
miette::{self, Diagnostic},
thiserror::Error,
};
use oxc_macros::declare_oxc_lint;
use oxc_semantic::AstNodeId;
use oxc_span::Span;
use crate::{context::LintContext, rule::Rule, AstNode};
#[derive(Debug, Error, Diagnostic)]
enum JsxNoUselessFragmentDiagnostic {
#[error("eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.")]
#[diagnostic(severity(warning))]
NeedsMoreChildren(#[label] Span),
#[error("eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.")]
#[diagnostic(severity(warning))]
ChildOfHtmlElement(#[label] Span),
}
#[derive(Debug, Default, Clone)]
pub struct JsxNoUselessFragment {
/// Allow fragments with a single expression child.
pub allow_expressions: bool,
}
declare_oxc_lint!(
/// ### What it does
///
/// Disallow unnecessary fragments.
///
/// ### Why is this bad?
///
/// Fragments are a useful tool when you need to group multiple children without adding a node to the DOM tree. However, sometimes you might end up with a fragment with a single child. When this child is an element, string, or expression, it's not necessary to use a fragment.
///
/// ### Example
/// ```javascript
/// // Bad
/// <>foo</>
/// <div><>foo</></div>
///
/// // Good
/// <>foo <div></div></>
/// <div>foo</div>
/// ```
JsxNoUselessFragment,
correctness
);
impl Rule for JsxNoUselessFragment {
fn from_configuration(value: serde_json::Value) -> Self {
let allow_expressions =
value.get("allowExpressions").and_then(serde_json::Value::as_bool).unwrap_or(false);
Self { allow_expressions }
}
fn run<'a>(&self, node: &AstNode<'a>, ctx: &LintContext<'a>) {
match node.kind() {
AstKind::JSXElement(jsx_elem) => {
if !is_jsx_fragment(&jsx_elem.opening_element) {
return;
}
self.check_element(node, jsx_elem, ctx);
}
AstKind::JSXFragment(jsx_elem) => {
self.check_fragment(node, jsx_elem, ctx);
}
_ => {}
}
}
}
impl JsxNoUselessFragment {
fn check_element(&self, node: &AstNode, elem: &JSXElement, ctx: &LintContext) {
if jsx_elem_has_key_attr(elem) {
return;
}
if has_less_than_two_children(&elem.children)
&& !is_fragment_with_only_text_and_is_not_child(node.id(), &elem.children, ctx)
&& !(self.allow_expressions && is_fragment_with_single_expression(&elem.children))
{
ctx.diagnostic(JsxNoUselessFragmentDiagnostic::NeedsMoreChildren(elem.span));
}
if is_child_of_html_element(node, ctx) {
ctx.diagnostic(JsxNoUselessFragmentDiagnostic::ChildOfHtmlElement(elem.span));
}
}
fn check_fragment(&self, node: &AstNode, elem: &JSXFragment, ctx: &LintContext) {
if has_less_than_two_children(&elem.children)
&& !is_fragment_with_only_text_and_is_not_child(node.id(), &elem.children, ctx)
&& !(self.allow_expressions && is_fragment_with_single_expression(&elem.children))
{
ctx.diagnostic(JsxNoUselessFragmentDiagnostic::NeedsMoreChildren(elem.span));
}
if is_child_of_html_element(node, ctx) {
ctx.diagnostic(JsxNoUselessFragmentDiagnostic::ChildOfHtmlElement(elem.span));
}
}
}
fn jsx_elem_has_key_attr(elem: &JSXElement) -> bool {
elem.opening_element.attributes.iter().any(|attr| {
let JSXAttributeItem::Attribute(attr) = attr else { return false };
let JSXAttributeName::Identifier(ident) = &attr.name else { return false };
ident.name == "key"
})
}
fn is_fragment_with_single_expression(children: &oxc_allocator::Vec<'_, JSXChild<'_>>) -> bool {
let children = children.iter().filter(|v| is_padding_spaces(v)).collect::<Vec<_>>();
children.len() == 1 && matches!(children[0], JSXChild::ExpressionContainer(_))
}
fn is_padding_spaces(v: &JSXChild<'_>) -> bool {
if let JSXChild::Text(v) = v {
return !(v.value.trim().is_empty() && v.value.contains('\n'));
}
true
}
fn is_child_of_html_element(node: &AstNode, ctx: &LintContext) -> bool {
if let Some(AstKind::JSXElement(elem)) = ctx.nodes().parent_kind(node.id()) {
if is_html_element(&elem.opening_element.name) {
return true;
}
}
false
}
fn is_html_element(elem_name: &JSXElementName) -> bool {
let JSXElementName::Identifier(ident) = elem_name else { return false };
ident.name.starts_with(char::is_lowercase)
}
fn is_jsx_fragment(elem: &JSXOpeningElement) -> bool {
match &elem.name {
JSXElementName::Identifier(ident) => ident.name.as_str() == "Fragment",
JSXElementName::MemberExpression(mem_expr) => {
if mem_expr.property.name.as_str() != "Fragment" {
return false;
}
let JSXMemberExpressionObject::Identifier(ident) = &mem_expr.object else {
return false;
};
return ident.name.as_str() == "React";
}
JSXElementName::NamespacedName(_) => false,
}
}
fn has_less_than_two_children(children: &oxc_allocator::Vec<'_, JSXChild<'_>>) -> bool {
let non_padding_children = children.iter().filter(|v| is_padding_spaces(v)).collect::<Vec<_>>();
if non_padding_children.len() < 2 {
return !non_padding_children.iter().any(|v| {
if let JSXChild::ExpressionContainer(v) = v {
if let JSXExpression::Expression(Expression::CallExpression(_)) = v.expression {
return true;
}
return false;
}
false
});
}
false
}
fn is_fragment_with_only_text_and_is_not_child<'a>(
id: AstNodeId,
node: &oxc_allocator::Vec<'a, JSXChild<'a>>,
ctx: &LintContext,
) -> bool {
if node.len() != 1 {
return false;
}
if let Some(JSXChild::Text(_)) = node.get(0) {
let Some(parent) = ctx.nodes().parent_kind(id) else { return false };
return !matches!(parent, AstKind::JSXElement(_) | AstKind::JSXFragment(_));
}
false
}
#[test]
fn test() {
use crate::tester::Tester;
use serde_json::json;
let pass = vec![
(r#"<><Foo /><Bar /></>"#, None),
(r#"<>foo<div /></>"#, None),
(r#"<> <div /></>"#, None),
(r#"<>{"moo"} </>"#, None),
(r#"<NotFragment />"#, None),
(r#"<React.NotFragment />"#, None),
(r#"<NotReact.Fragment />"#, None),
(r#"<Foo><><div /><div /></></Foo>"#, None),
(r#"<div p={<>{"a"}{"b"}</>} />"#, None),
(r#"<Fragment key={item.id}>{item.value}</Fragment>"#, None),
(r#"<Fooo content={<>eeee ee eeeeeee eeeeeeee</>} />"#, None),
(r#"<>{foos.map(foo => foo)}</>"#, None),
(r#"<>{moo}</>"#, Some(json!({ "allowExpressions": true }))),
(
r#"
<>
{moo}
</>
"#,
Some(json!({ "allowExpressions": true })),
),
];
let fail = vec![
(r#"<></>"#, None),
(r#"<>{}</>"#, None),
(r#"<p>moo<>foo</></p>"#, None),
(r#"<>{meow}</>"#, None),
(r#"<p><>{meow}</></p>"#, None),
(r#"<><div/></>"#, None),
(
r#"
<>
<div/>
</>
"#,
None,
),
(r#"<Fragment />"#, None),
(
r#"
<React.Fragment>
<Foo />
</React.Fragment>
"#,
None,
),
(r#"<Eeee><>foo</></Eeee>"#, None),
(r#"<div><>foo</></div>"#, None),
(r#"<div><>{"a"}{"b"}</></div>"#, None),
(r#"<div><>{"a"}{"b"}</></div>"#, None),
(
r#"
<section>
<Eeee />
<Eeee />
<>{"a"}{"b"}</>
</section>"#,
None,
),
(r#"<div><Fragment>{"a"}{"b"}</Fragment></div>"#, None),
(
r#"
<section>
git<>
<b>hub</b>.
</>
git<> <b>hub</b></>
</section>
"#,
None,
),
(r#"<div>a <>{""}{""}</> a</div>"#, None),
(
r#"
const Comp = () => (
<html>
<React.Fragment />
</html>
);
"#,
None,
),
(r#"<><Foo>{moo}</Foo></>"#, None),
];
Tester::new(JsxNoUselessFragment::NAME, pass, fail).test_and_snapshot();
}

View file

@ -0,0 +1,166 @@
---
source: crates/oxc_linter/src/tester.rs
expression: jsx_no_useless_fragment
---
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <></>
· ─────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <>{}</>
· ───────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <p>moo<>foo</></p>
· ────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <p>moo<>foo</></p>
· ────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <>{meow}</>
· ───────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <p><>{meow}</></p>
· ──────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <p><>{meow}</></p>
· ──────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <><div/></>
· ───────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │
2 │ ╭─▶ <>
3 │ │ <div/>
4 │ ╰─▶ </>
5 │
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <Fragment />
· ────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │
2 │ ╭─▶ <React.Fragment>
3 │ │ <Foo />
4 │ ╰─▶ </React.Fragment>
5 │
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <Eeee><>foo</></Eeee>
· ──────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <div><>foo</></div>
· ─────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <div><>foo</></div>
· ─────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <div><>{"a"}{"b"}</></div>
· ────────────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <div><>{"a"}{"b"}</></div>
· ────────────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:4:1]
4 │ <Eeee />
5 │ <>{"a"}{"b"}</>
· ───────────────
6 │ </section>
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <div><Fragment>{"a"}{"b"}</Fragment></div>
· ────────────────────────────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:2:1]
2 │ <section>
3 │ ╭─▶ git<>
4 │ │ <b>hub</b>.
5 │ ╰─▶ </>
6 │
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:6:1]
6 │
7 │ git<> <b>hub</b></>
· ────────────────
8 │ </section>
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <div>a <>{""}{""}</> a</div>
· ─────────────
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:3:1]
3 │ <html>
4 │ <React.Fragment />
· ──────────────────
5 │ </html>
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Passing a fragment to a HTML element is useless.
╭─[jsx_no_useless_fragment.tsx:3:1]
3 │ <html>
4 │ <React.Fragment />
· ──────────────────
5 │ </html>
╰────
⚠ eslint-plugin-react(jsx-no-useless-fragment): Fragments should contain more than one child.
╭─[jsx_no_useless_fragment.tsx:1:1]
1 │ <><Foo>{moo}</Foo></>
· ─────────────────────
╰────