38 import java.nio.file.Path;

    38 import java.nio.file.Path;

    39 import java.nio.file.Paths;

    39 import java.nio.file.Paths;

    40 import java.util.Enumeration;

    40 import java.util.Enumeration;

    41 import java.util.HashMap;

    41 import java.util.HashMap;

    42 import java.util.Map;

    42 import java.util.Map;

    43 import java.util.Set;

    44 import java.util.Set;

    44 import java.util.zip.ZipEntry;

    45 import java.util.zip.ZipEntry;

    45 import java.util.zip.ZipFile;

    46 import java.util.zip.ZipFile;

    46 

    47 

    47 import javax.tools.JavaFileObject;

    48 import javax.tools.JavaFileObject;

   252             return removeExtension(entryName).replace('/', '.');

   253             return removeExtension(entryName).replace('/', '.');

   253         }

   254         }

   254 

   255 

   255         @Override @DefinedBy(Api.COMPILER)

   256         @Override @DefinedBy(Api.COMPILER)

   256         public boolean isNameCompatible(String cn, JavaFileObject.Kind k) {

   257         public boolean isNameCompatible(String cn, JavaFileObject.Kind k) {

   258             // null check

   259             // null check

   259             if (k == Kind.OTHER && getKind() != k) {

   260             if (k == Kind.OTHER && getKind() != k) {

   260                 return false;

   261                 return false;

   261             }

   262             }

   262             return name.equals(cn + k.extension);

   263             return name.equals(cn + k.extension);