Package loci.common

Class CaseInsensitiveLocation

java.lang.Object
loci.common.Location
loci.common.CaseInsensitiveLocation

@Deprecated
public class CaseInsensitiveLocation
extends Location
Deprecated.
use Location instead
Case insensitive variant of Location.
  • Constructor Details

    • CaseInsensitiveLocation

      public CaseInsensitiveLocation​(java.lang.String pathname) throws java.io.IOException
      Deprecated.
      Throws:
      java.io.IOException
    • CaseInsensitiveLocation

      public CaseInsensitiveLocation​(Location file) throws java.io.IOException
      Deprecated.
      Throws:
      java.io.IOException
    • CaseInsensitiveLocation

      public CaseInsensitiveLocation​(java.io.File file) throws java.io.IOException
      Deprecated.
      Throws:
      java.io.IOException
    • CaseInsensitiveLocation

      public CaseInsensitiveLocation​(java.lang.String parent, java.lang.String child) throws java.io.IOException
      Deprecated.
      Throws:
      java.io.IOException
    • CaseInsensitiveLocation

      public CaseInsensitiveLocation​(CaseInsensitiveLocation parent, java.lang.String child) throws java.io.IOException
      Deprecated.
      Throws:
      java.io.IOException
  • Method Details

    • invalidateCache

      public static void invalidateCache()
      Deprecated.
      Remove (invalidate) cached content for all directories.
    • invalidateCache

      public static void invalidateCache​(java.io.File dir)
      Deprecated.
      Remove (invalidate) cached content for the specified directory.
      Parameters:
      dir - the directory to remove,