PMD Results

The following document contains the results of PMD 4.2.2.

Files

org/overturetool/traces/API/external_VDMUtil.java

Violation Line
Use explicit scoping instead of the default package private level 29

org/overturetool/traces/API/StdLib.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\API\StdLib.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\API\StdLib.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode! 0

org/overturetool/traces/API/Util.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\API\Util.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\API\Util.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/API/VDMUtil.java

Violation Line
Use explicit scoping instead of the default package private level 37

org/overturetool/traces/astspec/oml2vpp/Oml2VppVisitor.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/DEF.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\DEF.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\DEF.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/Eval.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\Eval.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\Eval.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/Expand.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\Expand.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\Expand.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/Filtering.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\Filtering.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\Filtering.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/io/external_IO.java

Violation Line
Use explicit scoping instead of the default package private level 29
Avoid instantiating Boolean objects; reference Boolean.TRUE or Boolean.FALSE or call Boolean.valueOf() instead. 49
Avoid instantiating Boolean objects; reference Boolean.TRUE or Boolean.FALSE or call Boolean.valueOf() instead. 58
Avoid instantiating Boolean objects; reference Boolean.TRUE or Boolean.FALSE or call Boolean.valueOf() instead. 76

org/overturetool/traces/io/IO.java

Violation Line
Use explicit scoping instead of the default package private level 37

org/overturetool/traces/io/IOProxy.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\io\IOProxy.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\io\IOProxy.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/MainClass.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\MainClass.java: Can't use generics unless running in JDK 1.5 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\MainClass.java: Can't use generics unless running in JDK 1.5 mode! 0

org/overturetool/traces/RTERR.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\RTERR.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\RTERR.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/SEM.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\SEM.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\SEM.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/toolbox/external_VDMJToolBox.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\external_VDMJToolBox.java: Can't use generics unless running in JDK 1.5 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\external_VDMJToolBox.java: Can't use generics unless running in JDK 1.5 mode! 0

org/overturetool/traces/toolbox/external_VDMToolsToolBox.java

Violation Line
Use explicit scoping instead of the default package private level 35
Use explicit scoping instead of the default package private level 36
Use explicit scoping instead of the default package private level 37
Use explicit scoping instead of the default package private level 38
Found 'DD'-anomaly for variable 'files' (lines '70'-'72'). 70 - 72
Found 'DD'-anomaly for variable 'files' (lines '72'-'72'). 72
Avoid instantiating Boolean objects; reference Boolean.TRUE or Boolean.FALSE or call Boolean.valueOf() instead. 91
Found 'DD'-anomaly for variable 'exps' (lines '99'-'101'). 99 - 101
Found 'DD'-anomaly for variable 'exps' (lines '101'-'101'). 101
Found 'DD'-anomaly for variable 'results' (lines '104'-'106'). 104 - 106
Found 'DD'-anomaly for variable 'results' (lines '106'-'110'). 106 - 110
Found 'DD'-anomaly for variable 'results' (lines '110'-'111'). 110 - 111
Found 'DD'-anomaly for variable 'isError' (lines '117'-'120'). 117 - 120
Found 'DD'-anomaly for variable 'i' (lines '123'-'123'). 123
Found 'DU'-anomaly for variable 'i' (lines '123'-'130'). 123 - 130

org/overturetool/traces/toolbox/ToolBox.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\ToolBox.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\ToolBox.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/toolbox/VDMJToolBox.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\VDMJToolBox.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\VDMJToolBox.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/toolbox/VDMToolsToolBox.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\VDMToolsToolBox.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\toolbox\VDMToolsToolBox.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/utility/ClassExstractorFromTexFiles.java

