jEdit / Plugin Central Submission / #1011 PMD 5.3.7

jEdit is a programmer's text editor written in Java.

#1011 PMD 5.3.7

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2016-11-15

Created: 2016-05-26

Creator: Dale Anson

Private: No

{{{ PMDPlugin 5.3.7
Source: Source code is in git with the tag 5.3.7
Announcement: updated to PMD 5.3.7
Requires Java 1.7
Requires jEdit 05.02.01.00
Required plugins:
Common Controls 1.7.4 (CommonControlsPlugin)
ErrorList 2.3 (errorlist.ErrorListPlugin)
Jakarta Commons 0.9 (jakartacommons.JakartaCommonsPlugin)
RhinoPlugin 1.7R4 (rhino.RhinoPlugin)

Short Description: The PMD plugin is a Java source code analysis tool.

Long Description: <html>

PMD is a Java source code analysis tool - it checks your code for unused fields, empty try/catch/finally/if/while blocks, unused method parameters, and stuff like that. There's much more info at http://pmd.sf.net/. Share and enjoy!

}}}

Discussion

Townsfolk - 2016-06-22

status: open --> pending

assigned_to: Townsfolk
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Getting compile error:

[javac] Compiling 31 source files to /Users/elberry/development/projects/jedit/sandbox/plugins/PMDPlugin-5.3.7/PMDPlugin/build
    [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.7
    [javac] /Users/elberry/development/projects/jedit/sandbox/plugins/PMDPlugin-5.3.7/PMDPlugin/src/net/sourceforge/pmd/jedit/checkboxtree/DefaultTreeCheckingModel.java:713: error: ')' expected
    [javac]                 .append(path.toString().append('\n');
    [javac]                                                     ^
    [javac] 1 error

Please fix and re-tag.

Dale Anson - 2016-06-22

Thanks, I've found another bug in this also, I'll get them both fixed and resubmit.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Dale Anson - 2016-06-24

status: pending --> open
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Dale Anson - 2016-06-24

Bugs are fixed, same tag name.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Townsfolk - 2016-11-15

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

PMD 5.3.7

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#1011 PMD 5.3.7

Discussion