KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > netbeans > mdr > persistence > btreeimpl > btreestorage > PageID


1 /*
2  * The contents of this file are subject to the terms of the Common Development
3  * and Distribution License (the License). You may not use this file except in
4  * compliance with the License.
5  *
6  * You can obtain a copy of the License at http://www.netbeans.org/cddl.html
7  * or http://www.netbeans.org/cddl.txt.
8  *
9  * When distributing Covered Code, include this CDDL Header Notice in each file
10  * and include the License file at http://www.netbeans.org/cddl.txt.
11  * If applicable, add the following below the CDDL Header, with the fields
12  * enclosed by brackets [] replaced by your own identifying information:
13  * "Portions Copyrighted [year] [name of copyright owner]"
14  *
15  * The Original Software is NetBeans. The Initial Developer of the Original
16  * Software is Sun Microsystems, Inc. Portions Copyright 1997-2006 Sun
17  * Microsystems, Inc. All Rights Reserved.
18  */
19 package org.netbeans.mdr.persistence.btreeimpl.btreestorage;
20
21 /** The address of a cached page */
22 class PageID {
23     /** the index of the file this page belongs to */
24     int fileIndex;
25
26     /** the offset into the file of this page */
27     int offset;
28
29     /** create a PageID
30     * @param fIdx file index
31     * @param ofset offset
32     */
33     PageID(int fIdx, int ofst) {
34         fileIndex = fIdx;
35         offset = ofst;
36     }
37
38     /** two page IDs are equal if their file indexes and offsets are equal */
39     public boolean equals(Object JavaDoc o) {
40         if (!(o instanceof PageID))
41             return false;
42
43         PageID page = (PageID)o;
44         return page.fileIndex == this.fileIndex &&
45                page.offset == this.offset;
46     }
47
48     /** hase a pageID on its file index and offset */
49     public int hashCode() {
50         return fileIndex + offset;
51     }
52
53     /** for debugging */
54     public String JavaDoc toString() {
55         return Integer.toString(fileIndex) + ":" + offset;
56     }
57 }
58
Popular Tags