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


public class ContatoreFrame extends JFrame {  
	public ContatoreFrame(){
		contatoreModello = new Counter(0);     
		contatoreVista = new CounterView(contatoreModello);
		Container cp = getContentPane();
		cp.setLayout(new BorderLayout()); 
		cp.add(contatoreVista, BorderLayout.CENTER);
		cp.add(new ExitButton(), BorderLayout.SOUTH);
		addWindowListener(new ExitFrame());
		setTitle("Contatore GUI");
		setSize(300, 140);
		setVisible(true);
	}
	public static void main(String[] args) {
		ContatoreFrame frame = new ContatoreFrame();
	}
/**@label contatoreModello
@directed
@clientCardinality 1
@supplierCardinality **/
	private Counter contatoreModello;
/**@label contatoreVista
@directed
@clientCardinality 1
@supplierCardinality **/
	private CounterView contatoreVista;
} 


class ExitFrame extends WindowAdapter {
	public void windowClosing(WindowEvent e) {
		System.exit(0);
	}
}
  

class ExitButton extends JButton implements ActionListener {
	public ExitButton () {
		super("Exit");
		addActionListener(this);
	}
	public void actionPerformed(ActionEvent e) {
		System.exit(0);
	}
}