The VDMJ Interpreter - PMD Results

PMD Results

The following document contains the results of PMD 4.2.2.

Files

org/overturetool/vdmj/ast/ASTConverter.java

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

org/overturetool/vdmj/commands/ClassCommandReader.java

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

org/overturetool/vdmj/commands/CommandReader.java

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

org/overturetool/vdmj/commands/DebuggerReader.java

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

org/overturetool/vdmj/commands/ModuleCommandReader.java

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

org/overturetool/vdmj/debug/DBGPBreakpointType.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPBreakpointType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPBreakpointType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPCommand.java

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

org/overturetool/vdmj/debug/DBGPCommandType.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPCommandType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPCommandType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPContextType.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPContextType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPContextType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPErrorCode.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPErrorCode.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPErrorCode.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPException.java

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

org/overturetool/vdmj/debug/DBGPFeatures.java

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

org/overturetool/vdmj/debug/DBGPOption.java

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

org/overturetool/vdmj/debug/DBGPOptionType.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPOptionType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPOptionType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPReader.java

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

org/overturetool/vdmj/debug/DBGPReason.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPReason.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPReason.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPRedirect.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPRedirect.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPRedirect.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/debug/DBGPStatus.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPStatus.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\debug\DBGPStatus.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/definitions/AccessSpecifier.java

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

org/overturetool/vdmj/definitions/AssignmentDefinition.java

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

org/overturetool/vdmj/definitions/BUSClassDefinition.java

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

org/overturetool/vdmj/definitions/ClassDefinition.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\definitions\ClassDefinition.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\definitions\ClassDefinition.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/definitions/ClassInvariantDefinition.java

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

org/overturetool/vdmj/definitions/ClassList.java

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

org/overturetool/vdmj/definitions/CPUClassDefinition.java

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

org/overturetool/vdmj/definitions/Definition.java

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

org/overturetool/vdmj/definitions/DefinitionList.java

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

org/overturetool/vdmj/definitions/DefinitionSet.java

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

org/overturetool/vdmj/definitions/EqualsDefinition.java

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

org/overturetool/vdmj/definitions/ExplicitFunctionDefinition.java

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

org/overturetool/vdmj/definitions/ExplicitOperationDefinition.java

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

org/overturetool/vdmj/definitions/ExternalDefinition.java

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

org/overturetool/vdmj/definitions/ImplicitFunctionDefinition.java

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

org/overturetool/vdmj/definitions/ImplicitOperationDefinition.java

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

org/overturetool/vdmj/definitions/ImportedDefinition.java

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

org/overturetool/vdmj/definitions/InheritedDefinition.java

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

org/overturetool/vdmj/definitions/InstanceVariableDefinition.java

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

org/overturetool/vdmj/definitions/LocalDefinition.java

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

org/overturetool/vdmj/definitions/MultiBindListDefinition.java

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

org/overturetool/vdmj/definitions/MutexSyncDefinition.java

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

org/overturetool/vdmj/definitions/NamedTraceDefinition.java

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

org/overturetool/vdmj/definitions/PerSyncDefinition.java

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

org/overturetool/vdmj/definitions/RenamedDefinition.java

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

org/overturetool/vdmj/definitions/StateDefinition.java

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

org/overturetool/vdmj/definitions/ThreadDefinition.java

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

org/overturetool/vdmj/definitions/TypeDefinition.java

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

org/overturetool/vdmj/definitions/UntypedDefinition.java

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

org/overturetool/vdmj/definitions/ValueDefinition.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\definitions\ValueDefinition.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\vdmj\src\main\java\org\overturetool\vdmj\definitions\ValueDefinition.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/ExitStatus.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\ExitStatus.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\ExitStatus.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/expressions/AbsoluteExpression.java

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

org/overturetool/vdmj/expressions/AndExpression.java

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

org/overturetool/vdmj/expressions/ApplyExpression.java

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

org/overturetool/vdmj/expressions/BinaryExpression.java

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

org/overturetool/vdmj/expressions/BooleanBinaryExpression.java

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

org/overturetool/vdmj/expressions/BooleanLiteralExpression.java

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

org/overturetool/vdmj/expressions/BreakpointExpression.java

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

org/overturetool/vdmj/expressions/CardinalityExpression.java

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

org/overturetool/vdmj/expressions/CaseAlternative.java

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

org/overturetool/vdmj/expressions/CasesExpression.java

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

org/overturetool/vdmj/expressions/CharLiteralExpression.java

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

org/overturetool/vdmj/expressions/CompExpression.java

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

org/overturetool/vdmj/expressions/DefExpression.java

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

org/overturetool/vdmj/expressions/DistConcatExpression.java

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

org/overturetool/vdmj/expressions/DistIntersectExpression.java

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

org/overturetool/vdmj/expressions/DistMergeExpression.java

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

org/overturetool/vdmj/expressions/DistUnionExpression.java

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

org/overturetool/vdmj/expressions/DivExpression.java

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

org/overturetool/vdmj/expressions/DivideExpression.java

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

org/overturetool/vdmj/expressions/DomainResByExpression.java

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

org/overturetool/vdmj/expressions/DomainResToExpression.java

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

org/overturetool/vdmj/expressions/ElementsExpression.java

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

org/overturetool/vdmj/expressions/ElseIfExpression.java

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

org/overturetool/vdmj/expressions/EqualsExpression.java

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

