mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IG: mention Guava's Optional in description
This commit is contained in:
+1
-1
@@ -1,6 +1,6 @@
|
||||
<html>
|
||||
<body>
|
||||
Reports <b>java.util.Optional</b> types with an array or collection type parameter.
|
||||
Reports <b>java.util.Optional</b> or <b>com.google.common.base.Optional</b> types with an array or collection type parameter.
|
||||
In such cases it is more clear to just use an empty array or collection to indicate no result.
|
||||
<!-- tooltip end -->
|
||||
<p>
|
||||
|
||||
Reference in New Issue
Block a user