content: /*
   * Copyright (c) 2009, 2018, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
   * particular file as subject to the "Classpath" exception as provided
   * by Oracle in the LICENSE file that accompanied this code.
   *
   * This code is distributed in the hope that it will be useful, but WITHOUT
   * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
   * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
   * version 2 for more details (a copy is included in the LICENSE file that
   * accompanied this code).
   *
   * You should have received a copy of the GNU General Public License version
   * 2 along with this work; if not, write to the Free Software Foundation,
   * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
   *
   * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   */
  
  package com.itsaky.androidide.zipfs2;
  
  import java.io.IOException;
  import java.nio.file.FileStore;
  import java.nio.file.FileSystems;
  import java.nio.file.Files;
  import java.nio.file.Path;
  import java.nio.file.attribute.BasicFileAttributeView;
  import java.nio.file.attribute.FileAttributeView;
  import java.nio.file.attribute.FileStoreAttributeView;
  
  /**
   * @author Xueming Shen, Rajendra Gutupalli, Jaya Hangal
   */
  public class ZipFileStore extends FileStore {
  
      private final ZipFileSystem zfs;
  
      ZipFileStore(ZipPath zpath) {
          this.zfs = zpath.getFileSystem();
      }
  
      @Override
      public String name() {
          return zfs.toString() + "/";
      }
  
      @Override
      public String type() {
          return "zipfs";
      }
  
      @Override
      public boolean isReadOnly() {
          return zfs.isReadOnly();
      }
  
      @Override
      public boolean supportsFileAttributeView(Class<? extends FileAttributeView> type) {
          return (type == BasicFileAttributeView.class ||
                  type == ZipFileAttributeView.class);
      }
  
      @Override
      public boolean supportsFileAttributeView(String name) {
          return name.equals("basic") || name.equals("zip");
      }
  
      @Override
      public <V extends FileStoreAttributeView> V getFileStoreAttributeView(Class<V> type) {
          if (type == null)
              throw new NullPointerException();
          return (V)null;
      }
  
      @Override
      public long getTotalSpace() throws IOException {
           return new ZipFileStoreAttributes(this).totalSpace();
      }
  
      @Override
      public long getUsableSpace() throws IOException {
           return new ZipFileStoreAttributes(this).usableSpace();
      }
  
      @Override
      public long getUnallocatedSpace() throws IOException {
           return new ZipFileStoreAttributes(this).unallocatedSpace();
      }
  
      @Override
      public Object getAttribute(String attribute) throws IOException {
           if (attribute.equals("totalSpace"))
                 return getTotalSpace();
           if (attribute.equals("usableSpace"))
                 return getUsableSpace();
           if (attribute.equals("unallocatedSpace"))
                 return getUnallocatedSpace();
           throw new UnsupportedOperationException("does not support the given attribute");
      }
  
      private static class ZipFileStoreAttributes {
          final FileStore fstore;
          final long size;
  
          public ZipFileStoreAttributes(ZipFileStore fileStore)
              throws IOException
          {
              Path path = FileSystems.getDefault().getPath(fileStore.name());
              this.size = Files.size(path);
              this.fstore = Files.getFileStore(path);
          }
  
          public long totalSpace() {
              return size;
          }
  
          public long usableSpace() throws IOException {
              if (!fstore.isReadOnly())
                  return fstore.getUsableSpace();
              return 0;
          }
  
          public long unallocatedSpace()  throws IOException {
              if (!fstore.isReadOnly())
                  return fstore.getUnallocatedSpace();
              return 0;
          }
      }
  }
  