סעיף א' עוסק בכתיבת בנאים למחלקות First ו-Second כך שהרצת פעולה ראשית נתונה תיצור עצמים עם ערכי תכונות נתונים. סעיף ב' בודק תקינות (קומפילציה/זמן ריצה) של שמונה קטעי קוד המשתמשים בהמרות טיפוס על עץ ירושה נתון (Shape/Square/Triangle/Circle/Cylinder).

public class First
{
 protected int num;
 ....
}
public class Second : First
{
  private double x;
  private First f;
 ...
}
public class Test
{
public static void Main(string[] args)
{
First[] arr = new First[5];
arr[0] = new First (13);
arr[1] = new First ();
arr[2] = new Second();
arr[3] = new Second(5, arr[0]);
arr[4] = new Second(2, 3.7, arr[2]);
}
}

חמשת העצמים שנוצרו בהרצת main (סעיף א') — הערכים המבוקשים בכל תא של arr.

arr[0]: First{num=13} | arr[1]: First{num=10} | arr[2]: Second{num=10,x=1.1,f=null} | arr[3]: Second{num=5,x=5.5,f→First{num=13}} | arr[4]: Second{num=5,x=5.5,f→(אותו עצם First{num=13} כמו arr[3])}

עץ הירושה לסעיף ב': Shape הוא השורש; Square, Triangle, Circle יורשות ישירות מ-Shape; Cylinder יורשת מ-Circle.

Shape
├── Square
├── Triangle
└── Circle
      └── Cylinder