44 |
public class PageImageScroll extends AbstractScrollBlock implements PageScrollBlock{ |
public class PageImageScroll extends AbstractScrollBlock implements PageScrollBlock{ |
45 |
String rcsid = "$Id$"; |
String rcsid = "$Id$"; |
46 |
public static boolean dbg = true; |
public static boolean dbg = true; |
|
final static void p(String s) { if(dbg) System.out.println(s); } |
|
47 |
final static void pa(String s) { System.out.println(s); } |
final static void pa(String s) { System.out.println(s); } |
48 |
|
|
49 |
|
|
82 |
new PyString(alph.getBlockFile(this).getFilename()), |
new PyString(alph.getBlockFile(this).getFilename()), |
83 |
new PyString(dsc.getPath()), |
new PyString(dsc.getPath()), |
84 |
}); |
}); |
85 |
|
if(! res.__nonzero__()) |
86 |
|
throw new Error("Couldn't generate .dsc"); |
87 |
|
|
88 |
|
res = interp.get("pinf").__call__( |
89 |
|
new PyString(dsc.getPath()) |
90 |
|
); |
91 |
|
|
92 |
|
|
93 |
|
if(dbg) pa("Result from dsc: "+res); |
94 |
pageInfo= (PageInfo)res.__tojava__(PageInfo.class); |
pageInfo= (PageInfo)res.__tojava__(PageInfo.class); |
95 |
} |
} |
96 |
|
|