|
|
|
@ -862,6 +862,30 @@ let field_nullability =
|
|
|
|
|
; ("java.nio.charset.StandardCharsets.UTF_16BE", o)
|
|
|
|
|
; ("java.nio.charset.StandardCharsets.UTF_16LE", o)
|
|
|
|
|
; ("java.nio.charset.StandardCharsets.UTF_8", o)
|
|
|
|
|
; ("java.util.Locale.CANADA", o)
|
|
|
|
|
; ("java.util.Locale.CANADA_FRENCH", o)
|
|
|
|
|
; ("java.util.Locale.CHINA", o)
|
|
|
|
|
; ("java.util.Locale.CHINESE", o)
|
|
|
|
|
; ("java.util.Locale.ENGLISH", o)
|
|
|
|
|
; ("java.util.Locale.FRANCE", o)
|
|
|
|
|
; ("java.util.Locale.FRENCH", o)
|
|
|
|
|
; ("java.util.Locale.GERMAN", o)
|
|
|
|
|
; ("java.util.Locale.GERMANY", o)
|
|
|
|
|
; ("java.util.Locale.ITALIAN", o)
|
|
|
|
|
; ("java.util.Locale.ITALY", o)
|
|
|
|
|
; ("java.util.Locale.JAPAN", o)
|
|
|
|
|
; ("java.util.Locale.JAPANESE", o)
|
|
|
|
|
; ("java.util.Locale.KOREA", o)
|
|
|
|
|
; ("java.util.Locale.KOREAN", o)
|
|
|
|
|
; ("java.util.Locale.PRC", o)
|
|
|
|
|
; ("java.util.Locale.PRIVATE_USE_EXTENSION", o)
|
|
|
|
|
; ("java.util.Locale.ROOT", o)
|
|
|
|
|
; ("java.util.Locale.SIMPLIFIED_CHINESE", o)
|
|
|
|
|
; ("java.util.Locale.TAIWAN", o)
|
|
|
|
|
; ("java.util.Locale.TRADITIONAL_CHINESE", o)
|
|
|
|
|
; ("java.util.Locale.UK", o)
|
|
|
|
|
; ("java.util.Locale.UNICODE_LOCALE_EXTENSION", o)
|
|
|
|
|
; ("java.util.Locale.US", o)
|
|
|
|
|
; ( "com.google.android.exoplayer2.source.dash.manifest.AdaptationSet.representations"
|
|
|
|
|
, o (* Set in the constructor, where this is non-nullable *) )
|
|
|
|
|
; ("com.google.android.exoplayer2.source.dash.manifest.Representation.format", o)
|
|
|
|
|