org/overturetool/vdmj/expressions/EquivalentExpression.java

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

org/overturetool/vdmj/expressions/Exists1Expression.java

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

org/overturetool/vdmj/expressions/ExistsExpression.java

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

org/overturetool/vdmj/expressions/Expression.java

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

org/overturetool/vdmj/expressions/ExpressionList.java

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

org/overturetool/vdmj/expressions/FieldExpression.java

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

org/overturetool/vdmj/expressions/FieldNumberExpression.java

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

org/overturetool/vdmj/expressions/FloorExpression.java

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

org/overturetool/vdmj/expressions/ForAllExpression.java

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

org/overturetool/vdmj/expressions/FuncInstantiationExpression.java

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

org/overturetool/vdmj/expressions/GreaterEqualExpression.java

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

org/overturetool/vdmj/expressions/GreaterExpression.java

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

org/overturetool/vdmj/expressions/HeadExpression.java

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

org/overturetool/vdmj/expressions/HistoryExpression.java

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

org/overturetool/vdmj/expressions/IfExpression.java

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

org/overturetool/vdmj/expressions/ImpliesExpression.java

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

org/overturetool/vdmj/expressions/IndicesExpression.java

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

org/overturetool/vdmj/expressions/InSetExpression.java

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

org/overturetool/vdmj/expressions/IntegerLiteralExpression.java

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

org/overturetool/vdmj/expressions/IotaExpression.java

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

org/overturetool/vdmj/expressions/IsExpression.java

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

org/overturetool/vdmj/expressions/IsOfBaseClassExpression.java

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

org/overturetool/vdmj/expressions/IsOfClassExpression.java

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

org/overturetool/vdmj/expressions/LambdaExpression.java

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

org/overturetool/vdmj/expressions/LenExpression.java

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

org/overturetool/vdmj/expressions/LessEqualExpression.java

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

org/overturetool/vdmj/expressions/LessExpression.java

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

org/overturetool/vdmj/expressions/LetBeStExpression.java

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

org/overturetool/vdmj/expressions/LetDefExpression.java

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

org/overturetool/vdmj/expressions/MapCompExpression.java

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

org/overturetool/vdmj/expressions/MapDomainExpression.java

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

org/overturetool/vdmj/expressions/MapEnumExpression.java

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

org/overturetool/vdmj/expressions/MapInverseExpression.java

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

org/overturetool/vdmj/expressions/MapletExpression.java

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

org/overturetool/vdmj/expressions/MapRangeExpression.java

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

org/overturetool/vdmj/expressions/MapUnionExpression.java

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

org/overturetool/vdmj/expressions/MkBasicExpression.java

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

org/overturetool/vdmj/expressions/MkTypeExpression.java

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

org/overturetool/vdmj/expressions/ModExpression.java

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

org/overturetool/vdmj/expressions/MuExpression.java

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

org/overturetool/vdmj/expressions/NewExpression.java

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

org/overturetool/vdmj/expressions/NilExpression.java

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

org/overturetool/vdmj/expressions/NotEqualExpression.java

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

org/overturetool/vdmj/expressions/NotExpression.java

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

org/overturetool/vdmj/expressions/NotInSetExpression.java

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

org/overturetool/vdmj/expressions/NotYetSpecifiedExpression.java

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

org/overturetool/vdmj/expressions/NumericBinaryExpression.java

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

org/overturetool/vdmj/expressions/OrExpression.java

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

org/overturetool/vdmj/expressions/PlusExpression.java

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

org/overturetool/vdmj/expressions/PlusPlusExpression.java

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

org/overturetool/vdmj/expressions/PostOpExpression.java

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

org/overturetool/vdmj/expressions/PowerSetExpression.java

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

org/overturetool/vdmj/expressions/PreExpression.java

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

org/overturetool/vdmj/expressions/PreOpExpression.java

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

org/overturetool/vdmj/expressions/ProperSubsetExpression.java

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

org/overturetool/vdmj/expressions/QuoteLiteralExpression.java

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

org/overturetool/vdmj/expressions/RangeResByExpression.java

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

org/overturetool/vdmj/expressions/RangeResToExpression.java

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

org/overturetool/vdmj/expressions/RealLiteralExpression.java

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

org/overturetool/vdmj/expressions/RecordModifier.java

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

org/overturetool/vdmj/expressions/RemExpression.java

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

org/overturetool/vdmj/expressions/ReverseExpression.java

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

org/overturetool/vdmj/expressions/SameBaseClassExpression.java

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

org/overturetool/vdmj/expressions/SameClassExpression.java

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

org/overturetool/vdmj/expressions/SelfExpression.java

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

org/overturetool/vdmj/expressions/SeqCompExpression.java

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

org/overturetool/vdmj/expressions/SeqConcatExpression.java

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

org/overturetool/vdmj/expressions/SeqEnumExpression.java

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

org/overturetool/vdmj/expressions/SetCompExpression.java

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

org/overturetool/vdmj/expressions/SetDifferenceExpression.java

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

org/overturetool/vdmj/expressions/SetEnumExpression.java

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

org/overturetool/vdmj/expressions/SetIntersectExpression.java

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

org/overturetool/vdmj/expressions/SetRangeExpression.java

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

org/overturetool/vdmj/expressions/SetUnionExpression.java

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

org/overturetool/vdmj/expressions/StarStarExpression.java

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

org/overturetool/vdmj/expressions/StateInitExpression.java

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

