### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.doc.isv
Index: guide/jdt_api_options.htm
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.doc.isv/guide/jdt_api_options.htm,v
retrieving revision 1.93
diff -u -r1.93 jdt_api_options.htm
--- guide/jdt_api_options.htm 31 Aug 2011 17:49:35 -0000 1.93
+++ guide/jdt_api_options.htm 18 Oct 2011 09:51:00 -0000
@@ -1442,7 +1442,6 @@
| Reporting Unchecked Type Operation (COMPILER_PB_UNCHECKED_TYPE_OPERATION) |
-
| When enabled, the compiler will issue an error or a warning whenever an operation
@@ -1458,6 +1457,68 @@
| IGNORE |
+
+
+
+| Reporting Unclosed Closeable (COMPILER_PB_UNCLOSED_CLOSEABLE) |
+
+
+When enabled, the compiler will issue an error or a warning if
+ a local variable holds a value of type java.lang.AutoCloseable (compliance>=1.7)
+ or a value of type java.io.Closeable (compliance<=1.6) and if
+ flow analysis shows that the method close() is not invoked locally on that value. |
+ERROR |
+
+
+| WARNING |
+
+
+| IGNORE |
+
+
+
+| Reporting Potentially Unclosed Closeable (COMPILER_PB_POTENTIALLY_UNCLOSED_CLOSEABLE) |
+
+
+When enabled, the compiler will issue an error or a warning if
+ a local variable holds a value of type java.lang.AutoCloseable (compliance>=1.7)
+ or a value of type java.io.Closeable (compliance<=1.6) and if
+ flow analysis shows that the method close() is
+ not invoked locally on that value for all execution paths. |
+ERROR |
+
+
+| WARNING |
+
+
+| IGNORE |
+
+
+
+| Reporting Explicitly Closed Closeable (COMPILER_PB_EXPLICITLY_CLOSED_AUTOCLOSEABLE) |
+
+
+When enabled, the compiler will issue an error or a warning if a local variable
+ holds a value of type java.lang.AutoCloseable, and if the method
+ close() is explicitly invoked on that resource, but the resource is
+ not managed by a try-with-resources block. |
+ERROR |
+
+
+| WARNING |
+
+
+| IGNORE |
+
+
+
+
| Reporting Undocumented Empty Block (COMPILER_PB_UNDOCUMENTED_EMPTY_BLOCK) |