MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-inspections] UnreachableCatch: even more proofreading

Browse Source 
GitOrigin-RevId: f359d99ca532836c2d72db0118d58257081e5a2e
This commit is contained in:
Tagir Valeev
2025-02-13 11:05:42 +00:00
committed by intellij-monorepo-bot
parent c8c6becc72
commit 90e67979e7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-impl/resources/inspectionDescriptions/UnreachableCatch.html
+1 -1
View File
@@ -1,6 +1,6 @@
<html>
<body>
Reports catch sections which are never executed, despite being allowed by the Java language specification.
Reports catch sections which are never executed, even if allowed by the Java Language Specification.
<p>
While unreachable catch sections are normally disallowed by Java compiler and reported as compilation errors,
the analysis mandated by the Java language is not complete for some cases.