org/overturetool/vdmj/expressions/StringLiteralExpression.java

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

org/overturetool/vdmj/expressions/SubclassResponsibilityExpression.java

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

org/overturetool/vdmj/expressions/SubseqExpression.java

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

org/overturetool/vdmj/expressions/SubsetExpression.java

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

org/overturetool/vdmj/expressions/SubtractExpression.java

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

org/overturetool/vdmj/expressions/TailExpression.java

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

org/overturetool/vdmj/expressions/ThreadIdExpression.java

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

org/overturetool/vdmj/expressions/TimeExpression.java

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

org/overturetool/vdmj/expressions/TimesExpression.java

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

org/overturetool/vdmj/expressions/TupleExpression.java

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

org/overturetool/vdmj/expressions/UnaryExpression.java

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

org/overturetool/vdmj/expressions/UnaryMinusExpression.java

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

org/overturetool/vdmj/expressions/UnaryPlusExpression.java

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

org/overturetool/vdmj/expressions/UndefinedExpression.java

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

org/overturetool/vdmj/expressions/VariableExpression.java

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

org/overturetool/vdmj/lex/BacktrackInputReader.java

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

org/overturetool/vdmj/lex/Dialect.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\lex\Dialect.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\lex\Dialect.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/lex/LatexStreamReader.java

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

org/overturetool/vdmj/lex/LexBooleanToken.java

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

org/overturetool/vdmj/lex/LexCharacterToken.java

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

org/overturetool/vdmj/lex/LexException.java

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

org/overturetool/vdmj/lex/LexIdentifierToken.java

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

org/overturetool/vdmj/lex/LexIntegerToken.java

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

org/overturetool/vdmj/lex/LexLocation.java

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

org/overturetool/vdmj/lex/LexNameList.java

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

org/overturetool/vdmj/lex/LexNameToken.java

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

org/overturetool/vdmj/lex/LexQuoteToken.java

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

org/overturetool/vdmj/lex/LexRealToken.java

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

org/overturetool/vdmj/lex/LexStringToken.java

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

org/overturetool/vdmj/lex/LexToken.java

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

org/overturetool/vdmj/lex/LexTokenReader.java

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

org/overturetool/vdmj/lex/Token.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\lex\Token.java: Can't use static imports when running in JDK 1.4 mode!	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\lex\Token.java: Can't use static imports when running in JDK 1.4 mode!	0

org/overturetool/vdmj/messages/InternalException.java

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

org/overturetool/vdmj/messages/LocatedException.java

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

org/overturetool/vdmj/messages/NumberedException.java

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

org/overturetool/vdmj/messages/Redirector.java

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

org/overturetool/vdmj/messages/RTLogger.java

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

org/overturetool/vdmj/messages/StderrRedirector.java

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

org/overturetool/vdmj/messages/StdoutRedirector.java

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

org/overturetool/vdmj/messages/VDMError.java

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

org/overturetool/vdmj/messages/VDMErrorsException.java

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

org/overturetool/vdmj/messages/VDMMessage.java

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

org/overturetool/vdmj/messages/VDMWarning.java

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

org/overturetool/vdmj/Minimal.java

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

org/overturetool/vdmj/modules/DLModule.java

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

org/overturetool/vdmj/modules/Export.java

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

org/overturetool/vdmj/modules/ExportAll.java

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

org/overturetool/vdmj/modules/ExportedFunction.java

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

org/overturetool/vdmj/modules/ExportedOperation.java

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

org/overturetool/vdmj/modules/ExportedType.java

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

org/overturetool/vdmj/modules/ExportedValue.java

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

org/overturetool/vdmj/modules/Import.java

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

org/overturetool/vdmj/modules/ImportAll.java

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

org/overturetool/vdmj/modules/ImportedFunction.java

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

org/overturetool/vdmj/modules/ImportedOperation.java

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

org/overturetool/vdmj/modules/ImportedType.java

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

org/overturetool/vdmj/modules/ImportedValue.java

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

org/overturetool/vdmj/modules/ImportFromModule.java

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

org/overturetool/vdmj/modules/Module.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\modules\Module.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\vdmj\src\main\java\org\overturetool\vdmj\modules\Module.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/modules/ModuleExports.java

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

org/overturetool/vdmj/modules/ModuleImports.java

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

org/overturetool/vdmj/modules/ModuleList.java

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

org/overturetool/vdmj/patterns/Bind.java

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

org/overturetool/vdmj/patterns/BooleanPattern.java

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

org/overturetool/vdmj/patterns/CharacterPattern.java

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

org/overturetool/vdmj/patterns/ConcatenationPattern.java

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

org/overturetool/vdmj/patterns/ExpressionPattern.java

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

org/overturetool/vdmj/patterns/IdentifierPattern.java

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

org/overturetool/vdmj/patterns/IgnorePattern.java

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

org/overturetool/vdmj/patterns/IntegerPattern.java

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

org/overturetool/vdmj/patterns/MultipleBind.java

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

org/overturetool/vdmj/patterns/MultipleSetBind.java

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

org/overturetool/vdmj/patterns/MultipleTypeBind.java

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

org/overturetool/vdmj/patterns/Pattern.java

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

org/overturetool/vdmj/patterns/PatternBind.java

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

org/overturetool/vdmj/patterns/PatternList.java

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

org/overturetool/vdmj/patterns/QuotePattern.java

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

