Class IO_DB

java.lang.Object
org.apache.jena.dboe.sys.IO_DB

public class IO_DB extends Object
  • Constructor Details

    • IO_DB

      public IO_DB()
  • Method Details

    • asLocation

      public static Location asLocation(Path path)
      Convert a Path to a Location.
    • asPath

      public static Path asPath(Location location)
      Convert a Location to a Path.
    • asFile

      public static File asFile(Location loc)
      Convert a Location to a File.
    • scanForDirByPattern

      public static List<Path> scanForDirByPattern(Path directory, String namebase, String nameSep)
      Find the files in this directory that have namebase as a prefix and are then numbered.

      Returns a sorted list from, low to high index.

    • extractIndex

      public static int extractIndex(String name, String namebase, String nameSep)
      Given a filename in "base-NNNN" format, return the value of NNNN