/************************************************************/ /* KantenMatrixPanel.java Version 2003/03/28 */ /* */ /* Tom Fellmann, Christoph Weißenborn */ /* */ /************************************************************/ import java.awt.*; import javax.swing.*; /********************************************************************/ /* Klasse KantenMatrixPanel */ /********************************************************************/ class KanteMatrixPanel extends JPanel{ private Kante[] kanten; private myJLabel[][] jlabels; private JPanel internesPanel; private myJLabel titel; /***************************************************/ /* Konstruktor */ /***************************************************/ public KanteMatrixPanel(boolean isVisible) { super( new BorderLayout()); try{ kanten = new Kante[0]; init( isVisible); } catch(Exception e) {} }//KanteMatrixPanel-Konstruktor /***************************************************/ /* Initialisierung */ /***************************************************/ private void init(boolean isVisible) throws Exception { setVisible( isVisible); setEnabled( false); add( new myJLabel("Kanten-Matrix"), BorderLayout.NORTH); add( internesPanel = new JPanel(), BorderLayout.CENTER); this.setBackground( Netz.HINTERGRUNDFARBE_NETZ); this.setForeground( Netz.HINTERGRUNDFARBE_NETZ); }//init /***************************************************/ /* Darstellungs-Teil */ /***************************************************/ public void paintComponent(Graphics g) { } /***************************************************/ /* struktureller Teil */ /***************************************************/ protected void einfuegeKante(Kante eKante) { if( eKante.getID() >= kanten.length ){ Kante[] alt = kanten; kanten = new Kante[eKante.getID()+1]; for( int i=0; i