public MarketPanel(MarketGui gui) { this.gui = gui; host.setGui(hostGui); host.setAnimPanel(gui.animationPanel); gui.animationPanel.addGui(hostGui); iconDescription = new ImageIcon(getClass().getResource("/resources/img_market.png")); picDescription = new JLabel(iconDescription); host.startThread(); setLayout(new GridLayout(1, 2, 20, 20)); group.setLayout(new GridLayout(1, 2, 10, 10)); group.add(customerPanel); // group.add(waiterPanel); initRestLabel(); add(restLabel); add(group); this.addTeller("Clerk 1"); this.addTeller("Clerk 2"); this.addTeller("Clerk 3"); }
public void pause() { host.pauseAgent(); for (MarketCustomer c : customers) { c.pauseAgent(); } for (MarketWorkerAgent w : waiters) { w.pauseAgent(); } }
public void resume() { host.resumeAgent(); for (MarketCustomer c : customers) { c.resumeAgent(); } for (MarketWorkerAgent w : waiters) { w.resumeAgent(); } }
public void addTeller(String name) { waiterindex++; MarketWorkerAgent w = new MarketWorkerAgent(name, waiterindex); MarketTellerGui g = new MarketTellerGui(w, gui, waiterindex); gui.animationPanel.addGui(g); w.setHost(host); w.setAnimPanel(gui.animationPanel); host.msgNewTeller(w); w.setGui(g); waiters.add(w); w.startThread(); }