/** 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();
}
}
