Lines Matching refs:stateModel
50 private VisClientStateModel stateModel;
68 public ViewerManagerFrame(VisClientStateModel stateModel)
70 super("ECLiPSe Visualisation Client ["+stateModel.getVisClientName().functor()+"]");
71 this.stateModel = stateModel;
205 // in the vis client stateModel.
206 autoResumeOption.setModel(new BooleanPropertyModel("autoResume", stateModel,
207 stateModel.getPropertyChangeSupport()));
290 stateModel.setTerminate(true);
296 // buttons which give the user access to the stateModel's resume and interrupt
334 && !(interruptButton.hasFocus() && stateModel.getAutoResume()))
360 stateModel.getPropertyChangeSupport().
363 resumeButton = new ActionButton(stateModel.getResumeAction());
364 interruptButton = new ActionButton(stateModel.getInterruptAction());
372 autoResumePanel = new AutoResumePanel(stateModel);
373 if(stateModel.getAutoResume())
377 stateModel.getPropertyChangeSupport().