Example 5: One way of specifying type hierarchy in Stefy

Java code:

    System.out.println("Testing type hierarchy using the second example "
		       "in figure 2.8, p.25,  Carpenter 92.");
    
    TypeHierarchyX th = new TypeHierarchyX();

    // Defining type hierarchy:
    //     top          |
    //      |           |
    //      f           |
    //     / \          |
    //   /     \        |
    //  d       e       |
    //  |\     / |      |
    //  |  \ /   |      |
    //  a   de   c      |
    //   \ / | \ |      |
    //   ae  b  dc      |
    //    |\/   /       |
    //    |/\  /        |
    //    ab ac         |
    //     \ /          |
    //     bot          |
    th.compile(	"  f.                                   "+
		"  d :< f. e :< f.                      "+
		"  a :< d. de :< d & e. c :< e.         "+
		" ae :< a & de. b :< de. dc :< de & c.  "+
		" ab :< ae & b. ac :< ae & dc.          ");


© 2000-2007 Vlado Keselj, last update: August 30, 2005.