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

Cleanup reported javadoc warnings #120

Merged
merged 2 commits into from
Feb 6, 2024
Merged

Cleanup reported javadoc warnings #120

merged 2 commits into from
Feb 6, 2024

Conversation

mtf90
Copy link
Member

@mtf90 mtf90 commented Feb 6, 2024

This PR fixes all reported warnings from the javadoc linter and enables linting in the code-analysis profile for future use.

Note that the linting is restricted to JDKs < 17 for now, since newer JDKs warn on any missing documentation. The aim of this PR is to address incomplete documentation only for now.

Closes #102.

@mtf90 mtf90 merged commit b759e83 into LearnLib:develop Feb 6, 2024
14 checks passed
@mtf90 mtf90 deleted the javadoc branch February 6, 2024 19:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fail on javadoc warnings and improve documentation
1 participant