01: /* Copyright (C) 2004 - 2007 db4objects Inc. http://www.db4o.com
02:
03: This file is part of the db4o open source object database.
04:
05: db4o is free software; you can redistribute it and/or modify it under
06: the terms of version 2 of the GNU General Public License as published
07: by the Free Software Foundation and as clarified by db4objects' GPL
08: interpretation policy, available at
09: http://www.db4o.com/about/company/legalpolicies/gplinterpretation/
10: Alternatively you can write to db4objects, Inc., 1900 S Norfolk Street,
11: Suite 350, San Mateo, CA 94403, USA.
12:
13: db4o is distributed in the hope that it will be useful, but WITHOUT ANY
14: WARRANTY; without even the implied warranty of MERCHANTABILITY or
15: FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16: for more details.
17:
18: You should have received a copy of the GNU General Public License along
19: with this program; if not, write to the Free Software Foundation, Inc.,
20: 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21: package com.db4o.internal;
22:
23: final class Session {
24: final String i_fileName;
25: private int i_openCount;
26:
27: Session(String a_fileName) {
28: i_fileName = a_fileName;
29: }
30:
31: /**
32: * returns true, if session is to be closed completely
33: */
34: boolean closeInstance() {
35: i_openCount--;
36: return i_openCount < 0;
37: }
38:
39: /**
40: * Will raise an exception if argument class doesn't match this class - violates equals() contract in favor of failing fast.
41: */
42: public boolean equals(Object obj) {
43: if (this == obj) {
44: return true;
45: }
46: if (null == obj) {
47: return false;
48: }
49: if (getClass() != obj.getClass()) {
50: Exceptions4.shouldNeverHappen();
51: }
52: return i_fileName.equals(((Session) obj).i_fileName);
53: }
54:
55: public int hashCode() {
56: return i_fileName.hashCode();
57: }
58:
59: String fileName() {
60: return i_fileName;
61: }
62:
63: }
|