org/overturetool/vdmj/patterns/RealPattern.java

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

org/overturetool/vdmj/patterns/RecordPattern.java

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

org/overturetool/vdmj/patterns/SeqPattern.java

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

org/overturetool/vdmj/patterns/SetBind.java

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

org/overturetool/vdmj/patterns/SetPattern.java

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

org/overturetool/vdmj/patterns/StringPattern.java

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

org/overturetool/vdmj/patterns/TuplePattern.java

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

org/overturetool/vdmj/patterns/TypeBind.java

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

org/overturetool/vdmj/patterns/UnionPattern.java

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

org/overturetool/vdmj/pog/CasesExhaustiveObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\CasesExhaustiveObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\CasesExhaustiveObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/pog/FiniteMapObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\FiniteMapObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\FiniteMapObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/pog/FiniteSetObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\FiniteSetObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\FiniteSetObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/pog/FuncPostConditionObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\FuncPostConditionObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\FuncPostConditionObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/pog/MapSeqOfCompatibleObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\MapSeqOfCompatibleObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\MapSeqOfCompatibleObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/pog/ParameterPatternObligation.java

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

org/overturetool/vdmj/pog/POCaseContext.java

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

org/overturetool/vdmj/pog/POContextStack.java

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

org/overturetool/vdmj/pog/PODefContext.java

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

org/overturetool/vdmj/pog/POForAllContext.java

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

org/overturetool/vdmj/pog/POForAllPredicateContext.java

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

org/overturetool/vdmj/pog/POFunctionDefinitionContext.java

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

org/overturetool/vdmj/pog/POFunctionResultContext.java

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

org/overturetool/vdmj/pog/POImpliesContext.java

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

org/overturetool/vdmj/pog/POLetDefContext.java

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

org/overturetool/vdmj/pog/PONameContext.java

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

org/overturetool/vdmj/pog/PONotCaseContext.java

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

org/overturetool/vdmj/pog/PONotImpliesContext.java

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

org/overturetool/vdmj/pog/POOperationDefinitionContext.java

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

org/overturetool/vdmj/pog/POType.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\POType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\POType.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/pog/ProofObligation.java

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

org/overturetool/vdmj/pog/ProofObligationList.java

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

org/overturetool/vdmj/pog/RecursiveObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\RecursiveObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\RecursiveObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/pog/SatisfiabilityObligation.java

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

org/overturetool/vdmj/pog/SubTypeObligation.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\pog\SubTypeObligation.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\vdmj\src\main\java\org\overturetool\vdmj\pog\SubTypeObligation.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/runtime/AsyncThread.java

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

org/overturetool/vdmj/runtime/Breakpoint.java

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

org/overturetool/vdmj/runtime/BreakpointCondition.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\BreakpointCondition.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\BreakpointCondition.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/runtime/BUSPolicy.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\BUSPolicy.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\BUSPolicy.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/runtime/ClassContext.java

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

org/overturetool/vdmj/runtime/ClassInterpreter.java

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

org/overturetool/vdmj/runtime/Context.java

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

org/overturetool/vdmj/runtime/ContextException.java

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

org/overturetool/vdmj/runtime/ControlQueue.java

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

org/overturetool/vdmj/runtime/CPUPolicy.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\CPUPolicy.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\CPUPolicy.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/runtime/DebuggerException.java

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

org/overturetool/vdmj/runtime/ExitException.java

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

org/overturetool/vdmj/runtime/FCFSPolicy.java

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

org/overturetool/vdmj/runtime/FPPolicy.java

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

org/overturetool/vdmj/runtime/Holder.java

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

org/overturetool/vdmj/runtime/Interpreter.java

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

org/overturetool/vdmj/runtime/InterruptAction.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\InterruptAction.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\InterruptAction.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/runtime/MessagePacket.java

Violation	Line
Assigning an Object to null is a code smell. Consider refactoring.	58
Assigning an Object to null is a code smell. Consider refactoring.	59
Assigning an Object to null is a code smell. Consider refactoring.	60
Assigning an Object to null is a code smell. Consider refactoring.	61
Assigning an Object to null is a code smell. Consider refactoring.	62
Assigning an Object to null is a code smell. Consider refactoring.	63

org/overturetool/vdmj/runtime/MessageRequest.java

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

org/overturetool/vdmj/runtime/MessageResponse.java

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

org/overturetool/vdmj/runtime/ModuleInterpreter.java

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

org/overturetool/vdmj/runtime/ObjectContext.java

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

org/overturetool/vdmj/runtime/PatternMatchException.java

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

org/overturetool/vdmj/runtime/RootContext.java

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

org/overturetool/vdmj/runtime/RunState.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\RunState.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\runtime\RunState.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/runtime/SourceFile.java

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

org/overturetool/vdmj/runtime/StateContext.java

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

org/overturetool/vdmj/runtime/StopException.java

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

org/overturetool/vdmj/runtime/Stoppoint.java

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

org/overturetool/vdmj/runtime/SystemClock.java

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

org/overturetool/vdmj/runtime/Tracepoint.java

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

org/overturetool/vdmj/runtime/ValueException.java

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

org/overturetool/vdmj/runtime/VDMThread.java

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

org/overturetool/vdmj/runtime/VDMThreadSet.java

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

org/overturetool/vdmj/Settings.java

Violation	Line
Each class should declare at least one constructor	32 - 40

