37 |
import java.io.*; |
import java.io.*; |
38 |
import java.util.*; |
import java.util.*; |
39 |
|
|
40 |
|
/** A class that converts PageImageSpans to SingleImages. |
41 |
|
*/ |
42 |
public class PageScrollBlockImager extends ScrollBlockImager { |
public class PageScrollBlockImager extends ScrollBlockImager { |
43 |
public static boolean dbg = true; |
public static boolean dbg = true; |
44 |
private static void p(String s) { |
private static void p(String s) { |
87 |
String[] filenames; |
String[] filenames; |
88 |
} |
} |
89 |
|
|
90 |
public SingleImage getSingleImage(ImageSpan img, PoolManager poolManager) { |
public SingleImage getSingleImage(ImageSpan img) { |
91 |
PageImageSpan span = (PageImageSpan)img; |
PageImageSpan span = (PageImageSpan)img; |
92 |
int page = span.getPageIndex(); |
int page = span.getPageIndex(); |
93 |
|
|
107 |
page, |
page, |
108 |
pageFiles.filenames[page], |
pageFiles.filenames[page], |
109 |
pageFiles.xreso, |
pageFiles.xreso, |
110 |
pageFiles.yreso, |
pageFiles.yreso |
|
poolManager |
|
111 |
); |
); |
112 |
} catch(Exception e) { |
} catch(Exception e) { |
113 |
e.printStackTrace(); |
e.printStackTrace(); |