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)
           
 
Method Summary
 void windowClosing(java.awt.event.WindowEvent e)
           
 
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
 

Field Detail

pizzeria

protected pppizza.Pizzeria pizzeria

textArea

protected javax.swing.JTextArea textArea

lserver

protected pppizza.Lista_Server lserver
Constructor Detail

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)
Method Detail

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)
Overrides:
windowClosing in class java.awt.event.WindowAdapter