01: package it.unimi.dsi.mg4j.document;
02:
03: /*
04: * MG4J: Managing Gigabytes for Java
05: *
06: * Copyright (C) 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.Util;
25: import it.unimi.dsi.io.SafelyCloseable;
26:
27: import java.io.IOException;
28:
29: import org.apache.log4j.Logger;
30:
31: /** An abstract, {@link it.unimi.dsi.io.SafelyCloseable safely closeable} implementation of a document sequence.
32: *
33: * <p>Note that even if your {@link DocumentSequence} implementation does not allocate
34: * any specific resource, it is nonetheless a good idea to inherit from this class, as tracking
35: * missing calls to {@link java.io.Closeable#close() close()} will be easier to detect.
36: */
37: public abstract class AbstractDocumentSequence implements
38: DocumentSequence, SafelyCloseable {
39: private static final Logger LOGGER = Util
40: .getLogger(AbstractDocumentSequence.class);
41:
42: /** Whether this document sequence has already been closed. */
43: private boolean closed;
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: public void close() throws IOException {
58: closed = true;
59: }
60: }
|