From 35d6c53e9caef230073fd22bd8495f48238dd5ea Mon Sep 17 00:00:00 2001 From: Artem Pianykh Date: Tue, 20 Apr 2021 03:37:58 -0700 Subject: [PATCH] [nullsafe] Add models for FileChannel$MapMode Summary: : Reviewed By: mityal Differential Revision: D27878084 fbshipit-source-id: f39d98b85 --- infer/src/nullsafe/modelTables.ml | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index d649d550d..e06d38124 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -841,18 +841,21 @@ let field_nullability = ; ("java.lang.Boolean.FALSE", o) ; ("java.lang.Boolean.TRUE", o) ; ("java.lang.Boolean.TYPE", o) - ; ("java.lang.Integer.TYPE", o) - ; ("java.lang.Void.TYPE", o) + ; ("java.lang.Byte.TYPE", o) + ; ("java.lang.Double.TYPE", o) ; ("java.lang.Float.TYPE", o) + ; ("java.lang.Integer.TYPE", o) ; ("java.lang.Long.TYPE", o) ; ("java.lang.Short.TYPE", o) - ; ("java.lang.Double.TYPE", o) - ; ("java.lang.Byte.TYPE", o) + ; ("java.lang.System.err", o) ; ("java.lang.System.in", o) ; ("java.lang.System.out", o) - ; ("java.lang.System.err", o) + ; ("java.lang.Void.TYPE", o) ; ("java.nio.ByteOrder.BIG_ENDIAN", o) ; ("java.nio.ByteOrder.LITTLE_ENDIAN", o) + ; ("java.nio.channels.FileChannel$MapMode.READ_ONLY", o) + ; ("java.nio.channels.FileChannel$MapMode.READ_WRITE", o) + ; ("java.nio.channels.FileChannel$MapMode.PRIVATE", o) ; ("java.nio.charset.StandardCharsets.ISO_8859_1", o) ; ("java.nio.charset.StandardCharsets.US_ASCII", o) ; ("java.nio.charset.StandardCharsets.UTF_16", o)