Parent Directory | Revision Log | Patch
revision 1.13 by tjl, Wed Apr 23 01:45:13 2003 UTC | revision 1.14 by tjl, Mon Apr 28 08:56:23 2003 UTC | |
---|---|---|
# | Line 139 String rcsid = "$Id$"; | Line 139 String rcsid = "$Id$"; |
139 | ((PageImageSpanImpl)o).page == page; | ((PageImageSpanImpl)o).page == page; |
140 | } | } |
141 | ||
142 | public boolean intersects(Span s) { | |
143 | return super.intersects(s) && | |
144 | ((PageImageSpanImpl)s).page == page; | |
145 | } | |
146 | ||
147 | public int hashCode() { | public int hashCode() { |
148 | return super.hashCode() ^ (page * 237); | return super.hashCode() ^ (page * 237); |
149 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |