Examples of jmt.gui.jmodel.panels.JModelProblemsWindow$ButtonEventHandler

jmt.gui.jmodel.panels.JModelProblemsWindow

Title:

Description:

@author Francesco D'AquinoDate: 13-ott-2005 Time: 14.36.31 Modified by Ashanka (May 2010): Patch: Multi-Sink Perf. Index Description: Added new Performance index for the capturing the 1. global response time (ResponseTime per Sink) 2. global throughput (Throughput per Sink) each sink per class. Hence new validations are required to check the Performance Indices of response per sink and throughput per sink follow the model validations. 1. Response Time per Sink and Throughput per Sink should have a sink in the model : added new function : isThereSinkPerfIndicesError 2. Response Time per Sink and Throughput per Sink should not be selected with a closed class because for a closed model as of now in JMT no jobs are routed to the it. So sink should be choosen only when a open class is present : isSinkPerfIndicesWithClosedClassError. Modified by Ashanka (June 2010): Updated the Manage Probabilities. Closed Classes routed to Sink with probability <> 0.0 should show warning to Users.

        }
      } // end confirmation if file exists
      // Correct eventual problems on preloading for closed classes
      model.manageJobs();
      mc = new ModelChecker(model, model, model, model, false);
      pw = new JModelProblemsWindow(mainWindow, mc, this);
      if (!mc.isEverythingOkNormal()) {
        pw.show();
      }
      if (mc.isEverythingOkNormal() || ((!mc.isEverythingOkNormal()) && (pw.continued()))) {
        if (!model.isParametricAnalysisEnabled()) {

  /**
   * Switch current model to JMVA exact solver
   */
  public void toJMVA() {
    mc = new ModelChecker(model, model, model, model, true);
    pw = new JModelProblemsWindow(mainWindow, mc, this);
    if (!mc.isEverythingOkToJMVA()) {
      pw.show();
    }
    if (mc.isEverythingOkToJMVA() || ((!mc.isEverythingOkToJMVA()) && (pw.continued()))) {
      if (checkForSave("<html>Save changes before switching?</html>")) {

Examples of jmt.gui.jmodel.panels.JModelProblemsWindow$ButtonEventHandler

Related Classes of jmt.gui.jmodel.panels.JModelProblemsWindow$ButtonEventHandler