Class DefaultIndexUpdater.IndexAdaptor

    • Field Detail

      • dir

        protected final java.io.File dir
      • properties

        protected java.util.Properties properties
    • Constructor Detail

      • IndexAdaptor

        protected IndexAdaptor​(java.io.File dir)
    • Method Detail

      • getProperties

        public abstract java.util.Properties getProperties()
      • storeProperties

        public abstract void storeProperties()
                                      throws java.io.IOException
        Throws:
        java.io.IOException
      • addIndexChunk

        public abstract void addIndexChunk​(ResourceFetcher source,
                                           java.lang.String filename)
                                    throws java.io.IOException
        Throws:
        java.io.IOException
      • setIndexFile

        public abstract java.util.Date setIndexFile​(ResourceFetcher source,
                                                    java.lang.String string)
                                             throws java.io.IOException
        Throws:
        java.io.IOException
      • setProperties

        public java.util.Properties setProperties​(ResourceFetcher source)
                                           throws java.io.IOException
        Throws:
        java.io.IOException
      • getTimestamp

        public abstract java.util.Date getTimestamp()
      • commit

        public void commit()
                    throws java.io.IOException
        Throws:
        java.io.IOException