185 log.flush();
186 }
187 }
188
189 private void recreate() throws Exception, BadArgs {
190 File directory = new File(options.directory);
191 if (!directory.isDirectory()) {
192 throw taskHelper.newBadArgs("err.not.a.dir", directory.getAbsolutePath());
193 }
194 Path dirPath = directory.toPath();
195 if (options.jimages.isEmpty()) {
196 throw taskHelper.newBadArgs("err.jimage.not.specified");
197 } else if (options.jimages.size() != 1) {
198 throw taskHelper.newBadArgs("err.only.one.jimage");
199 }
200
201 Path jimage = options.jimages.get(0).toPath();
202
203 if (jimage.toFile().createNewFile()) {
204 ImagePluginStack pc = ImagePluginConfiguration.parseConfiguration(taskHelper.
205 getPluginsConfig(null, false));
206 ExtractedImage img = new ExtractedImage(dirPath, pc, log, options.verbose);
207 img.recreateJImage(jimage);
208 } else {
209 throw taskHelper.newBadArgs("err.jimage.already.exists", jimage.getFileName());
210 }
211 }
212
213 private void title(File file, BasicImageReader reader) {
214 log.println("jimage: " + file.getName());
215 }
216
217 private void listTitle(File file, BasicImageReader reader) {
218 title(file, reader);
219
220 if (options.verbose) {
221 log.print(pad("Offset", OFFSET_WIDTH + 1));
222 log.print(pad("Size", SIZE_WIDTH + 1));
223 log.print(pad("Compressed", COMPRESSEDSIZE_WIDTH + 1));
224 log.println(" Entry");
225 }
|
185 log.flush();
186 }
187 }
188
189 private void recreate() throws Exception, BadArgs {
190 File directory = new File(options.directory);
191 if (!directory.isDirectory()) {
192 throw taskHelper.newBadArgs("err.not.a.dir", directory.getAbsolutePath());
193 }
194 Path dirPath = directory.toPath();
195 if (options.jimages.isEmpty()) {
196 throw taskHelper.newBadArgs("err.jimage.not.specified");
197 } else if (options.jimages.size() != 1) {
198 throw taskHelper.newBadArgs("err.only.one.jimage");
199 }
200
201 Path jimage = options.jimages.get(0).toPath();
202
203 if (jimage.toFile().createNewFile()) {
204 ImagePluginStack pc = ImagePluginConfiguration.parseConfiguration(taskHelper.
205 getPluginsConfig(null));
206 ExtractedImage img = new ExtractedImage(dirPath, pc, log, options.verbose);
207 img.recreateJImage(jimage);
208 } else {
209 throw taskHelper.newBadArgs("err.jimage.already.exists", jimage.getFileName());
210 }
211 }
212
213 private void title(File file, BasicImageReader reader) {
214 log.println("jimage: " + file.getName());
215 }
216
217 private void listTitle(File file, BasicImageReader reader) {
218 title(file, reader);
219
220 if (options.verbose) {
221 log.print(pad("Offset", OFFSET_WIDTH + 1));
222 log.print(pad("Size", SIZE_WIDTH + 1));
223 log.print(pad("Compressed", COMPRESSEDSIZE_WIDTH + 1));
224 log.println(" Entry");
225 }
|