Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Register
  • Sign in
  • B build-tools
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Terraform modules
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • OnGres Inc.OnGres Inc.
  • build-tools
  • Merge requests
  • !9

Include PMD plugin and Checker Framework profile

  • Review changes

  • Download
  • Patches
  • Plain diff
Closed Ghost User requested to merge pmd-checkerframework into development Aug 07, 2019
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 5

Now the profile safer includes the PMD plugin to check for errors or bad practices, the configuration to fail the build is set to priority 2, so only highly critical errors stop the build, the warnings (priority 3+) are send to target/pmd.xml report wich should also be fixed.

This includes also a new profile called checker wich compiles the project using the Checker Framework with some annotation processors activated, particulary the NullnessChecker. Checker Framework only works on JDK 8.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: pmd-checkerframework