/[alph]/alph/org/nongnu/alph/impl/PageImageScroll.java
ViewVC logotype

Diff of /alph/org/nongnu/alph/impl/PageImageScroll.java

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

revision 1.3 by tjl, Wed Apr 16 03:44:23 2003 UTC revision 1.4 by tjl, Sun Apr 20 08:50:02 2003 UTC
# Line 38  import java.util.*; Line 38  import java.util.*;
38  /** An scrollblock containing paged media (PS/PDF).  /** An scrollblock containing paged media (PS/PDF).
39   */   */
40    
41  public class PageImageScroll  public class PageImageScroll extends AbstractScrollBlock {
        implements ScrollBlockManager.MediaserverScrollBlock {  
42  String rcsid = "$Id$";  String rcsid = "$Id$";
43      public static boolean dbg = true;      public static boolean dbg = true;
44      final static void p(String s) { if(dbg) System.out.println(s); }      final static void p(String s) { if(dbg) System.out.println(s); }
# Line 55  String rcsid = "$Id$"; Line 54  String rcsid = "$Id$";
54      String DIR="../tmpimg/"; // XXX Non-platform-independent!      String DIR="../tmpimg/"; // XXX Non-platform-independent!
55    
56      int pages;      int pages;
     StormPool ms;  
     BlockId id;  
57    
     public String getID() { return id.toString(); }  
     public BlockId saveOrGetId(StormPool ms) { return id; }  
58    
59      public boolean equals(Object o) {      public boolean equals(Object o) {
60          if(!(o instanceof ScrollBlock)) return false;          if(!(o instanceof ScrollBlock)) return false;
61          ScrollBlock sb = (ScrollBlock)o;          ScrollBlock sb = (ScrollBlock)o;
62          return sb.getID().equals(getID());          return sb.getID().equals(getID());
63      }      }
     public int hashCode() {  
         return getID().hashCode();  
     }  
64      //    Mediaserver.Block block;      //    Mediaserver.Block block;
65    
66      public PageImageScroll(StormPool ms, BlockId id) {      public PageImageScroll(StormPool ms, BlockId id) {
67          this.ms = ms;          super(ms, id);
         this.id = id;  
68    
69          checkLen();          checkLen();
70      }      }
# Line 122  String rcsid = "$Id$"; Line 113  String rcsid = "$Id$";
113      }      }
114    
115    
     public boolean isFinalized() { return true; }  
   
116      // ----- Spans ---      // ----- Spans ---
117    
118      class SimplePageSpan extends ScrollBlockManager.PageSpanBase {      class SimplePageSpan extends ScrollBlockManager.PageSpanBase {

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4

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