next up previous contents index
Next: Virtual Data Types and Up: Polymorphism by Virtual Domains Previous: What is a Virtual

Virtual Operations and Renaming Units


In order to avoid the dependence of a domain on a subdomain, we split the call to an operation in the subdomain into two steps:

  1. Call the (uniquely determined) virtual operation in the corresponding virtual domain.
  2. Map the virtual operation to the appropriate operation in the subdomain.

The second step is carried out by renaming instructions. All renaming instructions from a virtual domain to an actually implemented domain are collected in the renaming unit.   

windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998