Class IndexFormatTooNewException

    • Constructor Detail

      • IndexFormatTooNewException

        public IndexFormatTooNewException​(String resourceDesc,
                                          int version,
                                          int minVersion,
                                          int maxVersion)
        Creates an IndexFormatTooNewException
        Parameters:
        resourceDesc - describes the file that was too old
        version - the version of the file that was too old
        minVersion - the minimum version accepted
        maxVersion - the maxium version accepted
      • IndexFormatTooNewException

        public IndexFormatTooNewException​(DataInput in,
                                          int version,
                                          int minVersion,
                                          int maxVersion)
        Creates an IndexFormatTooNewException
        Parameters:
        in - the open file that's too old
        version - the version of the file that was too old
        minVersion - the minimum version accepted
        maxVersion - the maxium version accepted