Skip to content
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

[core] Remove DFA #2696

Merged
merged 5 commits into from
Aug 16, 2020
Merged

[core] Remove DFA #2696

merged 5 commits into from
Aug 16, 2020

Conversation

oowekyala
Copy link
Member

Describe the PR

Remove the classes deprecated in #2681 and their tests.

Related issues

Ready?

  • Added unit tests for fixed bug/feature
  • Passing all unit tests
  • Complete build ./mvnw clean verify passes (checked automatically by travis)
  • Added (in-code) documentation (if needed)

@oowekyala oowekyala added this to the 7.0.0 milestone Aug 3, 2020
@pmd-test
Copy link

pmd-test commented Aug 6, 2020

1 Message
📖 No java rules are changed!

Generated by 🚫 Danger

@oowekyala oowekyala marked this pull request as draft August 7, 2020 09:50
@oowekyala
Copy link
Member Author

Note for later: the build fails because release_notes.md links to the remove rule (DataflowAnomalyAnalysis). When 6.27.0 is out we can merge this, as those release notes will be moved to release_notes_old, and the html link may be removed. We probably need a better way to handle rule removal. For example, whitelisting references to removed rules in RuleTagChecker. The problem is the link would still be generated by Liquid, and it would be dead.

This will cause a merge conflict after
the PMD 6.27.0 release.
@oowekyala oowekyala marked this pull request as ready for review August 8, 2020 01:02
@adangel adangel self-assigned this Aug 16, 2020
@adangel adangel merged commit 7be60cc into pmd:pmd/7.0.x Aug 16, 2020
@oowekyala oowekyala deleted the remove-dfa branch August 16, 2020 17:52
@adangel adangel added the is:feature-removal Remove an unneeded unused feature label Jan 12, 2023
@adangel adangel mentioned this pull request Jan 23, 2023
55 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
is:feature-removal Remove an unneeded unused feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants