objectionary / objectionary/lints

many-void-attributes:37 suppression not recognized by incorrect-unlint

Open
#1,021 6 comments 0 reactions 1 assignee View on GitHub

@yegor256 is already working on this.

Since Sep 10, 2026.

bug
Dominant language
Java
Stars
14
Forks
39
Avg merge
22h 54m
Merged PRs (30d)
90

Description

The suppression of the lint many-void-attributes using a line-specific directive like: many-void-attributes:37 at win32.eo is not recognized by the incorrect-unlint lint checker.

This causes an error during eo-maven-plugin:lint execution when running tests for dataize in eoc project by command npm test -- test/commands/test_dataize.js

At the step dataizes: lang Java, version 0.56.2, tag 0.56.2 The following error occurs:

[ERROR] org.eolang.sys.win32:10 Suppressing "many-void-attributes:37" does not make sense, because there is no lint with that name (incorrect-unlint (Single))

The generated win32.xmir file contains meta:

      <meta line="10">
         <head>unlint</head>
         <tail>many-void-attributes:37</tail>
         <part>many-void-attributes:37</part>
      </meta>

The LtIncorrectUnlint.java contains this code for split tail by ":"

xml.path("/object/metas/meta[head='unlint']")
    .filter(
        u -> !this.names.contains(
            u.element("tail").text().orElse("unknown").split(":", -1)[0]
        )
    )
Expected behaviour

The lint name should be parsed correctly, ignoring the line number suffix during validation. That is:
many-void-attributes:37 → should be recognized as "many-void-attributes"

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.