/** Description of the Method */ public void removeAllElements() { for (Enumeration<BPM_Element> e = listModel.elements(); e.hasMoreElements(); ) { BPM_Element elm = e.nextElement(); elm.stopMonitor(); } listModel.removeAllElements(); }
protected void copy(EditorConfiguration src, EditorConfiguration dst) { dst.title = src.title; dst.mimeType = src.mimeType; Enumeration styleNames = src.styleContext.getStyleNames(); if (src.styleContext == dst.styleContext) dst.styleContext = new StyleContext(); while (styleNames.hasMoreElements()) { String sname = (String) styleNames.nextElement(); Style style = src.styleContext.getStyle(sname); Style newStyle = dst.styleContext.addStyle(sname, null); newStyle.addAttributes(style.copyAttributes()); } styleNames = dst.styleContext.getStyleNames(); while (styleNames.hasMoreElements()) { String sname = (String) styleNames.nextElement(); Style style = src.styleContext.getStyle(sname); AttributeSet resolveParent = style.getResolveParent(); Style parent = (Style) resolveParent; if (parent != null) { dst.styleContext .getStyle(sname) .setResolveParent(dst.styleContext.getStyle(parent.getName())); } } }
/** * Returns the bPM attribute of the BPMsTable object * * @param name The Parameter * @return The bPM value */ public BPM_Element getBPM(String name) { BPM_Element bpmElm = null; Enumeration<BPM_Element> bpm_enum = listModel.elements(); while (bpm_enum.hasMoreElements()) { BPM_Element bpmElm1 = bpm_enum.nextElement(); if (bpmElm1.getName().equals(name)) { bpmElm = bpmElm1; } } return bpmElm; }
// Take a tree of files starting in a directory in a zip file // and copy them to a disk directory, recreating the tree. private int unpackZipFile( File inZipFile, String directory, String parent, boolean suppressFirstPathElement) { int count = 0; if (!inZipFile.exists()) return count; parent = parent.trim(); if (!parent.endsWith(File.separator)) parent += File.separator; if (!directory.endsWith(File.separator)) directory += File.separator; File outFile = null; try { ZipFile zipFile = new ZipFile(inZipFile); Enumeration zipEntries = zipFile.entries(); while (zipEntries.hasMoreElements()) { ZipEntry entry = (ZipEntry) zipEntries.nextElement(); String name = entry.getName().replace('/', File.separatorChar); if (name.startsWith(directory)) { if (suppressFirstPathElement) name = name.substring(directory.length()); outFile = new File(parent + name); // Create the directory, just in case if (name.indexOf(File.separatorChar) >= 0) { String p = name.substring(0, name.lastIndexOf(File.separatorChar) + 1); File dirFile = new File(parent + p); dirFile.mkdirs(); } if (!entry.isDirectory()) { System.out.println("Installing " + outFile); // Copy the file BufferedOutputStream out = new BufferedOutputStream(new FileOutputStream(outFile)); BufferedInputStream in = new BufferedInputStream(zipFile.getInputStream(entry)); int size = 1024; int n = 0; byte[] b = new byte[size]; while ((n = in.read(b, 0, size)) != -1) out.write(b, 0, n); in.close(); out.flush(); out.close(); // Count the file count++; } } } zipFile.close(); } catch (Exception e) { System.err.println("...an error occured while installing " + outFile); e.printStackTrace(); System.err.println("Error copying " + outFile.getName() + "\n" + e.getMessage()); return -count; } System.out.println(count + " files were installed."); return count; }
/** Description of the Method */ public void startMonitor() { for (Enumeration<BPM_Element> e = listModel.elements(); e.hasMoreElements(); ) { BPM_Element elm = e.nextElement(); elm.startMonitor(); } }