Revision 87aa1c27

View differences:

src/utwente/fmt/jtorx/testgui/ConfigPane.java
266 266
	}
267 267
	public void openImplementationFileDialog() {
268 268
		String s = app.openFileDialog("Open Implementation", implText.getText());
269
		if (s!=null && implCombo.getSelectionIndex() == 1 /*PROGRAM+ARGS*/)
269
		int idx = implCombo.getSelectionIndex();
270
		if (s!=null && idx >= 0 && idx < implKinds.length &&
271
				(implKinds[idx] == RunItemData.AdapterKind.STDINOUTADAPTER ||
272
				 implKinds[idx] == RunItemData.AdapterKind.TORXADAPTER))
270 273
			implText.insert(s);
271 274
		else if (s!=null)
272 275
			implText.setText(s);
......
729 732
				false,
730 733
				false,
731 734
		};
732
		final RunItemData.AdapterKind[] implKinds = new RunItemData.AdapterKind[] {
735
		implKinds = new RunItemData.AdapterKind[] {
733 736
				RunItemData.AdapterKind.SIMADAPTER,
734 737
				RunItemData.AdapterKind.STDINOUTADAPTER,
735 738
				RunItemData.AdapterKind.TCPCLIENTLABELADAPTER,
......
1246 1249
	private boolean timeoutItemsVisibility = false;
1247 1250

  
1248 1251
	private Combo implCombo = null;
1252
	private RunItemData.AdapterKind[] implKinds;
1249 1253
	private org.eclipse.swt.widgets.Label implTextLabel = null;
1250 1254
	private RunItemData.AdapterKind implKind = null;
1251 1255
	private Button implRTToggleButton = null;
src/utwente/fmt/jtorx/testgui/Testgui.java
1484 1484
					runData.setImplWriter(new AniDotLTSWriter(implData.getLTS(),  interp, getStateSpaceProgressReporter()));
1485 1485
					runData.setVizImpl(vizImpl);
1486 1486
				} else if (implData.getAdapterKind() == RunItemData.AdapterKind.TORXADAPTER) {
1487
					String cmd[] = new String[1];
1488
					cmd[0] = implFile.getAbsoluteFile().getPath();
1489
					String dir = implFile.getAbsoluteFile().getParent();
1490
					myAdapter = new AdapterImpl(err, implData.getModelFilename(), dir, envVars, progress);
1487
					//String cmd[] = new String[1];
1488
					//cmd[0] = implFile.getAbsoluteFile().getPath();
1489
					//String dir = implFile.getAbsoluteFile().getParent();
1490
					myAdapter = new AdapterImpl(err, implData.getModelFilename(), null, envVars, progress);
1491 1491
					myDriver = new ExtendedCompoundSimOnLineTestingDriver(err, myModel, myAdapter, seed);
1492 1492
				} else if (implData.getAdapterKind() == RunItemData.AdapterKind.STDINOUTADAPTER) {
1493 1493
					myAdapter = new TimedStdInOutAdapter(err, implData.getModelFilename(), null, envVars, useImplRealTime, addRmLabelAnnoPfx, addRmLabelAnnoSfx, progress, timeoutValue, unitValue);
......
2671 2671
	private long seed = 0;
2672 2672
	private long simSeed = 0;
2673 2673

  
2674
	private String theVersion = "1.9.2 (2012-03-27)";
2674
	private String theVersion = "1.9.3 (2012-03-28)";
2675 2675
	private String iconFileName = "torx.ico";
2676 2676
	private Image icon = null;
2677 2677
	private static int minHeightForPortrait = 875;

Also available in: Unified diff