/************************************************************/
/* PlatzMatrixPanel.java Version 2003/03/28                 */
/*                                                          */
/* Tom Fellmann, Christoph Weißenborn                       */
/*                                                          */
/************************************************************/

import java.awt.*;
import javax.swing.*;

/********************************************************************/
/* Klasse KantenMatrixPanel                                         */
/********************************************************************/
class PlatzMatrixPanel extends JPanel{
	private Platz[] plaetze;
	private myJLabel[][] jlabels;
	private JPanel internesPanel;
	private myJLabel titel;

	/***************************************************/
	/* Konstruktor                                     */
	/***************************************************/
	public PlatzMatrixPanel(boolean isVisible) {
		super( new BorderLayout());
		try{
			plaetze = new Platz[0];
			init( isVisible);
		} catch(Exception e) {}
	}//PlatzMatrixPanel-Konstruktor


	/***************************************************/
	/* Initialisierung                                 */
	/***************************************************/
	private void init(boolean isVisible) throws Exception {
		setVisible( isVisible);
		setEnabled( false);
		add( titel = new myJLabel("Platz-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 einfuegePlatz(Platz ePlatz) {
		if( ePlatz.getID() >= plaetze.length ){
			Platz[] alt = plaetze;
			plaetze = new Platz[ePlatz.getID()+1];
			for( int i=0; i<alt.length; i++ ) plaetze[i] = alt[i];
		}
		plaetze[ ePlatz.getID()] = ePlatz;
		if( isVisible() ) aktualisieren();
		//repaint();
	}//einfuegePlatz

	protected void entfernePlatz(Platz ePlatz) {
		if( ePlatz.getID() < plaetze.length ){
			plaetze[ ePlatz.getID()] = null;
		} else {}//kann nicht sein!!
		if( isVisible() ) aktualisieren();
		//repaint();
	}//entfernePlatz

	protected void aktualisieren() {
		int platzAnz = 0, i, j = 0, k = 0, farbenAnz = 0, benutztMuster = 0, maxFarbAnz = Netz.getFarbanzahl();
		for( i=0; i<plaetze.length; i++ ) if( plaetze[i]!=null ) platzAnz++;
		jlabels = new myJLabel[platzAnz][];
		for( i=0; i<plaetze.length; i++ )
			if( plaetze[i] != null ){
				jlabels[j] = plaetze[i].getMatrixTexte();
				benutztMuster |= plaetze[i].getBitMusterBenutzeFarben();
				j++;
			}
		for( i=0; i<maxFarbAnz; i++ ) if( (benutztMuster & (1<<i)) != 0 ) farbenAnz++;
		JPanel neuPanel = new JPanel( new GridLayout( platzAnz+1, farbenAnz+1, 5, 0));
		neuPanel.add( new myJLabel(""));
		for( i=0; i<maxFarbAnz; i++ )
			if( (benutztMuster & (1<<i)) != 0 )
				neuPanel.add( new myJLabel( PetriFrame.FARB_NAME[i], PetriFrame.FARB_WERT[i], JLabel.LEFT));
		for( i=0; i<plaetze.length; i++ )
			if( plaetze[i] != null ){
				neuPanel.add( jlabels[k][0]);
				for( j=0; j<maxFarbAnz; j++ )
					if( (benutztMuster & (1<<j)) != 0 ) neuPanel.add( jlabels[k][j+1]);
				k++;
			}
		remove( internesPanel);
		add( neuPanel, BorderLayout.CENTER);
		internesPanel = neuPanel;
	}//aktualisieren


}//PlatzMatrixPanel