Consider the class hierarchy of Figure 6.4. Write down equations (similar to those at the end of
Fantastic news! We've Found the answer you've been seeking!
Question:
Consider the class hierarchy of Figure 6.4. Write down equations (similar to those at the end of Example 8.4) defining the set of values of each of the types Account, Basic-Account, Savings-Account, Current-Account, and Account.
Show that two different subtypes of an ADA primitive type may overlap, but two different subtypes of an ADA array or record type are always disjoint.
Posted Date: