//********************************************************************
//  Dipendente.java       
//
//  Rappresenta il modello per un generico dipendente tra il personale
//  non volontario. Estende la classe astratta Personale.
//********************************************************************

class Dipendente extends Personale
{
   protected String numeroFiscale;
   protected double base_retribuzione;
   
   //-----------------------------------------------------------------
   //  Crea uno specifico dipendente.
   //-----------------------------------------------------------------
   public Dipendente (String nome, String indirizzo, String tel,
                    String numeroFiscale, double base_retribuzione)
   {
      super(nome, indirizzo, tel);

      this.numeroFiscale = numeroFiscale;
      this.base_retribuzione = base_retribuzione;
   }

   //-----------------------------------------------------------------
   //  Riporta le informazioni sotto forma di stringa.
   //-----------------------------------------------------------------
   public String toString()
   {
      String riporta = super.toString();
      riporta += "\nCodice fiscale: " + numeroFiscale;
      return riporta;
   }

   //-----------------------------------------------------------------
   //  Riporta la base di retribuzione per il dipendente.
   //-----------------------------------------------------------------
   public double paga()
   {
      return base_retribuzione;
   }
}