org/overturetool/vdmj/statements/AlwaysStatement.java

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

org/overturetool/vdmj/statements/AssignmentStatement.java

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

org/overturetool/vdmj/statements/AtomicStatement.java

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

org/overturetool/vdmj/statements/BlockStatement.java

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

org/overturetool/vdmj/statements/CallObjectStatement.java

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

org/overturetool/vdmj/statements/CallStatement.java

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

org/overturetool/vdmj/statements/CasesStatement.java

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

org/overturetool/vdmj/statements/CaseStmtAlternative.java

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

org/overturetool/vdmj/statements/ClassInvariantStatement.java

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

org/overturetool/vdmj/statements/CyclesStatement.java

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

org/overturetool/vdmj/statements/DefStatement.java

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

org/overturetool/vdmj/statements/DurationStatement.java

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

org/overturetool/vdmj/statements/ElseIfStatement.java

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

org/overturetool/vdmj/statements/ErrorCase.java

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

org/overturetool/vdmj/statements/ErrorStatement.java

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

org/overturetool/vdmj/statements/ExitStatement.java

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

org/overturetool/vdmj/statements/ExternalClause.java

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

org/overturetool/vdmj/statements/FieldDesignator.java

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

org/overturetool/vdmj/statements/ForAllStatement.java

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

org/overturetool/vdmj/statements/ForIndexStatement.java

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

org/overturetool/vdmj/statements/ForPatternBindStatement.java

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

org/overturetool/vdmj/statements/IdentifierDesignator.java

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

org/overturetool/vdmj/statements/IfStatement.java

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

org/overturetool/vdmj/statements/LetBeStStatement.java

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

org/overturetool/vdmj/statements/LetDefStatement.java

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

org/overturetool/vdmj/statements/MapSeqDesignator.java

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

org/overturetool/vdmj/statements/NonDeterministicStatement.java

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

org/overturetool/vdmj/statements/NotYetSpecifiedStatement.java

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

org/overturetool/vdmj/statements/ObjectApplyDesignator.java

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

org/overturetool/vdmj/statements/ObjectDesignator.java

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

org/overturetool/vdmj/statements/ObjectFieldDesignator.java

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

org/overturetool/vdmj/statements/ObjectIdentifierDesignator.java

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

org/overturetool/vdmj/statements/ObjectNewDesignator.java

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

org/overturetool/vdmj/statements/ObjectSelfDesignator.java

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

org/overturetool/vdmj/statements/PeriodicStatement.java

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

org/overturetool/vdmj/statements/ReturnStatement.java

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

org/overturetool/vdmj/statements/SimpleBlockStatement.java

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

org/overturetool/vdmj/statements/SkipStatement.java

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

org/overturetool/vdmj/statements/SpecificationStatement.java

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

org/overturetool/vdmj/statements/StartStatement.java

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

org/overturetool/vdmj/statements/StateDesignator.java

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

org/overturetool/vdmj/statements/Statement.java

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

org/overturetool/vdmj/statements/SubclassResponsibilityStatement.java

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

org/overturetool/vdmj/statements/TixeStatement.java

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

org/overturetool/vdmj/statements/TixeStmtAlternative.java

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

org/overturetool/vdmj/statements/TraceStatement.java

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

org/overturetool/vdmj/statements/TrapStatement.java

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

org/overturetool/vdmj/statements/WhileStatement.java

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

org/overturetool/vdmj/syntax/BindReader.java

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

org/overturetool/vdmj/syntax/ClassReader.java

Violation	Line
A method should have only one exit point, and that should be the last statement in the method	58
Found 'DU'-anomaly for variable 'superclasses' (lines '97'-'142').	97 - 142
A method should have only one exit point, and that should be the last statement in the method	134
Found 'DU'-anomaly for variable 'dr' (lines '164'-'213').	164 - 213
A method should have only one exit point, and that should be the last statement in the method	205

org/overturetool/vdmj/syntax/DefinitionReader.java

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

org/overturetool/vdmj/syntax/ExpressionReader.java

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

org/overturetool/vdmj/syntax/ModuleReader.java

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

org/overturetool/vdmj/syntax/OvertureReader.java

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

org/overturetool/vdmj/syntax/ParserException.java

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

org/overturetool/vdmj/syntax/PatternReader.java

Violation	Line
Found 'DD'-anomaly for variable 'pattern' (lines '69'-'79').	69 - 79
Found 'DD'-anomaly for variable 'pattern' (lines '69'-'84').	69 - 84
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'101').	94 - 101
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'105').	94 - 105
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'109').	94 - 109
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'113').	94 - 113
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'117').	94 - 117
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'122').	94 - 122
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'128').	94 - 128
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'136').	94 - 136
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'140').	94 - 140
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'149').	94 - 149
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'153').	94 - 153
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'173').	94 - 173
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'200').	94 - 200
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'205').	94 - 205
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'214').	94 - 214
Found 'DD'-anomaly for variable 'pattern' (lines '94'-'220').	94 - 220
Found 'DD'-anomaly for variable 'rdtok' (lines '96'-'130').	96 - 130
Found 'DD'-anomaly for variable 'rdtok' (lines '96'-'142').	96 - 142
Found 'DD'-anomaly for variable 'rdtok' (lines '96'-'155').	96 - 155
Found 'DD'-anomaly for variable 'rdtok' (lines '96'-'210').	96 - 210
Found 'DD'-anomaly for variable 'typename' (lines '179'-'187').	179 - 187
Found 'DD'-anomaly for variable 'typename' (lines '179'-'194').	179 - 194

