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); } |
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 |
} |
} |
113 |
} |
} |
114 |
|
|
115 |
|
|
|
public boolean isFinalized() { return true; } |
|
|
|
|
116 |
// ----- Spans --- |
// ----- Spans --- |
117 |
|
|
118 |
class SimplePageSpan extends ScrollBlockManager.PageSpanBase { |
class SimplePageSpan extends ScrollBlockManager.PageSpanBase { |