(String arg)
| 12 | public class GIF_Reader extends ImagePlus implements PlugIn { |
| 13 | |
| 14 | public void run(String arg) { |
| 15 | OpenDialog od = new OpenDialog("Open GIF...", arg); |
| 16 | String name = od.getFileName(); |
| 17 | if (name==null) |
| 18 | return; |
| 19 | String dir = od.getDirectory(); |
| 20 | GifDecoder d = new GifDecoder(); |
| 21 | int status = d.read(dir+name); |
| 22 | int n = d.getFrameCount(); |
| 23 | ImageStack stack = null; |
| 24 | if (n==1) { |
| 25 | Image img = Toolkit.getDefaultToolkit().createImage(dir+name); |
| 26 | setImage(img); |
| 27 | setTitle(name); |
| 28 | } else { |
| 29 | for (int i=0; i < n; i++) { |
| 30 | ImageProcessor frame = d.getFrame(i); |
| 31 | if (i==0) |
| 32 | stack = new ImageStack(frame.getWidth(), frame.getHeight()); |
| 33 | int t = d.getDelay(i); // display duration of frame in milliseconds |
| 34 | stack.addSlice(null, frame); |
| 35 | } |
| 36 | if (stack==null) |
| 37 | return; |
| 38 | setStack(name, stack); |
| 39 | if (getType()==COLOR_RGB) |
| 40 | Opener.convertGrayJpegTo8Bits(this); |
| 41 | } |
| 42 | FileInfo fi = new FileInfo(); |
| 43 | fi.fileFormat = fi.GIF_OR_JPG; |
| 44 | fi.fileName = name; |
| 45 | fi.directory = dir; |
| 46 | setFileInfo(fi); |
| 47 | } |
| 48 | |
| 49 | } |
| 50 |
nothing calls this directly
no test coverage detected