[29] | 1 | /* |
---|
| 2 | * This program is free software; you can redistribute it and/or modify |
---|
| 3 | * it under the terms of the GNU General Public License as published by |
---|
| 4 | * the Free Software Foundation; either version 2 of the License, or |
---|
| 5 | * (at your option) any later version. |
---|
| 6 | * |
---|
| 7 | * This program is distributed in the hope that it will be useful, |
---|
| 8 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 9 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
| 10 | * GNU General Public License for more details. |
---|
| 11 | * |
---|
| 12 | * You should have received a copy of the GNU General Public License |
---|
| 13 | * along with this program; if not, write to the Free Software |
---|
| 14 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
---|
| 15 | */ |
---|
| 16 | |
---|
| 17 | /* |
---|
| 18 | * Script.java |
---|
| 19 | * Copyright (C) 2009 University of Waikato, Hamilton, New Zealand |
---|
| 20 | */ |
---|
| 21 | |
---|
| 22 | package weka.gui.scripting; |
---|
| 23 | |
---|
| 24 | import weka.core.Option; |
---|
| 25 | import weka.core.OptionHandler; |
---|
| 26 | import weka.core.SerializedObject; |
---|
| 27 | import weka.core.Utils; |
---|
| 28 | import weka.core.WekaException; |
---|
| 29 | import weka.gui.ExtensionFileFilter; |
---|
| 30 | import weka.gui.scripting.event.ScriptExecutionEvent; |
---|
| 31 | import weka.gui.scripting.event.ScriptExecutionListener; |
---|
| 32 | import weka.gui.scripting.event.ScriptExecutionEvent.Type; |
---|
| 33 | |
---|
| 34 | import java.io.File; |
---|
| 35 | import java.io.Serializable; |
---|
| 36 | import java.util.Enumeration; |
---|
| 37 | import java.util.HashSet; |
---|
| 38 | import java.util.Iterator; |
---|
| 39 | import java.util.Vector; |
---|
| 40 | |
---|
| 41 | import javax.swing.event.DocumentEvent; |
---|
| 42 | import javax.swing.event.DocumentListener; |
---|
| 43 | import javax.swing.text.Document; |
---|
| 44 | |
---|
| 45 | /** |
---|
| 46 | * A simple helper class for loading, saving scripts. |
---|
| 47 | * |
---|
| 48 | * @author fracpete (fracpete at waikato dot ac dot nz) |
---|
| 49 | * @version $Revision: 5142 $ |
---|
| 50 | */ |
---|
| 51 | public abstract class Script |
---|
| 52 | implements OptionHandler, Serializable { |
---|
| 53 | |
---|
| 54 | /** for serialization. */ |
---|
| 55 | private static final long serialVersionUID = 5053328052680586401L; |
---|
| 56 | |
---|
| 57 | /** |
---|
| 58 | * The Thread for running a script. |
---|
| 59 | * |
---|
| 60 | * @author fracpete (fracpete at waikato dot ac dot nz) |
---|
| 61 | * @version $Revision: 5142 $ |
---|
| 62 | */ |
---|
| 63 | public abstract static class ScriptThread |
---|
| 64 | extends Thread { |
---|
| 65 | |
---|
| 66 | /** the owning script. */ |
---|
| 67 | protected Script m_Owner; |
---|
| 68 | |
---|
| 69 | /** commandline arguments. */ |
---|
| 70 | protected String[] m_Args; |
---|
| 71 | |
---|
| 72 | /** whether the thread was stopped. */ |
---|
| 73 | protected boolean m_Stopped; |
---|
| 74 | |
---|
| 75 | /** |
---|
| 76 | * Initializes the thread. |
---|
| 77 | * |
---|
| 78 | * @param owner the owning script |
---|
| 79 | * @param args the commandline arguments |
---|
| 80 | */ |
---|
| 81 | public ScriptThread(Script owner, String[] args) { |
---|
| 82 | super(); |
---|
| 83 | |
---|
| 84 | m_Owner = owner; |
---|
| 85 | m_Args = args.clone(); |
---|
| 86 | } |
---|
| 87 | |
---|
| 88 | /** |
---|
| 89 | * Returns the owner. |
---|
| 90 | * |
---|
| 91 | * @return the owning script |
---|
| 92 | */ |
---|
| 93 | public Script getOwner() { |
---|
| 94 | return m_Owner; |
---|
| 95 | } |
---|
| 96 | |
---|
| 97 | /** |
---|
| 98 | * Returns the commandline args. |
---|
| 99 | * |
---|
| 100 | * @return the arguments |
---|
| 101 | */ |
---|
| 102 | public String[] getArgs() { |
---|
| 103 | return m_Args; |
---|
| 104 | } |
---|
| 105 | |
---|
| 106 | /** |
---|
| 107 | * Performs the actual run. |
---|
| 108 | */ |
---|
| 109 | protected abstract void doRun(); |
---|
| 110 | |
---|
| 111 | /** |
---|
| 112 | * Executes the script. |
---|
| 113 | */ |
---|
| 114 | public void run() { |
---|
| 115 | m_Stopped = false; |
---|
| 116 | |
---|
| 117 | getOwner().notifyScriptFinishedListeners(new ScriptExecutionEvent(m_Owner, Type.STARTED)); |
---|
| 118 | try { |
---|
| 119 | doRun(); |
---|
| 120 | if (!m_Stopped) |
---|
| 121 | getOwner().notifyScriptFinishedListeners(new ScriptExecutionEvent(m_Owner, Type.FINISHED)); |
---|
| 122 | } |
---|
| 123 | catch (Exception e) { |
---|
| 124 | e.printStackTrace(); |
---|
| 125 | getOwner().notifyScriptFinishedListeners(new ScriptExecutionEvent(m_Owner, Type.ERROR, e)); |
---|
| 126 | } |
---|
| 127 | getOwner().m_ScriptThread = null; |
---|
| 128 | } |
---|
| 129 | |
---|
| 130 | /** |
---|
| 131 | * Stops the script execution. |
---|
| 132 | */ |
---|
| 133 | public void stopScript() { |
---|
| 134 | if (isAlive()) { |
---|
| 135 | m_Stopped = true; |
---|
| 136 | try { |
---|
| 137 | stop(); |
---|
| 138 | } |
---|
| 139 | catch (Exception e) { |
---|
| 140 | // ignored |
---|
| 141 | } |
---|
| 142 | } |
---|
| 143 | } |
---|
| 144 | } |
---|
| 145 | |
---|
| 146 | /** the backup extension. */ |
---|
| 147 | public final static String BACKUP_EXTENSION = ".bak"; |
---|
| 148 | |
---|
| 149 | /** the document this script is a wrapper around. */ |
---|
| 150 | protected Document m_Document; |
---|
| 151 | |
---|
| 152 | /** the filename of the script. */ |
---|
| 153 | protected File m_Filename; |
---|
| 154 | |
---|
| 155 | /** the newline used on this platform. */ |
---|
| 156 | protected String m_NewLine; |
---|
| 157 | |
---|
| 158 | /** whether the script is modified. */ |
---|
| 159 | protected boolean m_Modified; |
---|
| 160 | |
---|
| 161 | /** the current script thread. */ |
---|
| 162 | protected transient ScriptThread m_ScriptThread; |
---|
| 163 | |
---|
| 164 | /** optional listeners when the script finishes. */ |
---|
| 165 | protected HashSet<ScriptExecutionListener> m_FinishedListeners; |
---|
| 166 | |
---|
| 167 | /** |
---|
| 168 | * Initializes the script. |
---|
| 169 | */ |
---|
| 170 | public Script() { |
---|
| 171 | this(null); |
---|
| 172 | } |
---|
| 173 | |
---|
| 174 | /** |
---|
| 175 | * Initializes the script. |
---|
| 176 | * |
---|
| 177 | * @param doc the document to use as basis |
---|
| 178 | */ |
---|
| 179 | public Script(Document doc) { |
---|
| 180 | this(doc, null); |
---|
| 181 | } |
---|
| 182 | |
---|
| 183 | /** |
---|
| 184 | * Initializes the script. Automatically loads the specified file, if not |
---|
| 185 | * null. |
---|
| 186 | * |
---|
| 187 | * @param doc the document to use as basis |
---|
| 188 | * @param file the file to load (if not null) |
---|
| 189 | */ |
---|
| 190 | public Script(Document doc, File file) { |
---|
| 191 | initialize(); |
---|
| 192 | |
---|
| 193 | m_Document = doc; |
---|
| 194 | |
---|
| 195 | if (m_Document != null) { |
---|
| 196 | m_Document.addDocumentListener(new DocumentListener() { |
---|
| 197 | public void changedUpdate(DocumentEvent e) { |
---|
| 198 | m_Modified = true; |
---|
| 199 | } |
---|
| 200 | public void insertUpdate(DocumentEvent e) { |
---|
| 201 | m_Modified = true; |
---|
| 202 | } |
---|
| 203 | public void removeUpdate(DocumentEvent e) { |
---|
| 204 | m_Modified = true; |
---|
| 205 | } |
---|
| 206 | }); |
---|
| 207 | } |
---|
| 208 | |
---|
| 209 | if (file != null) |
---|
| 210 | open(file); |
---|
| 211 | } |
---|
| 212 | |
---|
| 213 | /** |
---|
| 214 | * Initializes the script. |
---|
| 215 | */ |
---|
| 216 | protected void initialize() { |
---|
| 217 | m_Filename = null; |
---|
| 218 | m_NewLine = System.getProperty("line.separator"); |
---|
| 219 | m_Modified = false; |
---|
| 220 | m_ScriptThread = null; |
---|
| 221 | m_FinishedListeners = new HashSet<ScriptExecutionListener>(); |
---|
| 222 | } |
---|
| 223 | |
---|
| 224 | /** |
---|
| 225 | * Returns an enumeration describing the available options. |
---|
| 226 | * |
---|
| 227 | * @return an enumeration of all the available options |
---|
| 228 | */ |
---|
| 229 | public Enumeration listOptions() { |
---|
| 230 | return new Vector().elements(); |
---|
| 231 | } |
---|
| 232 | |
---|
| 233 | /** |
---|
| 234 | * Parses a given list of options. |
---|
| 235 | * |
---|
| 236 | * @param options the list of options as an array of strings |
---|
| 237 | * @throws Exception if an option is not supported |
---|
| 238 | */ |
---|
| 239 | public void setOptions(String[] options) throws Exception { |
---|
| 240 | } |
---|
| 241 | |
---|
| 242 | /** |
---|
| 243 | * Gets the current settings of the script. |
---|
| 244 | * |
---|
| 245 | * @return an array of strings suitable for passing to setOptions |
---|
| 246 | */ |
---|
| 247 | public String[] getOptions() { |
---|
| 248 | return new String[0]; |
---|
| 249 | } |
---|
| 250 | |
---|
| 251 | /** |
---|
| 252 | * Returns the extension filters for this type of script. |
---|
| 253 | * |
---|
| 254 | * @return the filters |
---|
| 255 | */ |
---|
| 256 | public abstract ExtensionFileFilter[] getFilters(); |
---|
| 257 | |
---|
| 258 | /** |
---|
| 259 | * Returns the default extension. Gets automatically added to files if |
---|
| 260 | * their name doesn't end with this. |
---|
| 261 | * |
---|
| 262 | * @return the default extension (incl. the dot) |
---|
| 263 | * @see #saveAs(File) |
---|
| 264 | */ |
---|
| 265 | public abstract String getDefaultExtension(); |
---|
| 266 | |
---|
| 267 | /** |
---|
| 268 | * Returns the current filename. |
---|
| 269 | * |
---|
| 270 | * @return the filename, null if no file loaded/saved |
---|
| 271 | */ |
---|
| 272 | public File getFilename() { |
---|
| 273 | return m_Filename; |
---|
| 274 | } |
---|
| 275 | |
---|
| 276 | /** |
---|
| 277 | * Returns the new line string in use. |
---|
| 278 | * |
---|
| 279 | * @return the new line string |
---|
| 280 | */ |
---|
| 281 | public String getNewLine() { |
---|
| 282 | return m_NewLine; |
---|
| 283 | } |
---|
| 284 | |
---|
| 285 | /** |
---|
| 286 | * Returns whether the script is modified. |
---|
| 287 | * |
---|
| 288 | * @return true if the script is modified |
---|
| 289 | */ |
---|
| 290 | public boolean isModified() { |
---|
| 291 | return m_Modified; |
---|
| 292 | } |
---|
| 293 | |
---|
| 294 | /** |
---|
| 295 | * Returns the content. |
---|
| 296 | * |
---|
| 297 | * @return the content or null in case of an error |
---|
| 298 | */ |
---|
| 299 | public String getContent() { |
---|
| 300 | String result; |
---|
| 301 | |
---|
| 302 | if (m_Document == null) |
---|
| 303 | return ""; |
---|
| 304 | |
---|
| 305 | try { |
---|
| 306 | synchronized(m_Document) { |
---|
| 307 | result = m_Document.getText(0, m_Document.getLength()); |
---|
| 308 | } |
---|
| 309 | } |
---|
| 310 | catch (Exception e) { |
---|
| 311 | e.printStackTrace(); |
---|
| 312 | result = null; |
---|
| 313 | } |
---|
| 314 | |
---|
| 315 | return result; |
---|
| 316 | } |
---|
| 317 | |
---|
| 318 | /** |
---|
| 319 | * Sets the content. |
---|
| 320 | * |
---|
| 321 | * @param value the new content |
---|
| 322 | */ |
---|
| 323 | public void setContent(String value) { |
---|
| 324 | if (m_Document == null) |
---|
| 325 | return; |
---|
| 326 | |
---|
| 327 | try { |
---|
| 328 | m_Document.insertString(0, value, null); |
---|
| 329 | } |
---|
| 330 | catch (Exception e) { |
---|
| 331 | e.printStackTrace(); |
---|
| 332 | } |
---|
| 333 | } |
---|
| 334 | |
---|
| 335 | /** |
---|
| 336 | * Checks whether the extension of the file is a known one. |
---|
| 337 | * |
---|
| 338 | * @param file the file to check |
---|
| 339 | * @return true if the exetnsion is known |
---|
| 340 | */ |
---|
| 341 | protected boolean checkExtension(File file) { |
---|
| 342 | boolean result; |
---|
| 343 | int i; |
---|
| 344 | int n; |
---|
| 345 | ExtensionFileFilter[] filters; |
---|
| 346 | String[] exts; |
---|
| 347 | |
---|
| 348 | result = false; |
---|
| 349 | filters = getFilters(); |
---|
| 350 | for (i = 0; i < filters.length; i++) { |
---|
| 351 | exts = filters[i].getExtensions(); |
---|
| 352 | for (n = 0; n < exts.length; n++) { |
---|
| 353 | if (file.getName().endsWith(exts[n])) { |
---|
| 354 | result = true; |
---|
| 355 | break; |
---|
| 356 | } |
---|
| 357 | } |
---|
| 358 | if (result) |
---|
| 359 | break; |
---|
| 360 | } |
---|
| 361 | |
---|
| 362 | return result; |
---|
| 363 | } |
---|
| 364 | |
---|
| 365 | /** |
---|
| 366 | * Empties the document. |
---|
| 367 | */ |
---|
| 368 | public void empty() { |
---|
| 369 | if (m_Document != null) { |
---|
| 370 | try { |
---|
| 371 | m_Document.remove(0, m_Document.getLength()); |
---|
| 372 | } |
---|
| 373 | catch (Exception e) { |
---|
| 374 | // ignored |
---|
| 375 | } |
---|
| 376 | } |
---|
| 377 | |
---|
| 378 | m_Modified = false; |
---|
| 379 | m_Filename = null; |
---|
| 380 | } |
---|
| 381 | |
---|
| 382 | /** |
---|
| 383 | * Tries to open the file. |
---|
| 384 | * |
---|
| 385 | * @param file the file to open |
---|
| 386 | * @return true if successfully read |
---|
| 387 | */ |
---|
| 388 | public boolean open(File file) { |
---|
| 389 | boolean result; |
---|
| 390 | String content; |
---|
| 391 | |
---|
| 392 | if (m_Document == null) |
---|
| 393 | return true; |
---|
| 394 | |
---|
| 395 | // Warn if extension unwknown |
---|
| 396 | if (!checkExtension(file)) |
---|
| 397 | System.err.println("Extension of file '" + file + "' is unknown!"); |
---|
| 398 | |
---|
| 399 | try { |
---|
| 400 | // clear old content |
---|
| 401 | m_Document.remove(0, m_Document.getLength()); |
---|
| 402 | |
---|
| 403 | // add new content |
---|
| 404 | content = ScriptUtils.load(file); |
---|
| 405 | if (content == null) |
---|
| 406 | throw new WekaException("Error reading content of file '" + file + "'!"); |
---|
| 407 | m_Document.insertString(0, content, null); |
---|
| 408 | |
---|
| 409 | m_Modified = false; |
---|
| 410 | m_Filename = file; |
---|
| 411 | result = true; |
---|
| 412 | } |
---|
| 413 | catch (Exception e) { |
---|
| 414 | e.printStackTrace(); |
---|
| 415 | try { |
---|
| 416 | m_Document.remove(0, m_Document.getLength()); |
---|
| 417 | } |
---|
| 418 | catch (Exception ex) { |
---|
| 419 | // ignored |
---|
| 420 | } |
---|
| 421 | result = false; |
---|
| 422 | m_Filename = null; |
---|
| 423 | } |
---|
| 424 | |
---|
| 425 | return result; |
---|
| 426 | } |
---|
| 427 | |
---|
| 428 | /** |
---|
| 429 | * Saves the file under with the current filename. |
---|
| 430 | * |
---|
| 431 | * @return true if successfully written |
---|
| 432 | */ |
---|
| 433 | public boolean save() { |
---|
| 434 | if (m_Filename == null) |
---|
| 435 | return false; |
---|
| 436 | else |
---|
| 437 | return saveAs(m_Filename); |
---|
| 438 | } |
---|
| 439 | |
---|
| 440 | /** |
---|
| 441 | * Saves the file under with the given filename (and updates the internal |
---|
| 442 | * filename). |
---|
| 443 | * |
---|
| 444 | * @param file the filename to write the content to |
---|
| 445 | * @return true if successfully written |
---|
| 446 | */ |
---|
| 447 | public boolean saveAs(File file) { |
---|
| 448 | boolean result; |
---|
| 449 | File backupFile; |
---|
| 450 | |
---|
| 451 | if (m_Document == null) |
---|
| 452 | return true; |
---|
| 453 | |
---|
| 454 | // correct extension? |
---|
| 455 | if (!checkExtension(file)) |
---|
| 456 | file = new File(file.getPath() + getDefaultExtension()); |
---|
| 457 | |
---|
| 458 | // backup previous file |
---|
| 459 | if (file.exists()) { |
---|
| 460 | backupFile = new File(file.getPath() + BACKUP_EXTENSION); |
---|
| 461 | try { |
---|
| 462 | ScriptUtils.copy(file, backupFile); |
---|
| 463 | } |
---|
| 464 | catch (Exception e) { |
---|
| 465 | e.printStackTrace(); |
---|
| 466 | } |
---|
| 467 | } |
---|
| 468 | |
---|
| 469 | // save current content |
---|
| 470 | try { |
---|
| 471 | result = ScriptUtils.save(file, m_Document.getText(0, m_Document.getLength())); |
---|
| 472 | m_Filename = file; |
---|
| 473 | m_Modified = false; |
---|
| 474 | } |
---|
| 475 | catch (Exception e) { |
---|
| 476 | e.printStackTrace(); |
---|
| 477 | result = false; |
---|
| 478 | } |
---|
| 479 | |
---|
| 480 | return result; |
---|
| 481 | } |
---|
| 482 | |
---|
| 483 | /** |
---|
| 484 | * Returns whether scripts can be executed. |
---|
| 485 | * |
---|
| 486 | * @return true if scripts can be executed |
---|
| 487 | */ |
---|
| 488 | protected abstract boolean canExecuteScripts(); |
---|
| 489 | |
---|
| 490 | /** |
---|
| 491 | * Returns a new thread to execute. |
---|
| 492 | * |
---|
| 493 | * @param args optional commandline arguments |
---|
| 494 | * @return the new thread object |
---|
| 495 | */ |
---|
| 496 | public abstract ScriptThread newThread(String[] args); |
---|
| 497 | |
---|
| 498 | /** |
---|
| 499 | * Performs pre-execution checks: |
---|
| 500 | * <ul> |
---|
| 501 | * <li>whether a script is currently running.</li> |
---|
| 502 | * <li>whether script has changed and needs saving</li> |
---|
| 503 | * <li>whether a filename is set (= empty content)</li> |
---|
| 504 | * </ul> |
---|
| 505 | * Throws exceptions if checks not met. |
---|
| 506 | * |
---|
| 507 | * @param args optional commandline arguments |
---|
| 508 | * @throws Exception if checks fail |
---|
| 509 | */ |
---|
| 510 | protected void preCheck(String[] args) throws Exception { |
---|
| 511 | if (m_ScriptThread != null) |
---|
| 512 | throw new Exception("A script is currently running!"); |
---|
| 513 | if (m_Modified) |
---|
| 514 | throw new Exception("The Script has been modified!"); |
---|
| 515 | if (m_Filename == null) |
---|
| 516 | throw new Exception("The Script contains no content?"); |
---|
| 517 | } |
---|
| 518 | |
---|
| 519 | /** |
---|
| 520 | * Executes the script. |
---|
| 521 | * |
---|
| 522 | * @param args optional commandline arguments |
---|
| 523 | */ |
---|
| 524 | protected void execute(String[] args) { |
---|
| 525 | m_ScriptThread = newThread(args); |
---|
| 526 | try { |
---|
| 527 | m_ScriptThread.start(); |
---|
| 528 | } |
---|
| 529 | catch (Exception e) { |
---|
| 530 | e.printStackTrace(); |
---|
| 531 | } |
---|
| 532 | } |
---|
| 533 | |
---|
| 534 | /** |
---|
| 535 | * Executes the script. |
---|
| 536 | * |
---|
| 537 | * @param args optional commandline arguments, can be null |
---|
| 538 | * @throws Exception if checks or execution fail |
---|
| 539 | */ |
---|
| 540 | public void start(String[] args) throws Exception { |
---|
| 541 | if (args == null) |
---|
| 542 | args = new String[0]; |
---|
| 543 | |
---|
| 544 | preCheck(args); |
---|
| 545 | |
---|
| 546 | execute(args); |
---|
| 547 | } |
---|
| 548 | |
---|
| 549 | /** |
---|
| 550 | * Stops the execution of the script. |
---|
| 551 | */ |
---|
| 552 | public void stop() { |
---|
| 553 | if (isRunning()) { |
---|
| 554 | m_ScriptThread.stopScript(); |
---|
| 555 | m_ScriptThread = null; |
---|
| 556 | notifyScriptFinishedListeners(new ScriptExecutionEvent(this, Type.STOPPED)); |
---|
| 557 | } |
---|
| 558 | } |
---|
| 559 | |
---|
| 560 | /** |
---|
| 561 | * Executes the script without loading it first. |
---|
| 562 | * |
---|
| 563 | * @param file the script to execute |
---|
| 564 | * @param args the commandline parameters for the script |
---|
| 565 | */ |
---|
| 566 | public void run(File file, String[] args) { |
---|
| 567 | Script script; |
---|
| 568 | |
---|
| 569 | try { |
---|
| 570 | script = (Script) new SerializedObject(this).getObject(); |
---|
| 571 | script.m_Filename = file; |
---|
| 572 | script.m_Modified = false; |
---|
| 573 | script.start(args); |
---|
| 574 | } |
---|
| 575 | catch (Exception e) { |
---|
| 576 | e.printStackTrace(); |
---|
| 577 | } |
---|
| 578 | } |
---|
| 579 | |
---|
| 580 | /** |
---|
| 581 | * Returns whether the script is still running. |
---|
| 582 | * |
---|
| 583 | * @return true if the script is still running |
---|
| 584 | */ |
---|
| 585 | public boolean isRunning() { |
---|
| 586 | return (m_ScriptThread != null); |
---|
| 587 | } |
---|
| 588 | |
---|
| 589 | /** |
---|
| 590 | * Adds the given listener to its internal list. |
---|
| 591 | * |
---|
| 592 | * @param l the listener to add |
---|
| 593 | */ |
---|
| 594 | public void addScriptFinishedListener(ScriptExecutionListener l) { |
---|
| 595 | m_FinishedListeners.add(l); |
---|
| 596 | } |
---|
| 597 | |
---|
| 598 | /** |
---|
| 599 | * Removes the given listener from its internal list. |
---|
| 600 | * |
---|
| 601 | * @param l the listener to remove |
---|
| 602 | */ |
---|
| 603 | public void removeScriptFinishedListener(ScriptExecutionListener l) { |
---|
| 604 | m_FinishedListeners.remove(l); |
---|
| 605 | } |
---|
| 606 | |
---|
| 607 | /** |
---|
| 608 | * Notifies all listeners. |
---|
| 609 | * |
---|
| 610 | * @param e the event to send to all listeners |
---|
| 611 | */ |
---|
| 612 | protected void notifyScriptFinishedListeners(ScriptExecutionEvent e) { |
---|
| 613 | Iterator<ScriptExecutionListener> iter; |
---|
| 614 | |
---|
| 615 | iter = m_FinishedListeners.iterator(); |
---|
| 616 | while (iter.hasNext()) |
---|
| 617 | iter.next().scriptFinished(e); |
---|
| 618 | } |
---|
| 619 | |
---|
| 620 | /** |
---|
| 621 | * Returns the content as string. |
---|
| 622 | * |
---|
| 623 | * @return the current content |
---|
| 624 | */ |
---|
| 625 | public String toString() { |
---|
| 626 | String result; |
---|
| 627 | |
---|
| 628 | try { |
---|
| 629 | if (m_Document == null) |
---|
| 630 | result = ""; |
---|
| 631 | else |
---|
| 632 | result = m_Document.getText(0, m_Document.getLength()); |
---|
| 633 | } |
---|
| 634 | catch (Exception e) { |
---|
| 635 | result = ""; |
---|
| 636 | } |
---|
| 637 | |
---|
| 638 | return result.toString(); |
---|
| 639 | } |
---|
| 640 | |
---|
| 641 | /** |
---|
| 642 | * Make up the help string giving all the command line options. |
---|
| 643 | * |
---|
| 644 | * @param script the script to include options for |
---|
| 645 | * @return a string detailing the valid command line options |
---|
| 646 | */ |
---|
| 647 | protected static String makeOptionString(Script script) { |
---|
| 648 | StringBuffer result; |
---|
| 649 | Enumeration enm; |
---|
| 650 | Option option; |
---|
| 651 | |
---|
| 652 | result = new StringBuffer(""); |
---|
| 653 | |
---|
| 654 | result.append("\nHelp requested:\n\n"); |
---|
| 655 | result.append("-h or -help\n"); |
---|
| 656 | result.append("\tDisplays this help screen.\n"); |
---|
| 657 | result.append("-s <file>\n"); |
---|
| 658 | result.append("\tThe script to execute.\n"); |
---|
| 659 | |
---|
| 660 | enm = script.listOptions(); |
---|
| 661 | while (enm.hasMoreElements()) { |
---|
| 662 | option = (Option) enm.nextElement(); |
---|
| 663 | result.append(option.synopsis() + '\n'); |
---|
| 664 | result.append(option.description() + "\n"); |
---|
| 665 | } |
---|
| 666 | |
---|
| 667 | result.append("\n"); |
---|
| 668 | result.append("Any additional options are passed on to the script as\n"); |
---|
| 669 | result.append("command-line parameters.\n"); |
---|
| 670 | result.append("\n"); |
---|
| 671 | |
---|
| 672 | return result.toString(); |
---|
| 673 | } |
---|
| 674 | |
---|
| 675 | /** |
---|
| 676 | * Runs the specified script. All options that weren't "consumed" (like |
---|
| 677 | * "-s" for the script filename), will be used as commandline arguments for |
---|
| 678 | * the actual script. |
---|
| 679 | * |
---|
| 680 | * @param script the script object to use |
---|
| 681 | * @param args the commandline arguments |
---|
| 682 | * @throws Exception if execution fails |
---|
| 683 | */ |
---|
| 684 | public static void runScript(Script script, String[] args) throws Exception { |
---|
| 685 | String tmpStr; |
---|
| 686 | File scriptFile; |
---|
| 687 | Vector<String> options; |
---|
| 688 | int i; |
---|
| 689 | |
---|
| 690 | if (Utils.getFlag('h', args) || Utils.getFlag("help", args)) { |
---|
| 691 | System.out.println(makeOptionString(script)); |
---|
| 692 | } |
---|
| 693 | else { |
---|
| 694 | // process options |
---|
| 695 | tmpStr = Utils.getOption('s', args); |
---|
| 696 | if (tmpStr.length() == 0) |
---|
| 697 | throw new WekaException("No script supplied!"); |
---|
| 698 | else |
---|
| 699 | scriptFile = new File(tmpStr); |
---|
| 700 | script.setOptions(args); |
---|
| 701 | |
---|
| 702 | // remove empty elements from array |
---|
| 703 | options = new Vector<String>(); |
---|
| 704 | for (i = 0; i < args.length; i++) { |
---|
| 705 | if (args[i].length() > 0) |
---|
| 706 | options.add(args[i]); |
---|
| 707 | } |
---|
| 708 | |
---|
| 709 | // run script |
---|
| 710 | script.run(scriptFile, options.toArray(new String[options.size()])); |
---|
| 711 | } |
---|
| 712 | } |
---|
| 713 | } |
---|