01: package it.unimi.dsi.mg4j.index;
02:
03: /*
04: * MG4J: Managing Gigabytes for Java
05: *
06: * Copyright (C) 2003-2007 Sebastiano Vigna
07: *
08: * This library is free software; you can redistribute it and/or modify it
09: * under the terms of the GNU Lesser General Public License as published by the Free
10: * Software Foundation; either version 2.1 of the License, or (at your option)
11: * any later version.
12: *
13: * This library is distributed in the hope that it will be useful, but
14: * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
15: * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
16: * for more details.
17: *
18: * You should have received a copy of the GNU Lesser General Public License
19: * along with this program; if not, write to the Free Software
20: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21: *
22: */
23:
24: import it.unimi.dsi.io.SafelyCloseable;
25: import it.unimi.dsi.Util;
26:
27: import java.io.IOException;
28:
29: import org.apache.log4j.Logger;
30:
31: /** An abstract, {@linkplain SafelyCloseable safely closeable} implementation of an index reader.
32: */
33:
34: public abstract class AbstractIndexReader implements IndexReader {
35: private static final Logger LOGGER = Util
36: .getLogger(AbstractIndexReader.class);
37:
38: /** Whether this reader has been closed. */
39: protected boolean closed;
40:
41: public void close() throws IOException {
42: closed = true;
43: }
44:
45: protected void finalize() throws Throwable {
46: try {
47: if (!closed) {
48: LOGGER.warn("This " + this .getClass().getName() + " ["
49: + toString() + "] should have been closed.");
50: close();
51: }
52: } finally {
53: super .finalize();
54: }
55: }
56:
57: /** Throws an {@link UnsupportedOperationException}. */
58:
59: public IndexIterator nextIterator() throws IOException {
60: throw new UnsupportedOperationException();
61: }
62: }
|