public void implCloseChannel()

in infer/models/java/src/java/nio/FileChannelImpl.java [32:40]


  public void implCloseChannel() throws IOException {
    if (stream instanceof FileInputStream) {
      ((FileInputStream) stream).close();
    } else if (stream instanceof FileOutputStream) {
      ((FileOutputStream) stream).close();
    } else if (stream instanceof RandomAccessFile) {
      ((RandomAccessFile) stream).close();
    }
  }