Skip to content

Commit 35d6c53

Browse files
artempyanykhfacebook-github-bot
authored andcommitted
[nullsafe] Add models for FileChannel$MapMode
Summary: : Reviewed By: mityal Differential Revision: D27878084 fbshipit-source-id: f39d98b85
1 parent c264fc2 commit 35d6c53

File tree

1 file changed

+8
-5
lines changed

1 file changed

+8
-5
lines changed

infer/src/nullsafe/modelTables.ml

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -841,18 +841,21 @@ let field_nullability =
841841
; ("java.lang.Boolean.FALSE", o)
842842
; ("java.lang.Boolean.TRUE", o)
843843
; ("java.lang.Boolean.TYPE", o)
844-
; ("java.lang.Integer.TYPE", o)
845-
; ("java.lang.Void.TYPE", o)
844+
; ("java.lang.Byte.TYPE", o)
845+
; ("java.lang.Double.TYPE", o)
846846
; ("java.lang.Float.TYPE", o)
847+
; ("java.lang.Integer.TYPE", o)
847848
; ("java.lang.Long.TYPE", o)
848849
; ("java.lang.Short.TYPE", o)
849-
; ("java.lang.Double.TYPE", o)
850-
; ("java.lang.Byte.TYPE", o)
850+
; ("java.lang.System.err", o)
851851
; ("java.lang.System.in", o)
852852
; ("java.lang.System.out", o)
853-
; ("java.lang.System.err", o)
853+
; ("java.lang.Void.TYPE", o)
854854
; ("java.nio.ByteOrder.BIG_ENDIAN", o)
855855
; ("java.nio.ByteOrder.LITTLE_ENDIAN", o)
856+
; ("java.nio.channels.FileChannel$MapMode.READ_ONLY", o)
857+
; ("java.nio.channels.FileChannel$MapMode.READ_WRITE", o)
858+
; ("java.nio.channels.FileChannel$MapMode.PRIVATE", o)
856859
; ("java.nio.charset.StandardCharsets.ISO_8859_1", o)
857860
; ("java.nio.charset.StandardCharsets.US_ASCII", o)
858861
; ("java.nio.charset.StandardCharsets.UTF_16", o)

0 commit comments

Comments
 (0)