Parent Directory | Revision Log | Patch
revision 1.2 by tjl, Tue Mar 25 12:25:29 2003 UTC | revision 1.3 by tjl, Sun Apr 6 08:15:04 2003 UTC | |
---|---|---|
# | Line 54 String rcsid = "$Id$"; | Line 54 String rcsid = "$Id$"; |
54 | boolean intersects(Span s); | boolean intersects(Span s); |
55 | ||
56 | /** Get the ScrollBlock that this span points to. | /** Get the ScrollBlock that this span points to. |
57 | * May return null for URN5TextSpans - if getting | |
58 | * the scrollblock for the identifier, use getScrollId(). | |
59 | */ | */ |
60 | ScrollBlock getScrollBlock(); | ScrollBlock getScrollBlock(); |
61 | ||
62 | /** Get the scrollblock Id. | |
63 | */ | |
64 | String getScrollId(); | |
65 | ||
66 | } | } |
67 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |