public Object getValueAt(int row, int column) { if ((row < 0) || (row >= myMonitor.getSuccessors().size())) return null; switch (column) { case 0: return myMonitor.getSuccessors().get(row); default: return TypesHWC.typeString(myMonitor.getSuccessors().get(row).getType()); } }
/** * Initializes event editing panel. * * @param ne Network Element. * @param em Event Manager. * @param evt Event. */ protected void initialize(AbstractNetworkElement ne, EventManager em) { myNE = ne; myEventManager = em; setLayout(new BoxLayout(this, BoxLayout.Y_AXIS)); JPanel pH = new JPanel(new FlowLayout()); JLabel lD = new JLabel( "<html><font color=\"blue\">" + TypesHWC.typeString(myNE.getType()) + " " + myNE.toString() + "</font></html>"); pH.add(lD); add(pH); // Box dp = Box.createVerticalBox(); JPanel pD = new JPanel(new BorderLayout()); pD.setBorder(BorderFactory.createTitledBorder("Description")); desc.setText(myEvent.getDescription()); pD.add(new JScrollPane(desc), BorderLayout.CENTER); // dp.add(pD); add(pD); fillPanel(); // Box fp = Box.createVerticalBox(); JPanel pT = new JPanel(new FlowLayout()); pT.setBorder(BorderFactory.createTitledBorder("Activation Time")); hh = new JSpinner(new SpinnerNumberModel(Util.getHours(myEvent.getTime()), 0, 99, 1)); hh.setEditor(new JSpinner.NumberEditor(hh, "00")); pT.add(hh); pT.add(new JLabel("h ")); mm = new JSpinner(new SpinnerNumberModel(Util.getMinutes(myEvent.getTime()), 0, 59, 1)); mm.setEditor(new JSpinner.NumberEditor(mm, "00")); pT.add(mm); pT.add(new JLabel("m ")); ss = new JSpinner(new SpinnerNumberModel(Util.getSeconds(myEvent.getTime()), 0, 59.99, 1)); ss.setEditor(new JSpinner.NumberEditor(ss, "00.##")); pT.add(ss); pT.add(new JLabel("s")); // fp.add(pT); add(pT); winEE = new WindowEventEditor(this, null); winEE.setVisible(true); return; }