//********************************************************************
//  Impiegato.java       
//
//  Rappresenta un membro del personale dipendente impiegato  
//  che puņ guadagnare gratifiche. Estende la classe Dipendente.
//********************************************************************

class Impiegato extends Dipendente
{
   private double bonus;

   //-----------------------------------------------------------------
   //  Crea un dipendente specifico.
   //-----------------------------------------------------------------
   public Impiegato (String nome, String indirizzo, String tel,
                     String numeroFiscale, double base_retribuzione)
   {
      super(nome, indirizzo, tel, numeroFiscale, base_retribuzione);

      bonus = 0;  // la gratifica non c'č inizialmente
   }

   //-----------------------------------------------------------------
   //  Attribuisce la gratifica all'impiegato.
   //-----------------------------------------------------------------
   public void gratifica (double bonusAdPersonam)
   {
      bonus = bonusAdPersonam;
   }

   //-----------------------------------------------------------------
   //  calcola la paga del dipendente, tenendo conto dei bonus 
   //  guadagnati.
   //-----------------------------------------------------------------
   public double paga()
   {
      double pagamento = super.paga() + bonus;

      bonus = 0;

      return pagamento;
   }
}