You are viewing an old version of this page. View the current version.
Compare with Current ·
View Page History
Compatibility matrix
Plugin |
0.1 |
|---|---|
Drools |
5.2.0 |
Description / Features
Drools Verifier integration
Drools Verifier Name |
Impacted element |
Sonar Rule Key |
Sonar Category |
Sonar Priority |
Description |
|---|---|---|---|---|---|
NOT_SPECIFIED |
|
DROOLS_NOT_SPECIFIED |
|
|
|
RANGE_CHECK |
|
DROOLS_RANGE_CHECK |
Maintainability |
|
Missing ranges, making sure they are all covered |
MISSING_EQUALITY |
|
DROOLS_MISSING_EQUALITY |
Maintainability |
Minor |
When there are inequalities, but not equality being catered for |
REDUNDANCY |
|
DROOLS_REDUNDANCY |
|
|
Same restriction exists twice |
SUBSUMPTION |
|
DROOLS_SUBSUMPTION |
|
|
When there multiple rules that have the same RHS, and the LHS has some overlapping conditions |
MISSING_COMPONENT |
|
DROOLS_MISSING_COMPONENT |
|
|
|
OPTIMISATION |
|
DROOLS_OPTIMISATION |
Efficiency |
|
|
INCOHERENCE |
|
DROOLS_INCOHERENCE |
|
Major |
Nothing can meet rule A |
OVERLAP |
|
DROOLS_OVERLAP |
Maintainability |
Minor |
Rules that are two restrictions are overlapping. Pattern1( a > 10 ) and Pattern1( a > 100 ) |
ALWAYS_FALSE |
|
DROOLS_ALWAYS_FALSE |
|
Major |
Rules that are always false. Pattern( a == b && a != b ) |
ALWAYS_TRUE |
|
DROOLS_ALWAYS_TRUE |
|
Major |
Rules and Patterns that are always satisfied. Pattern( a > b || a <= b ) |
EQUIVALANCE |
|
DROOLS_EQUIVALANCE |
|
|
Rule A is equivalent with rule B |
Usage & Installation
- Stop Sonar Web server
- Copy the JAR file to the directory extensions/plugins/
- Restart Sonar server
- Configure the plugin at global level and for each project
Running analysis
To kick-off the analysis, run mvn sonar:sonar
Known limitations
- Only drl files are imported. The inspection by the verifier is done file by file.
Changelog
Labels
