/[gzz]/gzz/gzz/media/Span.java
ViewVC logotype

Diff of /gzz/gzz/media/Span.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by tjl, Wed Jun 26 10:06:26 2002 UTC revision 1.2 by tjl, Tue Feb 4 05:31:39 2003 UTC
# Line 33  import gzz.errors.*; Line 33  import gzz.errors.*;
33   * <p>   * <p>
34   * Spans are always of some type, like TextSpan or ImageSpan,   * Spans are always of some type, like TextSpan or ImageSpan,
35   * and belong to a particular ScrollBlock.   * and belong to a particular ScrollBlock.
  * <p>  
  * The operations for comparing spans are somewhat interesting.  
  * XXX Something not right...  
  * <img src="../../../doc-images/spancomp-1.jpg"/>  
  * <img src="../../../doc-images/spancomp-2.jpg"/>  
  * Important invariants:  
  * <pre>  
  *      a.intersectsAfter(b) == b.intersectsBefore(a)  
  *      a.intersects(b) == a.intersectsBefore(b) &amp;&amp; a.intersectsAfter(b)  
  * </pre>  
36   * @see Span   * @see Span
37   * @see Span1D   * @see Span1D
38   * @see TextSpan   * @see TextSpan
# Line 63  String rcsid = "$Id$"; Line 53  String rcsid = "$Id$";
53       */       */
54      ScrollBlock getScrollBlock();      ScrollBlock getScrollBlock();
55    
     /** If the given span is contained in the same scrollblock after this.  
      * See the images above.  
      */  
     // boolean intersectsAfter(Span s);  
   
     /** If the given span is  contained in the same scrollblock before this.  
      */  
     // boolean intersectsBefore(Span s);  
   
     // int compareStart(Span s);  
     // int compareEnd(Span s);  
   
   
56  }  }
57    

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26