A massive organize imports and formatting of the sources using default Eclipse code...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / problem / ProblemReporter.java
index 1d4f0bf..2c92e38 100644 (file)
-/*******************************************************************************
- * Copyright (c) 2000, 2001, 2002 International Business Machines Corp. and others.
- * All rights reserved. This program and the accompanying materials 
- * are made available under the terms of the Common Public License v0.5 
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/cpl-v05.html
+/***********************************************************************************************************************************
+ * Copyright (c) 2000, 2003 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made
+ * available under the terms of the Common Public License v1.0 which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
  * 
- * Contributors:
- *     IBM Corporation - initial API and implementation
- ******************************************************************************/
+ * Contributors: IBM Corporation - initial API and implementation
+ **********************************************************************************************************************************/
 package net.sourceforge.phpdt.internal.compiler.problem;
 
+import net.sourceforge.phpdt.core.compiler.CharOperation;
 import net.sourceforge.phpdt.core.compiler.IProblem;
-import net.sourceforge.phpdt.core.compiler.ITerminalSymbols;
 import net.sourceforge.phpdt.core.compiler.InvalidInputException;
-import net.sourceforge.phpdt.internal.compiler.*;
-import net.sourceforge.phpdt.internal.compiler.ast.*;
-import net.sourceforge.phpdt.internal.compiler.lookup.*;
-import net.sourceforge.phpdt.internal.compiler.parser.*;
-import net.sourceforge.phpdt.internal.compiler.util.*;
-import net.sourceforge.phpdt.internal.compiler.impl.*;
+import net.sourceforge.phpdt.internal.compiler.CompilationResult;
+import net.sourceforge.phpdt.internal.compiler.IErrorHandlingPolicy;
+import net.sourceforge.phpdt.internal.compiler.IProblemFactory;
+import net.sourceforge.phpdt.internal.compiler.ast.ASTNode;
+import net.sourceforge.phpdt.internal.compiler.ast.AbstractMethodDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.AbstractVariableDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.AllocationExpression;
+import net.sourceforge.phpdt.internal.compiler.ast.Argument;
+import net.sourceforge.phpdt.internal.compiler.ast.ArrayAllocationExpression;
+import net.sourceforge.phpdt.internal.compiler.ast.ArrayReference;
+import net.sourceforge.phpdt.internal.compiler.ast.Assignment;
+import net.sourceforge.phpdt.internal.compiler.ast.BinaryExpression;
+import net.sourceforge.phpdt.internal.compiler.ast.CaseStatement;
+import net.sourceforge.phpdt.internal.compiler.ast.CastExpression;
+import net.sourceforge.phpdt.internal.compiler.ast.CompilationUnitDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.CompoundAssignment;
+import net.sourceforge.phpdt.internal.compiler.ast.ConstructorDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.DefaultCase;
+import net.sourceforge.phpdt.internal.compiler.ast.EqualExpression;
+import net.sourceforge.phpdt.internal.compiler.ast.ExplicitConstructorCall;
+import net.sourceforge.phpdt.internal.compiler.ast.Expression;
+import net.sourceforge.phpdt.internal.compiler.ast.FieldDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.FieldReference;
+import net.sourceforge.phpdt.internal.compiler.ast.InstanceOfExpression;
+import net.sourceforge.phpdt.internal.compiler.ast.IntLiteral;
+import net.sourceforge.phpdt.internal.compiler.ast.Literal;
+import net.sourceforge.phpdt.internal.compiler.ast.LocalDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.LongLiteral;
+import net.sourceforge.phpdt.internal.compiler.ast.MessageSend;
+import net.sourceforge.phpdt.internal.compiler.ast.MethodDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.NameReference;
+import net.sourceforge.phpdt.internal.compiler.ast.NumberLiteral;
+import net.sourceforge.phpdt.internal.compiler.ast.QualifiedNameReference;
+import net.sourceforge.phpdt.internal.compiler.ast.Reference;
+import net.sourceforge.phpdt.internal.compiler.ast.ReturnStatement;
+import net.sourceforge.phpdt.internal.compiler.ast.SingleNameReference;
+import net.sourceforge.phpdt.internal.compiler.ast.Statement;
+import net.sourceforge.phpdt.internal.compiler.ast.ThisReference;
+import net.sourceforge.phpdt.internal.compiler.ast.ThrowStatement;
+import net.sourceforge.phpdt.internal.compiler.ast.TryStatement;
+import net.sourceforge.phpdt.internal.compiler.ast.TypeDeclaration;
+import net.sourceforge.phpdt.internal.compiler.ast.TypeReference;
+import net.sourceforge.phpdt.internal.compiler.ast.UnaryExpression;
+import net.sourceforge.phpdt.internal.compiler.env.IConstants;
+import net.sourceforge.phpdt.internal.compiler.impl.CompilerOptions;
+import net.sourceforge.phpdt.internal.compiler.impl.Constant;
+import net.sourceforge.phpdt.internal.compiler.impl.ReferenceContext;
+import net.sourceforge.phpdt.internal.compiler.lookup.Binding;
+import net.sourceforge.phpdt.internal.compiler.lookup.CompilerModifiers;
+import net.sourceforge.phpdt.internal.compiler.lookup.FieldBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.LocalVariableBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.MethodBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.ProblemMethodBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.ProblemReasons;
+import net.sourceforge.phpdt.internal.compiler.lookup.ReferenceBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.SourceTypeBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.SyntheticArgumentBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
+import net.sourceforge.phpdt.internal.compiler.lookup.TypeConstants;
+import net.sourceforge.phpdt.internal.compiler.parser.Parser;
+import net.sourceforge.phpdt.internal.compiler.parser.Scanner;
+import net.sourceforge.phpdt.internal.compiler.util.Util;
 
 public class ProblemReporter extends ProblemHandler implements ProblemReasons {
-       
        public ReferenceContext referenceContext;
-public ProblemReporter(IErrorHandlingPolicy policy, CompilerOptions options, IProblemFactory problemFactory) {
-       super(policy, options, problemFactory);
-}
-public void abortDueToInternalError(String errorMessage) {
-       this.handle(
-               IProblem.Unclassified,
-               new String[] {errorMessage},
-               Error | Abort,
-               0,
-               0);
-}
-public void abortDueToInternalError(String errorMessage, AstNode location) {
-       this.handle(
-               IProblem.Unclassified,
-               new String[] {errorMessage},
-               Error | Abort,
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void abstractMethodCannotBeOverridden(SourceTypeBinding type, MethodBinding concreteMethod) {
-
-       this.handle(
-               // %1 must be abstract since it cannot override the inherited package-private abstract method %2
-               IProblem.AbstractMethodCannotBeOverridden,
-               new String[] {new String(type.sourceName()), new String(concreteMethod.readableName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void abstractMethodInAbstractClass(SourceTypeBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.AbstractMethodInAbstractClass,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void abstractMethodMustBeImplemented(SourceTypeBinding type, MethodBinding abstractMethod) {
-       this.handle(
-               // Must implement the inherited abstract method %1
-               // 8.4.3 - Every non-abstract subclass of an abstract type, A, must provide a concrete implementation of all of A's methods.
-               IProblem.AbstractMethodMustBeImplemented,
-               new String[] {
-                       new String(
-                               CharOperation.concat(
-                                       abstractMethod.declaringClass.readableName(),
-                                       abstractMethod.readableName(),
-                                       '.'))},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void abstractMethodNeedingNoBody(AbstractMethodDeclaration method) {
-       this.handle(
-               IProblem.BodyForAbstractMethod,
-               new String[0],
-               method.sourceStart,
-               method.sourceEnd,
-               method,
-               method.compilationResult());
-}
-public void alreadyDefinedLabel(char[] labelName, AstNode location) {
-       this.handle(
-               IProblem.DuplicateLabel,
-               new String[] {new String(labelName)},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void anonymousClassCannotExtendFinalClass(Expression expression, TypeBinding type) {
-       this.handle(
-               IProblem.AnonymousClassCannotExtendFinalClass,
-               new String[] {new String(type.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void argumentTypeCannotBeVoid(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, Argument arg) {
-       this.handle(
-               IProblem.ArgumentTypeCannotBeVoid,
-               new String[] {new String(methodDecl.selector), new String(arg.name)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void argumentTypeCannotBeVoidArray(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, Argument arg) {
-       this.handle(
-               IProblem.ArgumentTypeCannotBeVoidArray,
-               new String[] {new String(methodDecl.selector), new String(arg.name)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void argumentTypeProblem(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, Argument arg, TypeBinding expectedType) {
-       int problemId = expectedType.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
+
+       public ProblemReporter(IErrorHandlingPolicy policy,
+                       CompilerOptions options, IProblemFactory problemFactory) {
+
+               // IProblemFactory problemFactory) {
+               super(policy, options, problemFactory); // ), problemFactory);
+       }
+
+       public void abortDueToInternalError(String errorMessage) {
+               String[] arguments = new String[] { errorMessage };
+               this.handle(IProblem.Unclassified, arguments, arguments, Error | Abort,
+                               0, 0);
+       }
+
+       public void abortDueToInternalError(String errorMessage, ASTNode location) {
+               String[] arguments = new String[] { errorMessage };
+               this.handle(IProblem.Unclassified, arguments, arguments, Error | Abort,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void abstractMethodCannotBeOverridden(SourceTypeBinding type,
+                       MethodBinding concreteMethod) {
+               this.handle(
+                               // %1 must be abstract since it cannot override the inherited
+                               // package-private abstract method %2
+                               IProblem.AbstractMethodCannotBeOverridden, new String[] {
+                                               new String(type.sourceName()),
+                                               new String(CharOperation.concat(
+                                                               concreteMethod.declaringClass.readableName(),
+                                                               concreteMethod.readableName(), '.')) },
+                               new String[] {
+                                               new String(type.sourceName()),
+                                               new String(CharOperation.concat(
+                                                               concreteMethod.declaringClass
+                                                                               .shortReadableName(), concreteMethod
+                                                                               .shortReadableName(), '.')) }, type
+                                               .sourceStart(), type.sourceEnd());
+       }
+
+       public void abstractMethodInAbstractClass(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.AbstractMethodInAbstractClass, arguments,
+                               arguments, methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void abstractMethodMustBeImplemented(SourceTypeBinding type,
+                       MethodBinding abstractMethod) {
+               this.handle(
+                               // Must implement the inherited abstract method %1
+                               // 8.4.3 - Every non-abstract subclass of an abstract type, A,
+                               // must provide a concrete implementation of all of A's
+                               // methods.
+                               IProblem.AbstractMethodMustBeImplemented,
+                               new String[] { new String(CharOperation.concat(
+                                               abstractMethod.declaringClass.readableName(),
+                                               abstractMethod.readableName(), '.')) },
+                               new String[] { new String(CharOperation.concat(
+                                               abstractMethod.declaringClass.shortReadableName(),
+                                               abstractMethod.shortReadableName(), '.')) }, type
+                                               .sourceStart(), type.sourceEnd());
+       }
+
+       public void abstractMethodNeedingNoBody(AbstractMethodDeclaration method) {
+               this.handle(IProblem.BodyForAbstractMethod, NoArgument, NoArgument,
+                               method.sourceStart, method.sourceEnd, method, method
+                                               .compilationResult());
+       }
+
+       public void alreadyDefinedLabel(char[] labelName, ASTNode location) {
+               String[] arguments = new String[] { new String(labelName) };
+               this.handle(IProblem.DuplicateLabel, arguments, arguments,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void anonymousClassCannotExtendFinalClass(Expression expression,
+                       TypeBinding type) {
+               this.handle(IProblem.AnonymousClassCannotExtendFinalClass,
+                               new String[] { new String(type.readableName()) },
+                               new String[] { new String(type.shortReadableName()) },
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void argumentTypeCannotBeVoid(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl, Argument arg) {
+               String[] arguments = new String[] { new String(methodDecl.selector),
+                               new String(arg.name) };
+               this.handle(IProblem.ArgumentTypeCannotBeVoid, arguments, arguments,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void argumentTypeCannotBeVoidArray(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl, Argument arg) {
+               String[] arguments = new String[] { new String(methodDecl.selector),
+                               new String(arg.name) };
+               this.handle(IProblem.ArgumentTypeCannotBeVoidArray, arguments,
+                               arguments, methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void argumentTypeProblem(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl, Argument arg,
+                       TypeBinding expectedType) {
+               int problemId = expectedType.problemId();
+               int id;
+               switch (problemId) {
+               case NotFound:
+                       // 1
                        id = IProblem.ArgumentTypeNotFound;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        id = IProblem.ArgumentTypeNotVisible;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        id = IProblem.ArgumentTypeAmbiguous;
                        break;
-               case InternalNameProvided : // 4
+               case InternalNameProvided:
+                       // 4
                        id = IProblem.ArgumentTypeInternalNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName : // 5
+               case InheritedNameHidesEnclosingName:
+                       // 5
                        id = IProblem.ArgumentTypeInheritedNameHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        return;
+               }
+               this.handle(id, new String[] { new String(methodDecl.selector),
+                               arg.name(), new String(expectedType.readableName()) },
+                               new String[] { new String(methodDecl.selector), arg.name(),
+                                               new String(expectedType.shortReadableName()) },
+                               arg.type.sourceStart, arg.type.sourceEnd);
        }
-       this.handle(
-               id,
-               new String[] {new String(methodDecl.selector), arg.name(), new String(expectedType.readableName())},
-               arg.type.sourceStart,
-               arg.type.sourceEnd);
-}
-public void arrayConstantsOnlyInArrayInitializers(int sourceStart, int sourceEnd) {
-       this.handle(
-               IProblem.ArrayConstantsOnlyInArrayInitializers,
-               new String[0],
-               sourceStart,
-               sourceEnd);
-}
-public void attemptToReturnNonVoidExpression(ReturnStatement returnStatement, TypeBinding expectedType) {
-       this.handle(
-               IProblem.VoidMethodReturnsValue,
-               new String[] {new String(expectedType.readableName())},
-               returnStatement.sourceStart,
-               returnStatement.sourceEnd);
-}
-public void attemptToReturnVoidValue(ReturnStatement returnStatement) {
-       this.handle(
-               IProblem.MethodReturnsVoid,
-               new String[] {},
-               returnStatement.sourceStart,
-               returnStatement.sourceEnd);
-}
-public void bytecodeExceeds64KLimit(AbstractMethodDeclaration location) {
-       this.handle(
-               IProblem.BytecodeExceeds64KLimit,
-               new String[] {new String(location.selector)},
-               Error | Abort,
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void bytecodeExceeds64KLimit(TypeDeclaration location) {
-       this.handle(
-               IProblem.BytecodeExceeds64KLimitForClinit,
-               new String[0],
-               Error | Abort,
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void cannotAllocateVoidArray(Expression expression) {
-       this.handle(
-               IProblem.CannotAllocateVoidArray,
-               new String[] {},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void cannotAssignToFinalField(FieldBinding field, AstNode location) {
-       this.handle(
-               IProblem.FinalFieldAssignment,
-               new String[] {
-                       (field.declaringClass == null ? "array" : new String(field.declaringClass.readableName())), //$NON-NLS-1$
-                       new String(field.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void cannotAssignToFinalOuterLocal(LocalVariableBinding local, AstNode location) {
-       this.handle(
-               IProblem.FinalOuterLocalAssignment,
-               new String[] {new String(local.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void cannotDeclareLocalInterface(char[] interfaceName, int sourceStart, int sourceEnd) {
-       this.handle(
-               IProblem.CannotDefineInterfaceInLocalType,
-               new String[] {new String(interfaceName)},
-               sourceStart,
-               sourceEnd);
-}
-public void cannotDefineDimensionsAndInitializer(ArrayAllocationExpression expresssion) {
-       this.handle(
-               IProblem.CannotDefineDimensionExpressionsWithInit,
-               new String[0],
-               expresssion.sourceStart,
-               expresssion.sourceEnd);
-}
-public void cannotDireclyInvokeAbstractMethod(MessageSend messageSend, MethodBinding method) {
-       this.handle(
-               IProblem.DirectInvocationOfAbstractMethod,
-               new String[] {new String(method.declaringClass.readableName()), new String(method.selector), parametersAsString(method)},
-               messageSend.sourceStart,
-               messageSend.sourceEnd);
-}
-public void cannotImportPackage(ImportReference importRef) {
-       this.handle(
-               IProblem.CannotImportPackage,
-               new String[] {CharOperation.toString(importRef.tokens)},
-               importRef.sourceStart,
-               importRef.sourceEnd);
-}
-public void cannotInstantiate(TypeReference typeRef, TypeBinding type) {
-       this.handle(
-               IProblem.InvalidClassInstantiation,
-               new String[] {new String(type.readableName())},
-               typeRef.sourceStart,
-               typeRef.sourceEnd);
-}
-public void cannotReferToNonFinalOuterLocal(LocalVariableBinding local, AstNode location) {
-       this.handle(
-               IProblem.OuterLocalMustBeFinal,
-               new String[] {new String(local.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void cannotReturnInInitializer(AstNode location) {
-       this.handle(
-               IProblem.CannotReturnInInitializer,
-               new String[0],
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void cannotThrowNull(ThrowStatement statement) {
-       this.handle(
-               IProblem.CannotThrowNull,
-               new String[0],
-               statement.sourceStart,
-               statement.sourceEnd);
-}
-public void cannotThrowType(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, TypeReference exceptionType, TypeBinding expectedType) {
-       this.handle(
-               IProblem.CannotThrowType,
-               new String[] {new String(expectedType.readableName())},
-               exceptionType.sourceStart,
-               exceptionType.sourceEnd);
-}
-public void cannotUseSuperInJavaLangObject(AstNode reference) {
-       this.handle(
-               IProblem.ObjectHasNoSuperclass,
-               new String[0],
-               reference.sourceStart,
-               reference.sourceEnd);
-}
-public void cannotUseSuperInCodeSnippet(int start, int end) {
-       this.handle(
-               IProblem.CannotUseSuperInCodeSnippet,
-               new String[0],
-               Error | Abort,
-               start,
-               end);
-}
-public void caseExpressionMustBeConstant(Expression expression) {
-       this.handle(
-               IProblem.NonConstantExpression,
-               new String[0],
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void classExtendFinalClass(SourceTypeBinding type, TypeReference superclass, TypeBinding expectedType) {
-       this.handle(
-               IProblem.ClassExtendFinalClass,
-               new String[] {new String(expectedType.readableName()), new String(type.sourceName())},
-               superclass.sourceStart,
-               superclass.sourceEnd);
-}
-public void codeSnippetMissingClass(String missing, int start, int end) {
-       this.handle(
-               IProblem.CodeSnippetMissingClass,
-               new String[]{ missing },
-               Error | Abort,
-               start,
-               end);
-}
-public void codeSnippetMissingMethod(String className, String missingMethod, String argumentTypes, int start, int end) {
-       this.handle(
-               IProblem.CodeSnippetMissingMethod,
-               new String[]{ className, missingMethod, argumentTypes },
-               Error | Abort,
-               start,
-               end);
-}
-/*
- * Given the current configuration, answers which category the problem
- * falls into:
- *             Error | Warning | Ignore
- */
-public int computeSeverity(int problemId){
-
-       // severity can have been preset on the problem
-//     if ((problem.severity & Fatal) != 0){
-//             return Error;
-//     }
-
-       // if not then check whether it is a configurable problem
-       int errorThreshold = options.errorThreshold;
-       int warningThreshold = options.warningThreshold;
-       
-       switch(problemId){
-
-               case IProblem.UnreachableCatch :
-               case IProblem.CodeCannotBeReached :
-                       if ((errorThreshold & CompilerOptions.UnreachableCode) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.UnreachableCode) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
 
-               case IProblem.MaskedCatch : 
-                       if ((errorThreshold & CompilerOptions.MaskedCatchBlock) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.MaskedCatchBlock) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-                       
-/*
-               case Never Used  :
-                       if ((errorThreshold & ParsingOptionalError) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & ParsingOptionalError) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-*/
-               case IProblem.ImportNotFound :
-               case IProblem.ImportNotVisible :
-               case IProblem.ImportAmbiguous :
-               case IProblem.ImportInternalNameProvided :
-               case IProblem.ImportInheritedNameHidesEnclosingName :
-               case IProblem.DuplicateImport :
-               case IProblem.ConflictingImport :
-               case IProblem.CannotImportPackage :
-                       if ((errorThreshold & CompilerOptions.ImportProblem) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.ImportProblem) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-                       
-               case IProblem.UnusedImport :
-                       // if import problem are disabled, then ignore
-                       if ((errorThreshold & CompilerOptions.ImportProblem) == 0 
-                               && (warningThreshold & CompilerOptions.ImportProblem) == 0){
-                               return Ignore;
-                       }
-                       if ((errorThreshold & CompilerOptions.UnusedImport) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.UnusedImport) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-                       
-/*             
-               case UnnecessaryEnclosingInstanceSpecification :
-                       if ((errorThreshold & UnnecessaryEnclosingInstance) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & UnnecessaryEnclosingInstance) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-*/             
-               case IProblem.MethodButWithConstructorName :
-                       if ((errorThreshold & CompilerOptions.MethodWithConstructorName) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.MethodWithConstructorName) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-               
-               case IProblem.OverridingNonVisibleMethod :
-                       if ((errorThreshold & CompilerOptions.OverriddenPackageDefaultMethod) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.OverriddenPackageDefaultMethod) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-
-               case IProblem.OverridingDeprecatedMethod :                              
-               case IProblem.UsingDeprecatedType :                             
-               case IProblem.UsingDeprecatedMethod :
-               case IProblem.UsingDeprecatedConstructor :
-               case IProblem.UsingDeprecatedField :
-                       if ((errorThreshold & CompilerOptions.UsingDeprecatedAPI) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.UsingDeprecatedAPI) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-               
-               case IProblem.LocalVariableIsNeverUsed :
-                       if ((errorThreshold & CompilerOptions.UnusedLocalVariable) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.UnusedLocalVariable) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-               
-               case IProblem.ArgumentIsNeverUsed :
-                       if ((errorThreshold & CompilerOptions.UnusedArgument) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.UnusedArgument) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
+       public void arrayConstantsOnlyInArrayInitializers(int sourceStart,
+                       int sourceEnd) {
+               this.handle(IProblem.ArrayConstantsOnlyInArrayInitializers, NoArgument,
+                               NoArgument, sourceStart, sourceEnd);
+       }
 
-               case IProblem.NoImplicitStringConversionForCharArrayExpression :
-                       if ((errorThreshold & CompilerOptions.NoImplicitStringConversion) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.NoImplicitStringConversion) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-
-               case IProblem.NeedToEmulateFieldReadAccess :
-               case IProblem.NeedToEmulateFieldWriteAccess :
-               case IProblem.NeedToEmulateMethodAccess :
-               case IProblem.NeedToEmulateConstructorAccess :                  
-                       if ((errorThreshold & CompilerOptions.AccessEmulation) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.AccessEmulation) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-               case IProblem.NonExternalizedStringLiteral :
-                       if ((errorThreshold & CompilerOptions.NonExternalizedString) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.NonExternalizedString) != 0){
-                               return Warning;
-                       }
-                       return Ignore;
-               case IProblem.UseAssertAsAnIdentifier :
-                       if ((errorThreshold & CompilerOptions.AssertUsedAsAnIdentifier) != 0){
-                               return Error;
-                       }
-                       if ((warningThreshold & CompilerOptions.AssertUsedAsAnIdentifier) != 0){
-                               return Warning;
-                       }
-                       return Ignore;          
+       public void assignmentHasNoEffect(Assignment assignment, char[] name) {
+               String[] arguments = new String[] { new String(name) };
+               this.handle(IProblem.AssignmentHasNoEffect, arguments, arguments,
+                               assignment.sourceStart, assignment.sourceEnd);
+       }
+
+       public void attemptToReturnNonVoidExpression(
+                       ReturnStatement returnStatement, TypeBinding expectedType) {
+               this.handle(IProblem.VoidMethodReturnsValue, new String[] { new String(
+                               expectedType.readableName()) }, new String[] { new String(
+                               expectedType.shortReadableName()) },
+                               returnStatement.sourceStart, returnStatement.sourceEnd);
+       }
+
+       public void attemptToReturnVoidValue(ReturnStatement returnStatement) {
+               this.handle(IProblem.MethodReturnsVoid, NoArgument, NoArgument,
+                               returnStatement.sourceStart, returnStatement.sourceEnd);
+       }
+
+       // public void bytecodeExceeds64KLimit(AbstractMethodDeclaration location)
+       // {
+       // String[] arguments = new String[] {new String(location.selector),
+       // parametersAsString(location.binding)};
+       // if (location.isConstructor()) {
+       // this.handle(
+       // IProblem.BytecodeExceeds64KLimitForConstructor,
+       // arguments,
+       // arguments,
+       // Error | Abort,
+       // location.sourceStart,
+       // location.sourceEnd);
+       // } else {
+       // this.handle(
+       // IProblem.BytecodeExceeds64KLimit,
+       // arguments,
+       // arguments,
+       // Error | Abort,
+       // location.sourceStart,
+       // location.sourceEnd);
+       // }
+       // }
+       public void bytecodeExceeds64KLimit(TypeDeclaration location) {
+               this.handle(IProblem.BytecodeExceeds64KLimitForClinit, NoArgument,
+                               NoArgument, Error | Abort, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void cannotAllocateVoidArray(Expression expression) {
+               this.handle(IProblem.CannotAllocateVoidArray, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void cannotAssignToFinalField(FieldBinding field, ASTNode location) {
+               this
+                               .handle(
+                                               IProblem.FinalFieldAssignment,
+                                               new String[] {
+                                                               (field.declaringClass == null ? "array" : new String(field.declaringClass.readableName())), //$NON-NLS-1$
+                                                               new String(field.readableName()) },
+                                               new String[] {
+                                                               (field.declaringClass == null ? "array" : new String(field.declaringClass.shortReadableName())), //$NON-NLS-1$
+                                                               new String(field.shortReadableName()) },
+                                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void cannotAssignToFinalLocal(LocalVariableBinding local,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(local.readableName()) };
+               this.handle(IProblem.NonBlankFinalLocalAssignment, arguments,
+                               arguments, location.sourceStart, location.sourceEnd);
+       }
+
+       public void cannotAssignToFinalOuterLocal(LocalVariableBinding local,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(local.readableName()) };
+               this.handle(IProblem.FinalOuterLocalAssignment, arguments, arguments,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void cannotDeclareLocalInterface(char[] interfaceName,
+                       int sourceStart, int sourceEnd) {
+               String[] arguments = new String[] { new String(interfaceName) };
+               this.handle(IProblem.CannotDefineInterfaceInLocalType, arguments,
+                               arguments, sourceStart, sourceEnd);
+       }
+
+       public void cannotDefineDimensionsAndInitializer(
+                       ArrayAllocationExpression expresssion) {
+               this.handle(IProblem.CannotDefineDimensionExpressionsWithInit,
+                               NoArgument, NoArgument, expresssion.sourceStart,
+                               expresssion.sourceEnd);
+       }
+
+       public void cannotDireclyInvokeAbstractMethod(MessageSend messageSend,
+                       MethodBinding method) {
+               this.handle(IProblem.DirectInvocationOfAbstractMethod, new String[] {
+                               new String(method.declaringClass.readableName()),
+                               new String(method.selector), parametersAsString(method) },
+                               new String[] {
+                                               new String(method.declaringClass.shortReadableName()),
+                                               new String(method.selector),
+                                               parametersAsShortString(method) },
+                               messageSend.sourceStart, messageSend.sourceEnd);
+       }
+
+       // public void cannotImportPackage(ImportReference importRef) {
+       // String[] arguments = new
+       // String[]{CharOperation.toString(importRef.tokens)};
+       // this.handle(IProblem.CannotImportPackage, arguments, arguments,
+       // importRef.sourceStart, importRef.sourceEnd);
+       // }
+       public void cannotInstantiate(TypeReference typeRef, TypeBinding type) {
+               this.handle(IProblem.InvalidClassInstantiation,
+                               new String[] { new String(type.readableName()) },
+                               new String[] { new String(type.shortReadableName()) },
+                               typeRef.sourceStart, typeRef.sourceEnd);
+       }
+
+       public void cannotReferToNonFinalOuterLocal(LocalVariableBinding local,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(local.readableName()) };
+               this.handle(IProblem.OuterLocalMustBeFinal, arguments, arguments,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void cannotReturnInInitializer(ASTNode location) {
+               this.handle(IProblem.CannotReturnInInitializer, NoArgument, NoArgument,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void cannotThrowNull(ThrowStatement statement) {
+               this.handle(IProblem.CannotThrowNull, NoArgument, NoArgument,
+                               statement.sourceStart, statement.sourceEnd);
+       }
+
+       public void cannotThrowType(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl, TypeReference exceptionType,
+                       TypeBinding expectedType) {
+               this.handle(IProblem.CannotThrowType, new String[] { new String(
+                               expectedType.readableName()) }, new String[] { new String(
+                               expectedType.shortReadableName()) }, exceptionType.sourceStart,
+                               exceptionType.sourceEnd);
+       }
+
+       public void cannotUseSuperInJavaLangObject(ASTNode reference) {
+               this.handle(IProblem.ObjectHasNoSuperclass, NoArgument, NoArgument,
+                               reference.sourceStart, reference.sourceEnd);
+       }
+
+       public void cannotUseSuperInCodeSnippet(int start, int end) {
+               this.handle(IProblem.CannotUseSuperInCodeSnippet, NoArgument,
+                               NoArgument, Error | Abort, start, end);
+       }
+
+       public void caseExpressionMustBeConstant(Expression expression) {
+               this.handle(IProblem.NonConstantExpression, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void classExtendFinalClass(SourceTypeBinding type,
+                       TypeReference superclass, TypeBinding expectedType) {
+               String name = new String(type.sourceName());
+               String expectedFullName = new String(expectedType.readableName());
+               String expectedShortName = new String(expectedType.shortReadableName());
+               if (expectedShortName.equals(name))
+                       expectedShortName = expectedFullName;
+               this.handle(IProblem.ClassExtendFinalClass, new String[] {
+                               expectedFullName, name }, new String[] { expectedShortName,
+                               name }, superclass.sourceStart, superclass.sourceEnd);
+       }
+
+       public void codeSnippetMissingClass(String missing, int start, int end) {
+               String[] arguments = new String[] { missing };
+               this.handle(IProblem.CodeSnippetMissingClass, arguments, arguments,
+                               Error | Abort, start, end);
+       }
+
+       public void codeSnippetMissingMethod(String className,
+                       String missingMethod, String argumentTypes, int start, int end) {
+               String[] arguments = new String[] { className, missingMethod,
+                               argumentTypes };
+               this.handle(IProblem.CodeSnippetMissingMethod, arguments, arguments,
+                               Error | Abort, start, end);
+       }
+
+       /*
+        * Given the current configuration, answers which category the problem falls
+        * into: Error | Warning | Ignore
+        */
+       public int computeSeverity(int problemId) {
+
+               // severity can have been preset on the problem
+               // if ((problem.severity & Fatal) != 0){
+               // return Error;
+               // }
+
+               // if not then check whether it is a configurable problem
+               switch (problemId) {
+               case IProblem.PHPIncludeNotExistWarning:
+                       return this.options
+                                       .getSeverity(CompilerOptions.PHPIncludeNotExistWarning);
+               case IProblem.PHPVarDeprecatedWarning:
+                       return this.options
+                                       .getSeverity(CompilerOptions.PHPVarDeprecatedWarning);
+               case IProblem.PHPBadStyleKeywordWarning:
+                       return this.options
+                                       .getSeverity(CompilerOptions.PHPBadStyleKeywordWarning);
+               case IProblem.PHPBadStyleUppercaseIdentifierWarning:
+                       return this.options
+                                       .getSeverity(CompilerOptions.PHPBadStyleUppercaseIdentifierWarning);
+
+               case IProblem.UninitializedLocalVariable:
+                       return this.options
+                                       .getSeverity(CompilerOptions.UninitializedLocalVariableWarning);
+               case IProblem.CodeCannotBeReached:
+                       return this.options
+                                       .getSeverity(CompilerOptions.CodeCannotBeReachedWarning);
+
+               case IProblem.MaskedCatch:
+                       return this.options.getSeverity(CompilerOptions.MaskedCatchBlock);
+
+               case IProblem.UnusedImport:
+                       return this.options.getSeverity(CompilerOptions.UnusedImport);
+
+               case IProblem.MethodButWithConstructorName:
+                       return this.options
+                                       .getSeverity(CompilerOptions.MethodWithConstructorName);
+
+               case IProblem.OverridingNonVisibleMethod:
+                       return this.options
+                                       .getSeverity(CompilerOptions.OverriddenPackageDefaultMethod);
+
+               case IProblem.IncompatibleReturnTypeForNonInheritedInterfaceMethod:
+               case IProblem.IncompatibleExceptionInThrowsClauseForNonInheritedInterfaceMethod:
+                       return this.options
+                                       .getSeverity(CompilerOptions.IncompatibleNonInheritedInterfaceMethod);
+
+               case IProblem.OverridingDeprecatedMethod:
+               case IProblem.UsingDeprecatedType:
+               case IProblem.UsingDeprecatedMethod:
+               case IProblem.UsingDeprecatedConstructor:
+               case IProblem.UsingDeprecatedField:
+                       return this.options.getSeverity(CompilerOptions.UsingDeprecatedAPI);
+
+               case IProblem.LocalVariableIsNeverUsed:
+                       return this.options
+                                       .getSeverity(CompilerOptions.UnusedLocalVariable);
+
+               case IProblem.ArgumentIsNeverUsed:
+                       return this.options.getSeverity(CompilerOptions.UnusedArgument);
+
+               case IProblem.NoImplicitStringConversionForCharArrayExpression:
+                       return this.options
+                                       .getSeverity(CompilerOptions.NoImplicitStringConversion);
+
+               case IProblem.NeedToEmulateFieldReadAccess:
+               case IProblem.NeedToEmulateFieldWriteAccess:
+               case IProblem.NeedToEmulateMethodAccess:
+               case IProblem.NeedToEmulateConstructorAccess:
+                       return this.options.getSeverity(CompilerOptions.AccessEmulation);
+
+               case IProblem.NonExternalizedStringLiteral:
+                       return this.options
+                                       .getSeverity(CompilerOptions.NonExternalizedString);
+
+               case IProblem.UseAssertAsAnIdentifier:
+                       return this.options
+                                       .getSeverity(CompilerOptions.AssertUsedAsAnIdentifier);
+
+               case IProblem.NonStaticAccessToStaticMethod:
+               case IProblem.NonStaticAccessToStaticField:
+                       return this.options
+                                       .getSeverity(CompilerOptions.NonStaticAccessToStatic);
+
+                       // case IProblem.IndirectAccessToStaticMethod :
+                       // case IProblem.IndirectAccessToStaticField :
+                       // case IProblem.IndirectAccessToStaticType :
+                       // return
+                       // this.options.getSeverity(CompilerOptions.IndirectStaticAccess);
+
+               case IProblem.AssignmentHasNoEffect:
+                       return this.options.getSeverity(CompilerOptions.NoEffectAssignment);
+
+               case IProblem.UnusedPrivateConstructor:
+               case IProblem.UnusedPrivateMethod:
+               case IProblem.UnusedPrivateField:
+               case IProblem.UnusedPrivateType:
+                       return this.options
+                                       .getSeverity(CompilerOptions.UnusedPrivateMember);
+
+               case IProblem.Task:
+                       return Warning;
+
+                       // case IProblem.LocalVariableHidingLocalVariable:
+                       // case IProblem.LocalVariableHidingField:
+                       // case IProblem.ArgumentHidingLocalVariable:
+                       // case IProblem.ArgumentHidingField:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.LocalVariableHiding);
+
+                       // case IProblem.FieldHidingLocalVariable:
+                       // case IProblem.FieldHidingField:
+                       // return this.options.getSeverity(CompilerOptions.FieldHiding);
+
+                       // case IProblem.PossibleAccidentalBooleanAssignment:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.AccidentalBooleanAssign);
+
+                       // case IProblem.SuperfluousSemicolon:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.SuperfluousSemicolon);
+                       //
+                       // case IProblem.UndocumentedEmptyBlock:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.UndocumentedEmptyBlock);
+                       //                      
+                       // case IProblem.UnnecessaryCast:
+                       // case IProblem.UnnecessaryArgumentCast:
+                       // case IProblem.UnnecessaryInstanceof:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.UnnecessaryTypeCheck);
+                       //                      
+                       // case IProblem.FinallyMustCompleteNormally:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.FinallyBlockNotCompleting);
+                       //                      
+                       // case IProblem.UnusedMethodDeclaredThrownException:
+                       // case IProblem.UnusedConstructorDeclaredThrownException:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.UnusedDeclaredThrownException);
+                       //
+                       // case IProblem.UnqualifiedFieldAccess:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.UnqualifiedFieldAccess);
+
+                       /*
+                        * Javadoc syntax errors
+                        */
+                       // Javadoc explicit IDs
+                       // case IProblem.JavadocUnexpectedTag:
+                       // case IProblem.JavadocDuplicateReturnTag:
+                       // case IProblem.JavadocInvalidThrowsClass:
+                       // case IProblem.JavadocInvalidSeeReference:
+                       // case IProblem.JavadocInvalidSeeHref:
+                       // case IProblem.JavadocInvalidSeeArgs:
+                       // case IProblem.JavadocInvalidTag:
+                       // return this.options.getSeverity(CompilerOptions.InvalidJavadoc);
+                       /*
+                        * Javadoc tags resolved references errors
+                        */
+                       // case IProblem.JavadocInvalidParamName:
+                       // case IProblem.JavadocDuplicateParamName:
+                       // case IProblem.JavadocMissingParamName:
+                       // case IProblem.JavadocInvalidThrowsClassName:
+                       // case IProblem.JavadocDuplicateThrowsClassName:
+                       // case IProblem.JavadocMissingThrowsClassName:
+                       // case IProblem.JavadocMissingSeeReference:
+                       // case IProblem.JavadocUsingDeprecatedField:
+                       // case IProblem.JavadocUsingDeprecatedConstructor:
+                       // case IProblem.JavadocUsingDeprecatedMethod:
+                       // case IProblem.JavadocUsingDeprecatedType:
+                       // case IProblem.JavadocUndefinedField:
+                       // case IProblem.JavadocNotVisibleField:
+                       // case IProblem.JavadocAmbiguousField:
+                       // case IProblem.JavadocUndefinedConstructor:
+                       // case IProblem.JavadocNotVisibleConstructor:
+                       // case IProblem.JavadocAmbiguousConstructor:
+                       // case IProblem.JavadocUndefinedMethod:
+                       // case IProblem.JavadocNotVisibleMethod:
+                       // case IProblem.JavadocAmbiguousMethod:
+                       // case IProblem.JavadocParameterMismatch:
+                       // case IProblem.JavadocUndefinedType:
+                       // case IProblem.JavadocNotVisibleType:
+                       // case IProblem.JavadocAmbiguousType:
+                       // case IProblem.JavadocInternalTypeNameProvided:
+                       // case IProblem.JavadocNoMessageSendOnArrayType:
+                       // case IProblem.JavadocNoMessageSendOnBaseType:
+                       // if (!this.options.reportInvalidJavadocTags)
+                       // return ProblemSeverities.Ignore;
+                       // else
+                       // return this.options.getSeverity(CompilerOptions.InvalidJavadoc);
+                       /*
+                        * Javadoc missing tags errors
+                        */
+                       // case IProblem.JavadocMissingParamTag:
+                       // case IProblem.JavadocMissingReturnTag:
+                       // case IProblem.JavadocMissingThrowsTag:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.MissingJavadocTags);
+                       /*
+                        * Missing Javadoc errors
+                        */
+                       // case IProblem.JavadocMissing:
+                       // return
+                       // this.options.getSeverity(CompilerOptions.MissingJavadocComments);
+                       // by default problems are errors.
                default:
                        return Error;
+               }
        }
-}
-public void conditionalArgumentsIncompatibleTypes(ConditionalExpression expression, TypeBinding trueType, TypeBinding falseType) {
-       this.handle(
-               IProblem.IncompatibleTypesInConditionalOperator,
-               new String[] {new String(trueType.readableName()), new String(falseType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void conflictingImport(ImportReference importRef) {
-       this.handle(
-               IProblem.ConflictingImport,
-               new String[] {CharOperation.toString(importRef.tokens)},
-               importRef.sourceStart,
-               importRef.sourceEnd);
-}
-public void constantOutOfFormat(NumberLiteral lit) {
-       // the literal is not in a correct format
-       // this code is called on IntLiteral and LongLiteral 
-       // example 000811 ...the 8 is uncorrect.
-
-       if ((lit instanceof LongLiteral) || (lit instanceof IntLiteral)) {
-               char[] source = lit.source();
-               try {
-                       final String Radix;
-                       final int radix;
-                       if ((source[1] == 'x') || (source[1] == 'X')) {
-                               radix = 16;
-                               Radix = "Hexa"; //$NON-NLS-1$
-                       } else {
-                               radix = 8;
-                               Radix = "Octal"; //$NON-NLS-1$
-                       }
-                       //look for the first digit that is incorrect
-                       int place = -1;
-                       label : for (int i = radix == 8 ? 1 : 2; i < source.length; i++) {
-                               if (Character.digit(source[i], radix) == -1) {
-                                       place = i;
-                                       break label;
+
+       // public void conditionalArgumentsIncompatibleTypes(ConditionalExpression
+       // expression, TypeBinding trueType, TypeBinding falseType) {
+       // this.handle(
+       // IProblem.IncompatibleTypesInConditionalOperator,
+       // new String[] {new String(trueType.readableName()), new
+       // String(falseType.readableName())},
+       // new String[] {new String(trueType.sourceName()), new
+       // String(falseType.sourceName())},
+       // expression.sourceStart,
+       // expression.sourceEnd);
+       // }
+       // public void conflictingImport(ImportReference importRef) {
+       // String[] arguments = new
+       // String[]{CharOperation.toString(importRef.tokens)};
+       // this.handle(IProblem.ConflictingImport, arguments, arguments,
+       // importRef.sourceStart, importRef.sourceEnd);
+       // }
+       public void constantOutOfFormat(NumberLiteral lit) {
+               // the literal is not in a correct format
+               // this code is called on IntLiteral and LongLiteral
+               // example 000811 ...the 8 is uncorrect.
+               if ((lit instanceof LongLiteral) || (lit instanceof IntLiteral)) {
+                       char[] source = lit.source();
+                       try {
+                               final String Radix;
+                               final int radix;
+                               if ((source[1] == 'x') || (source[1] == 'X')) {
+                                       radix = 16;
+                                       Radix = "Hexa"; //$NON-NLS-1$
+                               } else {
+                                       radix = 8;
+                                       Radix = "Octal"; //$NON-NLS-1$
                                }
+                               // look for the first digit that is incorrect
+                               int place = -1;
+                               label: for (int i = radix == 8 ? 1 : 2; i < source.length; i++) {
+                                       if (Character.digit(source[i], radix) == -1) {
+                                               place = i;
+                                               break label;
+                                       }
+                               }
+                               String[] arguments = new String[] { Radix
+                                               + " "
+                                               + new String(source)
+                                               + " (digit " + new String(new char[] { source[place] }) + ")" }; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
+                               this.handle(IProblem.NumericValueOutOfRange, arguments,
+                                               arguments, lit.sourceStart, lit.sourceEnd);
+                               return;
+                       } catch (IndexOutOfBoundsException ex) {
                        }
+                       // just in case .... use a predefined error..
+                       // we should never come here...(except if the code changes !)
+                       this.constantOutOfRange(lit);
+               }
+       }
 
-                       this.handle(
-                               IProblem.NumericValueOutOfRange,
-                               new String[] {Radix + " " + new String(source) + " (digit " + new String(new char[] {source[place]}) + ")"}, //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
-                               lit.sourceStart,
-                               lit.sourceEnd);
-                       return;
-               } catch (IndexOutOfBoundsException ex) {}
-       
-               // just in case .... use a predefined error..
-               // we should never come here...(except if the code changes !)
-               this.constantOutOfRange(lit);
-       }
-}
-public void constantOutOfRange(Literal lit) {
-       // lit is some how out of range of it declared type
-       // example 9999999999999999999999999999999999999999999999999999999999999999999
-
-       this.handle(
-               IProblem.NumericValueOutOfRange,
-               new String[] {new String(lit.source())},
-               lit.sourceStart,
-               lit.sourceEnd);
-}
-public void deprecatedField(FieldBinding field, AstNode location) {
-       this.handle(
-               IProblem.UsingDeprecatedField,
-               new String[] {new String(field.declaringClass.readableName()), new String(field.name)},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void deprecatedMethod(MethodBinding method, AstNode location) {
-       if (method.isConstructor())
-               this.handle(
-                       IProblem.UsingDeprecatedConstructor,
-                       new String[] {new String(method.declaringClass.readableName()), parametersAsString(method)},
-                       location.sourceStart,
-                       location.sourceEnd);
-       else
-               this.handle(
-                       IProblem.UsingDeprecatedMethod,
-                       new String[] {new String(method.declaringClass.readableName()), new String(method.selector), parametersAsString(method)},
-                       location.sourceStart,
-                       location.sourceEnd);
-}
-public void deprecatedType(TypeBinding type, AstNode location) {
-       if (location == null) return; // 1G828DN - no type ref for synthetic arguments
-       this.handle(
-               IProblem.UsingDeprecatedType,
-               new String[] {new String(type.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void duplicateCase(Case statement, Constant constant) {
-       this.handle(
-               IProblem.DuplicateCase,
-               new String[] {String.valueOf(constant.intValue())},
-               statement.sourceStart,
-               statement.sourceEnd);
-}
-public void duplicateDefaultCase(DefaultCase statement) {
-       this.handle(
-               IProblem.DuplicateDefaultCase,
-               new String[0],
-               statement.sourceStart,
-               statement.sourceEnd);
-}
-public void duplicateFieldInType(SourceTypeBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.DuplicateField,
-               new String[] {new String(type.sourceName()), fieldDecl.name()},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void duplicateImport(ImportReference importRef) {
-       this.handle(
-               IProblem.DuplicateImport,
-               new String[] {CharOperation.toString(importRef.tokens)},
-               importRef.sourceStart,
-               importRef.sourceEnd);
-}
-public void duplicateInitializationOfBlankFinalField(FieldBinding field, Reference reference) {
-       this.handle(
-               IProblem.DuplicateBlankFinalFieldInitialization,
-               new String[] {new String(field.readableName())},
-               reference.sourceStart,
-               reference.sourceEnd);
-}
-public void duplicateInitializationOfFinalLocal(LocalVariableBinding local, NameReference reference) {
-       this.handle(
-               IProblem.DuplicateFinalLocalInitialization,
-               new String[] {new String(local.readableName())},
-               reference.sourceStart,
-               reference.sourceEnd);
-}
-public void duplicateMethodInType(SourceTypeBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.DuplicateMethod,
-               new String[] {new String(methodDecl.selector), new String(type.sourceName())},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void duplicateModifierForField(ReferenceBinding type, FieldDeclaration fieldDecl) {
-/* to highlight modifiers use:
-       this.handle(
-               new Problem(
-                       DuplicateModifierForField,
-                       new String[] {fieldDecl.name()},
-                       fieldDecl.modifiers.sourceStart,
-                       fieldDecl.modifiers.sourceEnd));
-*/
-
-       this.handle(
-               IProblem.DuplicateModifierForField,
-               new String[] {fieldDecl.name()},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void duplicateModifierForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.DuplicateModifierForMethod,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void duplicateModifierForType(SourceTypeBinding type) {
-       this.handle(
-               IProblem.DuplicateModifierForType,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void duplicateModifierForVariable(LocalDeclaration localDecl, boolean complainForArgument) {
-       this.handle(
-               complainForArgument
-                       ?  IProblem.DuplicateModifierForArgument 
-                       : IProblem.DuplicateModifierForVariable,
-               new String[] {localDecl.name()},
-               localDecl.sourceStart,
-               localDecl.sourceEnd);
-}
-public void duplicateNestedType(TypeDeclaration typeDecl) {
-       this.handle(
-               IProblem.DuplicateNestedType,
-               new String[] {new String(typeDecl.name)},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd);
-}
-public void duplicateSuperinterface(SourceTypeBinding type, TypeDeclaration typeDecl, ReferenceBinding superType) {
-       this.handle(
-               IProblem.DuplicateSuperInterface,
-               new String[] {
-                       new String(superType.readableName()),
-                       new String(type.sourceName())},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd);
-}
-public void duplicateTypes(CompilationUnitDeclaration compUnitDecl, TypeDeclaration typeDecl) {
-       this.referenceContext = typeDecl; // report the problem against the type not the entire compilation unit
-       this.handle(
-               IProblem.DuplicateTypes,
-               new String[] {new String(compUnitDecl.getFileName()), new String(typeDecl.name)},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd,
-               compUnitDecl.compilationResult);
-}
-public void errorNoMethodFor(MessageSend messageSend, TypeBinding recType, TypeBinding[] params) {
-       StringBuffer buffer = new StringBuffer();
-       for (int i = 0, length = params.length; i < length; i++) {
-               if (i != 0)
-                       buffer.append(", "); //$NON-NLS-1$
-               buffer.append(new String(params[i].readableName()));
-       }
-
-       this.handle(
-               recType.isArrayType() ? IProblem.NoMessageSendOnArrayType : IProblem.NoMessageSendOnBaseType,
-               new String[] {new String(recType.readableName()), new String(messageSend.selector), buffer.toString()},
-               messageSend.sourceStart,
-               messageSend.sourceEnd);
-}
-public void errorThisSuperInStatic(AstNode reference) {
-       this.handle(
-               IProblem.ThisInStaticContext,
-               new String[] {reference.isSuper() ? "super" : "this"}, //$NON-NLS-2$ //$NON-NLS-1$
-               reference.sourceStart,
-               reference.sourceEnd);
-}
-public void exceptionTypeProblem(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, TypeReference exceptionType, TypeBinding expectedType) {
-       int problemId = expectedType.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
+       public void constantOutOfRange(Literal lit) {
+               // lit is some how out of range of it declared type
+               // example
+               // 9999999999999999999999999999999999999999999999999999999999999999999
+               String[] arguments = new String[] { new String(lit.source()) };
+               this.handle(IProblem.NumericValueOutOfRange, arguments, arguments,
+                               lit.sourceStart, lit.sourceEnd);
+       }
+
+       public void deprecatedField(FieldBinding field, ASTNode location) {
+               this.handle(IProblem.UsingDeprecatedField, new String[] {
+                               new String(field.declaringClass.readableName()),
+                               new String(field.name) }, new String[] {
+                               new String(field.declaringClass.shortReadableName()),
+                               new String(field.name) }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void deprecatedMethod(MethodBinding method, ASTNode location) {
+               if (method.isConstructor())
+                       this.handle(IProblem.UsingDeprecatedConstructor, new String[] {
+                                       new String(method.declaringClass.readableName()),
+                                       parametersAsString(method) }, new String[] {
+                                       new String(method.declaringClass.shortReadableName()),
+                                       parametersAsShortString(method) }, location.sourceStart,
+                                       location.sourceEnd);
+               else
+                       this.handle(IProblem.UsingDeprecatedMethod, new String[] {
+                                       new String(method.declaringClass.readableName()),
+                                       new String(method.selector), parametersAsString(method) },
+                                       new String[] {
+                                                       new String(method.declaringClass
+                                                                       .shortReadableName()),
+                                                       new String(method.selector),
+                                                       parametersAsShortString(method) },
+                                       location.sourceStart, location.sourceEnd);
+       }
+
+       public void deprecatedType(TypeBinding type, ASTNode location) {
+               if (location == null)
+                       return; // 1G828DN - no type ref for synthetic arguments
+               this.handle(IProblem.UsingDeprecatedType, new String[] { new String(
+                               type.readableName()) }, new String[] { new String(type
+                               .shortReadableName()) }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void duplicateCase(CaseStatement statement, Constant constant) {
+               String[] arguments = new String[] { String.valueOf(constant.intValue()) };
+               this.handle(IProblem.DuplicateCase, arguments, arguments,
+                               statement.sourceStart, statement.sourceEnd);
+       }
+
+       public void duplicateDefaultCase(DefaultCase statement) {
+               this.handle(IProblem.DuplicateDefaultCase, NoArgument, NoArgument,
+                               statement.sourceStart, statement.sourceEnd);
+       }
+
+       public void duplicateFieldInType(SourceTypeBinding type,
+                       FieldDeclaration fieldDecl) {
+               this.handle(IProblem.DuplicateField, new String[] {
+                               new String(type.sourceName()), fieldDecl.name() },
+                               new String[] { new String(type.shortReadableName()),
+                                               fieldDecl.name() }, fieldDecl.sourceStart,
+                               fieldDecl.sourceEnd);
+       }
+
+       // public void duplicateImport(ImportReference importRef) {
+       // String[] arguments = new
+       // String[]{CharOperation.toString(importRef.tokens)};
+       // this.handle(IProblem.DuplicateImport, arguments, arguments,
+       // importRef.sourceStart, importRef.sourceEnd);
+       // }
+       public void duplicateInitializationOfBlankFinalField(FieldBinding field,
+                       Reference reference) {
+               String[] arguments = new String[] { new String(field.readableName()) };
+               this.handle(IProblem.DuplicateBlankFinalFieldInitialization, arguments,
+                               arguments, reference.sourceStart, reference.sourceEnd);
+       }
+
+       public void duplicateInitializationOfFinalLocal(LocalVariableBinding local,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(local.readableName()) };
+               this.handle(IProblem.DuplicateFinalLocalInitialization, arguments,
+                               arguments, location.sourceStart, location.sourceEnd);
+       }
+
+       public void duplicateMethodInType(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(methodDecl.selector),
+                               new String(type.sourceName()) };
+               this.handle(IProblem.DuplicateMethod, arguments, arguments,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void duplicateModifierForField(ReferenceBinding type,
+                       FieldDeclaration fieldDecl) {
+               /*
+                * to highlight modifiers use: this.handle( new Problem(
+                * DuplicateModifierForField, new String[] {fieldDecl.name()},
+                * fieldDecl.modifiers.sourceStart, fieldDecl.modifiers.sourceEnd));
+                */
+               String[] arguments = new String[] { fieldDecl.name() };
+               this.handle(IProblem.DuplicateModifierForField, arguments, arguments,
+                               fieldDecl.sourceStart, fieldDecl.sourceEnd);
+       }
+
+       public void duplicateModifierForMethod(ReferenceBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               this.handle(IProblem.DuplicateModifierForMethod,
+                               new String[] { new String(type.sourceName()),
+                                               new String(methodDecl.selector) }, new String[] {
+                                               new String(type.shortReadableName()),
+                                               new String(methodDecl.selector) },
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void duplicateModifierForType(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.DuplicateModifierForType, arguments, arguments,
+                               type.sourceStart(), type.sourceEnd());
+       }
+
+       public void duplicateModifierForVariable(LocalDeclaration localDecl,
+                       boolean complainForArgument) {
+               String[] arguments = new String[] { localDecl.name() };
+               this.handle(complainForArgument ? IProblem.DuplicateModifierForArgument
+                               : IProblem.DuplicateModifierForVariable, arguments, arguments,
+                               localDecl.sourceStart, localDecl.sourceEnd);
+       }
+
+       public void duplicateNestedType(TypeDeclaration typeDecl) {
+               String[] arguments = new String[] { new String(typeDecl.name) };
+               this.handle(IProblem.DuplicateNestedType, arguments, arguments,
+                               typeDecl.sourceStart, typeDecl.sourceEnd);
+       }
+
+       public void duplicateSuperinterface(SourceTypeBinding type,
+                       TypeDeclaration typeDecl, ReferenceBinding superType) {
+               this.handle(IProblem.DuplicateSuperInterface, new String[] {
+                               new String(superType.readableName()),
+                               new String(type.sourceName()) }, new String[] {
+                               new String(superType.shortReadableName()),
+                               new String(type.sourceName()) }, typeDecl.sourceStart,
+                               typeDecl.sourceEnd);
+       }
+
+       public void duplicateTypes(CompilationUnitDeclaration compUnitDecl,
+                       TypeDeclaration typeDecl) {
+               String[] arguments = new String[] {
+                               new String(compUnitDecl.getFileName()),
+                               new String(typeDecl.name) };
+               this.referenceContext = typeDecl; // report the problem against the
+               // type not the entire compilation
+               // unit
+               this.handle(IProblem.DuplicateTypes, arguments, arguments,
+                               typeDecl.sourceStart, typeDecl.sourceEnd,
+                               compUnitDecl.compilationResult);
+       }
+
+       public void errorNoMethodFor(MessageSend messageSend, TypeBinding recType,
+                       TypeBinding[] params) {
+               StringBuffer buffer = new StringBuffer();
+               StringBuffer shortBuffer = new StringBuffer();
+               for (int i = 0, length = params.length; i < length; i++) {
+                       if (i != 0) {
+                               buffer.append(", "); //$NON-NLS-1$
+                               shortBuffer.append(", "); //$NON-NLS-1$
+                       }
+                       buffer.append(new String(params[i].readableName()));
+                       shortBuffer.append(new String(params[i].shortReadableName()));
+               }
+               this.handle(recType.isArrayType() ? IProblem.NoMessageSendOnArrayType
+                               : IProblem.NoMessageSendOnBaseType, new String[] {
+                               new String(recType.readableName()),
+                               new String(messageSend.selector), buffer.toString() },
+                               new String[] { new String(recType.shortReadableName()),
+                                               new String(messageSend.selector),
+                                               shortBuffer.toString() }, messageSend.sourceStart,
+                               messageSend.sourceEnd);
+       }
+
+       public void errorThisSuperInStatic(ASTNode reference) {
+               String[] arguments = new String[] { reference.isSuper() ? "super" : "this" }; //$NON-NLS-2$ //$NON-NLS-1$
+               this.handle(IProblem.ThisInStaticContext, arguments, arguments,
+                               reference.sourceStart, reference.sourceEnd);
+       }
+
+       public void exceptionTypeProblem(SourceTypeBinding type,
+                       AbstractMethodDeclaration methodDecl, TypeReference exceptionType,
+                       TypeBinding expectedType) {
+               int problemId = expectedType.problemId();
+               int id;
+               switch (problemId) {
+               case NotFound:
+                       // 1
                        id = IProblem.ExceptionTypeNotFound;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        id = IProblem.ExceptionTypeNotVisible;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        id = IProblem.ExceptionTypeAmbiguous;
                        break;
-               case InternalNameProvided : // 4
+               case InternalNameProvided:
+                       // 4
                        id = IProblem.ExceptionTypeInternalNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName : // 5
+               case InheritedNameHidesEnclosingName:
+                       // 5
                        id = IProblem.ExceptionTypeInheritedNameHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        return;
+               }
+               this.handle(id, new String[] { new String(methodDecl.selector),
+                               new String(expectedType.readableName()) }, new String[] {
+                               new String(methodDecl.selector),
+                               new String(expectedType.shortReadableName()) },
+                               exceptionType.sourceStart, exceptionType.sourceEnd);
+       }
+
+       public void expressionShouldBeAVariable(Expression expression) {
+               this.handle(IProblem.ExpressionShouldBeAVariable, NoArgument,
+                               NoArgument, expression.sourceStart, expression.sourceEnd);
        }
-       this.handle(
-               id,
-               new String[] {new String(methodDecl.selector), new String(expectedType.readableName())},
-               exceptionType.sourceStart,
-               exceptionType.sourceEnd);
-}
-public void fieldsOrThisBeforeConstructorInvocation(ThisReference reference) {
-       this.handle(
-               IProblem.ThisSuperDuringConstructorInvocation,
-               new String[0],
-               reference.sourceStart,
-               reference.sourceEnd);
-}
-public void fieldTypeProblem(SourceTypeBinding type, FieldDeclaration fieldDecl, TypeBinding expectedType) {
-       int problemId = expectedType.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
+
+       public void fieldsOrThisBeforeConstructorInvocation(ThisReference reference) {
+               this.handle(IProblem.ThisSuperDuringConstructorInvocation, NoArgument,
+                               NoArgument, reference.sourceStart, reference.sourceEnd);
+       }
+
+       public void fieldTypeProblem(SourceTypeBinding type,
+                       FieldDeclaration fieldDecl, TypeBinding expectedType) {
+               int problemId = expectedType.problemId();
+               int id;
+               switch (problemId) {
+               case NotFound:
+                       // 1
                        id = IProblem.FieldTypeNotFound;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        id = IProblem.FieldTypeNotVisible;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        id = IProblem.FieldTypeAmbiguous;
                        break;
-               case InternalNameProvided : // 4
+               case InternalNameProvided:
+                       // 4
                        id = IProblem.FieldTypeInternalNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName : // 5
+               case InheritedNameHidesEnclosingName:
+                       // 5
                        id = IProblem.FieldTypeInheritedNameHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        return;
+               }
+               this.handle(id, new String[] { fieldDecl.name(),
+                               new String(type.sourceName()),
+                               new String(expectedType.readableName()) }, new String[] {
+                               fieldDecl.name(), new String(type.sourceName()),
+                               new String(expectedType.shortReadableName()) },
+                               fieldDecl.type.sourceStart, fieldDecl.type.sourceEnd);
        }
-       this.handle(
-               id,
-               new String[] {fieldDecl.name(), new String(type.sourceName()), new String(expectedType.readableName())},
-               fieldDecl.type.sourceStart,
-               fieldDecl.type.sourceEnd);
-}
-public void finalMethodCannotBeOverridden(MethodBinding currentMethod, MethodBinding inheritedMethod) {
-       this.handle(
-               // Cannot override the final method from %1
-               // 8.4.3.3 - Final methods cannot be overridden or hidden.
-               IProblem.FinalMethodCannotBeOverridden,
-               new String[] {new String(inheritedMethod.declaringClass.readableName())},
-               currentMethod.sourceStart(),
-               currentMethod.sourceEnd());
-}
-public void forwardReference(Reference reference, int indexInQualification, TypeBinding type) {
-       this.handle(
-               IProblem.ReferenceToForwardField,
-               new String[] {},
-               reference.sourceStart,
-               reference.sourceEnd);
-}
-// use this private API when the compilation unit result can be found through the
-// reference context. Otherwise, use the other API taking a problem and a compilation result
-// as arguments
-
-private void handle(
-       int problemId, 
-       String[] problemArguments,
-       int problemStartPosition, 
-       int problemEndPosition){
-
-       this.handle(
-                       problemId,
-                       problemArguments,
-                       problemStartPosition,
-                       problemEndPosition,
-                       referenceContext, 
-                       referenceContext == null ? null : referenceContext.compilationResult()); 
-       referenceContext = null;
-}
-// use this private API when the compilation unit result can be found through the
-// reference context. Otherwise, use the other API taking a problem and a compilation result
-// as arguments
-
-private void handle(
-       int problemId, 
-       String[] problemArguments,
-       int severity,
-       int problemStartPosition, 
-       int problemEndPosition){
-
-       this.handle(
-                       problemId,
-                       problemArguments,
-                       severity,
-                       problemStartPosition,
-                       problemEndPosition,
-                       referenceContext, 
-                       referenceContext == null ? null : referenceContext.compilationResult()); 
-       referenceContext = null;
-}
-// use this private API when the compilation unit result cannot be found through the
-// reference context. 
-
-private void handle(
-       int problemId, 
-       String[] problemArguments,
-       int problemStartPosition, 
-       int problemEndPosition,
-       CompilationResult unitResult){
-
-       this.handle(
-                       problemId,
-                       problemArguments,
-                       problemStartPosition,
-                       problemEndPosition,
-                       referenceContext, 
-                       unitResult); 
-       referenceContext = null;
-}
-public void hidingEnclosingType(TypeDeclaration typeDecl) {
-       this.handle(
-               IProblem.HidingEnclosingType,
-               new String[] {new String(typeDecl.name)},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd);
-}
-public void hierarchyCircularity(SourceTypeBinding sourceType, ReferenceBinding superType, TypeReference reference) {
-       int start = 0;
-       int end = 0;
-       String typeName = ""; //$NON-NLS-1$
-
-       if (reference == null) {        // can only happen when java.lang.Object is busted
-               start = sourceType.sourceStart();
-               end = sourceType.sourceEnd();
-               typeName = new String(superType.readableName());
-       } else {
-               start = reference.sourceStart;
-               end = reference.sourceEnd;
-               typeName = CharOperation.toString(reference.getTypeName());
-       }
-
-       if (sourceType == superType)
-               this.handle(
-                       IProblem.HierarchyCircularitySelfReference,
-                       new String[] {new String(sourceType.sourceName()), typeName},
-                       start,
-                       end);
-       else
+
+       public void finalMethodCannotBeOverridden(MethodBinding currentMethod,
+                       MethodBinding inheritedMethod) {
                this.handle(
-                       IProblem.HierarchyCircularity,
-                       new String[] {new String(sourceType.sourceName()), typeName},
-                       start,
-                       end);
-}
-public void hierarchyHasProblems(SourceTypeBinding type) {
-       this.handle(
-               IProblem.HierarchyHasProblems,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalAbstractModifierCombinationForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.IllegalAbstractModifierCombinationForMethod,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void illegalModifierCombinationFinalAbstractForClass(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalModifierCombinationFinalAbstractForClass,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalModifierCombinationFinalVolatileForField(ReferenceBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.IllegalModifierCombinationFinalVolatileForField,
-               new String[] {fieldDecl.name()},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-
-public void illegalModifierForClass(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalModifierForClass,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalModifierForField(ReferenceBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.IllegalModifierForField,
-               new String[] {fieldDecl.name()},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void illegalModifierForInterface(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalModifierForInterface,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalModifierForInterfaceField(ReferenceBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.IllegalModifierForInterfaceField,
-               new String[] {fieldDecl.name()},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void illegalModifierForInterfaceMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.IllegalModifierForInterfaceMethod,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void illegalModifierForLocalClass(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalModifierForLocalClass,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalModifierForMemberClass(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalModifierForMemberClass,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalModifierForMemberInterface(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalModifierForMemberInterface,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalModifierForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.IllegalModifierForMethod,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void illegalModifierForVariable(LocalDeclaration localDecl, boolean complainAsArgument) {
-       this.handle(
-               complainAsArgument
-                       ? IProblem.IllegalModifierForArgument
-                       : IProblem.IllegalModifierForVariable,
-               new String[] {localDecl.name()},
-               localDecl.sourceStart,
-               localDecl.sourceEnd);
-}
-public void illegalPrimitiveOrArrayTypeForEnclosingInstance(TypeBinding enclosingType, AstNode location) {
-       this.handle(
-               IProblem.IllegalPrimitiveOrArrayTypeForEnclosingInstance,
-               new String[] {new String(enclosingType.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void illegalStaticModifierForMemberType(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalStaticModifierForMemberType,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalVisibilityModifierCombinationForField(ReferenceBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.IllegalVisibilityModifierCombinationForField,
-               new String[] {new String(fieldDecl.name())},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void illegalVisibilityModifierCombinationForMemberType(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalVisibilityModifierCombinationForMemberType,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalVisibilityModifierCombinationForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.IllegalVisibilityModifierCombinationForMethod,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void illegalVisibilityModifierForInterfaceMemberType(SourceTypeBinding type) {
-       this.handle(
-               IProblem.IllegalVisibilityModifierForInterfaceMemberType,
-               new String[] {new String(type.sourceName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void illegalVoidExpression(AstNode location) {
-       this.handle(
-               IProblem.InvalidVoidExpression,
-               new String[] {},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void importProblem(ImportReference importRef, Binding expectedImport) {
-       int problemId = expectedImport.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
-                       id = IProblem.ImportNotFound;
-                       break;
-               case NotVisible : // 2
-                       id = IProblem.ImportNotVisible;
-                       break;
-               case Ambiguous : // 3
-                       id = IProblem.ImportAmbiguous;
-                       break;
-               case InternalNameProvided : // 4
-                       id = IProblem.ImportInternalNameProvided;
-                       break;
-               case InheritedNameHidesEnclosingName : // 5
-                       id = IProblem.ImportInheritedNameHidesEnclosingName;
-                       break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
-                       return;
+                               // Cannot override the final method from %1
+                               // 8.4.3.3 - Final methods cannot be overridden or hidden.
+                               IProblem.FinalMethodCannotBeOverridden,
+                               new String[] { new String(inheritedMethod.declaringClass
+                                               .readableName()) }, new String[] { new String(
+                                               inheritedMethod.declaringClass.shortReadableName()) },
+                               currentMethod.sourceStart(), currentMethod.sourceEnd());
+       }
+
+       public void forwardReference(Reference reference, int indexInQualification,
+                       TypeBinding type) {
+               this.handle(IProblem.ReferenceToForwardField, NoArgument, NoArgument,
+                               reference.sourceStart, reference.sourceEnd);
+       }
+
+       // use this private API when the compilation unit result can be found
+       // through the
+       // reference context. Otherwise, use the other API taking a problem and a
+       // compilation result
+       // as arguments
+       private void handle(int problemId, String[] problemArguments,
+                       String[] messageArguments, int problemStartPosition,
+                       int problemEndPosition) {
+               this.handle(problemId, problemArguments, messageArguments,
+                               problemStartPosition, problemEndPosition, referenceContext,
+                               referenceContext == null ? null : referenceContext
+                                               .compilationResult());
+               referenceContext = null;
+       }
+
+       // use this private API when the compilation unit result can be found
+       // through the
+       // reference context. Otherwise, use the other API taking a problem and a
+       // compilation result
+       // as arguments
+       private void handle(int problemId, String[] problemArguments,
+                       String[] messageArguments, int severity, int problemStartPosition,
+                       int problemEndPosition) {
+               this.handle(problemId, problemArguments, messageArguments, severity,
+                               problemStartPosition, problemEndPosition, referenceContext,
+                               referenceContext == null ? null : referenceContext
+                                               .compilationResult());
+               referenceContext = null;
+       }
+
+       // use this private API when the compilation unit result cannot be found
+       // through the
+       // reference context.
+       private void handle(int problemId, String[] problemArguments,
+                       String[] messageArguments, int problemStartPosition,
+                       int problemEndPosition, CompilationResult unitResult) {
+               this.handle(problemId, problemArguments, messageArguments,
+                               problemStartPosition, problemEndPosition, referenceContext,
+                               unitResult);
+               referenceContext = null;
+       }
+
+       public void hidingEnclosingType(TypeDeclaration typeDecl) {
+               String[] arguments = new String[] { new String(typeDecl.name) };
+               this.handle(IProblem.HidingEnclosingType, arguments, arguments,
+                               typeDecl.sourceStart, typeDecl.sourceEnd);
+       }
+
+       public void hierarchyCircularity(SourceTypeBinding sourceType,
+                       ReferenceBinding superType, TypeReference reference) {
+               int start = 0;
+               int end = 0;
+               String typeName = ""; //$NON-NLS-1$
+               String shortTypeName = ""; //$NON-NLS-1$
+               if (reference == null) { // can only happen when java.lang.Object is
+                       // busted
+                       start = sourceType.sourceStart();
+                       end = sourceType.sourceEnd();
+                       typeName = new String(superType.readableName());
+                       shortTypeName = new String(superType.sourceName());
+               } else {
+                       start = reference.sourceStart;
+                       end = reference.sourceEnd;
+                       char[][] qName = reference.getTypeName();
+                       typeName = CharOperation.toString(qName);
+                       shortTypeName = new String(qName[qName.length - 1]);
+               }
+               if (sourceType == superType)
+                       this.handle(IProblem.HierarchyCircularitySelfReference,
+                                       new String[] { new String(sourceType.sourceName()),
+                                                       typeName },
+                                       new String[] { new String(sourceType.sourceName()),
+                                                       shortTypeName }, start, end);
+               else
+                       this.handle(IProblem.HierarchyCircularity, new String[] {
+                                       new String(sourceType.sourceName()), typeName },
+                                       new String[] { new String(sourceType.sourceName()),
+                                                       shortTypeName }, start, end);
+       }
+
+       public void hierarchyHasProblems(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.HierarchyHasProblems, arguments, arguments, type
+                               .sourceStart(), type.sourceEnd());
        }
-       String argument;
-       if(expectedImport instanceof ProblemReferenceBinding) {
-               argument = CharOperation.toString(((ProblemReferenceBinding)expectedImport).compoundName);
-       } else {
-               argument = CharOperation.toString(importRef.tokens);
+
+       public void illegalAbstractModifierCombinationForMethod(
+                       ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.IllegalAbstractModifierCombinationForMethod,
+                               arguments, arguments, methodDecl.sourceStart,
+                               methodDecl.sourceEnd);
+       }
+
+       public void illegalModifierCombinationFinalAbstractForClass(
+                       SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalModifierCombinationFinalAbstractForClass,
+                               arguments, arguments, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalModifierCombinationFinalVolatileForField(
+                       ReferenceBinding type, FieldDeclaration fieldDecl) {
+               String[] arguments = new String[] { fieldDecl.name() };
+               this.handle(IProblem.IllegalModifierCombinationFinalVolatileForField,
+                               arguments, arguments, fieldDecl.sourceStart,
+                               fieldDecl.sourceEnd);
+       }
+
+       public void illegalModifierForClass(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalModifierForClass, arguments, arguments,
+                               type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalModifierForField(ReferenceBinding type,
+                       FieldDeclaration fieldDecl) {
+               String[] arguments = new String[] { fieldDecl.name() };
+               this.handle(IProblem.IllegalModifierForField, arguments, arguments,
+                               fieldDecl.sourceStart, fieldDecl.sourceEnd);
+       }
+
+       public void illegalModifierForInterface(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalModifierForInterface, arguments, arguments,
+                               type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalModifierForInterfaceField(ReferenceBinding type,
+                       FieldDeclaration fieldDecl) {
+               String[] arguments = new String[] { fieldDecl.name() };
+               this.handle(IProblem.IllegalModifierForInterfaceField, arguments,
+                               arguments, fieldDecl.sourceStart, fieldDecl.sourceEnd);
+       }
+
+       public void illegalModifierForInterfaceMethod(ReferenceBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.IllegalModifierForInterfaceMethod, arguments,
+                               arguments, methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void illegalModifierForLocalClass(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalModifierForLocalClass, arguments,
+                               arguments, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalModifierForMemberClass(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalModifierForMemberClass, arguments,
+                               arguments, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalModifierForMemberInterface(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalModifierForMemberInterface, arguments,
+                               arguments, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalModifierForMethod(ReferenceBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.IllegalModifierForMethod, arguments, arguments,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void illegalModifierForVariable(LocalDeclaration localDecl,
+                       boolean complainAsArgument) {
+               String[] arguments = new String[] { localDecl.name() };
+               this.handle(complainAsArgument ? IProblem.IllegalModifierForArgument
+                               : IProblem.IllegalModifierForVariable, arguments, arguments,
+                               localDecl.sourceStart, localDecl.sourceEnd);
+       }
+
+       public void illegalPrimitiveOrArrayTypeForEnclosingInstance(
+                       TypeBinding enclosingType, ASTNode location) {
+               this.handle(IProblem.IllegalPrimitiveOrArrayTypeForEnclosingInstance,
+                               new String[] { new String(enclosingType.readableName()) },
+                               new String[] { new String(enclosingType.shortReadableName()) },
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void illegalStaticModifierForMemberType(SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalStaticModifierForMemberType, arguments,
+                               arguments, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalVisibilityModifierCombinationForField(
+                       ReferenceBinding type, FieldDeclaration fieldDecl) {
+               String[] arguments = new String[] { new String(fieldDecl.name()) };
+               this.handle(IProblem.IllegalVisibilityModifierCombinationForField,
+                               arguments, arguments, fieldDecl.sourceStart,
+                               fieldDecl.sourceEnd);
+       }
+
+       public void illegalVisibilityModifierCombinationForMemberType(
+                       SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalVisibilityModifierCombinationForMemberType,
+                               arguments, arguments, type.sourceStart(), type.sourceEnd());
        }
-       this.handle(id, new String[] {argument}, importRef.sourceStart, importRef.sourceEnd);
-}
-public void incompatibleExceptionInThrowsClause(SourceTypeBinding type, MethodBinding currentMethod, MethodBinding inheritedMethod, ReferenceBinding exceptionType) {
-       if (type == currentMethod.declaringClass)
+
+       public void illegalVisibilityModifierCombinationForMethod(
+                       ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.IllegalVisibilityModifierCombinationForMethod,
+                               arguments, arguments, methodDecl.sourceStart,
+                               methodDecl.sourceEnd);
+       }
+
+       public void illegalVisibilityModifierForInterfaceMemberType(
+                       SourceTypeBinding type) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.IllegalVisibilityModifierForInterfaceMemberType,
+                               arguments, arguments, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void illegalVoidExpression(ASTNode location) {
+               this.handle(IProblem.InvalidVoidExpression, NoArgument, NoArgument,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       // public void importProblem(ImportReference importRef, Binding
+       // expectedImport) {
+       // int problemId = expectedImport.problemId();
+       // int id;
+       // switch (problemId) {
+       // case NotFound :
+       // // 1
+       // id = IProblem.ImportNotFound;
+       // break;
+       // case NotVisible :
+       // // 2
+       // id = IProblem.ImportNotVisible;
+       // break;
+       // case Ambiguous :
+       // // 3
+       // id = IProblem.ImportAmbiguous;
+       // break;
+       // case InternalNameProvided :
+       // // 4
+       // id = IProblem.ImportInternalNameProvided;
+       // break;
+       // case InheritedNameHidesEnclosingName :
+       // // 5
+       // id = IProblem.ImportInheritedNameHidesEnclosingName;
+       // break;
+       // case NoError :
+       // // 0
+       // default :
+       // needImplementation(); // want to fail to see why we were
+       // // here...
+       // return;
+       // }
+       // String argument;
+       // if (expectedImport instanceof ProblemReferenceBinding) {
+       // argument = CharOperation
+       // .toString(((ProblemReferenceBinding) expectedImport).compoundName);
+       // } else {
+       // argument = CharOperation.toString(importRef.tokens);
+       // }
+       // String[] arguments = new String[]{argument};
+       // this.handle(id, arguments, arguments, importRef.sourceStart,
+       // importRef.sourceEnd);
+       // }
+       public void incompatibleExceptionInThrowsClause(SourceTypeBinding type,
+                       MethodBinding currentMethod, MethodBinding inheritedMethod,
+                       ReferenceBinding exceptionType) {
+               if (type == currentMethod.declaringClass) {
+                       int id;
+                       if (currentMethod.declaringClass.isInterface()
+                                       && !inheritedMethod.isPublic()) { // interface inheriting
+                               // Object protected
+                               // method
+                               id = IProblem.IncompatibleExceptionInThrowsClauseForNonInheritedInterfaceMethod;
+                       } else {
+                               id = IProblem.IncompatibleExceptionInThrowsClause;
+                       }
+                       this
+                                       .handle(
+                                                       // Exception %1 is not compatible with throws
+                                                       // clause in %2
+                                                       // 9.4.4 - The type of exception in the throws
+                                                       // clause is incompatible.
+                                                       id,
+                                                       new String[] {
+                                                                       new String(exceptionType.sourceName()),
+                                                                       new String(
+                                                                                       CharOperation
+                                                                                                       .concat(
+                                                                                                                       inheritedMethod.declaringClass
+                                                                                                                                       .readableName(),
+                                                                                                                       inheritedMethod
+                                                                                                                                       .readableName(),
+                                                                                                                       '.')) },
+                                                       new String[] {
+                                                                       new String(exceptionType.sourceName()),
+                                                                       new String(
+                                                                                       CharOperation
+                                                                                                       .concat(
+                                                                                                                       inheritedMethod.declaringClass
+                                                                                                                                       .shortReadableName(),
+                                                                                                                       inheritedMethod
+                                                                                                                                       .shortReadableName(),
+                                                                                                                       '.')) },
+                                                       currentMethod.sourceStart(), currentMethod
+                                                                       .sourceEnd());
+               } else
+                       this
+                                       .handle(
+                                                       // Exception %1 in throws clause of %2 is not
+                                                       // compatible with %3
+                                                       // 9.4.4 - The type of exception in the throws
+                                                       // clause is incompatible.
+                                                       IProblem.IncompatibleExceptionInInheritedMethodThrowsClause,
+                                                       new String[] {
+                                                                       new String(exceptionType.sourceName()),
+                                                                       new String(CharOperation.concat(
+                                                                                       currentMethod.declaringClass
+                                                                                                       .sourceName(),
+                                                                                       currentMethod.readableName(), '.')),
+                                                                       new String(
+                                                                                       CharOperation
+                                                                                                       .concat(
+                                                                                                                       inheritedMethod.declaringClass
+                                                                                                                                       .readableName(),
+                                                                                                                       inheritedMethod
+                                                                                                                                       .readableName(),
+                                                                                                                       '.')) },
+                                                       new String[] {
+                                                                       new String(exceptionType.sourceName()),
+                                                                       new String(CharOperation.concat(
+                                                                                       currentMethod.declaringClass
+                                                                                                       .sourceName(),
+                                                                                       currentMethod.shortReadableName(),
+                                                                                       '.')),
+                                                                       new String(
+                                                                                       CharOperation
+                                                                                                       .concat(
+                                                                                                                       inheritedMethod.declaringClass
+                                                                                                                                       .shortReadableName(),
+                                                                                                                       inheritedMethod
+                                                                                                                                       .shortReadableName(),
+                                                                                                                       '.')) }, type
+                                                                       .sourceStart(), type.sourceEnd());
+       }
+
+       public void incompatibleReturnType(MethodBinding currentMethod,
+                       MethodBinding inheritedMethod) {
+               StringBuffer methodSignature = new StringBuffer();
+               methodSignature.append(inheritedMethod.declaringClass.readableName())
+                               .append('.').append(inheritedMethod.readableName());
+               StringBuffer shortSignature = new StringBuffer();
+               shortSignature.append(
+                               inheritedMethod.declaringClass.shortReadableName()).append('.')
+                               .append(inheritedMethod.shortReadableName());
+               int id;
+               if (currentMethod.declaringClass.isInterface()
+                               && !inheritedMethod.isPublic()) { // interface inheriting
+                       // Object protected method
+                       id = IProblem.IncompatibleReturnTypeForNonInheritedInterfaceMethod;
+               } else {
+                       id = IProblem.IncompatibleReturnType;
+               }
+               this.handle(id, new String[] { methodSignature.toString() },
+                               new String[] { shortSignature.toString() }, currentMethod
+                                               .sourceStart(), currentMethod.sourceEnd());
+       }
+
+       public void incorrectLocationForEmptyDimension(
+                       ArrayAllocationExpression expression, int index) {
+               this.handle(IProblem.IllegalDimension, NoArgument, NoArgument,
+                               expression.dimensions[index + 1].sourceStart,
+                               expression.dimensions[index + 1].sourceEnd);
+       }
+
+       public void incorrectSwitchType(Expression expression, TypeBinding testType) {
+               this.handle(IProblem.IncorrectSwitchType, new String[] { new String(
+                               testType.readableName()) }, new String[] { new String(testType
+                               .shortReadableName()) }, expression.sourceStart,
+                               expression.sourceEnd);
+       }
+
+       public void inheritedMethodReducesVisibility(SourceTypeBinding type,
+                       MethodBinding concreteMethod, MethodBinding[] abstractMethods) {
+               StringBuffer concreteSignature = new StringBuffer();
+               concreteSignature.append(concreteMethod.declaringClass.readableName())
+                               .append('.').append(concreteMethod.readableName());
+               StringBuffer shortSignature = new StringBuffer();
+               shortSignature
+                               .append(concreteMethod.declaringClass.shortReadableName())
+                               .append('.').append(concreteMethod.shortReadableName());
                this.handle(
-                       // Exception %1 is not compatible with throws clause in %2
-                       // 9.4.4 - The type of exception in the throws clause is incompatible.
-                       IProblem.IncompatibleExceptionInThrowsClause,
-                       new String[] {
-                               new String(exceptionType.sourceName()),
-                               new String(
-                                       CharOperation.concat(
-                                               inheritedMethod.declaringClass.readableName(),
-                                               inheritedMethod.readableName(),
-                                               '.'))},
-                       currentMethod.sourceStart(),
-                       currentMethod.sourceEnd());
-       else    
+                               // The inherited method %1 cannot hide the public abstract
+                               // method in %2
+                               IProblem.InheritedMethodReducesVisibility, new String[] {
+                                               new String(concreteSignature.toString()),
+                                               new String(abstractMethods[0].declaringClass
+                                                               .readableName()) }, new String[] {
+                                               new String(shortSignature.toString()),
+                                               new String(abstractMethods[0].declaringClass
+                                                               .shortReadableName()) }, type.sourceStart(),
+                               type.sourceEnd());
+       }
+
+       public void inheritedMethodsHaveIncompatibleReturnTypes(
+                       SourceTypeBinding type, MethodBinding[] inheritedMethods, int length) {
+               StringBuffer methodSignatures = new StringBuffer();
+               StringBuffer shortSignatures = new StringBuffer();
+               for (int i = length; --i >= 0;) {
+                       methodSignatures.append(
+                                       inheritedMethods[i].declaringClass.readableName()).append(
+                                       '.').append(inheritedMethods[i].readableName());
+                       shortSignatures.append(
+                                       inheritedMethods[i].declaringClass.shortReadableName())
+                                       .append('.')
+                                       .append(inheritedMethods[i].shortReadableName());
+                       if (i != 0) {
+                               methodSignatures.append(", "); //$NON-NLS-1$
+                               shortSignatures.append(", "); //$NON-NLS-1$
+                       }
+               }
                this.handle(
-                       // Exception %1 in throws clause of %2 is not compatible with %3
-                       // 9.4.4 - The type of exception in the throws clause is incompatible.
-                       IProblem.IncompatibleExceptionInInheritedMethodThrowsClause,
-                       new String[] {
-                               new String(exceptionType.sourceName()),
-                               new String(
-                                       CharOperation.concat(
-                                               currentMethod.declaringClass.sourceName(),
-                                               currentMethod.readableName(),
-                                               '.')),
-                               new String(
-                                       CharOperation.concat(
-                                               inheritedMethod.declaringClass.readableName(),
-                                               inheritedMethod.readableName(),
-                                               '.'))},
-                       type.sourceStart(),
-                       type.sourceEnd());
-}
-public void incompatibleReturnType(MethodBinding currentMethod, MethodBinding inheritedMethod) {
-       StringBuffer methodSignature = new StringBuffer();
-       methodSignature
-               .append(inheritedMethod.declaringClass.readableName())
-               .append('.')
-               .append(inheritedMethod.readableName());
-
-       this.handle(
-               // Return type is incompatible with %1
-               // 9.4.2 - The return type from the method is incompatible with the declaration.
-               IProblem.IncompatibleReturnType,
-               new String[] {methodSignature.toString()},
-               currentMethod.sourceStart(),
-               currentMethod.sourceEnd());
-}
-public void incorrectEnclosingInstanceReference(
-       QualifiedThisReference reference, 
-       TypeBinding qualificationType) {
-               
-       this.handle(
-               IProblem.IncorrectEnclosingInstanceReference, 
-               new String[] { new String(qualificationType.readableName())}, 
-               reference.sourceStart, 
-               reference.sourceEnd); 
-}
-public void incorrectLocationForEmptyDimension(ArrayAllocationExpression expression, int index) {
-       this.handle(
-               IProblem.IllegalDimension,
-               new String[0],
-               expression.dimensions[index + 1].sourceStart,
-               expression.dimensions[index + 1].sourceEnd);
-}
-public void incorrectSwitchType(Expression expression, TypeBinding testType) {
-       this.handle(
-               IProblem.IncorrectSwitchType,
-               new String[] {new String(testType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void inheritedMethodReducesVisibility(SourceTypeBinding type, MethodBinding concreteMethod, MethodBinding[] abstractMethods) {
-       StringBuffer concreteSignature = new StringBuffer();
-       concreteSignature
-               .append(concreteMethod.declaringClass.readableName())
-               .append('.')
-               .append(concreteMethod.readableName());
-       this.handle(
-               // The inherited method %1 cannot hide the public abstract method in %2
-               IProblem.InheritedMethodReducesVisibility,
-               new String[] {
-                       new String(concreteSignature.toString()),
-                       new String(abstractMethods[0].declaringClass.readableName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void inheritedMethodsHaveIncompatibleReturnTypes(SourceTypeBinding type, MethodBinding[] inheritedMethods, int length) {
-       StringBuffer methodSignatures = new StringBuffer();
-       for (int i = length; --i >= 0;) {
-               methodSignatures
-                       .append(inheritedMethods[i].declaringClass.readableName())
-                       .append('.')
-                       .append(inheritedMethods[i].readableName());
-               if (i != 0)
-                       methodSignatures.append(", "); //$NON-NLS-1$
-       }
-
-       this.handle(
-               // Return type is incompatible with %1
-               // 9.4.2 - The return type from the method is incompatible with the declaration.
-               IProblem.IncompatibleReturnType,
-               new String[] {methodSignatures.toString()},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void initializerMustCompleteNormally(FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.InitializerMustCompleteNormally,
-               new String[0],
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void innerTypesCannotDeclareStaticInitializers(ReferenceBinding innerType, AstNode location) {
-       this.handle(
-               IProblem.CannotDefineStaticInitializerInLocalType,
-               new String[] {new String(innerType.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void interfaceCannotHaveConstructors(ConstructorDeclaration constructor) {
-       this.handle(
-               IProblem.InterfaceCannotHaveConstructors,
-               new String[0],
-               constructor.sourceStart,
-               constructor.sourceEnd,
-               constructor,
-               constructor.compilationResult());
-}
-public void interfaceCannotHaveInitializers(SourceTypeBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.InterfaceCannotHaveInitializers,
-               new String[] {new String(type.sourceName())},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void invalidBreak(AstNode location) {
-       this.handle(
-               IProblem.InvalidBreak,
-               new String[0],
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void invalidConstructor(Statement statement, MethodBinding targetConstructor) {
-
-       boolean insideDefaultConstructor = 
-               (referenceContext instanceof ConstructorDeclaration)
-                       && ((ConstructorDeclaration)referenceContext).isDefaultConstructor();
-       boolean insideImplicitConstructorCall =
-               (statement instanceof ExplicitConstructorCall)
-                       && (((ExplicitConstructorCall) statement).accessMode == ExplicitConstructorCall.ImplicitSuper);
-
-       int flag = IProblem.UndefinedConstructor; //default...
-       switch (targetConstructor.problemId()) {
-               case NotFound :
-                       if (insideDefaultConstructor){
+                               // Return type is incompatible with %1
+                               // 9.4.2 - The return type from the method is incompatible with
+                               // the declaration.
+                               IProblem.IncompatibleReturnType,
+                               new String[] { methodSignatures.toString() },
+                               new String[] { shortSignatures.toString() },
+                               type.sourceStart(), type.sourceEnd());
+       }
+
+       public void initializerMustCompleteNormally(FieldDeclaration fieldDecl) {
+               this.handle(IProblem.InitializerMustCompleteNormally, NoArgument,
+                               NoArgument, fieldDecl.sourceStart, fieldDecl.sourceEnd);
+       }
+
+       public void innerTypesCannotDeclareStaticInitializers(
+                       ReferenceBinding innerType, ASTNode location) {
+               this.handle(IProblem.CannotDefineStaticInitializerInLocalType,
+                               new String[] { new String(innerType.readableName()) },
+                               new String[] { new String(innerType.shortReadableName()) },
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void interfaceCannotHaveConstructors(
+                       ConstructorDeclaration constructor) {
+               this.handle(IProblem.InterfaceCannotHaveConstructors, NoArgument,
+                               NoArgument, constructor.sourceStart, constructor.sourceEnd,
+                               constructor, constructor.compilationResult());
+       }
+
+       public void interfaceCannotHaveInitializers(SourceTypeBinding type,
+                       FieldDeclaration fieldDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()) };
+               this.handle(IProblem.InterfaceCannotHaveInitializers, arguments,
+                               arguments, fieldDecl.sourceStart, fieldDecl.sourceEnd);
+       }
+
+       public void invalidBreak(ASTNode location) {
+               this.handle(IProblem.InvalidBreak, NoArgument, NoArgument,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void invalidConstructor(Statement statement,
+                       MethodBinding targetConstructor) {
+               boolean insideDefaultConstructor = (referenceContext instanceof ConstructorDeclaration)
+                               && ((ConstructorDeclaration) referenceContext)
+                                               .isDefaultConstructor();
+               boolean insideImplicitConstructorCall = (statement instanceof ExplicitConstructorCall)
+                               && (((ExplicitConstructorCall) statement).accessMode == ExplicitConstructorCall.ImplicitSuper);
+               int flag = IProblem.UndefinedConstructor; // default...
+               switch (targetConstructor.problemId()) {
+               case NotFound:
+                       if (insideDefaultConstructor) {
                                flag = IProblem.UndefinedConstructorInDefaultConstructor;
-                       } else if (insideImplicitConstructorCall){
+                       } else if (insideImplicitConstructorCall) {
                                flag = IProblem.UndefinedConstructorInImplicitConstructorCall;
                        } else {
                                flag = IProblem.UndefinedConstructor;
                        }
                        break;
-               case NotVisible :
-                       if (insideDefaultConstructor){
+               case NotVisible:
+                       if (insideDefaultConstructor) {
                                flag = IProblem.NotVisibleConstructorInDefaultConstructor;
-                       } else if (insideImplicitConstructorCall){
+                       } else if (insideImplicitConstructorCall) {
                                flag = IProblem.NotVisibleConstructorInImplicitConstructorCall;
                        } else {
                                flag = IProblem.NotVisibleConstructor;
                        }
                        break;
-               case Ambiguous :
-                       if (insideDefaultConstructor){
+               case Ambiguous:
+                       if (insideDefaultConstructor) {
                                flag = IProblem.AmbiguousConstructorInDefaultConstructor;
-                       } else if (insideImplicitConstructorCall){
+                       } else if (insideImplicitConstructorCall) {
                                flag = IProblem.AmbiguousConstructorInImplicitConstructorCall;
                        } else {
                                flag = IProblem.AmbiguousConstructor;
                        }
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               this.handle(flag, new String[] {
+                               new String(targetConstructor.declaringClass.readableName()),
+                               parametersAsString(targetConstructor) },
+                               new String[] {
+                                               new String(targetConstructor.declaringClass
+                                                               .shortReadableName()),
+                                               parametersAsShortString(targetConstructor) },
+                               statement.sourceStart, statement.sourceEnd);
        }
 
-       
-       this.handle(
-               flag,
-               new String[] {new String(targetConstructor.declaringClass.readableName()), parametersAsString(targetConstructor)},
-               statement.sourceStart,
-               statement.sourceEnd);
-}
-public void invalidContinue(AstNode location) {
-       this.handle(
-               IProblem.InvalidContinue,
-               new String[0],
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void invalidEnclosingType(Expression expression, TypeBinding type, TypeBinding enclosingType) {
-
-       int flag = IProblem.UndefinedType; // default
-       switch (type.problemId()) {
-               case NotFound : // 1
+       public void invalidContinue(ASTNode location) {
+               this.handle(IProblem.InvalidContinue, NoArgument, NoArgument,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void invalidEnclosingType(Expression expression, TypeBinding type,
+                       ReferenceBinding enclosingType) {
+               if (enclosingType.isAnonymousType())
+                       enclosingType = enclosingType.superclass();
+               int flag = IProblem.UndefinedType; // default
+               switch (type.problemId()) {
+               case NotFound:
+                       // 1
                        flag = IProblem.UndefinedType;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        flag = IProblem.NotVisibleType;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        flag = IProblem.AmbiguousType;
                        break;
-               case InternalNameProvided :
+               case InternalNameProvided:
                        flag = IProblem.InternalTypeNameProvided;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               this.handle(flag, new String[] { new String(enclosingType
+                               .readableName())
+                               + "." + new String(type.readableName()) }, //$NON-NLS-1$
+                               new String[] { new String(enclosingType.shortReadableName())
+                                               + "." + new String(type.shortReadableName()) }, //$NON-NLS-1$
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void invalidExpressionAsStatement(Expression expression) {
+               this.handle(IProblem.InvalidExpressionAsStatement, NoArgument,
+                               NoArgument, expression.sourceStart, expression.sourceEnd);
        }
 
-       this.handle(
-               flag,
-               new String[] {new String(enclosingType.readableName()) + "." + new String(type.readableName())}, //$NON-NLS-1$
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidExpressionAsStatement(Expression expression){
-       this.handle(
-               IProblem.InvalidExpressionAsStatement,
-               new String[0],
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidField(FieldReference fieldRef, TypeBinding searchedType) {
-       int severity = Error;
-       int flag = IProblem.UndefinedField;
-       FieldBinding field = fieldRef.binding;
-       switch (field.problemId()) {
-               case NotFound :
+       public void invalidField(FieldReference fieldRef, TypeBinding searchedType) {
+               int severity = Error;
+               int flag = IProblem.UndefinedField;
+               FieldBinding field = fieldRef.binding;
+               switch (field.problemId()) {
+               case NotFound:
                        flag = IProblem.UndefinedField;
-/* also need to check that the searchedType is the receiver type
-                       if (searchedType.isHierarchyInconsistent())
-                               severity = SecondaryError;
-*/
+                       /*
+                        * also need to check that the searchedType is the receiver type if
+                        * (searchedType.isHierarchyInconsistent()) severity =
+                        * SecondaryError;
+                        */
                        break;
-               case NotVisible :
+               case NotVisible:
                        flag = IProblem.NotVisibleField;
                        break;
-               case Ambiguous :
+               case Ambiguous:
                        flag = IProblem.AmbiguousField;
                        break;
-               case NonStaticReferenceInStaticContext :
+               case NonStaticReferenceInStaticContext:
                        flag = IProblem.NonStaticFieldFromStaticInvocation;
                        break;
-               case NonStaticReferenceInConstructorInvocation :
+               case NonStaticReferenceInConstructorInvocation:
                        flag = IProblem.InstanceFieldDuringConstructorInvocation;
                        break;
-               case InheritedNameHidesEnclosingName :
+               case InheritedNameHidesEnclosingName:
                        flag = IProblem.InheritedFieldHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case ReceiverTypeNotVisible:
+                       this.handle(IProblem.NotVisibleType, new String[] { new String(
+                                       searchedType.leafComponentType().readableName()) },
+                                       new String[] { new String(searchedType.leafComponentType()
+                                                       .shortReadableName()) },
+                                       fieldRef.receiver.sourceStart, fieldRef.receiver.sourceEnd);
+                       return;
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               String[] arguments = new String[] { new String(field.readableName()) };
+               this.handle(flag, arguments, arguments, severity, fieldRef.sourceStart,
+                               fieldRef.sourceEnd);
        }
 
-       this.handle(
-               flag,
-               new String[] {new String(field.readableName())},
-               severity,
-               fieldRef.sourceStart,
-               fieldRef.sourceEnd);
-}
-public void invalidField(NameReference nameRef, FieldBinding field) {
-       int flag = IProblem.UndefinedField;
-       switch (field.problemId()) {
-               case NotFound :
+       public void invalidField(NameReference nameRef, FieldBinding field) {
+               int flag = IProblem.UndefinedField;
+               switch (field.problemId()) {
+               case NotFound:
                        flag = IProblem.UndefinedField;
                        break;
-               case NotVisible :
+               case NotVisible:
                        flag = IProblem.NotVisibleField;
                        break;
-               case Ambiguous :
+               case Ambiguous:
                        flag = IProblem.AmbiguousField;
                        break;
-               case NonStaticReferenceInStaticContext :
+               case NonStaticReferenceInStaticContext:
                        flag = IProblem.NonStaticFieldFromStaticInvocation;
                        break;
-               case NonStaticReferenceInConstructorInvocation :
+               case NonStaticReferenceInConstructorInvocation:
                        flag = IProblem.InstanceFieldDuringConstructorInvocation;
                        break;
-               case InheritedNameHidesEnclosingName :
+               case InheritedNameHidesEnclosingName:
                        flag = IProblem.InheritedFieldHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case ReceiverTypeNotVisible:
+                       this.handle(IProblem.NotVisibleType, new String[] { new String(
+                                       field.declaringClass.leafComponentType().readableName()) },
+                                       new String[] { new String(field.declaringClass
+                                                       .leafComponentType().shortReadableName()) },
+                                       nameRef.sourceStart, nameRef.sourceEnd);
+                       return;
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               String[] arguments = new String[] { new String(field.readableName()) };
+               this.handle(flag, arguments, arguments, nameRef.sourceStart,
+                               nameRef.sourceEnd);
        }
-       this.handle(
-               flag,
-               new String[] {new String(field.readableName())},
-               nameRef.sourceStart,
-               nameRef.sourceEnd);
-}
-public void invalidField(QualifiedNameReference nameRef, FieldBinding field, int index, TypeBinding searchedType) {
-       //the resolution of the index-th field of qname failed
-       //qname.otherBindings[index] is the binding that has produced the error
 
-       //The different targetted errors should be :
-       //UndefinedField
-       //NotVisibleField
-       //AmbiguousField
-
-       if (searchedType.isBaseType()) {
-               this.handle(
-                       IProblem.NoFieldOnBaseType,
-                       new String[] {
-                               new String(searchedType.readableName()),
-                               CharOperation.toString(CharOperation.subarray(nameRef.tokens, 0, index)),
-                               new String(nameRef.tokens[index])},
-                       nameRef.sourceStart,
-                       nameRef.sourceEnd);
-               return;
-       }
-
-       int flag = IProblem.UndefinedField;
-       switch (field.problemId()) {
-               case NotFound :
+       public void invalidField(QualifiedNameReference nameRef,
+                       FieldBinding field, int index, TypeBinding searchedType) {
+               // the resolution of the index-th field of qname failed
+               // qname.otherBindings[index] is the binding that has produced the
+               // error
+               // The different targetted errors should be :
+               // UndefinedField
+               // NotVisibleField
+               // AmbiguousField
+               if (searchedType.isBaseType()) {
+                       this.handle(IProblem.NoFieldOnBaseType, new String[] {
+                                       new String(searchedType.readableName()),
+                                       CharOperation.toString(CharOperation.subarray(
+                                                       nameRef.tokens, 0, index)),
+                                       new String(nameRef.tokens[index]) }, new String[] {
+                                       new String(searchedType.sourceName()),
+                                       CharOperation.toString(CharOperation.subarray(
+                                                       nameRef.tokens, 0, index)),
+                                       new String(nameRef.tokens[index]) }, nameRef.sourceStart,
+                                       nameRef.sourceEnd);
+                       return;
+               }
+               int flag = IProblem.UndefinedField;
+               switch (field.problemId()) {
+               case NotFound:
                        flag = IProblem.UndefinedField;
-/* also need to check that the searchedType is the receiver type
-                       if (searchedType.isHierarchyInconsistent())
-                               severity = SecondaryError;
-*/
+                       /*
+                        * also need to check that the searchedType is the receiver type if
+                        * (searchedType.isHierarchyInconsistent()) severity =
+                        * SecondaryError;
+                        */
                        break;
-               case NotVisible :
+               case NotVisible:
                        flag = IProblem.NotVisibleField;
                        break;
-               case Ambiguous :
+               case Ambiguous:
                        flag = IProblem.AmbiguousField;
                        break;
-               case NonStaticReferenceInStaticContext :
+               case NonStaticReferenceInStaticContext:
                        flag = IProblem.NonStaticFieldFromStaticInvocation;
                        break;
-               case NonStaticReferenceInConstructorInvocation :
+               case NonStaticReferenceInConstructorInvocation:
                        flag = IProblem.InstanceFieldDuringConstructorInvocation;
                        break;
-               case InheritedNameHidesEnclosingName :
+               case InheritedNameHidesEnclosingName:
                        flag = IProblem.InheritedFieldHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case ReceiverTypeNotVisible:
+                       this.handle(IProblem.NotVisibleType, new String[] { new String(
+                                       searchedType.leafComponentType().readableName()) },
+                                       new String[] { new String(searchedType.leafComponentType()
+                                                       .shortReadableName()) }, nameRef.sourceStart,
+                                       nameRef.sourceEnd);
+                       return;
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               String[] arguments = new String[] { CharOperation
+                               .toString(CharOperation.subarray(nameRef.tokens, 0, index + 1)) };
+               this.handle(flag, arguments, arguments, nameRef.sourceStart,
+                               nameRef.sourceEnd);
        }
-       this.handle(
-               flag, 
-               new String[] {CharOperation.toString(CharOperation.subarray(nameRef.tokens, 0, index + 1))},
-               nameRef.sourceStart, 
-               nameRef.sourceEnd); 
-}
-public void invalidMethod(MessageSend messageSend, MethodBinding method) {
-       // CODE should be UPDATED according to error coding in the different method binding errors
-       // The different targetted errors should be :
-       //      UndefinedMethod
-       //      NotVisibleMethod
-       //      AmbiguousMethod
-       //  InheritedNameHidesEnclosingName
-       //      InstanceMethodDuringConstructorInvocation
-       // StaticMethodRequested
-
-       int flag = IProblem.UndefinedMethod; //default...
-       switch (method.problemId()) {
-               case NotFound :
+
+       public void invalidMethod(MessageSend messageSend, MethodBinding method) {
+               // CODE should be UPDATED according to error coding in the different
+               // method binding errors
+               // The different targetted errors should be :
+               // UndefinedMethod
+               // NotVisibleMethod
+               // AmbiguousMethod
+               // InheritedNameHidesEnclosingName
+               // InstanceMethodDuringConstructorInvocation
+               // StaticMethodRequested
+               int flag = IProblem.UndefinedMethod; // default...
+               switch (method.problemId()) {
+               case NotFound:
                        flag = IProblem.UndefinedMethod;
                        break;
-               case NotVisible :
+               case NotVisible:
                        flag = IProblem.NotVisibleMethod;
                        break;
-               case Ambiguous :
+               case Ambiguous:
                        flag = IProblem.AmbiguousMethod;
                        break;
-               case InheritedNameHidesEnclosingName :
+               case InheritedNameHidesEnclosingName:
                        flag = IProblem.InheritedMethodHidesEnclosingName;
                        break;
-               case NonStaticReferenceInConstructorInvocation :
+               case NonStaticReferenceInConstructorInvocation:
                        flag = IProblem.InstanceMethodDuringConstructorInvocation;
                        break;
-               case NonStaticReferenceInStaticContext :
+               case NonStaticReferenceInStaticContext:
                        flag = IProblem.StaticMethodRequested;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case ReceiverTypeNotVisible:
+                       this.handle(IProblem.NotVisibleType,
+                                       new String[] { new String(method.declaringClass
+                                                       .leafComponentType().readableName()) },
+                                       new String[] { new String(method.declaringClass
+                                                       .leafComponentType().shortReadableName()) },
+                                       messageSend.receiver.sourceStart,
+                                       messageSend.receiver.sourceEnd);
+                       return;
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               if (flag == IProblem.UndefinedMethod) {
+                       ProblemMethodBinding problemMethod = (ProblemMethodBinding) method;
+                       if (problemMethod.closestMatch != null) {
+                               String closestParameterTypeNames = parametersAsString(problemMethod.closestMatch);
+                               String parameterTypeNames = parametersAsString(method);
+                               String closestParameterTypeShortNames = parametersAsShortString(problemMethod.closestMatch);
+                               String parameterTypeShortNames = parametersAsShortString(method);
+                               if (closestParameterTypeShortNames
+                                               .equals(parameterTypeShortNames)) {
+                                       closestParameterTypeShortNames = closestParameterTypeNames;
+                                       parameterTypeShortNames = parameterTypeNames;
+                               }
+                               this
+                                               .handle(
+                                                               IProblem.ParameterMismatch,
+                                                               new String[] {
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.declaringClass
+                                                                                                               .readableName()),
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.selector),
+                                                                               closestParameterTypeNames,
+                                                                               parameterTypeNames },
+                                                               new String[] {
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.declaringClass
+                                                                                                               .shortReadableName()),
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.selector),
+                                                                               closestParameterTypeShortNames,
+                                                                               parameterTypeShortNames },
+                                                               (int) (messageSend.nameSourcePosition >>> 32),
+                                                               (int) messageSend.nameSourcePosition);
+                               return;
+                       }
+               }
+               this.handle(flag, new String[] {
+                               new String(method.declaringClass.readableName()),
+                               new String(method.selector), parametersAsString(method) },
+                               new String[] {
+                                               new String(method.declaringClass.shortReadableName()),
+                                               new String(method.selector),
+                                               parametersAsShortString(method) },
+                               (int) (messageSend.nameSourcePosition >>> 32),
+                               (int) messageSend.nameSourcePosition);
        }
 
-       if (flag == IProblem.UndefinedMethod) {
-               ProblemMethodBinding problemMethod = (ProblemMethodBinding) method;
-               if (problemMethod.closestMatch != null) {
-                               this.handle(
-                                       IProblem.ParameterMismatch,
-                                       new String[] {
-                                               new String(problemMethod.closestMatch.declaringClass.readableName()),
-                                               new String(problemMethod.closestMatch.selector),
-                                               parametersAsString(problemMethod.closestMatch),
-                                               parametersAsString(method)},
-                                       (int) (messageSend.nameSourcePosition >>> 32),
-                                       (int) messageSend.nameSourcePosition);
-                               return;
+       public void invalidNullToSynchronize(Expression expression) {
+               this.handle(IProblem.InvalidNullToSynchronized, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void invalidOperator(BinaryExpression expression,
+                       TypeBinding leftType, TypeBinding rightType) {
+               String leftName = new String(leftType.readableName());
+               String rightName = new String(rightType.readableName());
+               String leftShortName = new String(leftType.shortReadableName());
+               String rightShortName = new String(rightType.shortReadableName());
+               if (leftShortName.equals(rightShortName)) {
+                       leftShortName = leftName;
+                       rightShortName = rightName;
+               }
+               this.handle(IProblem.InvalidOperator, new String[] {
+                               expression.operatorToString(), leftName + ", " + rightName }, //$NON-NLS-1$
+                               new String[] { expression.operatorToString(),
+                                               leftShortName + ", " + rightShortName }, //$NON-NLS-1$
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void invalidOperator(CompoundAssignment assign,
+                       TypeBinding leftType, TypeBinding rightType) {
+               String leftName = new String(leftType.readableName());
+               String rightName = new String(rightType.readableName());
+               String leftShortName = new String(leftType.shortReadableName());
+               String rightShortName = new String(rightType.shortReadableName());
+               if (leftShortName.equals(rightShortName)) {
+                       leftShortName = leftName;
+                       rightShortName = rightName;
                }
+               this.handle(IProblem.InvalidOperator, new String[] {
+                               assign.operatorToString(), leftName + ", " + rightName }, //$NON-NLS-1$
+                               new String[] { assign.operatorToString(),
+                                               leftShortName + ", " + rightShortName }, //$NON-NLS-1$
+                               assign.sourceStart, assign.sourceEnd);
        }
 
-       this.handle(
-               flag,
-               new String[] {
-                       new String(method.declaringClass.readableName()),
-                       new String(method.selector), parametersAsString(method)},
-               (int) (messageSend.nameSourcePosition >>> 32),
-               (int) messageSend.nameSourcePosition);
-}
-public void invalidNullToSynchronize(Expression expression) {
-       this.handle(
-               IProblem.InvalidNullToSynchronized,
-               new String[0],
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidOperator(BinaryExpression expression, TypeBinding leftType, TypeBinding rightType) {
-       this.handle(
-               IProblem.InvalidOperator,
-               new String[] {
-                       expression.operatorToString(),
-                       new String(leftType.readableName()) + ", " + new String(rightType.readableName())}, //$NON-NLS-1$
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidOperator(CompoundAssignment assign, TypeBinding leftType, TypeBinding rightType) {
-       this.handle(
-               IProblem.InvalidOperator,
-               new String[] {
-                       assign.operatorToString(),
-                       new String(leftType.readableName()) + ", " + new String(rightType.readableName())}, //$NON-NLS-1$
-               assign.sourceStart,
-               assign.sourceEnd);
-}
-public void invalidOperator(UnaryExpression expression, TypeBinding type) {
-       this.handle(
-               IProblem.InvalidOperator,
-               new String[] {expression.operatorToString(), new String(type.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidSuperclass(SourceTypeBinding type, TypeReference superclassRef, ReferenceBinding expectedType) {
-       int problemId = expectedType.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
+       public void invalidOperator(UnaryExpression expression, TypeBinding type) {
+               this.handle(IProblem.InvalidOperator,
+                               new String[] { expression.operatorToString(),
+                                               new String(type.readableName()) }, new String[] {
+                                               expression.operatorToString(),
+                                               new String(type.shortReadableName()) },
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void invalidParenthesizedExpression(ASTNode reference) {
+               this.handle(IProblem.InvalidParenthesizedExpression, NoArgument,
+                               NoArgument, reference.sourceStart, reference.sourceEnd);
+       }
+
+       public void invalidSuperclass(SourceTypeBinding type,
+                       TypeReference superclassRef, ReferenceBinding expectedType) {
+               int problemId = expectedType.problemId();
+               int id;
+               switch (problemId) {
+               case NotFound:
+                       // 1
                        id = IProblem.SuperclassNotFound;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        id = IProblem.SuperclassNotVisible;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        id = IProblem.SuperclassAmbiguous;
                        break;
-               case InternalNameProvided : // 4
+               case InternalNameProvided:
+                       // 4
                        id = IProblem.SuperclassInternalNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName : // 5
+               case InheritedNameHidesEnclosingName:
+                       // 5
                        id = IProblem.SuperclassInheritedNameHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        return;
+               }
+               this.handle(id, new String[] { new String(expectedType.readableName()),
+                               new String(type.sourceName()) }, new String[] {
+                               new String(expectedType.shortReadableName()),
+                               new String(type.sourceName()) }, superclassRef.sourceStart,
+                               superclassRef.sourceEnd);
        }
-       this.handle(
-               id,
-               new String[] {new String(expectedType.readableName()), new String(type.sourceName())},
-               superclassRef.sourceStart,
-               superclassRef.sourceEnd);
-}
-public void invalidSuperinterface(SourceTypeBinding type, TypeReference superinterfaceRef, ReferenceBinding expectedType) {
-       int problemId = expectedType.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
+
+       public void invalidSuperinterface(SourceTypeBinding type,
+                       TypeReference superinterfaceRef, ReferenceBinding expectedType) {
+               int problemId = expectedType.problemId();
+               int id;
+               switch (problemId) {
+               case NotFound:
+                       // 1
                        id = IProblem.InterfaceNotFound;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        id = IProblem.InterfaceNotVisible;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        id = IProblem.InterfaceAmbiguous;
                        break;
-               case InternalNameProvided : // 4
+               case InternalNameProvided:
+                       // 4
                        id = IProblem.InterfaceInternalNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName : // 5
+               case InheritedNameHidesEnclosingName:
+                       // 5
                        id = IProblem.InterfaceInheritedNameHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        return;
+               }
+               this.handle(id, new String[] { new String(expectedType.readableName()),
+                               new String(type.sourceName()) }, new String[] {
+                               new String(expectedType.shortReadableName()),
+                               new String(type.sourceName()) }, superinterfaceRef.sourceStart,
+                               superinterfaceRef.sourceEnd);
        }
-               this.handle(
-                       id,
-                       new String[] {new String(expectedType.readableName()), new String(type.sourceName())},
-                       superinterfaceRef.sourceStart,
-                       superinterfaceRef.sourceEnd);
-}
-public void invalidType(AstNode location, TypeBinding type) {
-       int flag = IProblem.UndefinedType; // default
-       switch (type.problemId()) {
-               case NotFound :
+
+       public void invalidType(ASTNode location, TypeBinding type) {
+               int flag = IProblem.UndefinedType; // default
+               switch (type.problemId()) {
+               case NotFound:
                        flag = IProblem.UndefinedType;
                        break;
-               case NotVisible :
+               case NotVisible:
                        flag = IProblem.NotVisibleType;
                        break;
-               case Ambiguous :
+               case Ambiguous:
                        flag = IProblem.AmbiguousType;
                        break;
-               case InternalNameProvided :
+               case InternalNameProvided:
                        flag = IProblem.InternalTypeNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName :
+               case InheritedNameHidesEnclosingName:
                        flag = IProblem.InheritedTypeHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        break;
+               }
+               this.handle(flag, new String[] { new String(type.readableName()) },
+                               new String[] { new String(type.shortReadableName()) },
+                               location.sourceStart, location.sourceEnd);
        }
 
-       this.handle(
-               flag,
-               new String[] {new String(type.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void invalidTypeReference(Expression expression) {
-       this.handle(
-               IProblem.InvalidTypeExpression,
-               new String[0],
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidTypeToSynchronize(Expression expression, TypeBinding type) {
-       this.handle(
-               IProblem.InvalidTypeToSynchronized,
-               new String[] {new String(type.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void invalidUnaryExpression(Expression expression) {
-       this.handle(
-               IProblem.InvalidUnaryExpression,
-               new String[0],
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void isClassPathCorrect(char[][] wellKnownTypeName, CompilationUnitDeclaration compUnitDecl) {
-       referenceContext = compUnitDecl;
-       this.handle(
-               IProblem.IsClassPathCorrect,
-               new String[] {CharOperation.toString(wellKnownTypeName)}, 
-               AbortCompilation | Error,
-               compUnitDecl == null ? 0 : compUnitDecl.sourceStart,
-               compUnitDecl == null ? 1 : compUnitDecl.sourceEnd);
-}
-public void maskedExceptionHandler(ReferenceBinding exceptionType, AstNode location) {
-       this.handle(
-               IProblem.MaskedCatch,
-               new String[0],
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void methodNeedingAbstractModifier(MethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.MethodRequiresBody,
-               new String[0],
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void methodNeedingNoBody(MethodDeclaration methodDecl) {
-       this.handle(
-               ((methodDecl.modifiers & CompilerModifiers.AccNative) != 0) ? IProblem.BodyForNativeMethod : IProblem.BodyForAbstractMethod,
-               new String[0],
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void methodWithConstructorName(MethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.MethodButWithConstructorName,
-               new String[0],
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void missingEnclosingInstanceSpecification(ReferenceBinding enclosingType, AstNode location) {
-       boolean insideConstructorCall =
-               (location instanceof ExplicitConstructorCall)
-                       && (((ExplicitConstructorCall) location).accessMode == ExplicitConstructorCall.ImplicitSuper);
-
-       this.handle(
-               insideConstructorCall
-                       ? IProblem.MissingEnclosingInstanceForConstructorCall
-                       : IProblem.MissingEnclosingInstance,
-               new String[] {new String(enclosingType.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void missingReturnType(AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.MissingReturnType,
-               new String[0],
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void mustDefineDimensionsOrInitializer(ArrayAllocationExpression expression) {
-       this.handle(
-               IProblem.MustDefineEitherDimensionExpressionsOrInitializer,
-               new String[0],
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void mustSpecifyPackage(CompilationUnitDeclaration compUnitDecl) {
-       this.handle(
-               IProblem.MustSpecifyPackage,
-               new String[] {new String(compUnitDecl.getFileName())},
-               compUnitDecl.sourceStart,
-               compUnitDecl.sourceStart + 1);  
-}
-public void mustUseAStaticMethod(MessageSend messageSend, MethodBinding method) {
-       this.handle(
-               IProblem.StaticMethodRequested,
-               new String[] {new String(method.declaringClass.readableName()), new String(method.selector), parametersAsString(method)},
-               messageSend.sourceStart,
-               messageSend.sourceEnd);
-}
-public void nativeMethodsCannotBeStrictfp(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.NativeMethodsCannotBeStrictfp,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void needImplementation() {
-       this.abortDueToInternalError(Util.bind("abort.missingCode")); //$NON-NLS-1$
-}
-public void needToEmulateFieldReadAccess(FieldBinding field, AstNode location) {
-       this.handle(
-               IProblem.NeedToEmulateFieldReadAccess,
-               new String[] {new String(field.declaringClass.readableName()), new String(field.name)},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void needToEmulateFieldWriteAccess(FieldBinding field, AstNode location) {
-       this.handle(
-               IProblem.NeedToEmulateFieldWriteAccess,
-               new String[] {new String(field.declaringClass.readableName()), new String(field.name)},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void needToEmulateMethodAccess(
-       MethodBinding method, 
-       AstNode location) {
-
-       if (method.isConstructor())
-               this.handle(
-                       IProblem.NeedToEmulateConstructorAccess, 
-                       new String[] {
-                               new String(method.declaringClass.readableName()), 
-                               parametersAsString(method)
-                        }, 
-                       location.sourceStart, 
-                       location.sourceEnd); 
-       else
-               this.handle(
-                       IProblem.NeedToEmulateMethodAccess, 
-                       new String[] {
-                               new String(method.declaringClass.readableName()), 
-                               new String(method.selector), 
-                               parametersAsString(method)
-                        }, 
-                       location.sourceStart, 
-                       location.sourceEnd); 
-}
-public void nestedClassCannotDeclareInterface(TypeDeclaration typeDecl) {
-       this.handle(
-               IProblem.CannotDefineInterfaceInLocalType,
-               new String[] {new String(typeDecl.name)},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd);
-}
-public void noMoreAvailableSpaceForArgument(LocalVariableBinding local, AstNode location) {
-       this.handle(
-               IProblem.TooManyArgumentSlots,
-               new String[]{ new String(local.name) },
-               Abort | Error,
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void noMoreAvailableSpaceForLocal(LocalVariableBinding local, AstNode location) {
-       this.handle(
-               IProblem.TooManyLocalVariableSlots,
-               new String[]{ new String(local.name) },
-               Abort | Error,
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void notCompatibleTypesError(EqualExpression expression, TypeBinding leftType, TypeBinding rightType) {
-       this.handle(
-               IProblem.IncompatibleTypesInEqualityOperator,
-               new String[] {new String(leftType.readableName()), new String(rightType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void notCompatibleTypesError(InstanceOfExpression expression, TypeBinding leftType, TypeBinding rightType) {
-       this.handle(
-               IProblem.IncompatibleTypesInConditionalOperator,
-               new String[] {new String(leftType.readableName()), new String(rightType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void operatorOnlyValidOnNumericType(CompoundAssignment  assignment, TypeBinding leftType, TypeBinding rightType) {
-       this.handle(
-               IProblem.TypeMismatch,
-               new String[] {new String(leftType.readableName()), new String(rightType.readableName())},
-               assignment.sourceStart,
-               assignment.sourceEnd);
-}
-public void overridesDeprecatedMethod(MethodBinding currentMethod, MethodBinding inheritedMethod) {
-       this.handle(
-               IProblem.OverridingDeprecatedMethod,
-               new String[] {new String(inheritedMethod.declaringClass.readableName())},
-               currentMethod.sourceStart(),
-               currentMethod.sourceEnd());
-}
-public void overridesPackageDefaultMethod(MethodBinding localMethod, MethodBinding inheritedMethod) {
-       this.handle(
-               IProblem.OverridingNonVisibleMethod,
-               new String[] {
-                       new String(
-                                       CharOperation.concat(
-                                               localMethod.declaringClass.readableName(),
-                                               localMethod.readableName(),
-                                               '.')),
-                       new String(inheritedMethod.declaringClass.readableName())},
-               localMethod.sourceStart(),
-               localMethod.sourceEnd());
-}
-public void packageCollidesWithType(CompilationUnitDeclaration compUnitDecl) {
-       this.handle(
-               IProblem.PackageCollidesWithType,
-               new String[] {CharOperation.toString(compUnitDecl.currentPackage.tokens)},
-               compUnitDecl.currentPackage.sourceStart,
-               compUnitDecl.currentPackage.sourceEnd);
-}
-public void packageIsNotExpectedPackage(CompilationUnitDeclaration compUnitDecl) {
-       this.handle(
-               IProblem.PackageIsNotExpectedPackage,
-               new String[] {CharOperation.toString(compUnitDecl.compilationResult.compilationUnit.getPackageName())},
-               compUnitDecl.currentPackage == null ? 0 : compUnitDecl.currentPackage.sourceStart,
-               compUnitDecl.currentPackage == null ? 0 : compUnitDecl.currentPackage.sourceEnd);
-}
-private String parametersAsString(MethodBinding method) {
-       TypeBinding[] params = method.parameters;
-       StringBuffer buffer = new StringBuffer();
-       for (int i = 0, length = params.length; i < length; i++) {
-               if (i != 0)
-                       buffer.append(", "); //$NON-NLS-1$
-               buffer.append(new String(params[i].readableName()));
-       }
-       return buffer.toString();
-}
-public void parseError(
-       int startPosition, 
-       int endPosition, 
-       char[] currentTokenSource, 
-       String errorTokenName, 
-       String[] possibleTokens) {
-               
-       if (possibleTokens.length == 0) { //no suggestion available
-               if (isKeyword(currentTokenSource)) {
-                       this.handle(
-                               IProblem.ParsingErrorOnKeywordNoSuggestion,
-                               new String[] {new String(currentTokenSource)},
-                               // this is the current -invalid- token position
-                               startPosition,
-                               endPosition);
-                       return;
-               } else {
-                       this.handle(
-                               IProblem.ParsingErrorNoSuggestion,
-                               new String[] {errorTokenName},
-                               // this is the current -invalid- token position
-                               startPosition,
-                               endPosition);
+       public void invalidTypeReference(Expression expression) {
+               this.handle(IProblem.InvalidTypeExpression, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void invalidTypeToSynchronize(Expression expression, TypeBinding type) {
+               this.handle(IProblem.InvalidTypeToSynchronized,
+                               new String[] { new String(type.readableName()) },
+                               new String[] { new String(type.shortReadableName()) },
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void invalidUnaryExpression(Expression expression) {
+               this.handle(IProblem.InvalidUnaryExpression, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void isClassPathCorrect(char[][] wellKnownTypeName,
+                       CompilationUnitDeclaration compUnitDecl) {
+               referenceContext = compUnitDecl;
+               String[] arguments = new String[] { CharOperation
+                               .toString(wellKnownTypeName) };
+               this.handle(IProblem.IsClassPathCorrect, arguments, arguments,
+                               AbortCompilation | Error, compUnitDecl == null ? 0
+                                               : compUnitDecl.sourceStart, compUnitDecl == null ? 1
+                                               : compUnitDecl.sourceEnd);
+       }
+
+       public void javadocDuplicatedReturnTag(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocDuplicateReturnTag, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocDeprecatedField(FieldBinding field, ASTNode location,
+                       int modifiers) {
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       this.handle(IProblem.JavadocUsingDeprecatedField, new String[] {
+                                       new String(field.declaringClass.readableName()),
+                                       new String(field.name) }, new String[] {
+                                       new String(field.declaringClass.shortReadableName()),
+                                       new String(field.name) }, location.sourceStart,
+                                       location.sourceEnd);
+               }
+       }
+
+       public void javadocDeprecatedMethod(MethodBinding method, ASTNode location,
+                       int modifiers) {
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       if (method.isConstructor()) {
+                               this
+                                               .handle(IProblem.JavadocUsingDeprecatedConstructor,
+                                                               new String[] {
+                                                                               new String(method.declaringClass
+                                                                                               .readableName()),
+                                                                               parametersAsString(method) },
+                                                               new String[] {
+                                                                               new String(method.declaringClass
+                                                                                               .shortReadableName()),
+                                                                               parametersAsShortString(method) },
+                                                               location.sourceStart, location.sourceEnd);
+                       } else {
+                               this
+                                               .handle(IProblem.JavadocUsingDeprecatedMethod,
+                                                               new String[] {
+                                                                               new String(method.declaringClass
+                                                                                               .readableName()),
+                                                                               new String(method.selector),
+                                                                               parametersAsString(method) },
+                                                               new String[] {
+                                                                               new String(method.declaringClass
+                                                                                               .shortReadableName()),
+                                                                               new String(method.selector),
+                                                                               parametersAsShortString(method) },
+                                                               location.sourceStart, location.sourceEnd);
+                       }
+               }
+       }
+
+       public void javadocDeprecatedType(TypeBinding type, ASTNode location,
+                       int modifiers) {
+               if (location == null)
+                       return; // 1G828DN - no type ref for synthetic arguments
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       this.handle(IProblem.JavadocUsingDeprecatedType,
+                                       new String[] { new String(type.readableName()) },
+                                       new String[] { new String(type.shortReadableName()) },
+                                       location.sourceStart, location.sourceEnd);
+               }
+       }
+
+       // public void javadocDuplicatedParamTag(JavadocSingleNameReference param,
+       // int modifiers) {
+       // if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+       // modifiers)) {
+       // String[] arguments = new String[] {String.valueOf(param.token)};
+       // this.handle(IProblem.JavadocDuplicateParamName, arguments, arguments,
+       // param.sourceStart, param.sourceEnd);
+       // }
+       // }
+       public void javadocDuplicatedThrowsClassName(TypeReference typeReference,
+                       int modifiers) {
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       String[] arguments = new String[] { String
+                                       .valueOf(typeReference.resolvedType.sourceName()) };
+                       this.handle(IProblem.JavadocDuplicateThrowsClassName, arguments,
+                                       arguments, typeReference.sourceStart,
+                                       typeReference.sourceEnd);
+               }
+       }
+
+       public void javadocErrorNoMethodFor(MessageSend messageSend,
+                       TypeBinding recType, TypeBinding[] params, int modifiers) {
+               StringBuffer buffer = new StringBuffer();
+               StringBuffer shortBuffer = new StringBuffer();
+               for (int i = 0, length = params.length; i < length; i++) {
+                       if (i != 0) {
+                               buffer.append(", "); //$NON-NLS-1$
+                               shortBuffer.append(", "); //$NON-NLS-1$
+                       }
+                       buffer.append(new String(params[i].readableName()));
+                       shortBuffer.append(new String(params[i].shortReadableName()));
+               }
+
+               int id = recType.isArrayType() ? IProblem.JavadocNoMessageSendOnArrayType
+                               : IProblem.JavadocNoMessageSendOnBaseType;
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       this.handle(id, new String[] { new String(recType.readableName()),
+                                       new String(messageSend.selector), buffer.toString() },
+                                       new String[] { new String(recType.shortReadableName()),
+                                                       new String(messageSend.selector),
+                                                       shortBuffer.toString() }, messageSend.sourceStart,
+                                       messageSend.sourceEnd);
+               }
+       }
+
+       public void javadocInvalidConstructor(Statement statement,
+                       MethodBinding targetConstructor, int modifiers) {
+
+               if (!javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
                        return;
                }
+               // boolean insideDefaultConstructor =
+               // (this.referenceContext instanceof ConstructorDeclaration)
+               // &&
+               // ((ConstructorDeclaration)this.referenceContext).isDefaultConstructor();
+               // boolean insideImplicitConstructorCall =
+               // (statement instanceof ExplicitConstructorCall)
+               // && (((ExplicitConstructorCall) statement).accessMode ==
+               // ExplicitConstructorCall.ImplicitSuper);
+
+               int id = IProblem.JavadocUndefinedConstructor; // default...
+               switch (targetConstructor.problemId()) {
+               case NotFound:
+                       // if (insideDefaultConstructor){
+                       // id = IProblem.JavadocUndefinedConstructorInDefaultConstructor;
+                       // } else if (insideImplicitConstructorCall){
+                       // id =
+                       // IProblem.JavadocUndefinedConstructorInImplicitConstructorCall;
+                       // } else {
+                       id = IProblem.JavadocUndefinedConstructor;
+                       // }
+                       break;
+               case NotVisible:
+                       // if (insideDefaultConstructor){
+                       // id = IProblem.JavadocNotVisibleConstructorInDefaultConstructor;
+                       // } else if (insideImplicitConstructorCall){
+                       // id =
+                       // IProblem.JavadocNotVisibleConstructorInImplicitConstructorCall;
+                       // } else {
+                       id = IProblem.JavadocNotVisibleConstructor;
+                       // }
+                       break;
+               case Ambiguous:
+                       // if (insideDefaultConstructor){
+                       // id = IProblem.AmbiguousConstructorInDefaultConstructor;
+                       // } else if (insideImplicitConstructorCall){
+                       // id = IProblem.AmbiguousConstructorInImplicitConstructorCall;
+                       // } else {
+                       id = IProblem.JavadocAmbiguousConstructor;
+                       // }
+                       break;
+               case NoError: // 0
+               default:
+                       needImplementation(); // want to fail to see why we were here...
+                       break;
+               }
+
+               this.handle(id, new String[] {
+                               new String(targetConstructor.declaringClass.readableName()),
+                               parametersAsString(targetConstructor) },
+                               new String[] {
+                                               new String(targetConstructor.declaringClass
+                                                               .shortReadableName()),
+                                               parametersAsShortString(targetConstructor) },
+                               statement.sourceStart, statement.sourceEnd);
        }
 
-       //build a list of probable right tokens
-       StringBuffer list = new StringBuffer(20);
-       for (int i = 0, max = possibleTokens.length; i < max; i++) {
-               if (i > 0)
-                       list.append(", "); //$NON-NLS-1$
-               list.append('"');
-               list.append(possibleTokens[i]);
-               list.append('"');
+       public void javadocAmbiguousMethodReference(int sourceStart, int sourceEnd,
+                       Binding fieldBinding, int modifiers) {
+               int id = IProblem.JavadocAmbiguousMethodReference;
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       String[] arguments = new String[] { new String(fieldBinding
+                                       .readableName()) };
+                       handle(id, arguments, arguments, sourceStart, sourceEnd);
+               }
        }
 
-       if (isKeyword(currentTokenSource)) {
-               this.handle(
-                       IProblem.ParsingErrorOnKeyword,
-                       new String[] {new String(currentTokenSource), list.toString()},
-                       // this is the current -invalid- token position
-                       startPosition,
-                       endPosition);
-               return;
-       }
-       //extract the literal when it's a literal  
-       if ((errorTokenName.equals("IntegerLiteral")) || //$NON-NLS-1$
-               (errorTokenName.equals("LongLiteral")) || //$NON-NLS-1$
-               (errorTokenName.equals("FloatingPointLiteral")) || //$NON-NLS-1$
-               (errorTokenName.equals("DoubleLiteral")) || //$NON-NLS-1$
-               (errorTokenName.equals("StringLiteral")) || //$NON-NLS-1$
-               (errorTokenName.equals("CharacterLiteral")) || //$NON-NLS-1$
-               (errorTokenName.equals("Identifier"))) { //$NON-NLS-1$
-                       errorTokenName = new String(currentTokenSource);
+       /*
+        * Similar implementation than invalidField(FieldReference...) Note that
+        * following problem id cannot occur for Javadoc: -
+        * NonStaticReferenceInStaticContext : -
+        * NonStaticReferenceInConstructorInvocation : - ReceiverTypeNotVisible :
+        */
+       public void javadocInvalidField(int sourceStart, int sourceEnd,
+                       Binding fieldBinding, TypeBinding searchedType, int modifiers) {
+               int id = IProblem.JavadocUndefinedField;
+               switch (fieldBinding.problemId()) {
+               case NotFound:
+                       id = IProblem.JavadocUndefinedField;
+                       break;
+               case NotVisible:
+                       id = IProblem.JavadocNotVisibleField;
+                       break;
+               case Ambiguous:
+                       id = IProblem.JavadocAmbiguousField;
+                       break;
+               case InheritedNameHidesEnclosingName:
+                       id = IProblem.JavadocInheritedFieldHidesEnclosingName;
+                       break;
+               case NoError: // 0
+               default:
+                       needImplementation(); // want to fail to see why we were here...
+                       break;
+               }
+
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       String[] arguments = new String[] { new String(fieldBinding
+                                       .readableName()) };
+                       handle(id, arguments, arguments, sourceStart, sourceEnd);
+               }
        }
 
-       this.handle(
-               IProblem.ParsingError,
-               new String[] {errorTokenName, list.toString()},
-               // this is the current -invalid- token position
-               startPosition,
-               endPosition);
-}
-public void publicClassMustMatchFileName(CompilationUnitDeclaration compUnitDecl, TypeDeclaration typeDecl) {
-       this.referenceContext = typeDecl; // report the problem against the type not the entire compilation unit
-       this.handle(
-               IProblem.PublicClassMustMatchFileName,
-               new String[] {new String(compUnitDecl.getFileName()), new String(typeDecl.name)},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd,
-               compUnitDecl.compilationResult);
-}
-/*
- * Flag all constructors involved in a cycle, we know we have a cycle.
- */
-public void recursiveConstructorInvocation(TypeDeclaration typeDeclaration) {
-
-       // propagate the reference count, negative counts means leading to a super constructor invocation (directly or indirectly)
-       boolean hasChanged;
-       AbstractMethodDeclaration[] methods = typeDeclaration.methods;
-       int max = methods.length;
-       do {
-               hasChanged = false;
-               for(int i = 0; i < max; i++){
-                       if (methods[i].isConstructor()){
-                               ConstructorDeclaration constructor = (ConstructorDeclaration) methods[i];
-                               if (constructor.referenceCount > 0){
-                                       ConstructorDeclaration targetConstructor = constructor.constructorCall == null
-                                               ? null
-                                               : (ConstructorDeclaration)(typeDeclaration.declarationOf(constructor.constructorCall.binding));
-                                       if ((targetConstructor == null) || (targetConstructor.referenceCount < 0)){
-                                               hasChanged = true;
-                                               constructor.referenceCount = -1;
-                                       }       
+       /*
+        * Similar implementation than invalidMethod(MessageSend...) Note that
+        * following problem id cannot occur for Javadoc: -
+        * NonStaticReferenceInStaticContext : -
+        * NonStaticReferenceInConstructorInvocation : - ReceiverTypeNotVisible :
+        */
+       public void javadocInvalidMethod(MessageSend messageSend,
+                       MethodBinding method, int modifiers) {
+               if (!javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       return;
+               }
+               int id = IProblem.JavadocUndefinedMethod; // default...
+               switch (method.problemId()) {
+               case NotFound:
+                       id = IProblem.JavadocUndefinedMethod;
+                       break;
+               case NotVisible:
+                       id = IProblem.JavadocNotVisibleMethod;
+                       break;
+               case Ambiguous:
+                       id = IProblem.JavadocAmbiguousMethod;
+                       break;
+               case InheritedNameHidesEnclosingName:
+                       id = IProblem.JavadocInheritedMethodHidesEnclosingName;
+                       break;
+               case NoError: // 0
+               default:
+                       needImplementation(); // want to fail to see why we were here...
+                       break;
+               }
+
+               if (id == IProblem.JavadocUndefinedMethod) {
+                       ProblemMethodBinding problemMethod = (ProblemMethodBinding) method;
+                       if (problemMethod.closestMatch != null) {
+                               String closestParameterTypeNames = parametersAsString(problemMethod.closestMatch);
+                               String parameterTypeNames = parametersAsString(method);
+                               String closestParameterTypeShortNames = parametersAsShortString(problemMethod.closestMatch);
+                               String parameterTypeShortNames = parametersAsShortString(method);
+                               if (closestParameterTypeShortNames
+                                               .equals(parameterTypeShortNames)) {
+                                       closestParameterTypeShortNames = closestParameterTypeNames;
+                                       parameterTypeShortNames = parameterTypeNames;
                                }
+                               this
+                                               .handle(
+                                                               IProblem.JavadocParameterMismatch,
+                                                               new String[] {
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.declaringClass
+                                                                                                               .readableName()),
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.selector),
+                                                                               closestParameterTypeNames,
+                                                                               parameterTypeNames },
+                                                               new String[] {
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.declaringClass
+                                                                                                               .shortReadableName()),
+                                                                               new String(
+                                                                                               problemMethod.closestMatch.selector),
+                                                                               closestParameterTypeShortNames,
+                                                                               parameterTypeShortNames },
+                                                               (int) (messageSend.nameSourcePosition >>> 32),
+                                                               (int) messageSend.nameSourcePosition);
+                               return;
+                       }
+               }
+
+               this.handle(id, new String[] {
+                               new String(method.declaringClass.readableName()),
+                               new String(method.selector), parametersAsString(method) },
+                               new String[] {
+                                               new String(method.declaringClass.shortReadableName()),
+                                               new String(method.selector),
+                                               parametersAsShortString(method) },
+                               (int) (messageSend.nameSourcePosition >>> 32),
+                               (int) messageSend.nameSourcePosition);
+       }
+
+       // public void javadocInvalidParamName(JavadocSingleNameReference param, int
+       // modifiers) {
+       // if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+       // modifiers)) {
+       // String[] arguments = new String[] {String.valueOf(param.token)};
+       // this.handle(IProblem.JavadocInvalidParamName, arguments, arguments,
+       // param.sourceStart, param.sourceEnd);
+       // }
+       // }
+       public void javadocInvalidSeeReference(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocInvalidSeeReference, NoArgument,
+                               NoArgument, sourceStart, sourceEnd);
+       }
+
+       public void javadocInvalidSeeReferenceArgs(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocInvalidSeeArgs, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocInvalidSeeUrlReference(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocInvalidSeeHref, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocInvalidTag(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocInvalidTag, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocInvalidThrowsClass(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocInvalidThrowsClass, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocInvalidThrowsClassName(TypeReference typeReference,
+                       int modifiers) {
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       String[] arguments = new String[] { String
+                                       .valueOf(typeReference.resolvedType.sourceName()) };
+                       this.handle(IProblem.JavadocInvalidThrowsClassName, arguments,
+                                       arguments, typeReference.sourceStart,
+                                       typeReference.sourceEnd);
+               }
+       }
+
+       public void javadocInvalidType(ASTNode location, TypeBinding type,
+                       int modifiers) {
+               if (javadocVisibility(this.options.reportInvalidJavadocTagsVisibility,
+                               modifiers)) {
+                       int id = IProblem.JavadocUndefinedType; // default
+                       switch (type.problemId()) {
+                       case NotFound:
+                               id = IProblem.JavadocUndefinedType;
+                               break;
+                       case NotVisible:
+                               id = IProblem.JavadocNotVisibleType;
+                               break;
+                       case Ambiguous:
+                               id = IProblem.JavadocAmbiguousType;
+                               break;
+                       case InternalNameProvided:
+                               id = IProblem.JavadocInternalTypeNameProvided;
+                               break;
+                       case InheritedNameHidesEnclosingName:
+                               id = IProblem.JavadocInheritedNameHidesEnclosingTypeName;
+                               break;
+                       case NoError: // 0
+                       default:
+                               needImplementation(); // want to fail to see why we were
+                                                                               // here...
+                               break;
+                       }
+                       this.handle(id, new String[] { new String(type.readableName()) },
+                                       new String[] { new String(type.shortReadableName()) },
+                                       location.sourceStart, location.sourceEnd);
+               }
+       }
+
+       public void javadocMalformedSeeReference(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocMalformedSeeReference, NoArgument,
+                               NoArgument, sourceStart, sourceEnd);
+       }
+
+       public void javadocMissing(int sourceStart, int sourceEnd, int modifiers) {
+               boolean overriding = (modifiers & (CompilerModifiers.AccImplementing + CompilerModifiers.AccOverriding)) != 0;
+               boolean report = (this.options
+                               .getSeverity(CompilerOptions.MissingJavadocComments) != ProblemSeverities.Ignore)
+                               && (!overriding || this.options.reportMissingJavadocCommentsOverriding);
+               if (report) {
+                       String arg = javadocVisibilityArgument(
+                                       this.options.reportMissingJavadocCommentsVisibility,
+                                       modifiers);
+                       if (arg != null) {
+                               String[] arguments = new String[] { arg };
+                               this.handle(IProblem.JavadocMissing, arguments, arguments,
+                                               sourceStart, sourceEnd);
+                       }
+               }
+       }
+
+       public void javadocMissingParamName(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocMissingParamName, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocMissingParamTag(Argument param, int modifiers) {
+               boolean overriding = (modifiers & (CompilerModifiers.AccImplementing + CompilerModifiers.AccOverriding)) != 0;
+               boolean report = (this.options
+                               .getSeverity(CompilerOptions.MissingJavadocTags) != ProblemSeverities.Ignore)
+                               && (!overriding || this.options.reportMissingJavadocTagsOverriding);
+               if (report
+                               && javadocVisibility(
+                                               this.options.reportMissingJavadocTagsVisibility,
+                                               modifiers)) {
+                       String[] arguments = new String[] { String.valueOf(param.name) };
+                       this.handle(IProblem.JavadocMissingParamTag, arguments, arguments,
+                                       param.sourceStart, param.sourceEnd);
+               }
+       }
+
+       public void javadocMissingReturnTag(int sourceStart, int sourceEnd,
+                       int modifiers) {
+               boolean overriding = (modifiers & (CompilerModifiers.AccImplementing + CompilerModifiers.AccOverriding)) != 0;
+               boolean report = (this.options
+                               .getSeverity(CompilerOptions.MissingJavadocTags) != ProblemSeverities.Ignore)
+                               && (!overriding || this.options.reportMissingJavadocTagsOverriding);
+               if (report
+                               && javadocVisibility(
+                                               this.options.reportMissingJavadocTagsVisibility,
+                                               modifiers)) {
+                       this.handle(IProblem.JavadocMissingReturnTag, NoArgument,
+                                       NoArgument, sourceStart, sourceEnd);
+               }
+       }
+
+       public void javadocMissingSeeReference(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocMissingSeeReference, NoArgument,
+                               NoArgument, sourceStart, sourceEnd);
+       }
+
+       public void javadocMissingThrowsClassName(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocMissingThrowsClassName, NoArgument,
+                               NoArgument, sourceStart, sourceEnd);
+       }
+
+       public void javadocMissingThrowsTag(TypeReference typeRef, int modifiers) {
+               boolean overriding = (modifiers & (CompilerModifiers.AccImplementing + CompilerModifiers.AccOverriding)) != 0;
+               boolean report = (this.options
+                               .getSeverity(CompilerOptions.MissingJavadocTags) != ProblemSeverities.Ignore)
+                               && (!overriding || this.options.reportMissingJavadocTagsOverriding);
+               if (report
+                               && javadocVisibility(
+                                               this.options.reportMissingJavadocTagsVisibility,
+                                               modifiers)) {
+                       String[] arguments = new String[] { String
+                                       .valueOf(typeRef.resolvedType.sourceName()) };
+                       this.handle(IProblem.JavadocMissingThrowsTag, arguments, arguments,
+                                       typeRef.sourceStart, typeRef.sourceEnd);
+               }
+       }
+
+       public void javadocUnexpectedTag(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocUnexpectedTag, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void javadocUnterminatedInlineTag(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.JavadocUnterminatedInlineTag, NoArgument,
+                               NoArgument, sourceStart, sourceEnd);
+       }
+
+       private boolean javadocVisibility(int visibility, int modifiers) {
+               switch (modifiers & CompilerModifiers.AccVisibilityMASK) {
+               case IConstants.AccPublic:
+                       return true;
+               case IConstants.AccProtected:
+                       return (visibility != IConstants.AccPublic);
+                       // case IConstants.AccDefault:
+                       // return (visibility == IConstants.AccDefault || visibility ==
+                       // IConstants.AccPrivate);
+               case IConstants.AccPrivate:
+                       return (visibility == IConstants.AccPrivate);
+               }
+               return true;
+       }
+
+       private String javadocVisibilityArgument(int visibility, int modifiers) {
+               String argument = null;
+               switch (modifiers & CompilerModifiers.AccVisibilityMASK) {
+               case IConstants.AccPublic:
+                       argument = CompilerOptions.PUBLIC;
+                       break;
+               case IConstants.AccProtected:
+                       if (visibility != IConstants.AccPublic) {
+                               argument = CompilerOptions.PROTECTED;
+                       }
+                       break;
+               // case IConstants.AccDefault:
+               // if (visibility == IConstants.AccDefault || visibility ==
+               // IConstants.AccPrivate) {
+               // argument = CompilerOptions.DEFAULT;
+               // }
+               // break;
+               case IConstants.AccPrivate:
+                       if (visibility == IConstants.AccPrivate) {
+                               argument = CompilerOptions.PRIVATE;
                        }
+                       break;
                }
-       } while (hasChanged);
+               return argument;
+       }
+
+       public void methodNeedingAbstractModifier(MethodDeclaration methodDecl) {
+               this.handle(IProblem.MethodRequiresBody, NoArgument, NoArgument,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void methodNeedingNoBody(MethodDeclaration methodDecl) {
+               this.handle(
+                               // ((methodDecl.modifiers & CompilerModifiers.AccNative) != 0) ?
+                               // IProblem.BodyForNativeMethod :
+                               // IProblem.BodyForAbstractMethod,
+                               IProblem.BodyForAbstractMethod, NoArgument, NoArgument,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void methodWithConstructorName(MethodDeclaration methodDecl) {
+               this.handle(IProblem.MethodButWithConstructorName, NoArgument,
+                               NoArgument, methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       // public void missingEnclosingInstanceSpecification(ReferenceBinding
+       // enclosingType, ASTNode location) {
+       // boolean insideConstructorCall =
+       // (location instanceof ExplicitConstructorCall)
+       // && (((ExplicitConstructorCall) location).accessMode ==
+       // ExplicitConstructorCall.ImplicitSuper);
+       //
+       // this.handle(
+       // insideConstructorCall
+       // ? IProblem.MissingEnclosingInstanceForConstructorCall
+       // : IProblem.MissingEnclosingInstance,
+       // new String[] {new String(enclosingType.readableName())},
+       // new String[] {new String(enclosingType.shortReadableName())},
+       // location.sourceStart,
+       // location.sourceEnd);
+       // }
+       public void missingReturnType(AbstractMethodDeclaration methodDecl) {
+               this.handle(IProblem.MissingReturnType, NoArgument, NoArgument,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void missingSemiColon(Expression expression) {
+               this.handle(IProblem.MissingSemiColon, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void mustDefineDimensionsOrInitializer(
+                       ArrayAllocationExpression expression) {
+               this.handle(IProblem.MustDefineEitherDimensionExpressionsOrInitializer,
+                               NoArgument, NoArgument, expression.sourceStart,
+                               expression.sourceEnd);
+       }
+
+       public void mustSpecifyPackage(CompilationUnitDeclaration compUnitDecl) {
+               String[] arguments = new String[] { new String(compUnitDecl
+                               .getFileName()) };
+               this.handle(IProblem.MustSpecifyPackage, arguments, arguments,
+                               compUnitDecl.sourceStart, compUnitDecl.sourceStart + 1);
+       }
+
+       public void mustUseAStaticMethod(MessageSend messageSend,
+                       MethodBinding method) {
+               this.handle(IProblem.StaticMethodRequested, new String[] {
+                               new String(method.declaringClass.readableName()),
+                               new String(method.selector), parametersAsString(method) },
+                               new String[] {
+                                               new String(method.declaringClass.shortReadableName()),
+                                               new String(method.selector),
+                                               parametersAsShortString(method) },
+                               messageSend.sourceStart, messageSend.sourceEnd);
+       }
 
-       // all remaining constructors with a positive count are still involved in a cycle
-       for(int i = 0; i < max; i++){
-               if (methods[i].isConstructor()){
-                       ConstructorDeclaration constructor = (ConstructorDeclaration) methods[i];
-                       if (constructor.referenceCount > 0){
-                               this.referenceContext = constructor;
-                               this.handle(
-                                       IProblem.RecursiveConstructorInvocation,
+       public void nativeMethodsCannotBeStrictfp(ReferenceBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.NativeMethodsCannotBeStrictfp, arguments,
+                               arguments, methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void needImplementation() {
+               this.abortDueToInternalError(Util.bind("abort.missingCode")); //$NON-NLS-1$
+       }
+
+       public void needToEmulateFieldReadAccess(FieldBinding field,
+                       ASTNode location) {
+               this.handle(IProblem.NeedToEmulateFieldReadAccess, new String[] {
+                               new String(field.declaringClass.readableName()),
+                               new String(field.name) }, new String[] {
+                               new String(field.declaringClass.shortReadableName()),
+                               new String(field.name) }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void needToEmulateFieldWriteAccess(FieldBinding field,
+                       ASTNode location) {
+               this.handle(IProblem.NeedToEmulateFieldWriteAccess, new String[] {
+                               new String(field.declaringClass.readableName()),
+                               new String(field.name) }, new String[] {
+                               new String(field.declaringClass.shortReadableName()),
+                               new String(field.name) }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void needToEmulateMethodAccess(MethodBinding method, ASTNode location) {
+               if (method.isConstructor())
+                       this.handle(IProblem.NeedToEmulateConstructorAccess, new String[] {
+                                       new String(method.declaringClass.readableName()),
+                                       parametersAsString(method) }, new String[] {
+                                       new String(method.declaringClass.shortReadableName()),
+                                       parametersAsShortString(method) }, location.sourceStart,
+                                       location.sourceEnd);
+               else
+                       this.handle(IProblem.NeedToEmulateMethodAccess, new String[] {
+                                       new String(method.declaringClass.readableName()),
+                                       new String(method.selector), parametersAsString(method) },
                                        new String[] {
-                                               new String(constructor.constructorCall.binding.declaringClass.readableName()), 
-                                               parametersAsString(constructor.constructorCall.binding)
-                                       },
-                                       constructor.constructorCall.sourceStart,
-                                       constructor.constructorCall.sourceEnd);
+                                                       new String(method.declaringClass
+                                                                       .shortReadableName()),
+                                                       new String(method.selector),
+                                                       parametersAsShortString(method) },
+                                       location.sourceStart, location.sourceEnd);
+       }
+
+       public void nestedClassCannotDeclareInterface(TypeDeclaration typeDecl) {
+               String[] arguments = new String[] { new String(typeDecl.name) };
+               this.handle(IProblem.CannotDefineInterfaceInLocalType, arguments,
+                               arguments, typeDecl.sourceStart, typeDecl.sourceEnd);
+       }
+
+       public void noMoreAvailableSpaceForArgument(LocalVariableBinding local,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(local.name) };
+               this
+                               .handle(
+                                               local instanceof SyntheticArgumentBinding ? IProblem.TooManySyntheticArgumentSlots
+                                                               : IProblem.TooManyArgumentSlots, arguments,
+                                               arguments, Abort | Error, location.sourceStart,
+                                               location.sourceEnd);
+       }
+
+       public void noMoreAvailableSpaceForLocal(LocalVariableBinding local,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(local.name) };
+               this.handle(IProblem.TooManyLocalVariableSlots, arguments, arguments,
+                               Abort | Error, location.sourceStart, location.sourceEnd);
+       }
+
+       public void noSuchEnclosingInstance(TypeBinding targetType,
+                       ASTNode location, boolean isConstructorCall) {
+               int id;
+               if (isConstructorCall) {
+                       // 28 = No enclosing instance of type {0} is available due to some
+                       // intermediate constructor invocation
+                       id = IProblem.EnclosingInstanceInConstructorCall;
+               } else if ((location instanceof ExplicitConstructorCall)
+                               && ((ExplicitConstructorCall) location).accessMode == ExplicitConstructorCall.ImplicitSuper) {
+                       // 20 = No enclosing instance of type {0} is accessible to invoke
+                       // the super constructor. Must define a constructor and explicitly
+                       // qualify its super constructor invocation with an instance of {0}
+                       // (e.g. x.super() where x is an instance of {0}).
+                       id = IProblem.MissingEnclosingInstanceForConstructorCall;
+               } else if (location instanceof AllocationExpression
+                               && (((AllocationExpression) location).binding.declaringClass
+                                               .isMemberType() || (((AllocationExpression) location).binding.declaringClass
+                                               .isAnonymousType() && ((AllocationExpression) location).binding.declaringClass
+                                               .superclass().isMemberType()))) {
+                       // 21 = No enclosing instance of type {0} is accessible. Must
+                       // qualify the allocation with an enclosing instance of type {0}
+                       // (e.g. x.new A() where x is an instance of {0}).
+                       id = IProblem.MissingEnclosingInstance;
+               } else { // default
+                       // 22 = No enclosing instance of the type {0} is accessible in
+                       // scope
+                       id = IProblem.IncorrectEnclosingInstanceReference;
+               }
+               this.handle(id, new String[] { new String(targetType.readableName()) },
+                               new String[] { new String(targetType.shortReadableName()) },
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void notCompatibleTypesError(EqualExpression expression,
+                       TypeBinding leftType, TypeBinding rightType) {
+               String leftName = new String(leftType.readableName());
+               String rightName = new String(rightType.readableName());
+               String leftShortName = new String(leftType.shortReadableName());
+               String rightShortName = new String(rightType.shortReadableName());
+               if (leftShortName.equals(rightShortName)) {
+                       leftShortName = leftName;
+                       rightShortName = rightName;
+               }
+               this.handle(IProblem.IncompatibleTypesInEqualityOperator, new String[] {
+                               leftName, rightName }, new String[] { leftShortName,
+                               rightShortName }, expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void notCompatibleTypesError(InstanceOfExpression expression,
+                       TypeBinding leftType, TypeBinding rightType) {
+               String leftName = new String(leftType.readableName());
+               String rightName = new String(rightType.readableName());
+               String leftShortName = new String(leftType.shortReadableName());
+               String rightShortName = new String(rightType.shortReadableName());
+               if (leftShortName.equals(rightShortName)) {
+                       leftShortName = leftName;
+                       rightShortName = rightName;
+               }
+               this.handle(IProblem.IncompatibleTypesInConditionalOperator,
+                               new String[] { leftName, rightName }, new String[] {
+                                               leftShortName, rightShortName },
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void objectCannotHaveSuperTypes(SourceTypeBinding type) {
+               this.handle(IProblem.ObjectCannotHaveSuperTypes, NoArgument,
+                               NoArgument, type.sourceStart(), type.sourceEnd());
+       }
+
+       public void operatorOnlyValidOnNumericType(CompoundAssignment assignment,
+                       TypeBinding leftType, TypeBinding rightType) {
+               String leftName = new String(leftType.readableName());
+               String rightName = new String(rightType.readableName());
+               String leftShortName = new String(leftType.shortReadableName());
+               String rightShortName = new String(rightType.shortReadableName());
+               if (leftShortName.equals(rightShortName)) {
+                       leftShortName = leftName;
+                       rightShortName = rightName;
+               }
+               this.handle(IProblem.TypeMismatch,
+                               new String[] { leftName, rightName }, new String[] {
+                                               leftShortName, rightShortName },
+                               assignment.sourceStart, assignment.sourceEnd);
+       }
+
+       public void overridesDeprecatedMethod(MethodBinding localMethod,
+                       MethodBinding inheritedMethod) {
+               this.handle(IProblem.OverridingDeprecatedMethod, new String[] {
+                               new String(CharOperation.concat(localMethod.declaringClass
+                                               .readableName(), localMethod.readableName(), '.')),
+                               new String(inheritedMethod.declaringClass.readableName()) },
+                               new String[] {
+                                               new String(CharOperation.concat(
+                                                               localMethod.declaringClass.shortReadableName(),
+                                                               localMethod.shortReadableName(), '.')),
+                                               new String(inheritedMethod.declaringClass
+                                                               .shortReadableName()) }, localMethod
+                                               .sourceStart(), localMethod.sourceEnd());
+       }
+
+       public void overridesPackageDefaultMethod(MethodBinding localMethod,
+                       MethodBinding inheritedMethod) {
+               this.handle(IProblem.OverridingNonVisibleMethod, new String[] {
+                               new String(CharOperation.concat(localMethod.declaringClass
+                                               .readableName(), localMethod.readableName(), '.')),
+                               new String(inheritedMethod.declaringClass.readableName()) },
+                               new String[] {
+                                               new String(CharOperation.concat(
+                                                               localMethod.declaringClass.shortReadableName(),
+                                                               localMethod.shortReadableName(), '.')),
+                                               new String(inheritedMethod.declaringClass
+                                                               .shortReadableName()) }, localMethod
+                                               .sourceStart(), localMethod.sourceEnd());
+       }
+
+       // public void packageCollidesWithType(CompilationUnitDeclaration
+       // compUnitDecl) {
+       // String[] arguments = new String[]{CharOperation
+       // .toString(compUnitDecl.currentPackage.tokens)};
+       // this.handle(IProblem.PackageCollidesWithType, arguments, arguments,
+       // compUnitDecl.currentPackage.sourceStart,
+       // compUnitDecl.currentPackage.sourceEnd);
+       // }
+       public void packageIsNotExpectedPackage(
+                       CompilationUnitDeclaration compUnitDecl) {
+               String[] arguments = new String[] { CharOperation
+                               .toString(compUnitDecl.compilationResult.compilationUnit
+                                               .getPackageName()) };
+               this.handle(IProblem.PackageIsNotExpectedPackage, arguments, arguments,
+                               compUnitDecl.currentPackage == null ? 0
+                                               : compUnitDecl.currentPackage.sourceStart,
+                               compUnitDecl.currentPackage == null ? 0
+                                               : compUnitDecl.currentPackage.sourceEnd);
+       }
+
+       private String parametersAsString(MethodBinding method) {
+               TypeBinding[] params = method.parameters;
+               StringBuffer buffer = new StringBuffer();
+               for (int i = 0, length = params.length; i < length; i++) {
+                       if (i != 0)
+                               buffer.append(", "); //$NON-NLS-1$
+                       buffer.append(new String(params[i].readableName()));
+               }
+               return buffer.toString();
+       }
+
+       private String parametersAsShortString(MethodBinding method) {
+               TypeBinding[] params = method.parameters;
+               StringBuffer buffer = new StringBuffer();
+               for (int i = 0, length = params.length; i < length; i++) {
+                       if (i != 0)
+                               buffer.append(", "); //$NON-NLS-1$
+                       buffer.append(new String(params[i].shortReadableName()));
+               }
+               return buffer.toString();
+       }
+
+       public void parseError(int startPosition, int endPosition,
+                       char[] currentTokenSource, String errorTokenName,
+                       String[] possibleTokens) {
+               if (possibleTokens.length == 0) { // no suggestion available
+                       if (isKeyword(currentTokenSource)) {
+                               String[] arguments = new String[] { new String(
+                                               currentTokenSource) };
+                               this.handle(IProblem.ParsingErrorOnKeywordNoSuggestion,
+                                               arguments, arguments,
+                                               // this is the current -invalid- token position
+                                               startPosition, endPosition);
+                               return;
+                       } else {
+                               String[] arguments = new String[] { errorTokenName };
+                               this.handle(IProblem.ParsingErrorNoSuggestion, arguments,
+                                               arguments,
+                                               // this is the current -invalid- token position
+                                               startPosition, endPosition);
+                               return;
                        }
                }
+               // build a list of probable right tokens
+               StringBuffer list = new StringBuffer(20);
+               for (int i = 0, max = possibleTokens.length; i < max; i++) {
+                       if (i > 0)
+                               list.append(", "); //$NON-NLS-1$
+                       list.append('"');
+                       list.append(possibleTokens[i]);
+                       list.append('"');
+               }
+               if (isKeyword(currentTokenSource)) {
+                       String[] arguments = new String[] { new String(currentTokenSource),
+                                       list.toString() };
+                       this.handle(IProblem.ParsingErrorOnKeyword, arguments, arguments,
+                       // this is the current -invalid- token position
+                                       startPosition, endPosition);
+                       return;
+               }
+               // extract the literal when it's a literal
+               if ((errorTokenName.equals("IntegerLiteral")) || //$NON-NLS-1$
+                               (errorTokenName.equals("LongLiteral")) || //$NON-NLS-1$
+                               (errorTokenName.equals("FloatingPointLiteral")) || //$NON-NLS-1$
+                               (errorTokenName.equals("DoubleLiteral")) || //$NON-NLS-1$
+                               (errorTokenName.equals("StringLiteral")) || //$NON-NLS-1$
+                               (errorTokenName.equals("CharacterLiteral")) || //$NON-NLS-1$
+                               (errorTokenName.equals("Identifier"))) { //$NON-NLS-1$
+                       errorTokenName = new String(currentTokenSource);
+               }
+               String[] arguments = new String[] { errorTokenName, list.toString() };
+               this.handle(IProblem.ParsingError, arguments, arguments,
+               // this is the current -invalid- token position
+                               startPosition, endPosition);
+       }
+
+       public void publicClassMustMatchFileName(
+                       CompilationUnitDeclaration compUnitDecl, TypeDeclaration typeDecl) {
+               this.referenceContext = typeDecl; // report the problem against the
+               // type not the entire compilation
+               // unit
+               String[] arguments = new String[] {
+                               new String(compUnitDecl.getFileName()),
+                               new String(typeDecl.name) };
+               this.handle(IProblem.PublicClassMustMatchFileName, arguments,
+                               arguments, typeDecl.sourceStart, typeDecl.sourceEnd,
+                               compUnitDecl.compilationResult);
+       }
+
+       public void recursiveConstructorInvocation(
+                       ExplicitConstructorCall constructorCall) {
+               this.handle(IProblem.RecursiveConstructorInvocation, new String[] {
+                               new String(constructorCall.binding.declaringClass
+                                               .readableName()),
+                               parametersAsString(constructorCall.binding) }, new String[] {
+                               new String(constructorCall.binding.declaringClass
+                                               .shortReadableName()),
+                               parametersAsShortString(constructorCall.binding) },
+                               constructorCall.sourceStart, constructorCall.sourceEnd);
+       }
+
+       public void redefineArgument(Argument arg) {
+               String[] arguments = new String[] { new String(arg.name) };
+               this.handle(IProblem.RedefinedArgument, arguments, arguments,
+                               arg.sourceStart, arg.sourceEnd);
+       }
+
+       public void redefineLocal(LocalDeclaration localDecl) {
+               String[] arguments = new String[] { new String(localDecl.name) };
+               this.handle(IProblem.RedefinedLocal, arguments, arguments,
+                               localDecl.sourceStart, localDecl.sourceEnd);
+       }
+
+       public void referenceMustBeArrayTypeAt(TypeBinding arrayType,
+                       ArrayReference arrayRef) {
+               this.handle(IProblem.ArrayReferenceRequired, new String[] { new String(
+                               arrayType.readableName()) }, new String[] { new String(
+                               arrayType.shortReadableName()) }, arrayRef.sourceStart,
+                               arrayRef.sourceEnd);
+       }
+
+       public void returnTypeCannotBeVoidArray(SourceTypeBinding type,
+                       MethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(methodDecl.selector) };
+               this.handle(IProblem.ReturnTypeCannotBeVoidArray, arguments, arguments,
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
        }
-}
-public void redefineArgument(Argument arg) {
-       this.handle(
-               IProblem.RedefinedArgument,
-               new String[] {new String(arg.name)},
-               arg.sourceStart,
-               arg.sourceEnd);
-}
-public void redefineLocal(LocalDeclaration localDecl) {
-       this.handle(
-               IProblem.RedefinedLocal,
-               new String[] {new String(localDecl.name)},
-               localDecl.sourceStart,
-               localDecl.sourceEnd);
-}
-public void referenceMustBeArrayTypeAt(TypeBinding arrayType, ArrayReference arrayRef) {
-       this.handle(
-               IProblem.ArrayReferenceRequired,
-               new String[] {new String(arrayType.readableName())},
-               arrayRef.sourceStart,
-               arrayRef.sourceEnd);
-}
-public void returnTypeCannotBeVoidArray(SourceTypeBinding type, MethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.ReturnTypeCannotBeVoidArray,
-               new String[] {new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void returnTypeProblem(SourceTypeBinding type, MethodDeclaration methodDecl, TypeBinding expectedType) {
-       int problemId = expectedType.problemId();
-       int id;
-       switch (problemId) {
-               case NotFound : // 1
+
+       public void returnTypeProblem(SourceTypeBinding type,
+                       MethodDeclaration methodDecl, TypeBinding expectedType) {
+               int problemId = expectedType.problemId();
+               int id;
+               switch (problemId) {
+               case NotFound:
+                       // 1
                        id = IProblem.ReturnTypeNotFound;
                        break;
-               case NotVisible : // 2
+               case NotVisible:
+                       // 2
                        id = IProblem.ReturnTypeNotVisible;
                        break;
-               case Ambiguous : // 3
+               case Ambiguous:
+                       // 3
                        id = IProblem.ReturnTypeAmbiguous;
                        break;
-               case InternalNameProvided : // 4
+               case InternalNameProvided:
+                       // 4
                        id = IProblem.ReturnTypeInternalNameProvided;
                        break;
-               case InheritedNameHidesEnclosingName : // 5
+               case InheritedNameHidesEnclosingName:
+                       // 5
                        id = IProblem.ReturnTypeInheritedNameHidesEnclosingName;
                        break;
-               case NoError : // 0
-               default :
-                       needImplementation(); // want to fail to see why we were here...
+               case NoError:
+                       // 0
+               default:
+                       needImplementation(); // want to fail to see why we were
+                       // here...
                        return;
+               }
+               this.handle(id, new String[] { new String(methodDecl.selector),
+                               new String(expectedType.readableName()) }, new String[] {
+                               new String(methodDecl.selector),
+                               new String(expectedType.shortReadableName()) },
+                               methodDecl.returnType.sourceStart,
+                               methodDecl.returnType.sourceEnd);
        }
-       this.handle(
-               id,
-               new String[] {new String(methodDecl.selector), new String(expectedType.readableName())},
-               methodDecl.returnType.sourceStart,
-               methodDecl.returnType.sourceEnd);
-}
-public void scannerError(Parser parser, String errorTokenName) {
-       Scanner scanner = parser.scanner;
-
-       int flag = IProblem.ParsingErrorNoSuggestion;
-       int startPos = scanner.startPosition;
-
-       //special treatment for recognized errors....
-       if (errorTokenName.equals(Scanner.END_OF_SOURCE))
-               flag = IProblem.EndOfSource;
-       else
-               if (errorTokenName.equals(Scanner.INVALID_HEXA))
+
+       public void scannerError(Parser parser, String errorTokenName) {
+               Scanner scanner = parser.scanner;
+               int flag = IProblem.ParsingErrorNoSuggestion;
+               int startPos = scanner.startPosition;
+               // special treatment for recognized errors....
+               if (errorTokenName.equals(Scanner.END_OF_SOURCE))
+                       flag = IProblem.EndOfSource;
+               else if (errorTokenName.equals(Scanner.INVALID_HEXA))
                        flag = IProblem.InvalidHexa;
+               else if (errorTokenName.equals(Scanner.INVALID_OCTAL))
+                       flag = IProblem.InvalidOctal;
+               else if (errorTokenName.equals(Scanner.INVALID_CHARACTER_CONSTANT))
+                       flag = IProblem.InvalidCharacterConstant;
+               else if (errorTokenName.equals(Scanner.INVALID_ESCAPE))
+                       flag = IProblem.InvalidEscape;
+               else if (errorTokenName.equals(Scanner.INVALID_UNICODE_ESCAPE)) {
+                       flag = IProblem.InvalidUnicodeEscape;
+                       // better locate the error message
+                       char[] source = scanner.source;
+                       int checkPos = scanner.currentPosition - 1;
+                       if (checkPos >= source.length)
+                               checkPos = source.length - 1;
+                       while (checkPos >= startPos) {
+                               if (source[checkPos] == '\\')
+                                       break;
+                               checkPos--;
+                       }
+                       startPos = checkPos;
+               } else if (errorTokenName.equals(Scanner.INVALID_FLOAT))
+                       flag = IProblem.InvalidFloat;
+               else if (errorTokenName.equals(Scanner.UNTERMINATED_STRING))
+                       flag = IProblem.UnterminatedString;
+               else if (errorTokenName.equals(Scanner.UNTERMINATED_COMMENT))
+                       flag = IProblem.UnterminatedComment;
+               else if (errorTokenName.equals(Scanner.INVALID_CHAR_IN_STRING))
+                       flag = IProblem.UnterminatedString;
+               String[] arguments = flag == IProblem.ParsingErrorNoSuggestion ? new String[] { errorTokenName }
+                               : NoArgument;
+               this.handle(flag, arguments, arguments,
+                               // this is the current -invalid- token position
+                               startPos, scanner.currentPosition - 1,
+                               parser.compilationUnit.compilationResult);
+       }
+
+       public void shouldReturn(TypeBinding returnType, ASTNode location) {
+               this.handle(IProblem.ShouldReturnValue, new String[] { new String(
+                               returnType.readableName()) }, new String[] { new String(
+                               returnType.shortReadableName()) }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void signalNoImplicitStringConversionForCharArrayExpression(
+                       Expression expression) {
+               this.handle(IProblem.NoImplicitStringConversionForCharArrayExpression,
+                               NoArgument, NoArgument, expression.sourceStart,
+                               expression.sourceEnd);
+       }
+
+       public void staticAndInstanceConflict(MethodBinding currentMethod,
+                       MethodBinding inheritedMethod) {
+               if (currentMethod.isStatic())
+                       this.handle(
+                                       // This static method cannot hide the instance method from
+                                       // %1
+                                       // 8.4.6.4 - If a class inherits more than one method with
+                                       // the same signature a static (non-abstract) method cannot
+                                       // hide an instance method.
+                                       IProblem.CannotHideAnInstanceMethodWithAStaticMethod,
+                                       new String[] { new String(inheritedMethod.declaringClass
+                                                       .readableName()) },
+                                       new String[] { new String(inheritedMethod.declaringClass
+                                                       .shortReadableName()) }, currentMethod
+                                                       .sourceStart(), currentMethod.sourceEnd());
                else
-                       if (errorTokenName.equals(Scanner.INVALID_OCTAL))
-                               flag = IProblem.InvalidOctal;
-                       else
-                               if (errorTokenName.equals(Scanner.INVALID_CHARACTER_CONSTANT))
-                                       flag = IProblem.InvalidCharacterConstant;
-                               else
-                                       if (errorTokenName.equals(Scanner.INVALID_ESCAPE))
-                                               flag = IProblem.InvalidEscape;
-                                       else
-                                               if (errorTokenName.equals(Scanner.INVALID_UNICODE_ESCAPE)){
-                                                       flag = IProblem.InvalidUnicodeEscape;
-                                                       // better locate the error message
-                                                       char[] source = scanner.source;
-                                                       int checkPos = scanner.currentPosition - 1;
-                                                       if (checkPos >= source.length) checkPos = source.length - 1;
-                                                       while (checkPos >= startPos){
-                                                               if (source[checkPos] == '\\') break;
-                                                               checkPos --;
-                                                       }
-                                                       startPos = checkPos;
-                                               } else
-                                                       if (errorTokenName.equals(Scanner.INVALID_FLOAT))
-                                                               flag = IProblem.InvalidFloat;
-                                                       else
-                                                               if (errorTokenName.equals(Scanner.UNTERMINATED_STRING))
-                                                                       flag = IProblem.UnterminatedString;
-                                                               else
-                                                                       if (errorTokenName.equals(Scanner.UNTERMINATED_COMMENT))
-                                                                               flag = IProblem.UnterminatedComment;
-                                                                       else
-                                                                               if (errorTokenName.equals(Scanner.INVALID_CHAR_IN_STRING))
-                                                                                       flag = IProblem.UnterminatedString;
-
-       this.handle(
-               flag, 
-               flag == IProblem.ParsingErrorNoSuggestion 
-                       ? new String[] {errorTokenName}
-                       : new String[0],
-               // this is the current -invalid- token position
-               startPos, 
-               scanner.currentPosition - 1,
-               parser.compilationUnit.compilationResult);
-}
-public void shouldReturn(TypeBinding returnType, AstNode location) {
-       this.handle(
-               IProblem.ShouldReturnValue,
-               new String[] { new String (returnType.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void signalNoImplicitStringConversionForCharArrayExpression(Expression expression) {
-       this.handle(
-               IProblem.NoImplicitStringConversionForCharArrayExpression,
-               new String[] {},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void staticAndInstanceConflict(MethodBinding currentMethod, MethodBinding inheritedMethod) {
-       if (currentMethod.isStatic())
+                       this.handle(
+                                       // This instance method cannot override the static method
+                                       // from %1
+                                       // 8.4.6.4 - If a class inherits more than one method with
+                                       // the same signature an instance (non-abstract) method
+                                       // cannot override a static method.
+                                       IProblem.CannotOverrideAStaticMethodWithAnInstanceMethod,
+                                       new String[] { new String(inheritedMethod.declaringClass
+                                                       .readableName()) },
+                                       new String[] { new String(inheritedMethod.declaringClass
+                                                       .shortReadableName()) }, currentMethod
+                                                       .sourceStart(), currentMethod.sourceEnd());
+       }
+
+       public void staticFieldAccessToNonStaticVariable(FieldReference fieldRef,
+                       FieldBinding field) {
+               String[] arguments = new String[] { new String(field.readableName()) };
+               this.handle(IProblem.NonStaticFieldFromStaticInvocation, arguments,
+                               arguments, fieldRef.sourceStart, fieldRef.sourceEnd);
+       }
+
+       public void staticFieldAccessToNonStaticVariable(
+                       QualifiedNameReference nameRef, FieldBinding field) {
+               String[] arguments = new String[] { new String(field.readableName()) };
+               this.handle(IProblem.NonStaticFieldFromStaticInvocation, arguments,
+                               arguments, nameRef.sourceStart, nameRef.sourceEnd);
+       }
+
+       public void staticFieldAccessToNonStaticVariable(
+                       SingleNameReference nameRef, FieldBinding field) {
+               String[] arguments = new String[] { new String(field.readableName()) };
+               this.handle(IProblem.NonStaticFieldFromStaticInvocation, arguments,
+                               arguments, nameRef.sourceStart, nameRef.sourceEnd);
+       }
+
+       public void staticInheritedMethodConflicts(SourceTypeBinding type,
+                       MethodBinding concreteMethod, MethodBinding[] abstractMethods) {
                this.handle(
-                       // This static method cannot hide the instance method from %1
-                       // 8.4.6.4 - If a class inherits more than one method with the same signature a static (non-abstract) method cannot hide an instance method.
-                       IProblem.CannotHideAnInstanceMethodWithAStaticMethod,
-                       new String[] {new String(inheritedMethod.declaringClass.readableName())},
-                       currentMethod.sourceStart(),
-                       currentMethod.sourceEnd());
-       else
+                               // The static method %1 conflicts with the abstract method in %2
+                               // 8.4.6.4 - If a class inherits more than one method with the
+                               // same signature it is an error for one to be static
+                               // (non-abstract) and the other abstract.
+                               IProblem.StaticInheritedMethodConflicts, new String[] {
+                                               new String(concreteMethod.readableName()),
+                                               new String(abstractMethods[0].declaringClass
+                                                               .readableName()) }, new String[] {
+                                               new String(concreteMethod.readableName()),
+                                               new String(abstractMethods[0].declaringClass
+                                                               .shortReadableName()) }, type.sourceStart(),
+                               type.sourceEnd());
+       }
+
+       public void stringConstantIsExceedingUtf8Limit(ASTNode location) {
+               this.handle(IProblem.StringConstantIsExceedingUtf8Limit, NoArgument,
+                               NoArgument, location.sourceStart, location.sourceEnd);
+       }
+
+       public void superclassMustBeAClass(SourceTypeBinding type,
+                       TypeReference superclassRef, ReferenceBinding superType) {
+               this.handle(IProblem.SuperclassMustBeAClass, new String[] {
+                               new String(superType.readableName()),
+                               new String(type.sourceName()) }, new String[] {
+                               new String(superType.shortReadableName()),
+                               new String(type.sourceName()) }, superclassRef.sourceStart,
+                               superclassRef.sourceEnd);
+       }
+
+       public void superinterfaceMustBeAnInterface(SourceTypeBinding type,
+                       TypeDeclaration typeDecl, ReferenceBinding superType) {
+               this.handle(IProblem.SuperInterfaceMustBeAnInterface, new String[] {
+                               new String(superType.readableName()),
+                               new String(type.sourceName()) }, new String[] {
+                               new String(superType.shortReadableName()),
+                               new String(type.sourceName()) }, typeDecl.sourceStart,
+                               typeDecl.sourceEnd);
+       }
+
+       public void task(String tag, String message, String priority, int start,
+                       int end) {
+               this.handle(IProblem.Task, new String[] { tag, message, priority /*
+                                                                                                                                                        * secret
+                                                                                                                                                        * argument
+                                                                                                                                                        * that
+                                                                                                                                                        * is
+                                                                                                                                                        * not
+                                                                                                                                                        * surfaced
+                                                                                                                                                        * in
+                                                                                                                                                        * getMessage()
+                                                                                                                                                        */}, new String[] { tag, message, priority /*
+                                                                                                        * secret argument that is
+                                                                                                        * not surfaced in
+                                                                                                        * getMessage()
+                                                                                                        */}, start, end);
+       }
+
+       public void tooManyDimensions(ASTNode expression) {
+               this.handle(IProblem.TooManyArrayDimensions, NoArgument, NoArgument,
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void tooManyFields(TypeDeclaration typeDeclaration) {
+               this.handle(IProblem.TooManyFields, new String[] { new String(
+                               typeDeclaration.binding.readableName()) },
+                               new String[] { new String(typeDeclaration.binding
+                                               .shortReadableName()) }, Abort | Error,
+                               typeDeclaration.sourceStart, typeDeclaration.sourceEnd);
+       }
+
+       public void tooManyMethods(TypeDeclaration typeDeclaration) {
+               this.handle(IProblem.TooManyMethods, new String[] { new String(
+                               typeDeclaration.binding.readableName()) },
+                               new String[] { new String(typeDeclaration.binding
+                                               .shortReadableName()) }, Abort | Error,
+                               typeDeclaration.sourceStart, typeDeclaration.sourceEnd);
+       }
+
+       public void typeCastError(CastExpression expression, TypeBinding leftType,
+                       TypeBinding rightType) {
+               String leftName = new String(leftType.readableName());
+               String rightName = new String(rightType.readableName());
+               String leftShortName = new String(leftType.shortReadableName());
+               String rightShortName = new String(rightType.shortReadableName());
+               if (leftShortName.equals(rightShortName)) {
+                       leftShortName = leftName;
+                       rightShortName = rightName;
+               }
+               this.handle(IProblem.IllegalCast, new String[] { rightName, leftName },
+                               new String[] { rightShortName, leftShortName },
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void typeCollidesWithPackage(
+                       CompilationUnitDeclaration compUnitDecl, TypeDeclaration typeDecl) {
+               this.referenceContext = typeDecl; // report the problem against the
+               // type not the entire compilation
+               // unit
+               String[] arguments = new String[] {
+                               new String(compUnitDecl.getFileName()),
+                               new String(typeDecl.name) };
+               this.handle(IProblem.TypeCollidesWithPackage, arguments, arguments,
+                               typeDecl.sourceStart, typeDecl.sourceEnd,
+                               compUnitDecl.compilationResult);
+       }
+
+       public void typeMismatchError(TypeBinding resultType,
+                       TypeBinding expectedType, ASTNode location) {
+               String resultTypeName = new String(resultType.readableName());
+               String expectedTypeName = new String(expectedType.readableName());
+               String resultTypeShortName = new String(resultType.shortReadableName());
+               String expectedTypeShortName = new String(expectedType
+                               .shortReadableName());
+               if (resultTypeShortName.equals(expectedTypeShortName)) {
+                       resultTypeShortName = resultTypeName;
+                       expectedTypeShortName = expectedTypeName;
+               }
+               this.handle(IProblem.TypeMismatch, new String[] { resultTypeName,
+                               expectedTypeName }, new String[] { resultTypeShortName,
+                               expectedTypeShortName }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void typeMismatchErrorActualTypeExpectedType(Expression expression,
+                       TypeBinding constantType, TypeBinding expectedType) {
+               String constantTypeName = new String(constantType.readableName());
+               String expectedTypeName = new String(expectedType.readableName());
+               String constantTypeShortName = new String(constantType
+                               .shortReadableName());
+               String expectedTypeShortName = new String(expectedType
+                               .shortReadableName());
+               if (constantTypeShortName.equals(expectedTypeShortName)) {
+                       constantTypeShortName = constantTypeName;
+                       expectedTypeShortName = expectedTypeName;
+               }
+               this.handle(IProblem.TypeMismatch, new String[] { constantTypeName,
+                               expectedTypeName }, new String[] { constantTypeShortName,
+                               expectedTypeShortName }, expression.sourceStart,
+                               expression.sourceEnd);
+       }
+
+       // public void undefinedLabel(BranchStatement statement) {
+       // String[] arguments = new String[] { new String(statement.label) };
+       // this.handle(IProblem.UndefinedLabel, arguments, arguments,
+       // statement.sourceStart, statement.sourceEnd);
+       // }
+
+       public void unexpectedStaticModifierForField(SourceTypeBinding type,
+                       FieldDeclaration fieldDecl) {
+               String[] arguments = new String[] { fieldDecl.name() };
+               this.handle(IProblem.UnexpectedStaticModifierForField, arguments,
+                               arguments, fieldDecl.sourceStart, fieldDecl.sourceEnd);
+       }
+
+       public void unexpectedStaticModifierForMethod(ReferenceBinding type,
+                       AbstractMethodDeclaration methodDecl) {
+               String[] arguments = new String[] { new String(type.sourceName()),
+                               new String(methodDecl.selector) };
+               this.handle(IProblem.UnexpectedStaticModifierForMethod, arguments,
+                               arguments, methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void unhandledException(TypeBinding exceptionType, ASTNode location) {
+               boolean insideDefaultConstructor = (referenceContext instanceof ConstructorDeclaration)
+                               && ((ConstructorDeclaration) referenceContext)
+                                               .isDefaultConstructor();
+               boolean insideImplicitConstructorCall = (location instanceof ExplicitConstructorCall)
+                               && (((ExplicitConstructorCall) location).accessMode == ExplicitConstructorCall.ImplicitSuper);
+               this
+                               .handle(
+                                               insideDefaultConstructor ? IProblem.UnhandledExceptionInDefaultConstructor
+                                                               : (insideImplicitConstructorCall ? IProblem.UndefinedConstructorInImplicitConstructorCall
+                                                                               : IProblem.UnhandledException),
+                                               new String[] { new String(exceptionType.readableName()) },
+                                               new String[] { new String(exceptionType
+                                                               .shortReadableName()) }, location.sourceStart,
+                                               location.sourceEnd);
+       }
+
+       public void uninitializedBlankFinalField(FieldBinding binding,
+                       ASTNode location) {
+               String[] arguments = new String[] { new String(binding.readableName()) };
+               this.handle(IProblem.UninitializedBlankFinalField, arguments,
+                               arguments, location.sourceStart, location.sourceEnd);
+       }
+
+       public void unmatchedBracket(int position, ReferenceContext context,
+                       CompilationResult compilationResult) {
+               this.handle(IProblem.UnmatchedBracket, NoArgument, NoArgument,
+                               position, position, context, compilationResult);
+       }
+
+       public void unnecessaryEnclosingInstanceSpecification(
+                       Expression expression, ReferenceBinding targetType) {
+               this.handle(IProblem.IllegalEnclosingInstanceSpecification,
+                               new String[] { new String(targetType.readableName()) },
+                               new String[] { new String(targetType.shortReadableName()) },
+                               expression.sourceStart, expression.sourceEnd);
+       }
+
+       public void unnecessaryReceiverForStaticMethod(ASTNode location,
+                       MethodBinding method) {
+               this.handle(IProblem.NonStaticAccessToStaticMethod, new String[] {
+                               new String(method.declaringClass.readableName()),
+                               new String(method.selector), parametersAsString(method) },
+                               new String[] {
+                                               new String(method.declaringClass.shortReadableName()),
+                                               new String(method.selector),
+                                               parametersAsShortString(method) },
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void unnecessaryReceiverForStaticField(ASTNode location,
+                       FieldBinding field) {
+               this.handle(IProblem.NonStaticAccessToStaticField, new String[] {
+                               new String(field.declaringClass.readableName()),
+                               new String(field.name) }, new String[] {
+                               new String(field.declaringClass.shortReadableName()),
+                               new String(field.name) }, location.sourceStart,
+                               location.sourceEnd);
+       }
+
+       public void unreachableExceptionHandler(ReferenceBinding exceptionType,
+                       ASTNode location) {
+               this.handle(IProblem.UnreachableCatch, NoArgument, NoArgument,
+                               location.sourceStart, location.sourceEnd);
+       }
+
+       public void unresolvableReference(NameReference nameRef, Binding binding) {
+               int severity = Error;
+               /*
+                * also need to check that the searchedType is the receiver type if
+                * (binding instanceof ProblemBinding) { ProblemBinding problem =
+                * (ProblemBinding) binding; if (problem.searchType != null &&
+                * problem.searchType.isHierarchyInconsistent()) severity =
+                * SecondaryError; }
+                */
+               String[] arguments = new String[] { new String(binding.readableName()) };
+               this.handle(IProblem.UndefinedName, arguments, arguments, severity,
+                               nameRef.sourceStart, nameRef.sourceEnd);
+       }
+
+       public void unusedArgument(LocalDeclaration localDecl) {
+               String[] arguments = new String[] { localDecl.name() };
+               this.handle(IProblem.ArgumentIsNeverUsed, arguments, arguments,
+                               localDecl.sourceStart, localDecl.sourceEnd);
+       }
+
+       // public void unusedImport(ImportReference importRef) {
+       // String[] arguments = new
+       // String[]{CharOperation.toString(importRef.tokens)};
+       // this.handle(IProblem.UnusedImport, arguments, arguments,
+       // importRef.sourceStart, importRef.sourceEnd);
+       // }
+       public void unusedLocalVariable(LocalDeclaration localDecl) {
+               String[] arguments = new String[] { localDecl.name() };
+               this.handle(IProblem.LocalVariableIsNeverUsed, arguments, arguments,
+                               localDecl.sourceStart, localDecl.sourceEnd);
+       }
+
+       public void unusedPrivateConstructor(ConstructorDeclaration constructorDecl) {
+               if (computeSeverity(IProblem.UnusedPrivateConstructor) == Ignore)
+                       return;
+               // no complaint for no-arg constructors (or default ones) - known
+               // pattern to block instantiation
+               if (constructorDecl.arguments == null
+                               || constructorDecl.arguments.length == 0)
+                       return;
+               MethodBinding constructor = constructorDecl.binding;
+               this.handle(IProblem.UnusedPrivateConstructor, new String[] {
+                               new String(constructor.declaringClass.readableName()),
+                               parametersAsString(constructor) }, new String[] {
+                               new String(constructor.declaringClass.shortReadableName()),
+                               parametersAsShortString(constructor) },
+                               constructorDecl.sourceStart, constructorDecl.sourceEnd);
+       }
+
+       public void unusedPrivateField(FieldDeclaration fieldDecl) {
+               if (computeSeverity(IProblem.UnusedPrivateField) == Ignore)
+                       return;
+               FieldBinding field = fieldDecl.binding;
+               if (CharOperation.equals(TypeConstants.SERIALVERSIONUID, field.name)
+                               && field.isStatic() && field.isFinal()
+                               && TypeBinding.LongBinding == field.type) {
+                       return; // do not report unused serialVersionUID field
+               }
+               this.handle(IProblem.UnusedPrivateField, new String[] {
+                               new String(field.declaringClass.readableName()),
+                               new String(field.name), }, new String[] {
+                               new String(field.declaringClass.shortReadableName()),
+                               new String(field.name), }, fieldDecl.sourceStart,
+                               fieldDecl.sourceEnd);
+       }
+
+       public void unusedPrivateMethod(AbstractMethodDeclaration methodDecl) {
+               if (computeSeverity(IProblem.UnusedPrivateMethod) == Ignore)
+                       return;
+               MethodBinding method = methodDecl.binding;
+               // no report for serialization support 'void
+               // readObject(ObjectInputStream)'
+               if (!method.isStatic()
+                               && TypeBinding.VoidBinding == method.returnType
+                               && method.parameters.length == 1
+                               && method.parameters[0].dimensions() == 0
+                               && CharOperation.equals(method.selector,
+                                               TypeConstants.READOBJECT)
+                               && CharOperation.equals(
+                                               TypeConstants.CharArray_JAVA_IO_OBJECTINPUTSTREAM,
+                                               method.parameters[0].readableName())) {
+                       return;
+               }
+               // no report for serialization support 'void
+               // writeObject(ObjectOutputStream)'
+               if (!method.isStatic()
+                               && TypeBinding.VoidBinding == method.returnType
+                               && method.parameters.length == 1
+                               && method.parameters[0].dimensions() == 0
+                               && CharOperation.equals(method.selector,
+                                               TypeConstants.WRITEOBJECT)
+                               && CharOperation.equals(
+                                               TypeConstants.CharArray_JAVA_IO_OBJECTOUTPUTSTREAM,
+                                               method.parameters[0].readableName())) {
+                       return;
+               }
+               // no report for serialization support 'Object readResolve()'
+               if (!method.isStatic()
+                               && TypeBinding.T_Object == method.returnType.id
+                               && method.parameters.length == 0
+                               && CharOperation.equals(method.selector,
+                                               TypeConstants.READRESOLVE)) {
+                       return;
+               }
+               // no report for serialization support 'Object writeReplace()'
+               if (!method.isStatic()
+                               && TypeBinding.T_Object == method.returnType.id
+                               && method.parameters.length == 0
+                               && CharOperation.equals(method.selector,
+                                               TypeConstants.WRITEREPLACE)) {
+                       return;
+               }
+               this.handle(IProblem.UnusedPrivateMethod, new String[] {
+                               new String(method.declaringClass.readableName()),
+                               new String(method.selector), parametersAsString(method) },
+                               new String[] {
+                                               new String(method.declaringClass.shortReadableName()),
+                                               new String(method.selector),
+                                               parametersAsShortString(method) },
+                               methodDecl.sourceStart, methodDecl.sourceEnd);
+       }
+
+       public void unusedPrivateType(TypeDeclaration typeDecl) {
+               if (computeSeverity(IProblem.UnusedPrivateType) == Ignore)
+                       return;
+               ReferenceBinding type = typeDecl.binding;
+               this.handle(IProblem.UnusedPrivateType, new String[] { new String(type
+                               .readableName()), }, new String[] { new String(type
+                               .shortReadableName()), }, typeDecl.sourceStart,
+                               typeDecl.sourceEnd);
+       }
+
+       public void useAssertAsAnIdentifier(int sourceStart, int sourceEnd) {
+               this.handle(IProblem.UseAssertAsAnIdentifier, NoArgument, NoArgument,
+                               sourceStart, sourceEnd);
+       }
+
+       public void variableTypeCannotBeVoid(AbstractVariableDeclaration varDecl) {
+               String[] arguments = new String[] { new String(varDecl.name) };
+               this.handle(IProblem.VariableTypeCannotBeVoid, arguments, arguments,
+                               varDecl.sourceStart, varDecl.sourceEnd);
+       }
+
+       public void variableTypeCannotBeVoidArray(
+                       AbstractVariableDeclaration varDecl) {
+               String[] arguments = new String[] { new String(varDecl.name) };
+               this.handle(IProblem.VariableTypeCannotBeVoidArray, arguments,
+                               arguments, varDecl.sourceStart, varDecl.sourceEnd);
+       }
+
+       public void visibilityConflict(MethodBinding currentMethod,
+                       MethodBinding inheritedMethod) {
                this.handle(
-                       // This instance method cannot override the static method from %1
-                       // 8.4.6.4 - If a class inherits more than one method with the same signature an instance (non-abstract) method cannot override a static method.
-                       IProblem.CannotOverrideAStaticMethodWithAnInstanceMethod,
-                       new String[] {new String(inheritedMethod.declaringClass.readableName())},
-                       currentMethod.sourceStart(),
-                       currentMethod.sourceEnd());
-}
-public void staticFieldAccessToNonStaticVariable(FieldReference fieldRef, FieldBinding field) {
-       this.handle(
-               IProblem.NonStaticFieldFromStaticInvocation,
-               new String[] {new String(field.readableName())},
-               fieldRef.sourceStart,
-               fieldRef.sourceEnd); 
-}
-public void staticFieldAccessToNonStaticVariable(QualifiedNameReference nameRef, FieldBinding field){
-       this.handle(
-               IProblem.NonStaticFieldFromStaticInvocation,
-               new String[] { new String(field.readableName())},
-               nameRef.sourceStart,
-               nameRef.sourceEnd);
-}
-public void staticFieldAccessToNonStaticVariable(SingleNameReference nameRef, FieldBinding field) {
-       this.handle(
-               IProblem.NonStaticFieldFromStaticInvocation,
-               new String[] {new String(field.readableName())},
-               nameRef.sourceStart,
-               nameRef.sourceEnd);
-}
-public void staticInheritedMethodConflicts(SourceTypeBinding type, MethodBinding concreteMethod, MethodBinding[] abstractMethods) {
-       this.handle(
-               // The static method %1 conflicts with the abstract method in %2
-               // 8.4.6.4 - If a class inherits more than one method with the same signature it is an error for one to be static (non-abstract) and the other abstract.
-               IProblem.StaticInheritedMethodConflicts,
-               new String[] {
-                       new String(concreteMethod.readableName()),
-                       new String(abstractMethods[0].declaringClass.readableName())},
-               type.sourceStart(),
-               type.sourceEnd());
-}
-public void stringConstantIsExceedingUtf8Limit(AstNode location) {
-       this.handle(
-               IProblem.StringConstantIsExceedingUtf8Limit,
-               new String[0],
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void superclassMustBeAClass(SourceTypeBinding type, TypeReference superclassRef, ReferenceBinding superType) {
-       this.handle(
-               IProblem.SuperclassMustBeAClass,
-               new String[] {new String(superType.readableName()), new String(type.sourceName())},
-               superclassRef.sourceStart,
-               superclassRef.sourceEnd);
-}
-public void superinterfaceMustBeAnInterface(SourceTypeBinding type, TypeDeclaration typeDecl, ReferenceBinding superType) {
-       this.handle(
-               IProblem.SuperInterfaceMustBeAnInterface,
-               new String[] {new String(superType.readableName()), new String(type.sourceName())},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd);
-}
-public void typeCastError(CastExpression expression, TypeBinding leftType, TypeBinding rightType) {
-       this.handle(
-               IProblem.IllegalCast,
-               new String[] {new String(rightType.readableName()), new String(leftType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void typeCollidesWithPackage(CompilationUnitDeclaration compUnitDecl, TypeDeclaration typeDecl) {
-       this.referenceContext = typeDecl; // report the problem against the type not the entire compilation unit
-       this.handle(
-               IProblem.TypeCollidesWithPackage,
-               new String[] {new String(compUnitDecl.getFileName()), new String(typeDecl.name)},
-               typeDecl.sourceStart,
-               typeDecl.sourceEnd,
-               compUnitDecl.compilationResult);
-}
-public void typeMismatchError(TypeBinding resultType, TypeBinding expectedType, AstNode location) {
-       this.handle(
-               IProblem.TypeMismatch,
-               new String[] {new String(resultType.readableName()), new String(expectedType.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void typeMismatchErrorActualTypeExpectedType(Expression expression, TypeBinding constantType, TypeBinding expectedType) {
-       this.handle(
-               IProblem.TypeMismatch,
-               new String[] {new String(constantType.readableName()), new String(expectedType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void undefinedLabel(BranchStatement statement) {
-       this.handle(
-               IProblem.UndefinedLabel,
-               new String[] {new String(statement.label)},
-               statement.sourceStart,
-               statement.sourceEnd);
-}
-public void unexpectedStaticModifierForField(SourceTypeBinding type, FieldDeclaration fieldDecl) {
-       this.handle(
-               IProblem.UnexpectedStaticModifierForField,
-               new String[] {fieldDecl.name()},
-               fieldDecl.sourceStart,
-               fieldDecl.sourceEnd);
-}
-public void unexpectedStaticModifierForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl) {
-       this.handle(
-               IProblem.UnexpectedStaticModifierForMethod,
-               new String[] {new String(type.sourceName()), new String(methodDecl.selector)},
-               methodDecl.sourceStart,
-               methodDecl.sourceEnd);
-}
-public void unhandledException(TypeBinding exceptionType, AstNode location) {
-
-       boolean insideDefaultConstructor = 
-               (referenceContext instanceof ConstructorDeclaration)
-                       && ((ConstructorDeclaration)referenceContext).isDefaultConstructor();
-       boolean insideImplicitConstructorCall =
-               (location instanceof ExplicitConstructorCall)
-                       && (((ExplicitConstructorCall) location).accessMode == ExplicitConstructorCall.ImplicitSuper);
-
-       this.handle(
-               insideDefaultConstructor
-                       ? IProblem.UnhandledExceptionInDefaultConstructor
-                       : (insideImplicitConstructorCall 
-                                       ? IProblem.UndefinedConstructorInImplicitConstructorCall
-                                       : IProblem.UnhandledException),
-               new String[] {new String(exceptionType.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void uninitializedBlankFinalField(FieldBinding binding, AstNode location) {
-       this.handle(
-               IProblem.UninitializedBlankFinalField,
-               new String[] {new String(binding.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void uninitializedLocalVariable(LocalVariableBinding binding, AstNode location) {
-       this.handle(
-               IProblem.UninitializedLocalVariable,
-               new String[] {new String(binding.readableName())},
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void unmatchedBracket(int position, ReferenceContext context, CompilationResult compilationResult) {
-
-       this.handle(
-               IProblem.UnmatchedBracket, 
-               new String[] {},
-               position, 
-               position,
-               context,
-               compilationResult);
-}
-public void unnecessaryEnclosingInstanceSpecification(Expression expression, ReferenceBinding targetType) {
-       this.handle(
-               IProblem.IllegalEnclosingInstanceSpecification,
-               new String[]{ new String(targetType.readableName())},
-               expression.sourceStart,
-               expression.sourceEnd);
-}
-public void unreachableCode(Statement statement) {
-       this.handle(
-               IProblem.CodeCannotBeReached,
-               new String[0],
-               statement.sourceStart,
-               statement.sourceEnd);
-}
-public void unreachableExceptionHandler(ReferenceBinding exceptionType, AstNode location) {
-       this.handle(
-               IProblem.UnreachableCatch,
-               new String[0],
-               location.sourceStart,
-               location.sourceEnd);
-}
-public void unresolvableReference(NameReference nameRef, Binding binding) {
-       int severity = Error;
-/* also need to check that the searchedType is the receiver type
-       if (binding instanceof ProblemBinding) {
-               ProblemBinding problem = (ProblemBinding) binding;
-               if (problem.searchType != null && problem.searchType.isHierarchyInconsistent())
-                       severity = SecondaryError;
-       }
-*/
-       this.handle(
-               IProblem.UndefinedName,
-               new String[] {new String(binding.readableName())},
-               severity,
-               nameRef.sourceStart,
-               nameRef.sourceEnd);
-}
-public void unusedArgument(LocalDeclaration localDecl) {
-       this.handle(
-               IProblem.ArgumentIsNeverUsed,
-               new String[] {localDecl.name()},
-               localDecl.sourceStart,
-               localDecl.sourceEnd);
-}
-public void unusedImport(ImportReference importRef) {
-       this.handle(
-               IProblem.UnusedImport,
-               new String[] { CharOperation.toString(importRef.tokens) },
-               importRef.sourceStart,
-               importRef.sourceEnd); 
-}
-public void unusedLocalVariable(LocalDeclaration localDecl) {
-       this.handle(
-               IProblem.LocalVariableIsNeverUsed,
-               new String[] {localDecl.name()},
-               localDecl.sourceStart,
-               localDecl.sourceEnd);
-}
-
-public void useAssertAsAnIdentifier(int sourceStart, int sourceEnd) {
-       this.handle(
-               IProblem.UseAssertAsAnIdentifier,
-               new String[0],
-               sourceStart,
-               sourceEnd);     
-}
-
-public void variableTypeCannotBeVoid(AbstractVariableDeclaration varDecl) {
-       this.handle(
-               IProblem.VariableTypeCannotBeVoid,
-               new String[] {new String(varDecl.name)},
-               varDecl.sourceStart,
-               varDecl.sourceEnd);
-}
-public void variableTypeCannotBeVoidArray(AbstractVariableDeclaration varDecl) {
-       this.handle(
-               IProblem.VariableTypeCannotBeVoidArray,
-               new String[] {new String(varDecl.name)},
-               varDecl.sourceStart,
-               varDecl.sourceEnd);
-}
-public void visibilityConflict(MethodBinding currentMethod, MethodBinding inheritedMethod) {
-       this.handle(
-               //      Cannot reduce the visibility of the inherited method from %1
-               // 8.4.6.3 - The access modifier of an hiding method must provide at least as much access as the hidden method.
-               // 8.4.6.3 - The access modifier of an overiding method must provide at least as much access as the overriden method.
-               IProblem.MethodReducesVisibility,
-               new String[] {new String(inheritedMethod.declaringClass.readableName())},
-               currentMethod.sourceStart(),
-               currentMethod.sourceEnd());
-}
-public void wrongSequenceOfExceptionTypesError(TryStatement statement, int under, int upper) {
-       //the two catch block under and upper are in an incorrect order.
-       //under should be define BEFORE upper in the source
-
-       //notice that the compiler could arrange automatically the
-       //correct order - and the only error would be on cycle ....
-       //on this one again , java is compiler-driven instead of being
-       //user-driven .....
-
-       TypeReference typeRef = statement.catchArguments[under].type;
-       this.handle(
-               IProblem.UnreachableCatch,
-               new String[0],
-               typeRef.sourceStart,
-               typeRef.sourceEnd);
-}
-
-public void nonExternalizedStringLiteral(AstNode location) {
-       this.handle(
-               IProblem.NonExternalizedStringLiteral,
-               new String[] {},
-               location.sourceStart,
-               location.sourceEnd);
-}
-
-public void noMoreAvailableSpaceInConstantPool(TypeDeclaration typeDeclaration) {
-       this.handle(
-               IProblem.TooManyConstantsInConstantPool,
-               new String[]{ new String(typeDeclaration.binding.readableName())},
-               Abort | Error,
-               typeDeclaration.sourceStart,
-               typeDeclaration.sourceEnd);
-}
-
-private boolean isKeyword(char[] tokenSource) {
-       /*
-        * This code is heavily grammar dependant
-        */
+                               // Cannot reduce the visibility of the inherited method from %1
+                               // 8.4.6.3 - The access modifier of an hiding method must
+                               // provide at least as much access as the hidden method.
+                               // 8.4.6.3 - The access modifier of an overiding method must
+                               // provide at least as much access as the overriden method.
+                               IProblem.MethodReducesVisibility, new String[] { new String(
+                                               inheritedMethod.declaringClass.readableName()) },
+                               new String[] { new String(inheritedMethod.declaringClass
+                                               .shortReadableName()) }, currentMethod.sourceStart(),
+                               currentMethod.sourceEnd());
+       }
 
-       if (tokenSource == null) {
-               return false;
+       public void wrongSequenceOfExceptionTypesError(TryStatement statement,
+                       int under, int upper) {
+               // the two catch block under and upper are in an incorrect order.
+               // under should be define BEFORE upper in the source
+               TypeReference typeRef = statement.catchArguments[under].type;
+               this.handle(IProblem.UnreachableCatch, NoArgument, NoArgument,
+                               typeRef.sourceStart, typeRef.sourceEnd);
        }
-       try {
-               Scanner scanner = new Scanner();
-               scanner.setSource(tokenSource);
-               int token = scanner.getNextToken();
-               char[] currentKeyword;
-               try {
-                       currentKeyword = scanner.getCurrentIdentifierSource();
-               } catch (ArrayIndexOutOfBoundsException e) {
+
+       public void nonExternalizedStringLiteral(ASTNode location) {
+               this.handle(IProblem.NonExternalizedStringLiteral, NoArgument,
+                               NoArgument, location.sourceStart, location.sourceEnd);
+       }
+
+       public void noMoreAvailableSpaceForConstant(TypeDeclaration typeDeclaration) {
+               this.handle(IProblem.TooManyBytesForStringConstant,
+                               new String[] { new String(typeDeclaration.binding
+                                               .readableName()) }, new String[] { new String(
+                                               typeDeclaration.binding.shortReadableName()) }, Abort
+                                               | Error, typeDeclaration.sourceStart,
+                               typeDeclaration.sourceEnd);
+       }
+
+       public void noMoreAvailableSpaceInConstantPool(
+                       TypeDeclaration typeDeclaration) {
+               this.handle(IProblem.TooManyConstantsInConstantPool,
+                               new String[] { new String(typeDeclaration.binding
+                                               .readableName()) }, new String[] { new String(
+                                               typeDeclaration.binding.shortReadableName()) }, Abort
+                                               | Error, typeDeclaration.sourceStart,
+                               typeDeclaration.sourceEnd);
+       }
+
+       private boolean isKeyword(char[] tokenSource) {
+               /*
+                * This code is heavily grammar dependant
+                */
+               if (tokenSource == null) {
                        return false;
                }
-               int nextToken= scanner.getNextToken();
-               if (nextToken == ITerminalSymbols.TokenNameEOF
-                       && scanner.startPosition == scanner.source.length) { // to handle case where we had an ArrayIndexOutOfBoundsException 
-                                                                                                                            // while reading the last token
-                       switch(token) {
+               try {
+                       Scanner scanner = new Scanner();
+                       scanner.setSource(tokenSource);
+                       int token = scanner.getNextToken();
+                       char[] currentKeyword;
+                       try {
+                               currentKeyword = scanner.getCurrentIdentifierSource();
+                       } catch (ArrayIndexOutOfBoundsException e) {
+                               return false;
+                       }
+                       int nextToken = scanner.getNextToken();
+                       if (nextToken == Scanner.TokenNameEOF
+                                       && scanner.startPosition == scanner.source.length) { // to
+                               // handle
+                               // case
+                               // where
+                               // we
+                               // had
+                               // an
+                               // ArrayIndexOutOfBoundsException
+                               // while reading the last token
+                               switch (token) {
                                case Scanner.TokenNameERROR:
-                                       if (CharOperation.equals("goto".toCharArray(), currentKeyword) ||CharOperation.equals("const".toCharArray(), currentKeyword)) { //$NON-NLS-1$ //$NON-NLS-2$
+                                       if (CharOperation.equals("goto".toCharArray(),
+                                                       currentKeyword)
+                                                       || CharOperation.equals(
+                                                                       "const".toCharArray(), currentKeyword)) { //$NON-NLS-1$ //$NON-NLS-2$
                                                return true;
                                        } else {
                                                return false;
                                        }
-        case Scanner.TokenNameas:
-        case Scanner.TokenNameand:   
-//                             case Scanner.TokenNameabstract:
-//                             case Scanner.TokenNameassert:
-//                             case Scanner.TokenNamebyte:
+                               case Scanner.TokenNameabstract:
+                                       // case Scanner.TokenNameassert:
+                                       // case Scanner.TokenNamebyte:
                                case Scanner.TokenNamebreak:
-//                             case Scanner.TokenNameboolean:
+                                       // case Scanner.TokenNameboolean:
                                case Scanner.TokenNamecase:
-//                             case Scanner.TokenNamechar:
-//                             case Scanner.TokenNamecatch:
+                                       // case Scanner.TokenNamechar:
+                               case Scanner.TokenNamecatch:
                                case Scanner.TokenNameclass:
                                case Scanner.TokenNamecontinue:
                                case Scanner.TokenNamedo:
-//                             case Scanner.TokenNamedouble:
+                                       // case Scanner.TokenNamedouble:
                                case Scanner.TokenNamedefault:
-        case Scanner.TokenNameecho: 
-        case Scanner.TokenNameendif:
-        case Scanner.TokenNameendfor:
-        case Scanner.TokenNameendforeach:
-        case Scanner.TokenNameendswitch:
-        case Scanner.TokenNameendwhile:     
                                case Scanner.TokenNameelse:
                                case Scanner.TokenNameextends:
                                case Scanner.TokenNamefor:
-//                             case Scanner.TokenNamefinal:
-//                             case Scanner.TokenNamefloat:
-                               case Scanner.TokenNamefalse:
-//                             case Scanner.TokenNamefinally:
-        case Scanner.TokenNameglobal: 
+                                       // case Scanner.TokenNamefinal:
+                                       // case Scanner.TokenNamefloat:
+                                       // case Scanner.TokenNamefalse :
+                               case Scanner.TokenNamefinally:
                                case Scanner.TokenNameif:
-        case Scanner.TokenNameinclude:
-        case Scanner.TokenNameinclude_once:  
-//                             case Scanner.TokenNameint:
-//                             case Scanner.TokenNameimport:
-//                             case Scanner.TokenNameinterface:
-//                             case Scanner.TokenNameimplements:
-//                             case Scanner.TokenNameinstanceof:
-        case Scanner.TokenNamelist: 
-//                             case Scanner.TokenNamelong:
+                                       // case Scanner.TokenNameint:
+                                       // case Scanner.TokenNameimport:
+                               case Scanner.TokenNameinterface:
+                               case Scanner.TokenNameimplements:
+                               case Scanner.TokenNameinstanceof:
+                                       // case Scanner.TokenNamelong:
                                case Scanner.TokenNamenew:
-                               case Scanner.TokenNamenull:
-//                             case Scanner.TokenNamenative:
-        case Scanner.TokenNameold_function: 
-        case Scanner.TokenNameor: 
-        case Scanner.TokenNameprint: 
-//                             case Scanner.TokenNamepublic:
-//                             case Scanner.TokenNamepackage:
-//                             case Scanner.TokenNameprivate:
-//                             case Scanner.TokenNameprotected:
-        case Scanner.TokenNamerequire:
-        case Scanner.TokenNamerequire_once:  
+                                       // case Scanner.TokenNamenull :
+                                       // case Scanner.TokenNamenative:
+                               case Scanner.TokenNamepublic:
+                                       // case Scanner.TokenNamepackage:
+                               case Scanner.TokenNameprivate:
+                               case Scanner.TokenNameprotected:
                                case Scanner.TokenNamereturn:
-//                             case Scanner.TokenNameshort:
-//                             case Scanner.TokenNamesuper:
+                                       // case Scanner.TokenNameshort:
+                               case Scanner.TokenNamesuper:
                                case Scanner.TokenNamestatic:
                                case Scanner.TokenNameswitch:
-//                             case Scanner.TokenNamestrictfp:
-//                             case Scanner.TokenNamesynchronized:
-//                             case Scanner.TokenNametry:
-//                             case Scanner.TokenNamethis:
-                               case Scanner.TokenNametrue:
-//                             case Scanner.TokenNamethrow:
-//                             case Scanner.TokenNamethrows:
-//                             case Scanner.TokenNametransient:
-        case Scanner.TokenNamevar: 
-//                             case Scanner.TokenNamevoid:
-//                             case Scanner.TokenNamevolatile:
+                                       // case Scanner.TokenNamestrictfp:
+                                       // case Scanner.TokenNamesynchronized:
+                               case Scanner.TokenNametry:
+                                       // case Scanner.TokenNamethis :
+                                       // case Scanner.TokenNametrue :
+                               case Scanner.TokenNamethrow:
+                                       // case Scanner.TokenNamethrows:
+                                       // case Scanner.TokenNametransient:
+                                       // case Scanner.TokenNamevoid:
+                                       // case Scanner.TokenNamevolatile:
                                case Scanner.TokenNamewhile:
-        case Scanner.TokenNamexor: 
                                        return true;
-                               default: 
+                               default:
                                        return false;
+                               }
+                       } else {
+                               return false;
                        }
-               } else {
+               } catch (InvalidInputException e) {
                        return false;
                }
        }
-       catch (InvalidInputException e) {
-               return false;
+
+       // jsurfer start
+       public void phpParsingError(String[] messageArguments,
+                       int problemStartPosition, int problemEndPosition,
+                       ReferenceContext context, CompilationResult compilationResult) {
+               this.handle(IProblem.PHPParsingError, NoArgument, messageArguments,
+                               problemStartPosition, problemEndPosition, context,
+                               compilationResult);
        }
-       
-}
-}
+
+       public void phpParsingWarning(String[] messageArguments,
+                       int problemStartPosition, int problemEndPosition,
+                       ReferenceContext context, CompilationResult compilationResult) {
+               this.handle(IProblem.PHPParsingWarning, NoArgument, messageArguments,
+                               problemStartPosition, problemEndPosition, context,
+                               compilationResult);
+       }
+
+       public void phpVarDeprecatedWarning(int problemStartPosition,
+                       int problemEndPosition, ReferenceContext context,
+                       CompilationResult compilationResult) {
+               if (computeSeverity(IProblem.PHPVarDeprecatedWarning) == Ignore)
+                       return;
+               this.handle(IProblem.PHPVarDeprecatedWarning, NoArgument,
+                               new String[] {}, problemStartPosition, problemEndPosition,
+                               context, compilationResult);
+       }
+
+       public void phpIncludeNotExistWarning(String[] messageArguments,
+                       int problemStartPosition, int problemEndPosition,
+                       ReferenceContext context, CompilationResult compilationResult) {
+               if (computeSeverity(IProblem.PHPIncludeNotExistWarning) == Ignore)
+                       return;
+               this.handle(IProblem.PHPIncludeNotExistWarning, NoArgument,
+                               messageArguments, problemStartPosition, problemEndPosition,
+                               context, compilationResult);
+       }
+
+       public void phpKeywordWarning(String[] messageArguments,
+                       int problemStartPosition, int problemEndPosition,
+                       ReferenceContext context, CompilationResult compilationResult) {
+               if (computeSeverity(IProblem.PHPBadStyleKeywordWarning) == Ignore)
+                       return;
+               this.handle(IProblem.PHPBadStyleKeywordWarning, NoArgument,
+                               messageArguments, problemStartPosition, problemEndPosition,
+                               context, compilationResult);
+       }
+
+       public void phpUppercaseIdentifierWarning(int problemStartPosition,
+                       int problemEndPosition, ReferenceContext context,
+                       CompilationResult compilationResult) {
+               if (computeSeverity(IProblem.PHPBadStyleUppercaseIdentifierWarning) == Ignore)
+                       return;
+               this.handle(IProblem.PHPBadStyleUppercaseIdentifierWarning, NoArgument,
+                               new String[] {}, problemStartPosition, problemEndPosition,
+                               context, compilationResult);
+       }
+
+       public void uninitializedLocalVariable(String token,
+                       int problemStartPosition, int problemEndPosition,
+                       ReferenceContext context, CompilationResult compilationResult) {
+               if (computeSeverity(IProblem.UninitializedLocalVariable) == Ignore)
+                       return;
+               // String[] arguments = new String[] { new
+               // String(binding.readableName()) };
+               String[] arguments = new String[] { token };
+               this.handle(IProblem.UninitializedLocalVariable, arguments, arguments,
+                               problemStartPosition, problemEndPosition, context,
+                               compilationResult);
+       }
+
+       public void unreachableCode(String token, int problemStartPosition,
+                       int problemEndPosition, ReferenceContext context,
+                       CompilationResult compilationResult) {
+               if (computeSeverity(IProblem.CodeCannotBeReached) == Ignore)
+                       return;
+               this.handle(IProblem.CodeCannotBeReached, NoArgument, new String[] {},
+                               problemStartPosition, problemEndPosition, context,
+                               compilationResult);
+       }
+
+}
\ No newline at end of file