Violation Line
Found 'DU'-anomaly for variable 'outputDirrectory' (lines '22'-'115'). 22 - 115
A method should have only one exit point, and that should be the last statement in the method 24
Found 'DD'-anomaly for variable 'newFiles' (lines '30'-'35'). 30 - 35
Found 'DD'-anomaly for variable 'newFiles' (lines '35'-'40'). 35 - 40
Found 'DD'-anomaly for variable 'inLine' (lines '53'-'58'). 53 - 58
Found 'DD'-anomaly for variable 'skip' (lines '54'-'54'). 54
Found 'DU'-anomaly for variable 'skip' (lines '54'-'115'). 54 - 115
Found 'DD'-anomaly for variable 'currentClass' (lines '55'-'69'). 55 - 69
Found 'DD'-anomaly for variable 'currentClass' (lines '55'-'71'). 55 - 71
Found 'DD'-anomaly for variable 'enabled' (lines '56'-'76'). 56 - 76
Found 'DD'-anomaly for variable 'texTagsFound' (lines '57'-'77'). 57 - 77
Avoid assignments in operands 58
Found 'DD'-anomaly for variable 'inLine' (lines '58'-'53'). 58 - 53
Found 'DU'-anomaly for variable 'inLine' (lines '58'-'115'). 58 - 115
Found 'DD'-anomaly for variable 'currentClass' (lines '69'-'69'). 69
Found 'DD'-anomaly for variable 'currentClass' (lines '69'-'55'). 69 - 55
Found 'DU'-anomaly for variable 'currentClass' (lines '69'-'115'). 69 - 115
Found 'DD'-anomaly for variable 'currentClass' (lines '69'-'71'). 69 - 71
Found 'DD'-anomaly for variable 'currentClass' (lines '69'-'74'). 69 - 74
Found 'DU'-anomaly for variable 'currentClass' (lines '71'-'115'). 71 - 115
Found 'DD'-anomaly for variable 'currentClass' (lines '71'-'69'). 71 - 69
Found 'DD'-anomaly for variable 'currentClass' (lines '71'-'71'). 71
Found 'DD'-anomaly for variable 'currentClass' (lines '71'-'74'). 71 - 74
Found 'DU'-anomaly for variable 'currentClass' (lines '74'-'115'). 74 - 115
Found 'DD'-anomaly for variable 'enabled' (lines '76'-'89'). 76 - 89
Found 'DD'-anomaly for variable 'enabled' (lines '76'-'96'). 76 - 96
Found 'DD'-anomaly for variable 'texTagsFound' (lines '77'-'77'). 77
Found 'DD'-anomaly for variable 'enabled' (lines '83'-'89'). 83 - 89
Found 'DD'-anomaly for variable 'enabled' (lines '83'-'96'). 83 - 96
Found 'DD'-anomaly for variable 'enabled' (lines '89'-'96'). 89 - 96
Found 'DD'-anomaly for variable 'inLine' (lines '125'-'131'). 125 - 131
Found 'DU'-anomaly for variable 'skip' (lines '126'-'189'). 126 - 189
Found 'DD'-anomaly for variable 'currentClass' (lines '127'-'145'). 127 - 145
Found 'DD'-anomaly for variable 'currentClass' (lines '127'-'147'). 127 - 147
Found 'DD'-anomaly for variable 'enabled' (lines '128'-'152'). 128 - 152
Found 'DD'-anomaly for variable 'fileContainsTex' (lines '130'-'134'). 130 - 134
Avoid assignments in operands 131
Found 'DU'-anomaly for variable 'inLine' (lines '131'-'189'). 131 - 189
Found 'DD'-anomaly for variable 'currentClass' (lines '145'-'145'). 145
Found 'DU'-anomaly for variable 'currentClass' (lines '145'-'189'). 145 - 189
Found 'DD'-anomaly for variable 'currentClass' (lines '145'-'147'). 145 - 147
Found 'DD'-anomaly for variable 'currentClass' (lines '145'-'150'). 145 - 150
Found 'DU'-anomaly for variable 'currentClass' (lines '147'-'189'). 147 - 189
Found 'DD'-anomaly for variable 'currentClass' (lines '147'-'145'). 147 - 145
Found 'DD'-anomaly for variable 'currentClass' (lines '147'-'147'). 147
Found 'DD'-anomaly for variable 'currentClass' (lines '147'-'150'). 147 - 150
Found 'DU'-anomaly for variable 'currentClass' (lines '150'-'189'). 150 - 189
Found 'DD'-anomaly for variable 'enabled' (lines '152'-'166'). 152 - 166
Found 'DD'-anomaly for variable 'enabled' (lines '152'-'174'). 152 - 174
Found 'DD'-anomaly for variable 'enabled' (lines '159'-'166'). 159 - 166
Found 'DD'-anomaly for variable 'enabled' (lines '159'-'174'). 159 - 174
Found 'DD'-anomaly for variable 'texTagsFound' (lines '160'-'167'). 160 - 167
Found 'DU'-anomaly for variable 'texTagsFound' (lines '160'-'189'). 160 - 189
Found 'DD'-anomaly for variable 'enabled' (lines '166'-'174'). 166 - 174
Found 'DU'-anomaly for variable 'texTagsFound' (lines '167'-'189'). 167 - 189

org/overturetool/traces/utility/CmdTrace.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\CmdTrace.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\CmdTrace.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/utility/ITracesHelper.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\ITracesHelper.java: Can't use generics unless running in JDK 1.5 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\ITracesHelper.java: Can't use generics unless running in JDK 1.5 mode! 0

org/overturetool/traces/utility/TraceHelperNotInitializedException.java

Violation Line
It is a good practice to call super() in a constructor 6 - 9

org/overturetool/traces/utility/TraceStorageManager.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceStorageManager.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceStorageManager.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/utility/TraceTestResult.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceTestResult.java: Can't use generics unless running in JDK 1.5 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceTestResult.java: Can't use generics unless running in JDK 1.5 mode! 0

org/overturetool/traces/utility/TraceXmlStorageManager.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceXmlStorageManager.java: Can't use annotations when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceXmlStorageManager.java: Can't use annotations when running in JDK 1.4 mode! 0

org/overturetool/traces/utility/TraceXmlWrapper.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceXmlWrapper.java: Can't use generics unless running in JDK 1.5 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\TraceXmlWrapper.java: Can't use generics unless running in JDK 1.5 mode! 0

org/overturetool/traces/utility/XmlFileWriter.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\XmlFileWriter.java: Can't use variable arguments (varargs) when running in JDK 1.4 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\utility\XmlFileWriter.java: Can't use variable arguments (varargs) when running in JDK 1.4 mode! 0

org/overturetool/traces/vdmj/TraceInterpreter.java

Violation Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\vdmj\TraceInterpreter.java: Can't use generics unless running in JDK 1.5 mode! 0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\traces\src\main\java\org\overturetool\traces\vdmj\TraceInterpreter.java: Can't use generics unless running in JDK 1.5 mode! 0