| commit | 2b6586cc07438f1eed63c16fe188da591bffcb9e | [log] [tgz] |
|---|---|---|
| author | Philipe Mulet <pmulet> | Wed Dec 19 14:28:40 2001 +0000 |
| committer | Philipe Mulet <pmulet> | Wed Dec 19 14:28:40 2001 +0000 |
| tree | 0ea9c9e2908d4bd8f9432c5f3c27ea68266005ad | |
| parent | 37150ab20202490e18cca6891da7e3ae729f233a [diff] |
*** empty log message ***
diff --git a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ast/ThrowStatement.java b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ast/ThrowStatement.java index b65f68c..684baed 100644 --- a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ast/ThrowStatement.java +++ b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ast/ThrowStatement.java
@@ -48,8 +48,9 @@ exceptionType = exception.resolveTypeExpecting(scope, scope.getJavaLangThrowable()); - if (exceptionType == NullBinding){ - // if compliant with 1.4, this problem will be ignored (see ProblemReport.computeSeverity()) + if (exceptionType == NullBinding + && scope.problemReporter().options.complianceLevel <= CompilerOptions.JDK1_3){ + // if compliant with 1.4, this problem will not be reported scope.problemReporter().cannotThrowNull(this); } exception.implicitWidening(exceptionType, exceptionType);
diff --git a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java index 4dcd623..5f10b41 100644 --- a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java +++ b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java
@@ -444,11 +444,6 @@ return Warning; } return Ignore; - case CannotThrowNull : - if (options.complianceLevel >= CompilerOptions.JDK1_4){ - return Ignore; - } - return Error; default: return Error; }