org/overturetool/vdmj/syntax/StatementReader.java

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

org/overturetool/vdmj/syntax/SyntaxReader.java

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

org/overturetool/vdmj/syntax/SystemDefinition.java

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

org/overturetool/vdmj/syntax/TypeReader.java

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

org/overturetool/vdmj/traces/AlternativeTraceNode.java

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

org/overturetool/vdmj/traces/CallSequence.java

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

org/overturetool/vdmj/traces/PermuteArray.java

Violation	Line
A method should have only one exit point, and that should be the last statement in the method	112

org/overturetool/vdmj/traces/RepeatTraceNode.java

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

org/overturetool/vdmj/traces/SequenceTraceNode.java

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

org/overturetool/vdmj/traces/StatementTraceNode.java

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

org/overturetool/vdmj/traces/TestSequence.java

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

org/overturetool/vdmj/traces/TraceApplyExpression.java

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

org/overturetool/vdmj/traces/TraceBracketedExpression.java

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

org/overturetool/vdmj/traces/TraceDefinition.java

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

org/overturetool/vdmj/traces/TraceDefinitionTerm.java

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

org/overturetool/vdmj/traces/TraceLetBeStBinding.java

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

org/overturetool/vdmj/traces/TraceLetDefBinding.java

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

org/overturetool/vdmj/traces/TraceNode.java

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

org/overturetool/vdmj/traces/TraceRepeatDefinition.java

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

org/overturetool/vdmj/traces/Verdict.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\traces\Verdict.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\traces\Verdict.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/typechecker/ClassTypeChecker.java

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

org/overturetool/vdmj/typechecker/Environment.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\typechecker\Environment.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\vdmj\src\main\java\org\overturetool\vdmj\typechecker\Environment.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/typechecker/FlatCheckedEnvironment.java

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

org/overturetool/vdmj/typechecker/FlatEnvironment.java

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

org/overturetool/vdmj/typechecker/ModuleEnvironment.java

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

org/overturetool/vdmj/typechecker/ModuleTypeChecker.java

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

org/overturetool/vdmj/typechecker/NameScope.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\typechecker\NameScope.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\typechecker\NameScope.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/typechecker/Pass.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\typechecker\Pass.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\typechecker\Pass.java: ERROR: Can't use enum as a keyword in pre-JDK 1.5 target	0

org/overturetool/vdmj/typechecker/PrivateClassEnvironment.java

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

org/overturetool/vdmj/typechecker/PublicClassEnvironment.java

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

org/overturetool/vdmj/typechecker/TypeChecker.java

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

org/overturetool/vdmj/typechecker/TypeCheckException.java

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

org/overturetool/vdmj/typechecker/TypeComparator.java

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

org/overturetool/vdmj/types/BooleanType.java

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

org/overturetool/vdmj/types/BracketType.java

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

org/overturetool/vdmj/types/CharacterType.java

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

org/overturetool/vdmj/types/ClassType.java

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

org/overturetool/vdmj/types/Field.java

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

org/overturetool/vdmj/types/FunctionType.java

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

org/overturetool/vdmj/types/InMapType.java

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

org/overturetool/vdmj/types/IntegerType.java

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

org/overturetool/vdmj/types/InvariantType.java

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

org/overturetool/vdmj/types/MapType.java

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

org/overturetool/vdmj/types/NamedType.java

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

org/overturetool/vdmj/types/NaturalOneType.java

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

org/overturetool/vdmj/types/NaturalType.java

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

org/overturetool/vdmj/types/NumericType.java

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

org/overturetool/vdmj/types/OperationType.java

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

org/overturetool/vdmj/types/OptionalType.java

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

org/overturetool/vdmj/types/ParameterType.java

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

org/overturetool/vdmj/types/PatternListTypePair.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\types\PatternListTypePair.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\vdmj\src\main\java\org\overturetool\vdmj\types\PatternListTypePair.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/types/PatternTypePair.java

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

org/overturetool/vdmj/types/ProductType.java

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

org/overturetool/vdmj/types/QuoteType.java

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

org/overturetool/vdmj/types/RationalType.java

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

org/overturetool/vdmj/types/RealType.java

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

org/overturetool/vdmj/types/RecordType.java

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

org/overturetool/vdmj/types/Seq1Type.java

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

org/overturetool/vdmj/types/SeqType.java

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

org/overturetool/vdmj/types/SetType.java

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

org/overturetool/vdmj/types/TokenType.java

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

org/overturetool/vdmj/types/Type.java

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

org/overturetool/vdmj/types/TypeList.java

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

org/overturetool/vdmj/types/TypeSet.java

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

org/overturetool/vdmj/types/UndefinedType.java

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

org/overturetool/vdmj/types/UnionType.java

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

org/overturetool/vdmj/types/UnknownType.java

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

org/overturetool/vdmj/types/UnresolvedType.java

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

org/overturetool/vdmj/types/VoidReturnType.java

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

org/overturetool/vdmj/types/VoidType.java

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

org/overturetool/vdmj/util/Base64.java

