diff options
| -rw-r--r-- | bundles/org.eclipse.wst.jsdt.core/src/org/eclipse/wst/jsdt/internal/compiler/problem/ProblemReporter.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bundles/org.eclipse.wst.jsdt.core/src/org/eclipse/wst/jsdt/internal/compiler/problem/ProblemReporter.java b/bundles/org.eclipse.wst.jsdt.core/src/org/eclipse/wst/jsdt/internal/compiler/problem/ProblemReporter.java index c780b340..baaf07fe 100644 --- a/bundles/org.eclipse.wst.jsdt.core/src/org/eclipse/wst/jsdt/internal/compiler/problem/ProblemReporter.java +++ b/bundles/org.eclipse.wst.jsdt.core/src/org/eclipse/wst/jsdt/internal/compiler/problem/ProblemReporter.java @@ -616,7 +616,10 @@ public int computeSeverity(int problemID){ if (irritant != 0) { if ((problemID & IProblem.Javadoc) != 0 && !this.options.docCommentSupport) return ProblemSeverities.Ignore; - return this.options.getSeverity(irritant); + int severity = this.options.getSeverity(irritant); + return (!options.enableSemanticValidation && ((severity & ProblemSeverities.Optional) != 0) ? + ProblemSeverities.Ignore : + severity); } return ProblemSeverities.Error | ProblemSeverities.Fatal; } |