/*
 * Copyright 2016 The Error Prone Authors.
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
 * in compliance with the License. You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software distributed under the License
 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
 * or implied. See the License for the specific language governing permissions and limitations under
 * the License.
 */

package com.google.errorprone.dataflow.nullnesspropagation.testdata;

import static com.google.errorprone.dataflow.nullnesspropagation.NullnessPropagationTest.triggerNullnessChecker;

import java.io.ByteArrayOutputStream;
import java.io.OutputStream;

/** Tests for {@code try} blocks. */
public class NullnessPropagationTransferCases8 {
  public void caughtException() {
    try {
      System.out.println();
    } catch (Throwable t) {
      // BUG: Diagnostic contains: (Non-null)
      triggerNullnessChecker(t);

      t = something();
      // BUG: Diagnostic contains: (Nullable)
      triggerNullnessChecker(t);
    }
  }

  void tryWithResources() throws Exception {
    try (OutputStream out = something()) {
      // BUG: Diagnostic contains: (Nullable)
      triggerNullnessChecker(out);
    }

    try (OutputStream out = new ByteArrayOutputStream()) {
      // BUG: Diagnostic contains: (Non-null)
      triggerNullnessChecker(out);
    }
  }

  <T> T something() {
    return null;
  }
}
