Examples of jmt.gui.common.controller.ModelChecker

jmt.gui.common.controller.ModelChecker

Title: ModelChecker

Description: Checks the model correctness
@author Francesco D'AquinoDate: 6-ott-2005 Time: 16.12.50 @author Bertoli Marco(new errors) 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. 2. Response Time per Sink and Throughput per Sink should not be selected with a closed class as for a closed model till now in JMT no jobs are routed to the sink and apparently sink is allowed to choose only when a open class is present. Modified by Ashanka (June 2010): Added Sink Probability for Closed class update to 0.0 warning message.

    }
    return true;
  }


  private void toJMVA() {
    mc = new ModelChecker(model, model, model, model, true);
    //pw.setToJMVAConversion(true);
    pw.setModelChecker(mc);
    pw.updateProblemsShown(false);
    if (!mc.isEverythingOkToJMVA()) {
      pw.show();

View Full Code Here

      // Removes previous ResultsWindow
      if (resultsWindow != null) {
        resultsWindow.dispose();
        SHOW_RESULTS.setEnabled(false);
      }
      mc = new ModelChecker(model, model, model, model, false);
      pw.setModelChecker(mc);
      //pw.setToJMVAConversion(false);
      pw.updateProblemsShown(false);
      if (!mc.isEverythingOkNormal()) {
        WindowListener wl = pw.getWindowListeners()[0];

View Full Code Here

    rspl = new RSPLPanel(model, model, model);
    simulation = new SimulationPanel(model, model, model, this);
    parametricAnalysis = new ParametricAnalysisPanel(model, model, model, this);
    blocking = new AllBlockingRegionsPanel(model, model, model);
    initComponents();
    mc = new ModelChecker(model, model, model, model, false);
    pw = new JSimProblemsWindow(mc, this);
  }

View Full Code Here

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

View Full Code Here


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

View Full Code Here

TOP

Related Classes of jmt.gui.common.controller.ModelChecker

jmt.gui.common.definitions.parametric.ParametricAnalysisChecker

jmt.gui.common.definitions.parametric.ParametricAnalysisDefinition

jmt.gui.common.distributions.Distribution

jmt.gui.common.routingStrategies.LoadDependentRouting

jmt.gui.common.routingStrategies.RandomRouting

jmt.gui.common.routingStrategies.RoutingStrategy

jmt.gui.common.serviceStrategies.LDStrategy

jmt.gui.jmodel.controller.Mediator

jmt.gui.jsim.JSIMMain

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.