protected GraphPanel createSystemPanel() { GraphPanel localSystemPanel = new SystemPanel(); localSystemPanel.setName("systemPanel"); localSystemPanel.addValidator(new ConsistencyValidator()); localSystemPanel.addValidator(new SubGraphValidator()); return localSystemPanel; }
protected GraphPanel createTaskPanel() { GraphPanel localTaskPanel = new TaskPanel(); localTaskPanel.setName("taskPanel"); localTaskPanel.addValidator(new CyclingValidator()); return localTaskPanel; }