grafica
Class Terminator_Fprc
java.lang.Object
|
+--java.awt.event.WindowAdapter
|
+--grafica.Terminator_Fprc
- All Implemented Interfaces:
- java.util.EventListener, java.awt.event.WindowListener
- public class Terminator_Fprc
- extends java.awt.event.WindowAdapter
raccoglie gli eventi della windowlistener
Field Summary |
protected pppizza.Lista_Server |
lserver
|
protected pppizza.Pizzeria |
pizzeria
|
protected javax.swing.JTextArea |
textArea
|
Constructor Summary |
Terminator_Fprc(javax.swing.JTextArea ta,
pppizza.Pizzeria pz,
pppizza.Lista_Server ls,
pppizza.Fileordini_writer NS_f,
pppizza.Fileordini_writer S_f)
|
Methods inherited from class java.awt.event.WindowAdapter |
windowActivated, windowClosed, windowDeactivated, windowDeiconified, windowIconified, windowOpened |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pizzeria
protected pppizza.Pizzeria pizzeria
textArea
protected javax.swing.JTextArea textArea
lserver
protected pppizza.Lista_Server lserver
Terminator_Fprc
public Terminator_Fprc(javax.swing.JTextArea ta,
pppizza.Pizzeria pz,
pppizza.Lista_Server ls,
pppizza.Fileordini_writer NS_f,
pppizza.Fileordini_writer S_f)
windowClosing
public void windowClosing(java.awt.event.WindowEvent e)
- Overrides:
windowClosing
in class java.awt.event.WindowAdapter