122 |
// this object, feeding back decoded pixel blocks, which we pass to each |
// this object, feeding back decoded pixel blocks, which we pass to each |
123 |
// of the ImageConsumers in the provided Vector. |
// of the ImageConsumers in the provided Vector. |
124 |
|
|
125 |
void produce (Vector v, FileInputStream is) throws IOException |
public void produce (Vector v, FileInputStream is) throws IOException |
126 |
{ |
{ |
127 |
curr = v; |
curr = v; |
128 |
|
|
208 |
|
|
209 |
public static BufferedImage createBufferedImage (String filename) |
public static BufferedImage createBufferedImage (String filename) |
210 |
{ |
{ |
211 |
|
/* |
212 |
BufferedImageBuilder bb = new BufferedImageBuilder (); |
BufferedImageBuilder bb = new BufferedImageBuilder (); |
213 |
GdkPixbufDecoder dec = new GdkPixbufDecoder (filename); |
GdkPixbufDecoder dec = new GdkPixbufDecoder (filename); |
214 |
dec.startProduction (bb); |
dec.startProduction (bb); |
215 |
return bb.getBufferedImage (); |
return bb.getBufferedImage (); |
216 |
|
*/ |
217 |
|
throw new Error ("not implemented"); |
218 |
} |
} |
219 |
|
|
220 |
} |
} |