Implementation

• Function Object: The specialized functions that map source elements to target elements are Function Objects [6].
• Generic Function Object: The generic functions capable of realizing double- and multi-dispatching interpretations on heterogeneous data structures are generic Function Objects [6].
• Prototype: Function packages contain specialized function prototypes [4]. Further instances are created by cloning and the associated generic function is a preset attribute value.
• Singleton: Instead of using an attribute genFunc (see section 2.9) in specialized functions, these may alternatively access a Singleton class [4] in order to retrieve their corresponding generic function. Eiffel allows for a particularly easy solution by using the ``once'' mechanism.