Violation	Line
A method should have only one exit point, and that should be the last statement in the method	47
A method should have only one exit point, and that should be the last statement in the method	52
A method should have only one exit point, and that should be the last statement in the method	57
A method should have only one exit point, and that should be the last statement in the method	62
A method should have only one exit point, and that should be the last statement in the method	67
A method should have only one exit point, and that should be the last statement in the method	84
A method should have only one exit point, and that should be the last statement in the method	89
A method should have only one exit point, and that should be the last statement in the method	94
A method should have only one exit point, and that should be the last statement in the method	99
A method should have only one exit point, and that should be the last statement in the method	104
Found 'DD'-anomaly for variable 'result' (lines '126'-'144').	126 - 144
Found 'DD'-anomaly for variable 'result' (lines '126'-'151').	126 - 151
Found 'DD'-anomaly for variable 'result' (lines '126'-'157').	126 - 157
Found 'DD'-anomaly for variable 'result' (lines '144'-'145').	144 - 145
Found 'DD'-anomaly for variable 'result' (lines '145'-'146').	145 - 146
Found 'DD'-anomaly for variable 'result' (lines '146'-'144').	146 - 144
Found 'DD'-anomaly for variable 'result' (lines '146'-'151').	146 - 151
Found 'DD'-anomaly for variable 'result' (lines '146'-'157').	146 - 157
Found 'DD'-anomaly for variable 'result' (lines '151'-'152').	151 - 152
Found 'DD'-anomaly for variable 'result' (lines '152'-'144').	152 - 144
Found 'DD'-anomaly for variable 'result' (lines '152'-'151').	152 - 151
Found 'DD'-anomaly for variable 'result' (lines '152'-'157').	152 - 157
Found 'DD'-anomaly for variable 'result' (lines '157'-'144').	157 - 144
Found 'DD'-anomaly for variable 'result' (lines '157'-'151').	157 - 151
Found 'DD'-anomaly for variable 'result' (lines '157'-'157').	157
Found 'DU'-anomaly for variable 'p' (lines '179'-'230').	179 - 230
Found 'DU'-anomaly for variable 'c' (lines '180'-'230').	180 - 230

org/overturetool/vdmj/util/IO.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\util\IO.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\vdmj\src\main\java\org\overturetool\vdmj\util\IO.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/util/MATH.java

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

org/overturetool/vdmj/util/Utils.java

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

org/overturetool/vdmj/values/BooleanValue.java

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

org/overturetool/vdmj/values/BUSValue.java

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

org/overturetool/vdmj/values/CharacterValue.java

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

org/overturetool/vdmj/values/CompFunctionValue.java

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

org/overturetool/vdmj/values/CPUValue.java

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

org/overturetool/vdmj/values/FieldMap.java

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

org/overturetool/vdmj/values/FieldValue.java

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

org/overturetool/vdmj/values/FunctionValue.java

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

org/overturetool/vdmj/values/IntegerValue.java

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

org/overturetool/vdmj/values/InvariantValue.java

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

org/overturetool/vdmj/values/IterFunctionValue.java

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

org/overturetool/vdmj/values/MapValue.java

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

org/overturetool/vdmj/values/NameValuePair.java

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

org/overturetool/vdmj/values/NameValuePairList.java

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

org/overturetool/vdmj/values/NameValuePairMap.java

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

org/overturetool/vdmj/values/NaturalOneValue.java

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

org/overturetool/vdmj/values/NaturalValue.java

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

org/overturetool/vdmj/values/NilValue.java

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

org/overturetool/vdmj/values/NumericValue.java

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

org/overturetool/vdmj/values/ObjectValue.java

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

org/overturetool/vdmj/values/OperationValue.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\values\OperationValue.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\vdmj\src\main\java\org\overturetool\vdmj\values\OperationValue.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/values/ParameterValue.java

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

org/overturetool/vdmj/values/Quantifier.java

Violation	Line
A method should have only one exit point, and that should be the last statement in the method	53

org/overturetool/vdmj/values/QuantifierList.java

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

org/overturetool/vdmj/values/QuoteValue.java

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

org/overturetool/vdmj/values/RationalValue.java

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

org/overturetool/vdmj/values/RealValue.java

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

org/overturetool/vdmj/values/RecordValue.java

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

org/overturetool/vdmj/values/ReferenceValue.java

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

org/overturetool/vdmj/values/SeqValue.java

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

org/overturetool/vdmj/values/SetValue.java

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

org/overturetool/vdmj/values/State.java

Violation	Line
Error while parsing C:\Overture\overtureSourceNew\trunk\core\vdmj\src\main\java\org\overturetool\vdmj\values\State.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\vdmj\src\main\java\org\overturetool\vdmj\values\State.java: Can't use JDK 1.5 for loop syntax when running in JDK 1.4 mode!	0

org/overturetool/vdmj/values/TokenValue.java

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

org/overturetool/vdmj/values/TupleValue.java

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

org/overturetool/vdmj/values/UndefinedValue.java

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

org/overturetool/vdmj/values/UpdatableValue.java

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

org/overturetool/vdmj/values/Value.java

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

org/overturetool/vdmj/values/ValueList.java

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

org/overturetool/vdmj/values/ValueListener.java

Violation	Line
Avoid modifiers which are implied by the context	31

org/overturetool/vdmj/values/ValueMap.java

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

org/overturetool/vdmj/values/ValueSet.java

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

org/overturetool/vdmj/values/VoidReturnValue.java

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

org/overturetool/vdmj/values/VoidValue.java

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

org/overturetool/vdmj/VDMJ.java

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

