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


public class CounterControl extends JPanel implements ActionListener {
/**@directed
@label contatore
@clientCardinality 1
@supplierCardinality 1*/
	private Counter contatore;
/**@directed
@label contatoreVista
@supplierCardinality 1
@clientCardinality 1*/
	private CounterInterfaceView contatoreVista;
	private JButton decrButton;
	private JButton resetButton;
	private JButton incrButton;
	public CounterControl(Counter cont, CounterInterfaceView contVista){   
		super(new FlowLayout());            
		contatore = cont;
		contatoreVista = contVista;
		decrButton = new JButton("Decrementa");    
		add(decrButton);         
		decrButton.addActionListener(this);
		resetButton = new JButton("Reset");
		add(resetButton);
		resetButton.addActionListener(this);
		incrButton = new JButton("Incrementa");
		add(incrButton);
		incrButton.addActionListener(this);
	}
	public void actionPerformed(ActionEvent e){  
		Object source = e.getSource();  
		if (source == decrButton) contatore.decr();       
		else if (source == incrButton) contatore.incr();
		else contatore.init(0);        
		contatoreVista.updateView();
	}
}