55 import javax.swing.JMenuBar;
56 import javax.swing.JPanel;
57 import javax.swing.JToolBar;
58
59
60 public class ExecTool extends Tool implements ExecModel,
61 BasicSession.OrderedObserver {
62
63 SessionExt session;
64 ContextManager context;
65 final ExecToolManager etm;
66 final TestSuite testSuite;
67 final ET_TestTreeControl testTreePanel;
68 final ET_SessionControl sessionControl;
69 final ET_RunTestControl runTestsHandler;
70 final ET_ReportControl reportHandler;
71 final ET_FilterHandler filterHandler;
72 final List<ET_Control> controls = new ArrayList<ET_Control>();
73
74 JMenuBar menuBar = null;
75 HashMap map = new HashMap();
76 private boolean shouldPauseTree;
77 private PageFormat pageFormat;
78
79 public ExecTool(ExecToolManager mgr, TestSuite ts) throws Session.Fault {
80 super(mgr, "exec", "browse.window.csh");
81 this.testSuite = ts;
82 String testSuiteName = testSuite.getName();
83 if (testSuiteName != null)
84 setShortTitle(testSuiteName);
85 this.etm = mgr;
86 context = createContextManager();
87 ET_ControlFactory controlFactory = context.getExecToolControlFactory(this, uif);
88 ET_PrivateControlFactory prviateFactory = new ET_PrivateControlFactory(this, uif, this);
89
90
91 sessionControl = controlFactory.createSessionControl();
92 Session s = sessionControl.getSession();
93 if (s instanceof SessionExt) {
94 session = (SessionExt)s;
95 } else {
|
55 import javax.swing.JMenuBar;
56 import javax.swing.JPanel;
57 import javax.swing.JToolBar;
58
59
60 public class ExecTool extends Tool implements ExecModel,
61 BasicSession.OrderedObserver {
62
63 SessionExt session;
64 ContextManager context;
65 final ExecToolManager etm;
66 final TestSuite testSuite;
67 final ET_TestTreeControl testTreePanel;
68 final ET_SessionControl sessionControl;
69 final ET_RunTestControl runTestsHandler;
70 final ET_ReportControl reportHandler;
71 final ET_FilterHandler filterHandler;
72 final List<ET_Control> controls = new ArrayList<ET_Control>();
73
74 JMenuBar menuBar = null;
75 private boolean shouldPauseTree;
76 private PageFormat pageFormat;
77
78 public ExecTool(ExecToolManager mgr, TestSuite ts) throws Session.Fault {
79 super(mgr, "exec", "browse.window.csh");
80 this.testSuite = ts;
81 String testSuiteName = testSuite.getName();
82 if (testSuiteName != null)
83 setShortTitle(testSuiteName);
84 this.etm = mgr;
85 context = createContextManager();
86 ET_ControlFactory controlFactory = context.getExecToolControlFactory(this, uif);
87 ET_PrivateControlFactory prviateFactory = new ET_PrivateControlFactory(this, uif, this);
88
89
90 sessionControl = controlFactory.createSessionControl();
91 Session s = sessionControl.getSession();
92 if (s instanceof SessionExt) {
93 session = (SessionExt)s;
94 } else {
|