Suppress warnings emitted by Checker Framework version 2.11.1

More information:
https://docs.google.com/document/d/16tpK6aXqN68PvTyvt4siM-m7f0NXi_8xEeitLDzr8xY/edit?usp=sharing

Tested:
    TAP --sample ran all affected tests and none failed
    http://test/OCL:278915274:BASE:278884711:1573074344615:a6701677
PiperOrigin-RevId: 279080514
This commit is contained in:
olly 2019-11-07 15:19:20 +00:00 committed by Oliver Woodman
parent 29d110b7eb
commit 355ed11a3c
2 changed files with 11 additions and 1 deletions

View File

@ -51,6 +51,12 @@ import java.nio.ByteBuffer;
@Nullable private byte[] tempBuffer; @Nullable private byte[] tempBuffer;
private boolean endOfExtractorInput; private boolean endOfExtractorInput;
// the constructor does not initialize fields: tempBuffer
// call to flacInit() not allowed on the given receiver.
@SuppressWarnings({
"nullness:initialization.fields.uninitialized",
"nullness:method.invocation.invalid"
})
public FlacDecoderJni() throws FlacDecoderException { public FlacDecoderJni() throws FlacDecoderException {
if (!FlacLibrary.isAvailable()) { if (!FlacLibrary.isAvailable()) {
throw new FlacDecoderException("Failed to load decoder native libraries."); throw new FlacDecoderException("Failed to load decoder native libraries.");

View File

@ -239,7 +239,11 @@ public class DefaultTimeBar extends View implements TimeBar {
} }
// Suppress warnings due to usage of View methods in the constructor. // Suppress warnings due to usage of View methods in the constructor.
@SuppressWarnings("nullness:method.invocation.invalid") // the constructor does not initialize fields: adGroupTimesMs, playedAdGroups
@SuppressWarnings({
"nullness:method.invocation.invalid",
"nullness:initialization.fields.uninitialized"
})
public DefaultTimeBar( public DefaultTimeBar(
Context context, Context context,
@Nullable AttributeSet attrs, @Nullable AttributeSet attrs,