Parent Directory | Revision Log | Patch
revision 1.12 by benja, Tue Apr 22 14:52:45 2003 UTC | revision 1.13 by tjl, Wed Apr 23 01:45:13 2003 UTC | |
---|---|---|
# | Line 133 String rcsid = "$Id$"; | Line 133 String rcsid = "$Id$"; |
133 | this.page = page; | this.page = page; |
134 | } | } |
135 | public int getPageIndex() { return page; } | public int getPageIndex() { return page; } |
136 | ||
137 | public boolean equals(Object o) { | |
138 | return super.equals(o) && | |
139 | ((PageImageSpanImpl)o).page == page; | |
140 | } | |
141 | ||
142 | public int hashCode() { | |
143 | return super.hashCode() ^ (page * 237); | |
144 | } | |
145 | } | } |
146 | ||
147 | public PageImageSpan getPage(int p) { | public PageImageSpan getPage(int p) { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |