home *** CD-ROM | disk | FTP | other *** search
/ ftp.disi.unige.it / 2015-02-11.ftp.disi.unige.it.tar / ftp.disi.unige.it / pub / .person / GuerriniG / dispense / esempi-oo / Top.java < prev   
Text File  |  2001-03-08  |  1KB  |  48 lines
  1.  
  2. import java.util.*;
  3.  
  4. final public class Top
  5.  
  6. {
  7.   public static void main(String argv[])
  8.   {
  9.  
  10.       Point p = new Point(5,4);
  11.       ColoredPoint pc = new ColoredPoint("rosso",6,3);
  12.       Point p1 = pc;
  13.  
  14.       /* ESEMPIO DI OVERRIDING */
  15.       p.equals();    /* ESEGUO QUELLO DI PUNTO */
  16.       p1.equals();   /* ESEGUO QUELLO DI PUNTO COLORATO */
  17.       pc.equals();   /* ESEGUO QUELLO DI PUNTO COLORATO */
  18.  
  19.       System.out.println();
  20.  
  21.       /* ESEMPIO DI RISOLUZIONE STATICA DELL'OVERLOADING */
  22.       p.equals(pc);   /* ESEGUO QUELLO DI PUNTO st(p) = dt(p) = Point*/
  23.       p1.equals(p1);  /* ESEGUO QUELLO DI PUNTO st(p1) = Point,  dt(p1) = ColoredPoint*/
  24.       p1.equals(pc);  /* ESEGUO QUELLO DI PUNTO st(p1) = Point, st(pc) = d(pc) = d(p1) = CloredPoint */
  25.  
  26.       System.out.println();
  27.  
  28.      /* in PointO equals e' overloaded: prevedo confronto con
  29.         punto colorato */
  30.  
  31.       PointO po = new PointO(5,4);
  32.       ColoredPointO pco = new ColoredPointO("rosso",6,3);
  33.       PointO po1 = pco;
  34.  
  35.       po.equals(pco);   /* ESEGUO IL SECONDO DI PUNTO st(po) = dt(po) = PointO*/
  36.       po1.equals(po1);  /* ESEGUO IL PRIMO DI PUNTO st(po1) = PointO,  dt(po1) = ColoredPointO*/
  37.  
  38.       po1.equals(pco);  /* ESEGUO QUELLO DI PUNTO COLORATO
  39.                            st(po1) = PointO, st(pco) = d(pco) = d(po1) = ColoredPoint */
  40.  
  41.       pco.equals(po1);  /* ESEGUO QUELLO DI PUNTO (IL PRIMO) 
  42.                            st(po1) = PointO, st(pco) = d(pco) = d(po1) = ColoredPoint */
  43.  
  44.   }
  45.  
  46.  
  47. }
  48.