//******************************************************
// Detergente.java
// Esemplifica l'ereditarietà. 
// Specializza la classe base Disinfettante.
//******************************************************

public class Detergente extends Disinfettante 
{
	// sovrascrive un metodo ereditato 
	public void gratta ()
	{
		appendi( " Detergente.gratta()");
		super.gratta(); // chiamata al metodo della superclasse
	}
	
	// aggiunge nuovi metodi 
	public void schiuma()
	{
		appendi(" schiuma()");
	}
	
	public static void main(String[] arg)
	{
		Detergente det = new Detergente ();
		det.diluisci();
		det.applica();
		det.gratta();
		det.schiuma();
		det.print();
		System.out.println ("Test della classe base.");
	
	}
}