org/overturetool/vdmj/VDMOV.java

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

org/overturetool/vdmj/VDMPP.java

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

org/overturetool/vdmj/VDMRT.java

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

org/overturetool/vdmj/VDMSL.java

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

Project Documentation

PMD Results

Files

org/overturetool/vdmj/ast/ASTConverter.java

org/overturetool/vdmj/commands/ClassCommandReader.java

org/overturetool/vdmj/commands/CommandReader.java

org/overturetool/vdmj/commands/DebuggerReader.java

org/overturetool/vdmj/commands/ModuleCommandReader.java

org/overturetool/vdmj/debug/DBGPBreakpointType.java

org/overturetool/vdmj/debug/DBGPCommand.java

org/overturetool/vdmj/debug/DBGPCommandType.java

org/overturetool/vdmj/debug/DBGPContextType.java

org/overturetool/vdmj/debug/DBGPErrorCode.java

org/overturetool/vdmj/debug/DBGPException.java

org/overturetool/vdmj/debug/DBGPFeatures.java

org/overturetool/vdmj/debug/DBGPOption.java

org/overturetool/vdmj/debug/DBGPOptionType.java

org/overturetool/vdmj/debug/DBGPReader.java

org/overturetool/vdmj/debug/DBGPReason.java

org/overturetool/vdmj/debug/DBGPRedirect.java

org/overturetool/vdmj/debug/DBGPStatus.java

org/overturetool/vdmj/definitions/AccessSpecifier.java

org/overturetool/vdmj/definitions/AssignmentDefinition.java

org/overturetool/vdmj/definitions/BUSClassDefinition.java

org/overturetool/vdmj/definitions/ClassDefinition.java

org/overturetool/vdmj/definitions/ClassInvariantDefinition.java

org/overturetool/vdmj/definitions/ClassList.java

org/overturetool/vdmj/definitions/CPUClassDefinition.java

org/overturetool/vdmj/definitions/Definition.java

org/overturetool/vdmj/definitions/DefinitionList.java

org/overturetool/vdmj/definitions/DefinitionSet.java

org/overturetool/vdmj/definitions/EqualsDefinition.java

org/overturetool/vdmj/definitions/ExplicitFunctionDefinition.java

org/overturetool/vdmj/definitions/ExplicitOperationDefinition.java

org/overturetool/vdmj/definitions/ExternalDefinition.java

org/overturetool/vdmj/definitions/ImplicitFunctionDefinition.java

org/overturetool/vdmj/definitions/ImplicitOperationDefinition.java

org/overturetool/vdmj/definitions/ImportedDefinition.java

org/overturetool/vdmj/definitions/InheritedDefinition.java

org/overturetool/vdmj/definitions/InstanceVariableDefinition.java

org/overturetool/vdmj/definitions/LocalDefinition.java

org/overturetool/vdmj/definitions/MultiBindListDefinition.java

org/overturetool/vdmj/definitions/MutexSyncDefinition.java

org/overturetool/vdmj/definitions/NamedTraceDefinition.java

org/overturetool/vdmj/definitions/PerSyncDefinition.java

org/overturetool/vdmj/definitions/RenamedDefinition.java

org/overturetool/vdmj/definitions/StateDefinition.java

org/overturetool/vdmj/definitions/ThreadDefinition.java

org/overturetool/vdmj/definitions/TypeDefinition.java

org/overturetool/vdmj/definitions/UntypedDefinition.java

org/overturetool/vdmj/definitions/ValueDefinition.java

org/overturetool/vdmj/ExitStatus.java

org/overturetool/vdmj/expressions/AbsoluteExpression.java

org/overturetool/vdmj/expressions/AndExpression.java

org/overturetool/vdmj/expressions/ApplyExpression.java

org/overturetool/vdmj/expressions/BinaryExpression.java

org/overturetool/vdmj/expressions/BooleanBinaryExpression.java

org/overturetool/vdmj/expressions/BooleanLiteralExpression.java

org/overturetool/vdmj/expressions/BreakpointExpression.java

org/overturetool/vdmj/expressions/CardinalityExpression.java

org/overturetool/vdmj/expressions/CaseAlternative.java

org/overturetool/vdmj/expressions/CasesExpression.java

org/overturetool/vdmj/expressions/CharLiteralExpression.java

org/overturetool/vdmj/expressions/CompExpression.java

org/overturetool/vdmj/expressions/DefExpression.java

org/overturetool/vdmj/expressions/DistConcatExpression.java

org/overturetool/vdmj/expressions/DistIntersectExpression.java

org/overturetool/vdmj/expressions/DistMergeExpression.java

org/overturetool/vdmj/expressions/DistUnionExpression.java

org/overturetool/vdmj/expressions/DivExpression.java

org/overturetool/vdmj/expressions/DivideExpression.java

org/overturetool/vdmj/expressions/DomainResByExpression.java

org/overturetool/vdmj/expressions/DomainResToExpression.java

org/overturetool/vdmj/expressions/ElementsExpression.java

org/overturetool/vdmj/expressions/ElseIfExpression.java

org/overturetool/vdmj/expressions/EqualsExpression.java

org/overturetool/vdmj/expressions/EquivalentExpression.java

org/overturetool/vdmj/expressions/Exists1Expression.java

org/overturetool/vdmj/expressions/ExistsExpression.java

org/overturetool/vdmj/expressions/Expression.java