Examples of showRoutingSectionPanel()


Examples of jmt.gui.common.panels.StationParameterPanel.showRoutingSectionPanel()

      dialogFactory.getDialog(new jmodelClassesPanel(model, model), "Manage User Classes");
    } else if ((problemSubType == ModelChecker.ROUTING_ERROR) && (problemType == ModelChecker.ERROR_PROBLEM)) {
      StationParameterPanel tempPanel = new StationParameterPanel(model, model, relatedStation);
      String stationName = model.getStationName(relatedStation);
      // set the station parameter panel to show the routing section
      tempPanel.showRoutingSectionPanel(relatedClass);
      dialogFactory.getDialog(tempPanel, "Editing " + stationName + " Properties...");
    }
    // if a class may be routed into a station whose forward stations are
    // all sink show an error message
    else if ((problemSubType == ModelChecker.ALL_FORWARD_STATION_ARE_SINK_ERROR) && (problemType == ModelChecker.ERROR_PROBLEM)) {
View Full Code Here

Examples of jmt.gui.common.panels.StationParameterPanel.showRoutingSectionPanel()

      editSimulationParameters();
    } else if ((problemType == ModelChecker.ERROR_PROBLEM) && (problemSubType == ModelChecker.LOAD_DEPENDENT_ROUTING_INVALID)) {
            StationParameterPanel tempPanel = new StationParameterPanel(model, model, relatedStation);
      String stationName = model.getStationName(relatedStation);
      // set the station parameter panel to show the routing section
      tempPanel.showRoutingSectionPanel(relatedClass);
      dialogFactory.getDialog(tempPanel, "Editing " + stationName + " Properties...");
    } else if ((problemSubType == ModelChecker.CS_MATRIX_HAS_ROWS_LESS_THAN_ONE) && (problemType == ModelChecker.ERROR_PROBLEM)) {
        StationParameterPanel tempPanel = new StationParameterPanel(model, model, relatedStation);
        String name = this.getStationDefinition().getStationName(relatedStation);
        tempPanel.showCsSectionPanel();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.