Double dispatch · Lablypedia

Related on Lably

Through Object-oriented programming, Function overloading and Simulation

Dan Ingalls first described how to use double dispatching in Smalltalk, calling it multiple polymorphism.

Overview

The general problem addressed is how to dispatch a message to different methods depending not only on the receiver but also on the arguments.

To that end, systems like CLOS implement multiple dispatch. Double dispatch is another solution that gradually reduces the polymorphism on systems that do not support multiple dispatch.

2 more chapters are free with a Lably account.

Use cases

Double dispatch is useful in situations where the choice of computation depends on the runtime types of its arguments. For example, a programmer could use double dispatch in the following situations:

Sorting a mixed set of objects: algorithms require that a list of objects be sorted into some canonical order. Deciding if one element comes before another element requires knowledge of both types and possibly some subset of the fields.
Adaptive collision algorithms usually require that collisions between different objects be handled in different ways. A typical example is in a game environment where the collision between a spaceship and an asteroid is computed differently from the collision between a spaceship and a spacestation.
Painting algorithms that require the intersection points of overlapping sprites to be rendered in a different manner.
Personnel management systems may dispatch different types of jobs to different personnel. A schedule algorithm that is given a person object typed as an accountant and a job object typed as engineering rejects the scheduling of that person for that job.
Event handling systems that use both the event type and the type of the receptor object in order to call the correct event handling routine.
Lock and key systems where there are many types of locks and many types of keys and every type of key opens multiple types of locks. Not only do you need to know the types of the objects involved, but the subset of "information about a particular key that are relevant to seeing if a particular key opens a particular lock" is different between different lock types.

A common idiom

The common idiom, as in the examples presented above, is that the selection of the appropriate algorithm is based on the call's argument types at runtime. The call is therefore subject to all the usual additional performance costs that are associated with dynamic resolution of calls, usually more than in a language supporting only single method dispatch. In C++, for example, a dynamic function call is usually resolved by a single offset calculation - which is possible because the compiler knows the location of the function in the object's method table and so can statically calculate the offset. In a language supporting double dispatch, this is slightly more costly, because the compiler must generate code to calculate the method's offset in the method table at runtime, thereby increasing the overall instruction path length (by an amount that is likely to be no more than the total number of calls to the function, which may not be very significant).

Examples

Ruby

A common use case is displaying an object on a display port which can be a screen or a printer, or something else entirely that doesn't exist yet. This is a naive implementation of how to deal with those different media.

<span id="mwPQ"></span><span class="k" id="mwPg">class</span><span class="w" id="mwPw"> </span><span class="nc" id="mwQA">Rectangle</span> <span class="w" id="mwQQ"> </span><span class="k" id="mwQg">def</span><span class="w" id="mwQw"> </span><span class="nf" id="mwRA">display_on</span><span class="p" id="mwRQ">(</span><span class="n" id="mwRg">port</span><span class="p" id="mwRw">)</span> <span class="w" id="mwSA"> </span><span class="c1" id="mwSQ"># selects the right code based on the object class</span> <span class="w" id="mwSg"> </span><span class="k" id="mwSw">case</span><span class="w" id="mwTA"> </span><span class="n" id="mwTQ">port</span> <span class="w" id="mwTg"> </span><span class="k" id="mwTw">when</span><span class="w" id="mwUA"> </span><span class="no" id="mwUQ">DisplayPort</span> <span class="w" id="mwUg"> </span><span class="c1" id="mwUw"># code for displaying on DisplayPort</span> <span class="w" id="mwVA"> </span><span class="k" id="mwVQ">when</span><span class="w" id="mwVg"> </span><span class="no" id="mwVw">PrinterPort</span> <span class="w" id="mwWA"> </span><span class="c1" id="mwWQ"># code for displaying on PrinterPort</span> <span class="w" id="mwWg"> </span><span class="k" id="mwWw">when</span><span class="w" id="mwXA"> </span><span class="no" id="mwXQ">RemotePort</span> <span class="w" id="mwXg"> </span><span class="c1" id="mwXw"># code for displaying on RemotePort</span> <span class="w" id="mwYA"> </span><span class="k" id="mwYQ">end</span> <span class="w" id="mwYg"> </span><span class="k" id="mwYw">end</span> <span class="k" id="mwZA">end</span>

The same would need to be written for Oval, Triangle and any other object that wants to display itself on a medium, and all would need to be rewritten if a new type of port were to be created. The problem is that more than one degree of polymorphism exist: one for dispatching the display_on method to an object and another for selecting the right code (or method) for displaying.

A much cleaner and more maintainable solution is then to do a second dispatch, this time for selecting the right method for displaying the object on the medium:

<span id="mwaQ"></span><span class="k" id="mwag">class</span><span class="w" id="mwaw"> </span><span class="nc" id="mwbA">Rectangle</span> <span class="w" id="mwbQ"> </span><span class="k" id="mwbg">def</span><span class="w" id="mwbw"> </span><span class="nf" id="mwcA">display_on</span><span class="p" id="mwcQ">(</span><span class="n" id="mwcg">port</span><span class="p" id="mwcw">)</span> <span class="w" id="mwdA"> </span><span class="c1" id="mwdQ"># second dispatch</span> <span class="w" id="mwdg"> </span><span class="n" id="mwdw">port</span><span class="o" id="mweA">.</span><span class="n" id="mweQ">display_rectangle</span><span class="p" id="mweg">(</span><span class="nb" id="mwew">self</span><span class="p" id="mwfA">)</span> <span class="w" id="mwfQ"> </span><span class="k" id="mwfg">end</span> <span class="k" id="mwfw">end</span> <span class="k" id="mwgA">class</span><span class="w" id="mwgQ"> </span><span class="nc" id="mwgg">Oval</span> <span class="w" id="mwgw"> </span><span class="k" id="mwhA">def</span><span class="w" id="mwhQ"> </span><span class="nf" id="mwhg">display_on</span><span class="p" id="mwhw">(</span><span class="n" id="mwiA">port</span><span class="p" id="mwiQ">)</span> <span class="w" id="mwig"> </span><span class="c1" id="mwiw"># second dispatch</span> <span class="w" id="mwjA"> </span><span class="n" id="mwjQ">port</span><span class="o" id="mwjg">.</span><span class="n" id="mwjw">display_oval</span><span class="p" id="mwkA">(</span><span class="nb" id="mwkQ">self</span><span class="p" id="mwkg">)</span> <span class="w" id="mwkw"> </span><span class="k" id="mwlA">end</span> <span class="k" id="mwlQ">end</span> <span class="k" id="mwlg">class</span><span class="w" id="mwlw"> </span><span class="nc" id="mwmA">DisplayPort</span> <span class="w" id="mwmQ"> </span><span class="k" id="mwmg">def</span><span class="w" id="mwmw"> </span><span class="nf" id="mwnA">display_rectangle</span><span class="p" id="mwnQ">(</span><span class="n" id="mwng">object</span><span class="p" id="mwnw">)</span> <span class="w" id="mwoA"> </span><span class="c1" id="mwoQ"># code for displaying a rectangle on a DisplayPort</span> <span class="w" id="mwog"> </span><span class="k" id="mwow">end</span> <span class="w" id="mwpA"> </span><span class="k" id="mwpQ">def</span><span class="w" id="mwpg"> </span><span class="nf" id="mwpw">display_oval</span><span class="p" id="mwqA">(</span><span class="n" id="mwqQ">object</span><span class="p" id="mwqg">)</span> <span class="w" id="mwqw"> </span><span class="c1" id="mwrA"># code for displaying an oval on a DisplayPort</span> <span class="w" id="mwrQ"> </span><span class="k" id="mwrg">end</span> <span class="w" id="mwrw"> </span><span class="c1" id="mwsA"># ...</span> <span class="k" id="mwsQ">end</span> <span class="k" id="mwsg">class</span><span class="w" id="mwsw"> </span><span class="nc" id="mwtA">PrinterPort</span> <span class="w" id="mwtQ"> </span><span class="k" id="mwtg">def</span><span class="w" id="mwtw"> </span><span class="nf" id="mwuA">display_rectangle</span><span class="p" id="mwuQ">(</span><span class="n" id="mwug">object</span><span class="p" id="mwuw">)</span> <span class="w" id="mwvA"> </span><span class="c1" id="mwvQ"># code for displaying a rectangle on a PrinterPort</span> <span class="w" id="mwvg"> </span><span class="k" id="mwvw">end</span> <span class="w" id="mwwA"> </span><span class="k" id="mwwQ">def</span><span class="w" id="mwwg"> </span><span class="nf" id="mwww">display_oval</span><span class="p" id="mwxA">(</span><span class="n" id="mwxQ">object</span><span class="p" id="mwxg">)</span> <span class="w" id="mwxw"> </span><span class="c1" id="mwyA"># code for displaying an oval on a PrinterPort</span> <span class="w" id="mwyQ"> </span><span class="k" id="mwyg">end</span> <span class="w" id="mwyw"> </span><span class="c1" id="mwzA"># ...</span> <span class="k" id="mwzQ">end</span>

C++

At first glance, double dispatch appears to be a natural result of function overloading. Function overloading allows the function called to depend on the type of the argument. Function overloading, however, is done at compile time using "name mangling" where the internal name of the function encodes the argument's type. For example, a function foo(int) may internally be called __foo_i and the function foo(double) may be called __foo_d. Thus, there is no name collision, and no virtual table lookup. By contrast, dynamic dispatch is based on the type of the calling object, meaning it uses virtual functions (overriding) instead of function overloading, and does result in a vtable lookup. Consider the following example, written in C++, of collisions in a game:

<span id="mw3w"></span><span class="k" id="mw4A">class</span><span class="w" id="mw4Q"> </span><span class="nc" id="mw4g">Spaceship</span><span class="w" id="mw4w"> </span><span class="p" id="mw5A">{};</span> <span class="k" id="mw5Q">class</span><span class="w" id="mw5g"> </span><span class="nc" id="mw5w">ApolloSpacecraft</span><span class="w" id="mw6A"> </span><span class="o" id="mw6Q">:</span><span class="w" id="mw6g"> </span><span class="k" id="mw6w">public</span><span class="w" id="mw7A"> </span><span class="n" id="mw7Q">Spaceship</span><span class="w" id="mw7g"> </span><span class="p" id="mw7w">{};</span> <span class="k" id="mw8A">class</span><span class="w" id="mw8Q"> </span><span class="nc" id="mw8g">Asteroid</span><span class="w" id="mw8w"> </span><span class="p" id="mw9A">{</span> <span class="k" id="mw9Q">public</span><span class="o" id="mw9g">:</span> <span class="w" id="mw9w"> </span><span class="k" id="mw-A">virtual</span><span class="w" id="mw-Q"> </span><span class="kt" id="mw-g">void</span><span class="w" id="mw-w"> </span><span class="n" id="mw_A">collideWith</span><span class="p" id="mw_Q">(</span><span class="n" id="mw_g">Spaceship</span><span class="o" id="mw_w">&</span><span class="p" id="mwAQA">)</span><span class="w" id="mwAQE"> </span><span class="p" id="mwAQI">{</span> <span class="w" id="mwAQM"> </span><span class="n" id="mwAQQ">std</span><span class="o" id="mwAQU">::</span><span class="n" id="mwAQY">println</span><span class="p" id="mwAQc">(</span><span class="s" id="mwAQg">"Asteroid hit a Spaceship"</span><span class="p" id="mwAQk">);</span> <span class="w" id="mwAQo"> </span><span class="p" id="mwAQs">}</span> <span class="w" id="mwAQw"> </span><span class="k" id="mwAQ0">virtual</span><span class="w" id="mwAQ4"> </span><span class="kt" id="mwAQ8">void</span><span class="w" id="mwARA"> </span><span class="n" id="mwARE">collideWith</span><span class="p" id="mwARI">(</span><span class="n" id="mwARM">ApolloSpacecraft</span><span class="o" id="mwARQ">&</span><span class="p" id="mwARU">)</span><span class="w" id="mwARY"> </span><span class="p" id="mwARc">{</span> <span class="w" id="mwARg"> </span><span class="n" id="mwARk">std</span><span class="o" id="mwARo">::</span><span class="n" id="mwARs">println</span><span class="p" id="mwARw">(</span><span class="s" id="mwAR0">"Asteroid hit an ApolloSpacecraft"</span><span class="p" id="mwAR4">);</span> <span class="w" id="mwAR8"> </span><span class="p" id="mwASA">}</span> <span class="p" id="mwASE">};</span> <span class="k" id="mwASI">class</span><span class="w" id="mwASM"> </span><span class="nc" id="mwASQ">ExplodingAsteroid</span><span class="w" id="mwASU"> </span><span class="o" id="mwASY">:</span><span class="w" id="mwASc"> </span><span class="k" id="mwASg">public</span><span class="w" id="mwASk"> </span><span class="n" id="mwASo">Asteroid</span><span class="w" id="mwASs"> </span><span class="p" id="mwASw">{</span> <span class="k" id="mwAS0">public</span><span class="o" id="mwAS4">:</span> <span class="w" id="mwAS8"> </span><span class="kt" id="mwATA">void</span><span class="w" id="mwATE"> </span><span class="n" id="mwATI">collideWith</span><span class="p" id="mwATM">(</span><span class="n" id="mwATQ">Spaceship</span><span class="o" id="mwATU">&</span><span class="p" id="mwATY">)</span><span class="w" id="mwATc"> </span><span class="k" id="mwATg">override</span><span class="w" id="mwATk"> </span><span class="p" id="mwATo">{</span> <span class="w" id="mwATs"> </span><span class="n" id="mwATw">std</span><span class="o" id="mwAT0">::</span><span class="n" id="mwAT4">println</span><span class="p" id="mwAT8">(</span><span class="s" id="mwAUA">"ExplodingAsteroid hit a Spaceship"</span><span class="p" id="mwAUE">);</span> <span class="w" id="mwAUI"> </span><span class="p" id="mwAUM">}</span> <span class="w" id="mwAUQ"> </span><span class="kt" id="mwAUU">void</span><span class="w" id="mwAUY"> </span><span class="n" id="mwAUc">collideWith</span><span class="p" id="mwAUg">(</span><span class="n" id="mwAUk">ApolloSpacecraft</span><span class="o" id="mwAUo">&</span><span class="p" id="mwAUs">)</span><span class="w" id="mwAUw"> </span><span class="k" id="mwAU0">override</span><span class="w" id="mwAU4"> </span><span class="p" id="mwAU8">{</span> <span class="w" id="mwAVA"> </span><span class="n" id="mwAVE">std</span><span class="o" id="mwAVI">::</span><span class="n" id="mwAVM">println</span><span class="p" id="mwAVQ">(</span><span class="s" id="mwAVU">"ExplodingAsteroid hit an ApolloSpacecraft"</span><span class="p" id="mwAVY">);</span> <span class="w" id="mwAVc"> </span><span class="p" id="mwAVg">}</span> <span class="p" id="mwAVk">};</span>

If you have:

<span id="mwAV0"></span><span class="n" id="mwAV4">Asteroid</span><span class="w" id="mwAV8"> </span><span class="n" id="mwAWA">asteroid</span><span class="p" id="mwAWE">;</span> <span class="n" id="mwAWI">Spaceship</span><span class="w" id="mwAWM"> </span><span class="n" id="mwAWQ">spaceship</span><span class="p" id="mwAWU">;</span> <span class="n" id="mwAWY">ApolloSpacecraft</span><span class="w" id="mwAWc"> </span><span class="n" id="mwAWg">apolloSpacecraft</span><span class="p" id="mwAWk">;</span>

then, because of function overloading,

<span id="mwAW0"></span><span class="n" id="mwAW4">asteroid</span><span class="p" id="mwAW8">.</span><span class="n" id="mwAXA">collideWith</span><span class="p" id="mwAXE">(</span><span class="n" id="mwAXI">spaceship</span><span class="p" id="mwAXM">);</span><span class="w" id="mwAXQ"> </span> <span class="n" id="mwAXU">asteroid</span><span class="p" id="mwAXY">.</span><span class="n" id="mwAXc">collideWith</span><span class="p" id="mwAXg">(</span><span class="n" id="mwAXk">apolloSpacecraft</span><span class="p" id="mwAXo">);</span>

will print, respectively, Asteroid hit a Spaceship and Asteroid hit an ApolloSpacecraft, without using any dynamic dispatch. Furthermore:

<span id="mwAYA"></span><span class="n" id="mwAYE">ExplodingAsteroid</span><span class="w" id="mwAYI"> </span><span class="n" id="mwAYM">explodingAsteroid</span><span class="p" id="mwAYQ">;</span> <span class="n" id="mwAYU">explodingAsteroid</span><span class="p" id="mwAYY">.</span><span class="n" id="mwAYc">collideWith</span><span class="p" id="mwAYg">(</span><span class="n" id="mwAYk">spaceship</span><span class="p" id="mwAYo">);</span><span class="w" id="mwAYs"> </span> <span class="n" id="mwAYw">explodingAsteroid</span><span class="p" id="mwAY0">.</span><span class="n" id="mwAY4">collideWith</span><span class="p" id="mwAY8">(</span><span class="n" id="mwAZA">apolloSpacecraft</span><span class="p" id="mwAZE">);</span>

will print ExplodingAsteroid hit a Spaceship and ExplodingAsteroid hit an ApolloSpacecraft respectively, again without dynamic dispatch.

With a reference to an Asteroid, dynamic dispatch is used, and this code:

<span id="mwAZk"></span><span class="n" id="mwAZo">Asteroid</span><span class="o" id="mwAZs">&</span><span class="w" id="mwAZw"> </span><span class="n" id="mwAZ0">asteroidRef</span><span class="w" id="mwAZ4"> </span><span class="o" id="mwAZ8">=</span><span class="w" id="mwAaA"> </span><span class="n" id="mwAaE">explodingAsteroid</span><span class="p" id="mwAaI">;</span> <span class="n" id="mwAaM">asteroidRef</span><span class="p" id="mwAaQ">.</span><span class="n" id="mwAaU">collideWith</span><span class="p" id="mwAaY">(</span><span class="n" id="mwAac">spaceship</span><span class="p" id="mwAag">);</span><span class="w" id="mwAak"> </span> <span class="n" id="mwAao">asteroidRef</span><span class="p" id="mwAas">.</span><span class="n" id="mwAaw">collideWith</span><span class="p" id="mwAa0">(</span><span class="n" id="mwAa4">apolloSpacecraft</span><span class="p" id="mwAa8">);</span>

prints ExplodingAsteroid hit a Spaceship and ExplodingAsteroid hit an ApolloSpacecraft, again as expected. However, the following code does not work as desired:

<span id="mwAbU"></span><span class="n" id="mwAbY">Spaceship</span><span class="o" id="mwAbc">&</span><span class="w" id="mwAbg"> </span><span class="n" id="mwAbk">spaceshipRef</span><span class="w" id="mwAbo"> </span><span class="o" id="mwAbs">=</span><span class="w" id="mwAbw"> </span><span class="n" id="mwAb0">apolloSpacecraft</span><span class="p" id="mwAb4">;</span> <span class="n" id="mwAb8">asteroid</span><span class="p" id="mwAcA">.</span><span class="n" id="mwAcE">collideWith</span><span class="p" id="mwAcI">(</span><span class="n" id="mwAcM">spaceshipRef</span><span class="p" id="mwAcQ">);</span> <span class="n" id="mwAcU">asteroidRef</span><span class="p" id="mwAcY">.</span><span class="n" id="mwAcc">collideWith</span><span class="p" id="mwAcg">(</span><span class="n" id="mwAck">spaceshipRef</span><span class="p" id="mwAco">);</span>

The desired behaviour is to bind these calls to the function that takes apolloSpacecraft as its argument, as that is the instantiated type of the variable, meaning the expected output would be Asteroid hit an ApolloSpacecraft and ExplodingAsteroid hit an ApolloSpacecraft. However, the output is actually Asteroid hit a Spaceship and ExplodingAsteroid hit a Spaceship. The problem is that, while virtual functions are dispatched dynamically in C++, function overloading is done statically.

The problem described above can be resolved by simulating double dispatch, for example by using a visitor pattern. Suppose the existing code is extended so that both Spaceship and ApolloSpacecraft are given the function

<span id="mwAdg"></span><span class="k" id="mwAdk">virtual</span><span class="w" id="mwAdo"> </span><span class="kt" id="mwAds">void</span><span class="w" id="mwAdw"> </span><span class="nf" id="mwAd0">collideWith</span><span class="p" id="mwAd4">(</span><span class="n" id="mwAd8">Asteroid</span><span class="o" id="mwAeA">&</span><span class="w" id="mwAeE"> </span><span class="n" id="mwAeI">asteroid</span><span class="p" id="mwAeM">)</span><span class="w" id="mwAeQ"> </span><span class="p" id="mwAeU">{</span> <span class="w" id="mwAeY"> </span><span class="n" id="mwAec">asteroid</span><span class="p" id="mwAeg">.</span><span class="n" id="mwAek">collideWith</span><span class="p" id="mwAeo">(</span><span class="o" id="mwAes">*</span><span class="k" id="mwAew">this</span><span class="p" id="mwAe0">);</span> <span class="p" id="mwAe4">}</span>

Then, while the previous example still does not work correctly, reframing the calls so that the spaceship is the agent gives us the desired behaviour:

<span id="mwAfI"></span><span class="n" id="mwAfM">Spaceship</span><span class="o" id="mwAfQ">&</span><span class="w" id="mwAfU"> </span><span class="n" id="mwAfY">spaceshipRef</span><span class="w" id="mwAfc"> </span><span class="o" id="mwAfg">=</span><span class="w" id="mwAfk"> </span><span class="n" id="mwAfo">apolloSpacecraft</span><span class="p" id="mwAfs">;</span> <span class="n" id="mwAfw">Asteroid</span><span class="o" id="mwAf0">&</span><span class="w" id="mwAf4"> </span><span class="n" id="mwAf8">asteroidRef</span><span class="w" id="mwAgA"> </span><span class="o" id="mwAgE">=</span><span class="w" id="mwAgI"> </span><span class="n" id="mwAgM">explodingAsteroid</span><span class="p" id="mwAgQ">;</span> <span class="n" id="mwAgU">spaceshipRef</span><span class="p" id="mwAgY">.</span><span class="n" id="mwAgc">collideWith</span><span class="p" id="mwAgg">(</span><span class="n" id="mwAgk">asteroid</span><span class="p" id="mwAgo">);</span> <span class="n" id="mwAgs">spaceshipRef</span><span class="p" id="mwAgw">.</span><span class="n" id="mwAg0">collideWith</span><span class="p" id="mwAg4">(</span><span class="n" id="mwAg8">asteroidRef</span><span class="p" id="mwAhA">);</span>

It prints out Asteroid hit an ApolloSpacecraft and ExplodingAsteroid hit an ApolloSpacecraft, as expected. The key is that spaceshipRef.collideWith(asteroidRef); does the following at run time:

spaceshipRef is a reference, so C++ looks up the correct method in the vtable. In this case, it will call ApolloSpacecraft::collideWith(Asteroid&).
Within ApolloSpacecraft::collideWith(Asteroid&), asteroid is a reference, so asteroid.collideWith(*this) will result in another vtable lookup. In this case, asteroid is a reference to an ExplodingAsteroid so ExplodingAsteroid::collideWith(ApolloSpacecraft&) will be called.

C#

In C#, when calling an instance method accepting an argument, multiple dispatch can be achieved without employing the visitor pattern. This is done by using traditional polymorphism while also casting the argument to dynamic. The run-time binder will choose the appropriate method overload at run-time. This decision will take into consideration the run-time type of the object instance (polymorphism) as well as the run-time type of the argument.

Eiffel

The Eiffel programming language can bring the concept of agents to bear on the double-dispatch problem. The example below applies the agent language construct to the double-dispatch problem.

Consider a problem domain with various forms of SHAPE and of drawing SURFACE upon which to draw a SHAPE. Both SHAPE and SURFACE know about a function called `draw' in themselves, but not in each other. We want objects of the two types to co-variantly interact with each other in a double-dispatch using a visitor pattern.

The challenge is to get a polymorphic SURFACE to draw a polymorphic SHAPE on itself.

Output

The output example below shows the results of two SURFACE visitor objects being polymorphically passed over a list of polymorphic SHAPE objects. The visitor code pattern is only aware of SHAPE and SURFACE generically and not of the specific type of either. Instead, the code relies on run-time polymorphism and the mechanics of agents to achieve a highly flexible co-variant relationship between these two deferred classes and their descendants.

draw a <span style="background-color:red; color:white;" about="#mwt29" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"red"},"3":{"wt":"red"}},"i":0}}]}' id="mwAjI">red</span> POLYGON on ETCHASKETCH draw a <span style="background-color:red; color:white;" about="#mwt30" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"red"},"3":{"wt":"red"}},"i":0}}]}' id="mwAjM">red</span> POLYGON on GRAFFITI_WALL draw a <span style="background-color:grey; color:white;" about="#mwt31" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"grey"},"3":{"wt":"grey"}},"i":0}}]}' id="mwAjQ">grey</span> RECTANGLE on ETCHASKETCH draw a <span style="background-color:grey; color:white;" about="#mwt32" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"grey"},"3":{"wt":"grey"}},"i":0}}]}' id="mwAjU">grey</span> RECTANGLE on GRAFFITI_WALL draw a <span style="background-color:green; color:white;" about="#mwt33" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"green"},"3":{"wt":"green"}},"i":0}}]}' id="mwAjY">green</span> QUADRILATERAL on ETCHASKETCH draw a <span style="background-color:green; color:white;" about="#mwt34" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"green"},"3":{"wt":"green"}},"i":0}}]}' id="mwAjc">green</span> QUADRILATERAL on GRAFFITI_WALL draw a <span style="background-color:blue; color:white;" about="#mwt35" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"blue"},"3":{"wt":"blue"}},"i":0}}]}' id="mwAjg">blue</span> PARALLELOGRAM on ETCHASKETCH draw a <span style="background-color:blue; color:white;" about="#mwt36" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"blue"},"3":{"wt":"blue"}},"i":0}}]}' id="mwAjk">blue</span> PARALLELOGRAM on GRAFFITI_WALL draw a <span style="background-color:yellow; color:black;" about="#mwt37" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"black"},"2":{"wt":"yellow"},"3":{"wt":"yellow"}},"i":0}}]}' id="mwAjo">yellow</span> POLYGON on ETCHASKETCH draw a <span style="background-color:yellow; color:black;" about="#mwt38" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"black"},"2":{"wt":"yellow"},"3":{"wt":"yellow"}},"i":0}}]}' id="mwAjs">yellow</span> POLYGON on GRAFFITI_WALL draw a <span style="background-color:purple; color:white;" about="#mwt39" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"purple"},"3":{"wt":"purple"}},"i":0}}]}' id="mwAjw">purple</span> RECTANGLE on ETCHASKETCH draw a <span style="background-color:purple; color:white;" about="#mwt40" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"colors","href":"./Template:Colors"},"params":{"1":{"wt":"white"},"2":{"wt":"purple"},"3":{"wt":"purple"}},"i":0}}]}' id="mwAj0">purple</span> RECTANGLE on GRAFFITI_WALL

Setup

Before looking at SHAPE or SURFACE, we need to examine the high level decoupled use of our double-dispatch.

Visitor pattern

The visitor pattern works by way of a visitor object visiting the elements of a data structure (e.g. list, tree and so on) polymorphically, applying some action (call or agent) against the polymorphic element objects in the visited target structure.

In our example below, we make a list of polymorphic SHAPE objects, visiting each of them with a polymorphic SURFACE, asking the SHAPE to be drawn on the SURFACE.

<span id="mwAkY"></span><span class="linenos" data-line="1" id="mwAkc"></span><span class="w" id="mwAkg"> </span><span class="n" id="mwAkk">make</span> <span class="linenos" data-line="2" id="mwAko"></span><span class="w" id="mwAks"> </span><span class="c1" id="mwAkw">-- Print shapes on surfaces.</span> <span class="linenos" data-line="3" id="mwAk0"></span><span class="w" id="mwAk4"> </span><span class="kr" id="mwAk8">local</span> <span class="linenos" data-line="4" id="mwAlA"></span><span class="w" id="mwAlE"> </span><span class="n" id="mwAlI">l_shapes</span><span class="p" id="mwAlM">:</span><span class="w" id="mwAlQ"> </span><span class="nc" id="mwAlU">ARRAYED_LIST</span><span class="w" id="mwAlY"> </span><span class="o" id="mwAlc">[</span><span class="nc" id="mwAlg">SHAPE</span><span class="o" id="mwAlk">]</span> <span class="linenos" data-line="5" id="mwAlo"></span><span class="w" id="mwAls"> </span><span class="n" id="mwAlw">l_surfaces</span><span class="p" id="mwAl0">:</span><span class="w" id="mwAl4"> </span><span class="nc" id="mwAl8">ARRAYED_LIST</span><span class="w" id="mwAmA"> </span><span class="o" id="mwAmE">[</span><span class="nc" id="mwAmI">SURFACE</span><span class="o" id="mwAmM">]</span> <span class="linenos" data-line="6" id="mwAmQ"></span><span class="w" id="mwAmU"> </span><span class="kr" id="mwAmY">do</span> <span class="linenos" data-line="7" id="mwAmc"></span><span class="w" id="mwAmg"> </span><span class="kr" id="mwAmk">create</span><span class="w" id="mwAmo"> </span><span class="n" id="mwAms">l_shapes</span><span class="p" id="mwAmw">.</span><span class="n" id="mwAm0">make</span><span class="w" id="mwAm4"> </span><span class="p" id="mwAm8">(</span><span class="mi" id="mwAnA">6</span><span class="p" id="mwAnE">)</span> <span class="linenos" data-line="8" id="mwAnI"></span><span class="w" id="mwAnM"> </span><span class="n" id="mwAnQ">l_shapes</span><span class="p" id="mwAnU">.</span><span class="n" id="mwAnY">extend</span><span class="w" id="mwAnc"> </span><span class="p" id="mwAng">(</span><span class="kr" id="mwAnk">create</span><span class="w" id="mwAno"> </span><span class="p" id="mwAns">{</span><span class="nc" id="mwAnw">POLYGON</span><span class="p" id="mwAn0">}.</span><span class="n" id="mwAn4">make_with_color</span><span class="w" id="mwAn8"> </span><span class="p" id="mwAoA">(</span><span class="s" id="mwAoE">"red"</span><span class="p" id="mwAoI">))</span> <span class="linenos" data-line="9" id="mwAoM"></span><span class="w" id="mwAoQ"> </span><span class="n" id="mwAoU">l_shapes</span><span class="p" id="mwAoY">.</span><span class="n" id="mwAoc">extend</span><span class="w" id="mwAog"> </span><span class="p" id="mwAok">(</span><span class="kr" id="mwAoo">create</span><span class="w" id="mwAos"> </span><span class="p" id="mwAow">{</span><span class="nc" id="mwAo0">RECTANGLE</span><span class="p" id="mwAo4">}.</span><span class="n" id="mwAo8">make_with_color</span><span class="w" id="mwApA"> </span><span class="p" id="mwApE">(</span><span class="s" id="mwApI">"grey"</span><span class="p" id="mwApM">))</span> <span class="linenos" data-line="10" id="mwApQ"></span><span class="w" id="mwApU"> </span><span class="n" id="mwApY">l_shapes</span><span class="p" id="mwApc">.</span><span class="n" id="mwApg">extend</span><span class="w" id="mwApk"> </span><span class="p" id="mwApo">(</span><span class="kr" id="mwAps">create</span><span class="w" id="mwApw"> </span><span class="p" id="mwAp0">{</span><span class="nc" id="mwAp4">QUADRILATERAL</span><span class="p" id="mwAp8">}.</span><span class="n" id="mwAqA">make_with_color</span><span class="w" id="mwAqE"> </span><span class="p" id="mwAqI">(</span><span class="s" id="mwAqM">"green"</span><span class="p" id="mwAqQ">))</span> <span class="linenos" data-line="11" id="mwAqU"></span><span class="w" id="mwAqY"> </span><span class="n" id="mwAqc">l_shapes</span><span class="p" id="mwAqg">.</span><span class="n" id="mwAqk">extend</span><span class="w" id="mwAqo"> </span><span class="p" id="mwAqs">(</span><span class="kr" id="mwAqw">create</span><span class="w" id="mwAq0"> </span><span class="p" id="mwAq4">{</span><span class="nc" id="mwAq8">PARALLELOGRAM</span><span class="p" id="mwArA">}.</span><span class="n" id="mwArE">make_with_color</span><span class="w" id="mwArI"> </span><span class="p" id="mwArM">(</span><span class="s" id="mwArQ">"blue"</span><span class="p" id="mwArU">))</span> <span class="linenos" data-line="12" id="mwArY"></span><span class="w" id="mwArc"> </span><span class="n" id="mwArg">l_shapes</span><span class="p" id="mwArk">.</span><span class="n" id="mwAro">extend</span><span class="w" id="mwArs"> </span><span class="p" id="mwArw">(</span><span class="kr" id="mwAr0">create</span><span class="w" id="mwAr4"> </span><span class="p" id="mwAr8">{</span><span class="nc" id="mwAsA">POLYGON</span><span class="p" id="mwAsE">}.</span><span class="n" id="mwAsI">make_with_color</span><span class="w" id="mwAsM"> </span><span class="p" id="mwAsQ">(</span><span class="s" id="mwAsU">"yellow"</span><span class="p" id="mwAsY">))</span> <span class="linenos" data-line="13" id="mwAsc"></span><span class="w" id="mwAsg"> </span><span class="n" id="mwAsk">l_shapes</span><span class="p" id="mwAso">.</span><span class="n" id="mwAss">extend</span><span class="w" id="mwAsw"> </span><span class="p" id="mwAs0">(</span><span class="kr" id="mwAs4">create</span><span class="w" id="mwAs8"> </span><span class="p" id="mwAtA">{</span><span class="nc" id="mwAtE">RECTANGLE</span><span class="p" id="mwAtI">}.</span><span class="n" id="mwAtM">make_with_color</span><span class="w" id="mwAtQ"> </span><span class="p" id="mwAtU">(</span><span class="s" id="mwAtY">"purple"</span><span class="p" id="mwAtc">))</span> <span class="linenos" data-line="14" id="mwAtg"></span> <span class="linenos" data-line="15" id="mwAtk"></span><span class="w" id="mwAto"> </span><span class="kr" id="mwAts">create</span><span class="w" id="mwAtw"> </span><span class="n" id="mwAt0">l_surfaces</span><span class="p" id="mwAt4">.</span><span class="n" id="mwAt8">make</span><span class="w" id="mwAuA"> </span><span class="p" id="mwAuE">(</span><span class="mi" id="mwAuI">2</span><span class="p" id="mwAuM">)</span> <span class="linenos" data-line="16" id="mwAuQ"></span><span class="w" id="mwAuU"> </span><span class="n" id="mwAuY">l_surfaces</span><span class="p" id="mwAuc">.</span><span class="n" id="mwAug">extend</span><span class="w" id="mwAuk"> </span><span class="p" id="mwAuo">(</span><span class="kr" id="mwAus">create</span><span class="w" id="mwAuw"> </span><span class="p" id="mwAu0">{</span><span class="nc" id="mwAu4">ETCHASKETCH</span><span class="p" id="mwAu8">}.</span><span class="n" id="mwAvA">make</span><span class="p" id="mwAvE">)</span> <span class="linenos" data-line="17" id="mwAvI"></span><span class="w" id="mwAvM"> </span><span class="n" id="mwAvQ">l_surfaces</span><span class="p" id="mwAvU">.</span><span class="n" id="mwAvY">extend</span><span class="w" id="mwAvc"> </span><span class="p" id="mwAvg">(</span><span class="kr" id="mwAvk">create</span><span class="w" id="mwAvo"> </span><span class="p" id="mwAvs">{</span><span class="nc" id="mwAvw">GRAFFITI_WALL</span><span class="p" id="mwAv0">}.</span><span class="n" id="mwAv4">make</span><span class="p" id="mwAv8">)</span> <span class="linenos" data-line="18" id="mwAwA"></span> <span class="linenos" data-line="19" id="mwAwE"></span><span class="w" id="mwAwI"> </span><span class="kr" id="mwAwM">across</span><span class="w" id="mwAwQ"> </span><span class="n" id="mwAwU">l_shapes</span><span class="w" id="mwAwY"> </span><span class="kr" id="mwAwc">as</span><span class="w" id="mwAwg"> </span><span class="n" id="mwAwk">ic_shapes</span><span class="w" id="mwAwo"> </span><span class="kr" id="mwAws">loop</span> <span class="linenos" data-line="20" id="mwAww"></span><span class="w" id="mwAw0"> </span><span class="kr" id="mwAw4">across</span><span class="w" id="mwAw8"> </span><span class="n" id="mwAxA">l_surfaces</span><span class="w" id="mwAxE"> </span><span class="kr" id="mwAxI">as</span><span class="w" id="mwAxM"> </span><span class="n" id="mwAxQ">ic_surfaces</span><span class="w" id="mwAxU"> </span><span class="kr" id="mwAxY">loop</span> <span class="linenos" data-line="21" id="mwAxc"></span><span class="w" id="mwAxg"> </span><span class="n" id="mwAxk">ic_surfaces</span><span class="p" id="mwAxo">.</span><span class="n" id="mwAxs">item</span><span class="p" id="mwAxw">.</span><span class="n" id="mwAx0">drawing_agent</span><span class="w" id="mwAx4"> </span><span class="p" id="mwAx8">(</span><span class="n" id="mwAyA">ic_shapes</span><span class="p" id="mwAyE">.</span><span class="n" id="mwAyI">item</span><span class="p" id="mwAyM">.</span><span class="n" id="mwAyQ">drawing_data_agent</span><span class="p" id="mwAyU">)</span> <span class="linenos" data-line="22" id="mwAyY"></span><span class="w" id="mwAyc"> </span><span class="kr" id="mwAyg">end</span> <span class="hll" id="mwAyk"><span class="linenos" data-line="23" id="mwAyo"></span><span class="w" id="mwAys"> </span><span class="kr" id="mwAyw">end</span> </span><span class="linenos" data-line="24" id="mwAy0"></span><span class="w" id="mwAy4"> </span><span class="kr" id="mwAy8">end</span>

We start by creating a collection of SHAPE and SURFACE objects. We then iterate over one of the lists (SHAPE), allowing elements of the other (SURFACE) to visit each of them in turn. In the example code above, SURFACE objects are visiting SHAPE objects.

The code makes a polymorphic call on {SURFACE}.draw indirectly by way of the `drawing_agent', which is the first call (dispatch) of the double-dispatch pattern. It passes an indirect and polymorphic agent (`drawing_data_agent'), allowing our visitor code to only know about two things:

What is the drawing agent of the surface (e.g. al_surface.drawing_agent on line #21)?
What is the drawing data agent of the shape (e.g. al_shape.drawing_data_agent on line #21)?

Because both SURFACE and SHAPE define their own agents, our visitor code is freed from having to know what is the appropriate call to make, polymorphically or otherwise. This level of indirection and decoupling is simply not achievable in other common languages like C, C++ and Java except through either some form of reflection or feature overloading with signature matching.

SURFACE

Within the polymorphic call to {SURFACE}.draw is the call to an agent, which becomes the second polymorphic call or dispatch in the double-dispatch pattern.

<span id="mwAzs"></span><span class="linenos" data-line="1" id="mwAzw"></span><span class="w" id="mwAz0"> </span><span class="kr" id="mwAz4">deferred</span><span class="w" id="mwAz8"> </span><span class="kr" id="mwA0A">class</span> <span class="linenos" data-line="2" id="mwA0E"></span><span class="w" id="mwA0I"> </span><span class="nc" id="mwA0M">SURFACE</span> <span class="linenos" data-line="3" id="mwA0Q"></span><span class="w" id="mwA0U"> </span> <span class="linenos" data-line="4" id="mwA0Y"></span><span class="w" id="mwA0c"> </span><span class="kr" id="mwA0g">feature</span><span class="w" id="mwA0k"> </span><span class="p" id="mwA0o">{</span><span class="kr" id="mwA0s">NONE</span><span class="p" id="mwA0w">}</span><span class="w" id="mwA00"> </span><span class="c1" id="mwA04">-- Initialization</span> <span class="linenos" data-line="5" id="mwA08"></span><span class="w" id="mwA1A"> </span> <span class="linenos" data-line="6" id="mwA1E"></span><span class="w" id="mwA1I"> </span><span class="n" id="mwA1M">make</span> <span class="linenos" data-line="7" id="mwA1Q"></span><span class="w" id="mwA1U"> </span><span class="c1" id="mwA1Y">-- Initialize Current.</span> <span class="linenos" data-line="8" id="mwA1c"></span><span class="w" id="mwA1g"> </span><span class="kr" id="mwA1k">do</span> <span class="linenos" data-line="9" id="mwA1o"></span><span class="w" id="mwA1s"> </span><span class="n" id="mwA1w">drawing_agent</span><span class="w" id="mwA10"> </span><span class="o" id="mwA14">:=</span><span class="w" id="mwA18"> </span><span class="kr" id="mwA2A">agent</span><span class="w" id="mwA2E"> </span><span class="n" id="mwA2I">draw</span> <span class="linenos" data-line="10" id="mwA2M"></span><span class="w" id="mwA2Q"> </span><span class="kr" id="mwA2U">end</span> <span class="linenos" data-line="11" id="mwA2Y"></span><span class="w" id="mwA2c"> </span> <span class="linenos" data-line="12" id="mwA2g"></span><span class="w" id="mwA2k"> </span><span class="kr" id="mwA2o">feature</span><span class="w" id="mwA2s"> </span><span class="c1" id="mwA2w">-- Access</span> <span class="linenos" data-line="13" id="mwA20"></span> <span class="linenos" data-line="14" id="mwA24"></span><span class="w" id="mwA28"> </span><span class="n" id="mwA3A">drawing_agent</span><span class="p" id="mwA3E">:</span><span class="w" id="mwA3I"> </span><span class="nc" id="mwA3M">PROCEDURE</span><span class="w" id="mwA3Q"> </span><span class="o" id="mwA3U">[</span><span class="nc" id="mwA3Y">ANY</span><span class="p" id="mwA3c">,</span><span class="w" id="mwA3g"> </span><span class="nc" id="mwA3k">TUPLE</span><span class="w" id="mwA3o"> </span><span class="o" id="mwA3s">[</span><span class="nc" id="mwA3w">STRING</span><span class="p" id="mwA30">,</span><span class="w" id="mwA34"> </span><span class="nc" id="mwA38">STRING</span><span class="o" id="mwA4A">]]</span> <span class="linenos" data-line="15" id="mwA4E"></span><span class="w" id="mwA4I"> </span><span class="c1" id="mwA4M">-- Drawing agent of Current.</span> <span class="linenos" data-line="16" id="mwA4Q"></span><span class="w" id="mwA4U"> </span> <span class="linenos" data-line="17" id="mwA4Y"></span><span class="w" id="mwA4c"> </span><span class="kr" id="mwA4g">feature</span><span class="w" id="mwA4k"> </span><span class="p" id="mwA4o">{</span><span class="kr" id="mwA4s">NONE</span><span class="p" id="mwA4w">}</span><span class="w" id="mwA40"> </span><span class="c1" id="mwA44">-- Implementation</span> <span class="linenos" data-line="18" id="mwA48"></span><span class="w" id="mwA5A"> </span> <span class="linenos" data-line="19" id="mwA5E"></span><span class="w" id="mwA5I"> </span><span class="n" id="mwA5M">draw</span><span class="w" id="mwA5Q"> </span><span class="p" id="mwA5U">(</span><span class="n" id="mwA5Y">a_data_agent</span><span class="p" id="mwA5c">:</span><span class="w" id="mwA5g"> </span><span class="nc" id="mwA5k">FUNCTION</span><span class="w" id="mwA5o"> </span><span class="o" id="mwA5s">[</span><span class="nc" id="mwA5w">ANY</span><span class="p" id="mwA50">,</span><span class="w" id="mwA54"> </span><span class="nc" id="mwA58">TUPLE</span><span class="p" id="mwA6A">,</span><span class="w" id="mwA6E"> </span><span class="nc" id="mwA6I">TUPLE</span><span class="w" id="mwA6M"> </span><span class="o" id="mwA6Q">[</span><span class="n" id="mwA6U">name</span><span class="p" id="mwA6Y">,</span><span class="w" id="mwA6c"> </span><span class="n" id="mwA6g">color</span><span class="p" id="mwA6k">:</span><span class="w" id="mwA6o"> </span><span class="nc" id="mwA6s">STRING</span><span class="o" id="mwA6w">]]</span><span class="p" id="mwA60">)</span> <span class="linenos" data-line="20" id="mwA64"></span><span class="w" id="mwA68"> </span><span class="c1" id="mwA7A">-- Draw `a_shape' on Current.</span> <span class="linenos" data-line="21" id="mwA7E"></span><span class="w" id="mwA7I"> </span><span class="kr" id="mwA7M">local</span> <span class="linenos" data-line="22" id="mwA7Q"></span><span class="w" id="mwA7U"> </span><span class="n" id="mwA7Y">l_result</span><span class="p" id="mwA7c">:</span><span class="w" id="mwA7g"> </span><span class="nc" id="mwA7k">TUPLE</span><span class="w" id="mwA7o"> </span><span class="o" id="mwA7s">[</span><span class="n" id="mwA7w">name</span><span class="p" id="mwA70">,</span><span class="w" id="mwA74"> </span><span class="n" id="mwA78">color</span><span class="p" id="mwA8A">:</span><span class="w" id="mwA8E"> </span><span class="nc" id="mwA8I">STRING</span><span class="o" id="mwA8M">]</span> <span class="linenos" data-line="23" id="mwA8Q"></span><span class="w" id="mwA8U"> </span><span class="kr" id="mwA8Y">do</span> <span class="linenos" data-line="24" id="mwA8c"></span><span class="w" id="mwA8g"> </span><span class="n" id="mwA8k">l_result</span><span class="w" id="mwA8o"> </span><span class="o" id="mwA8s">:=</span><span class="w" id="mwA8w"> </span><span class="n" id="mwA80">a_data_agent</span><span class="w" id="mwA84"> </span><span class="p" id="mwA88">(</span><span class="kc" id="mwA9A">Void</span><span class="p" id="mwA9E">)</span> <span class="linenos" data-line="25" id="mwA9I"></span><span class="w" id="mwA9M"> </span><span class="n" id="mwA9Q">print</span><span class="w" id="mwA9U"> </span><span class="p" id="mwA9Y">(</span><span class="s" id="mwA9c">"draw a "</span><span class="w" id="mwA9g"> </span><span class="o" id="mwA9k">+</span><span class="w" id="mwA9o"> </span><span class="n" id="mwA9s">l_result</span><span class="p" id="mwA9w">.</span><span class="n" id="mwA90">color</span><span class="w" id="mwA94"> </span><span class="o" id="mwA98">+</span><span class="w" id="mwA-A"> </span><span class="s" id="mwA-E">" "</span><span class="w" id="mwA-I"> </span><span class="o" id="mwA-M">+</span><span class="w" id="mwA-Q"> </span><span class="n" id="mwA-U">l_result</span><span class="p" id="mwA-Y">.</span><span class="n" id="mwA-c">name</span><span class="w" id="mwA-g"> </span><span class="o" id="mwA-k">+</span><span class="w" id="mwA-o"> </span><span class="s" id="mwA-s">" on "</span><span class="w" id="mwA-w"> </span><span class="o" id="mwA-0">+</span><span class="w" id="mwA-4"> </span><span class="n" id="mwA-8">type</span><span class="w" id="mwA_A"> </span><span class="o" id="mwA_E">+</span><span class="w" id="mwA_I"> </span><span class="s" id="mwA_M">"%N"</span><span class="p" id="mwA_Q">)</span> <span class="linenos" data-line="26" id="mwA_U"></span><span class="w" id="mwA_Y"> </span><span class="kr" id="mwA_c">end</span> <span class="linenos" data-line="27" id="mwA_g"></span><span class="w" id="mwA_k"> </span> <span class="linenos" data-line="28" id="mwA_o"></span><span class="w" id="mwA_s"> </span><span class="n" id="mwA_w">type</span><span class="p" id="mwA_0">:</span><span class="w" id="mwA_4"> </span><span class="nc" id="mwA_8">STRING</span> <span class="linenos" data-line="29" id="mwBAA"></span><span class="w" id="mwBAE"> </span><span class="c1" id="mwBAI">-- Type name of Current.</span> <span class="linenos" data-line="30" id="mwBAM"></span><span class="w" id="mwBAQ"> </span><span class="kr" id="mwBAU">deferred</span><span class="w" id="mwBAY"> </span><span class="kr" id="mwBAc">end</span> <span class="linenos" data-line="31" id="mwBAg"></span><span class="w" id="mwBAk"> </span> <span class="linenos" data-line="32" id="mwBAo"></span><span class="w" id="mwBAs"> </span><span class="kr" id="mwBAw">end</span>

The agent argument in line #19 and call in line #24 are both polymorphic and decoupled. The agent is decoupled because the {SURFACE}.draw feature has no idea what class `a_data_agent' is based on. There is no way to tell what class the operation agent was derived from, so it does not have to come from SHAPE or one of its descendants. This is a distinct advantage of Eiffel agents over the single inheritance, dynamic and polymorphic binding of other languages.

The agent is dynamically polymorphic at run-time because the object is created in the moment it is needed, dynamically, where the version of the objectified routine is determined at that time. The only strongly bound knowledge is of the Result type of the agent signature—that is—a named TUPLE with two elements. However, this specific requirement is based on a demand of the enclosing feature (e.g. line #25 uses the named elements of the TUPLE to fulfill `draw' feature of SURFACE), which is necessary and has not been avoided (and perhaps cannot be).

Finally, note how only the `drawing_agent' feature is exported to ANY client! This means that the visitor pattern code (who is the ONLY client of this class) only needs to know about the agent to get its job done (e.g. using the agent as the feature applied to the visited objects).

SHAPE

The SHAPE class has the basis (e.g. drawing data) for what is drawn, perhaps on a SURFACE, but it does not have to be. Again, the agents provide the indirection and class agnostics required to make the co-variant relationship with SHAPE as decoupled as possible.

Additionally, please take note of the fact that SHAPE only provides `drawing_data_agent' as a fully exported feature to any client. Therefore, the only way to interact with SHAPE, other than creation, is through the facilities of the `drawing_data_agent', which is used by ANY client to indirectly and polymorphically gather drawing data for the SHAPE!

<span id="mwBBU"></span><span class="linenos" data-line="1" id="mwBBY"></span><span class="w" id="mwBBc"> </span><span class="kr" id="mwBBg">deferred</span><span class="w" id="mwBBk"> </span><span class="kr" id="mwBBo">class</span> <span class="linenos" data-line="2" id="mwBBs"></span><span class="w" id="mwBBw"> </span><span class="nc" id="mwBB0">SHAPE</span> <span class="linenos" data-line="3" id="mwBB4"></span><span class="w" id="mwBB8"> </span> <span class="linenos" data-line="4" id="mwBCA"></span><span class="w" id="mwBCE"> </span><span class="kr" id="mwBCI">feature</span><span class="w" id="mwBCM"> </span><span class="p" id="mwBCQ">{</span><span class="kr" id="mwBCU">NONE</span><span class="p" id="mwBCY">}</span><span class="w" id="mwBCc"> </span><span class="c1" id="mwBCg">-- Initialization</span> <span class="linenos" data-line="5" id="mwBCk"></span><span class="w" id="mwBCo"> </span> <span class="linenos" data-line="6" id="mwBCs"></span><span class="w" id="mwBCw"> </span><span class="n" id="mwBC0">make_with_color</span><span class="w" id="mwBC4"> </span><span class="p" id="mwBC8">(</span><span class="n" id="mwBDA">a_color</span><span class="p" id="mwBDE">:</span><span class="w" id="mwBDI"> </span><span class="kr" id="mwBDM">like</span><span class="w" id="mwBDQ"> </span><span class="n" id="mwBDU">color</span><span class="p" id="mwBDY">)</span> <span class="linenos" data-line="7" id="mwBDc"></span><span class="w" id="mwBDg"> </span><span class="c1" id="mwBDk">-- Make with `a_color' as `color'.</span> <span class="linenos" data-line="8" id="mwBDo"></span><span class="w" id="mwBDs"> </span><span class="kr" id="mwBDw">do</span> <span class="linenos" data-line="9" id="mwBD0"></span><span class="w" id="mwBD4"> </span><span class="n" id="mwBD8">color</span><span class="w" id="mwBEA"> </span><span class="o" id="mwBEE">:=</span><span class="w" id="mwBEI"> </span><span class="n" id="mwBEM">a_color</span> <span class="linenos" data-line="10" id="mwBEQ"></span><span class="w" id="mwBEU"> </span><span class="n" id="mwBEY">drawing_data_agent</span><span class="w" id="mwBEc"> </span><span class="o" id="mwBEg">:=</span><span class="w" id="mwBEk"> </span><span class="kr" id="mwBEo">agent</span><span class="w" id="mwBEs"> </span><span class="n" id="mwBEw">drawing_data</span> <span class="linenos" data-line="11" id="mwBE0"></span><span class="w" id="mwBE4"> </span><span class="kr" id="mwBE8">ensure</span> <span class="linenos" data-line="12" id="mwBFA"></span><span class="w" id="mwBFE"> </span><span class="n" id="mwBFI">color_set</span><span class="p" id="mwBFM">:</span><span class="w" id="mwBFQ"> </span><span class="n" id="mwBFU">color</span><span class="p" id="mwBFY">.</span><span class="n" id="mwBFc">same_string</span><span class="w" id="mwBFg"> </span><span class="p" id="mwBFk">(</span><span class="n" id="mwBFo">a_color</span><span class="p" id="mwBFs">)</span> <span class="linenos" data-line="13" id="mwBFw"></span><span class="w" id="mwBF0"> </span><span class="kr" id="mwBF4">end</span> <span class="linenos" data-line="14" id="mwBF8"></span> <span class="linenos" data-line="15" id="mwBGA"></span><span class="w" id="mwBGE"> </span><span class="kr" id="mwBGI">feature</span><span class="w" id="mwBGM"> </span><span class="c1" id="mwBGQ">-- Access</span> <span class="linenos" data-line="16" id="mwBGU"></span><span class="w" id="mwBGY"> </span> <span class="linenos" data-line="17" id="mwBGc"></span><span class="w" id="mwBGg"> </span><span class="n" id="mwBGk">drawing_data_agent</span><span class="p" id="mwBGo">:</span><span class="w" id="mwBGs"> </span><span class="nc" id="mwBGw">FUNCTION</span><span class="w" id="mwBG0"> </span><span class="o" id="mwBG4">[</span><span class="nc" id="mwBG8">ANY</span><span class="p" id="mwBHA">,</span><span class="w" id="mwBHE"> </span><span class="nc" id="mwBHI">TUPLE</span><span class="p" id="mwBHM">,</span><span class="w" id="mwBHQ"> </span><span class="kr" id="mwBHU">like</span><span class="w" id="mwBHY"> </span><span class="n" id="mwBHc">drawing_data</span><span class="o" id="mwBHg">]</span> <span class="linenos" data-line="18" id="mwBHk"></span><span class="w" id="mwBHo"> </span><span class="c1" id="mwBHs">-- Data agent for drawing.</span> <span class="linenos" data-line="19" id="mwBHw"></span><span class="w" id="mwBH0"> </span> <span class="linenos" data-line="20" id="mwBH4"></span><span class="w" id="mwBH8"> </span><span class="kr" id="mwBIA">feature</span><span class="w" id="mwBIE"> </span><span class="p" id="mwBII">{</span><span class="kr" id="mwBIM">NONE</span><span class="p" id="mwBIQ">}</span><span class="w" id="mwBIU"> </span><span class="c1" id="mwBIY">-- Implementation</span> <span class="linenos" data-line="21" id="mwBIc"></span><span class="w" id="mwBIg"> </span> <span class="linenos" data-line="22" id="mwBIk"></span><span class="w" id="mwBIo"> </span><span class="n" id="mwBIs">drawing_data</span><span class="p" id="mwBIw">:</span><span class="w" id="mwBI0"> </span><span class="nc" id="mwBI4">TUPLE</span><span class="w" id="mwBI8"> </span><span class="o" id="mwBJA">[</span><span class="n" id="mwBJE">name</span><span class="p" id="mwBJI">:</span><span class="w" id="mwBJM"> </span><span class="kr" id="mwBJQ">like</span><span class="w" id="mwBJU"> </span><span class="n" id="mwBJY">name</span><span class="p" id="mwBJc">;</span><span class="w" id="mwBJg"> </span><span class="n" id="mwBJk">color</span><span class="p" id="mwBJo">:</span><span class="w" id="mwBJs"> </span><span class="kr" id="mwBJw">like</span><span class="w" id="mwBJ0"> </span><span class="n" id="mwBJ4">color</span><span class="o" id="mwBJ8">]</span> <span class="linenos" data-line="23" id="mwBKA"></span><span class="w" id="mwBKE"> </span><span class="c1" id="mwBKI">-- Data needed for drawing of Current.</span> <span class="linenos" data-line="24" id="mwBKM"></span><span class="w" id="mwBKQ"> </span><span class="kr" id="mwBKU">do</span> <span class="linenos" data-line="25" id="mwBKY"></span><span class="w" id="mwBKc"> </span><span class="kc" id="mwBKg">Result</span><span class="w" id="mwBKk"> </span><span class="o" id="mwBKo">:=</span><span class="w" id="mwBKs"> </span><span class="o" id="mwBKw">[</span><span class="n" id="mwBK0">name</span><span class="p" id="mwBK4">,</span><span class="w" id="mwBK8"> </span><span class="n" id="mwBLA">color</span><span class="o" id="mwBLE">]</span> <span class="linenos" data-line="26" id="mwBLI"></span><span class="w" id="mwBLM"> </span><span class="kr" id="mwBLQ">end</span> <span class="linenos" data-line="27" id="mwBLU"></span><span class="w" id="mwBLY"> </span> <span class="linenos" data-line="28" id="mwBLc"></span><span class="w" id="mwBLg"> </span><span class="n" id="mwBLk">name</span><span class="p" id="mwBLo">:</span><span class="w" id="mwBLs"> </span><span class="nc" id="mwBLw">STRING</span> <span class="linenos" data-line="29" id="mwBL0"></span><span class="w" id="mwBL4"> </span><span class="c1" id="mwBL8">-- Object name of Current.</span> <span class="linenos" data-line="30" id="mwBMA"></span><span class="w" id="mwBME"> </span><span class="kr" id="mwBMI">deferred</span><span class="w" id="mwBMM"> </span><span class="kr" id="mwBMQ">end</span> <span class="linenos" data-line="31" id="mwBMU"></span><span class="w" id="mwBMY"> </span> <span class="linenos" data-line="32" id="mwBMc"></span><span class="w" id="mwBMg"> </span><span class="n" id="mwBMk">color</span><span class="p" id="mwBMo">:</span><span class="w" id="mwBMs"> </span><span class="nc" id="mwBMw">STRING</span> <span class="linenos" data-line="33" id="mwBM0"></span><span class="w" id="mwBM4"> </span><span class="c1" id="mwBM8">-- Color of Current.</span> <span class="linenos" data-line="34" id="mwBNA"></span> <span class="linenos" data-line="35" id="mwBNE"></span><span class="w" id="mwBNI"> </span><span class="kr" id="mwBNM">end</span>

Classic Spaceship example

A variation of the classic Spaceship example has one or more spaceship objects roaming about a universe filled with other items like rogue asteroids and space stations. What we want is a double-dispatch method for handling encounters (e.g. possible collisions) between two co-variant objects in our make-believe universe. In our example below, the output excursion of our USS Enterprise and USS Excelsior will be:

<span id="mwBNg"></span>Starship Enterprise changes position from A-001 to A-002. Starship Enterprise takes evasive action, avoiding Asteroid `Rogue 1'! Starship Enterprise changes position from A-002 to A-003. Starship Enterprise takes evasive action, avoiding Asteroid `Rogue 2'! Starship Enterprise beams a science team to Starship Excelsior as they pass! Starship Enterprise changes position from A-003 to A-004. Starship Excelsior changes position from A-003 to A-005. Starship Enterprise takes evasive action, avoiding Asteroid `Rogue 3'! Starship Excelsior is near Space Station Deep Space 9 and is dockable. Starship Enterprise changes position from A-004 to A-005. Starship Enterprise beams a science team to Starship Excelsior as they pass! Starship Enterprise is near Space Station Deep Space 9 and is dockable.

Visitor

The visitor for the classic Spaceship example also has a double-dispatch mechanism.

<span id="mwBN0"></span><span class="linenos" data-line="1" id="mwBN4"></span><span class="n" id="mwBN8">make</span> <span class="linenos" data-line="2" id="mwBOA"></span><span class="w" id="mwBOE"> </span><span class="c1" id="mwBOI">-- Allow SPACESHIP objects to visit and move about in a universe.</span> <span class="linenos" data-line="3" id="mwBOM"></span><span class="w" id="mwBOQ"> </span><span class="kr" id="mwBOU">local</span> <span class="linenos" data-line="4" id="mwBOY"></span><span class="w" id="mwBOc"> </span><span class="n" id="mwBOg">l_universe</span><span class="p" id="mwBOk">:</span><span class="w" id="mwBOo"> </span><span class="nc" id="mwBOs">ARRAYED_LIST</span><span class="w" id="mwBOw"> </span><span class="o" id="mwBO0">[</span><span class="nc" id="mwBO4">SPACE_OBJECT</span><span class="o" id="mwBO8">]</span> <span class="linenos" data-line="5" id="mwBPA"></span><span class="w" id="mwBPE"> </span><span class="n" id="mwBPI">l_enterprise</span><span class="p" id="mwBPM">,</span> <span class="linenos" data-line="6" id="mwBPQ"></span><span class="w" id="mwBPU"> </span><span class="n" id="mwBPY">l_excelsior</span><span class="p" id="mwBPc">:</span><span class="w" id="mwBPg"> </span><span class="nc" id="mwBPk">SPACESHIP</span> <span class="linenos" data-line="7" id="mwBPo"></span><span class="w" id="mwBPs"> </span><span class="kr" id="mwBPw">do</span> <span class="linenos" data-line="8" id="mwBP0"></span><span class="w" id="mwBP4"> </span><span class="kr" id="mwBP8">create</span><span class="w" id="mwBQA"> </span><span class="n" id="mwBQE">l_enterprise</span><span class="p" id="mwBQI">.</span><span class="n" id="mwBQM">make_with_name</span><span class="w" id="mwBQQ"> </span><span class="p" id="mwBQU">(</span><span class="s" id="mwBQY">"Enterprise"</span><span class="p" id="mwBQc">,</span><span class="w" id="mwBQg"> </span><span class="s" id="mwBQk">"A-001"</span><span class="p" id="mwBQo">)</span> <span class="linenos" data-line="9" id="mwBQs"></span><span class="w" id="mwBQw"> </span><span class="kr" id="mwBQ0">create</span><span class="w" id="mwBQ4"> </span><span class="n" id="mwBQ8">l_excelsior</span><span class="p" id="mwBRA">.</span><span class="n" id="mwBRE">make_with_name</span><span class="w" id="mwBRI"> </span><span class="p" id="mwBRM">(</span><span class="s" id="mwBRQ">"Excelsior"</span><span class="p" id="mwBRU">,</span><span class="w" id="mwBRY"> </span><span class="s" id="mwBRc">"A-003"</span><span class="p" id="mwBRg">)</span> <span class="linenos" data-line="10" id="mwBRk"></span><span class="w" id="mwBRo"> </span><span class="kr" id="mwBRs">create</span><span class="w" id="mwBRw"> </span><span class="n" id="mwBR0">l_universe</span><span class="p" id="mwBR4">.</span><span class="n" id="mwBR8">make</span><span class="w" id="mwBSA"> </span><span class="p" id="mwBSE">(</span><span class="mi" id="mwBSI">0</span><span class="p" id="mwBSM">)</span> <span class="linenos" data-line="11" id="mwBSQ"></span><span class="w" id="mwBSU"> </span><span class="n" id="mwBSY">l_universe</span><span class="p" id="mwBSc">.</span><span class="n" id="mwBSg">force</span><span class="w" id="mwBSk"> </span><span class="p" id="mwBSo">(</span><span class="n" id="mwBSs">l_enterprise</span><span class="p" id="mwBSw">)</span> <span class="linenos" data-line="12" id="mwBS0"></span><span class="w" id="mwBS4"> </span><span class="n" id="mwBS8">l_universe</span><span class="p" id="mwBTA">.</span><span class="n" id="mwBTE">force</span><span class="w" id="mwBTI"> </span><span class="p" id="mwBTM">(</span><span class="kr" id="mwBTQ">create</span><span class="w" id="mwBTU"> </span><span class="p" id="mwBTY">{</span><span class="nc" id="mwBTc">ASTEROID</span><span class="p" id="mwBTg">}.</span><span class="n" id="mwBTk">make_with_name</span><span class="w" id="mwBTo"> </span><span class="p" id="mwBTs">(</span><span class="s" id="mwBTw">"Rogue 1"</span><span class="p" id="mwBT0">,</span><span class="w" id="mwBT4"> </span><span class="s" id="mwBT8">"A-002"</span><span class="p" id="mwBUA">))</span> <span class="linenos" data-line="13" id="mwBUE"></span><span class="w" id="mwBUI"> </span><span class="n" id="mwBUM">l_universe</span><span class="p" id="mwBUQ">.</span><span class="n" id="mwBUU">force</span><span class="w" id="mwBUY"> </span><span class="p" id="mwBUc">(</span><span class="kr" id="mwBUg">create</span><span class="w" id="mwBUk"> </span><span class="p" id="mwBUo">{</span><span class="nc" id="mwBUs">ASTEROID</span><span class="p" id="mwBUw">}.</span><span class="n" id="mwBU0">make_with_name</span><span class="w" id="mwBU4"> </span><span class="p" id="mwBU8">(</span><span class="s" id="mwBVA">"Rogue 2"</span><span class="p" id="mwBVE">,</span><span class="w" id="mwBVI"> </span><span class="s" id="mwBVM">"A-003"</span><span class="p" id="mwBVQ">))</span> <span class="linenos" data-line="14" id="mwBVU"></span><span class="w" id="mwBVY"> </span><span class="n" id="mwBVc">l_universe</span><span class="p" id="mwBVg">.</span><span class="n" id="mwBVk">force</span><span class="w" id="mwBVo"> </span><span class="p" id="mwBVs">(</span><span class="n" id="mwBVw">l_excelsior</span><span class="p" id="mwBV0">)</span> <span class="linenos" data-line="15" id="mwBV4"></span><span class="w" id="mwBV8"> </span><span class="n" id="mwBWA">l_universe</span><span class="p" id="mwBWE">.</span><span class="n" id="mwBWI">force</span><span class="w" id="mwBWM"> </span><span class="p" id="mwBWQ">(</span><span class="kr" id="mwBWU">create</span><span class="w" id="mwBWY"> </span><span class="p" id="mwBWc">{</span><span class="nc" id="mwBWg">ASTEROID</span><span class="p" id="mwBWk">}.</span><span class="n" id="mwBWo">make_with_name</span><span class="w" id="mwBWs"> </span><span class="p" id="mwBWw">(</span><span class="s" id="mwBW0">"Rogue 3"</span><span class="p" id="mwBW4">,</span><span class="w" id="mwBW8"> </span><span class="s" id="mwBXA">"A-004"</span><span class="p" id="mwBXE">))</span> <span class="linenos" data-line="16" id="mwBXI"></span><span class="w" id="mwBXM"> </span><span class="n" id="mwBXQ">l_universe</span><span class="p" id="mwBXU">.</span><span class="n" id="mwBXY">force</span><span class="w" id="mwBXc"> </span><span class="p" id="mwBXg">(</span><span class="kr" id="mwBXk">create</span><span class="w" id="mwBXo"> </span><span class="p" id="mwBXs">{</span><span class="nc" id="mwBXw">SPACESTATION</span><span class="p" id="mwBX0">}.</span><span class="n" id="mwBX4">make_with_name</span><span class="w" id="mwBX8"> </span><span class="p" id="mwBYA">(</span><span class="s" id="mwBYE">"Deep Space 9"</span><span class="p" id="mwBYI">,</span><span class="w" id="mwBYM"> </span><span class="s" id="mwBYQ">"A-005"</span><span class="p" id="mwBYU">))</span> <span class="linenos" data-line="17" id="mwBYY"></span><span class="w" id="mwBYc"> </span><span class="n" id="mwBYg">visit</span><span class="w" id="mwBYk"> </span><span class="p" id="mwBYo">(</span><span class="n" id="mwBYs">l_enterprise</span><span class="p" id="mwBYw">,</span><span class="w" id="mwBY0"> </span><span class="n" id="mwBY4">l_universe</span><span class="p" id="mwBY8">)</span> <span class="linenos" data-line="18" id="mwBZA"></span><span class="w" id="mwBZE"> </span><span class="n" id="mwBZI">l_enterprise</span><span class="p" id="mwBZM">.</span><span class="n" id="mwBZQ">set_position</span><span class="w" id="mwBZU"> </span><span class="p" id="mwBZY">(</span><span class="s" id="mwBZc">"A-002"</span><span class="p" id="mwBZg">)</span> <span class="linenos" data-line="19" id="mwBZk"></span><span class="w" id="mwBZo"> </span><span class="n" id="mwBZs">visit</span><span class="w" id="mwBZw"> </span><span class="p" id="mwBZ0">(</span><span class="n" id="mwBZ4">l_enterprise</span><span class="p" id="mwBZ8">,</span><span class="w" id="mwBaA"> </span><span class="n" id="mwBaE">l_universe</span><span class="p" id="mwBaI">)</span> <span class="linenos" data-line="20" id="mwBaM"></span><span class="w" id="mwBaQ"> </span><span class="n" id="mwBaU">l_enterprise</span><span class="p" id="mwBaY">.</span><span class="n" id="mwBac">set_position</span><span class="w" id="mwBag"> </span><span class="p" id="mwBak">(</span><span class="s" id="mwBao">"A-003"</span><span class="p" id="mwBas">)</span> <span class="linenos" data-line="21" id="mwBaw"></span><span class="w" id="mwBa0"> </span><span class="n" id="mwBa4">visit</span><span class="w" id="mwBa8"> </span><span class="p" id="mwBbA">(</span><span class="n" id="mwBbE">l_enterprise</span><span class="p" id="mwBbI">,</span><span class="w" id="mwBbM"> </span><span class="n" id="mwBbQ">l_universe</span><span class="p" id="mwBbU">)</span> <span class="linenos" data-line="22" id="mwBbY"></span><span class="w" id="mwBbc"> </span><span class="n" id="mwBbg">l_enterprise</span><span class="p" id="mwBbk">.</span><span class="n" id="mwBbo">set_position</span><span class="w" id="mwBbs"> </span><span class="p" id="mwBbw">(</span><span class="s" id="mwBb0">"A-004"</span><span class="p" id="mwBb4">)</span> <span class="linenos" data-line="23" id="mwBb8"></span><span class="w" id="mwBcA"> </span><span class="n" id="mwBcE">l_excelsior</span><span class="p" id="mwBcI">.</span><span class="n" id="mwBcM">set_position</span><span class="w" id="mwBcQ"> </span><span class="p" id="mwBcU">(</span><span class="s" id="mwBcY">"A-005"</span><span class="p" id="mwBcc">)</span> <span class="linenos" data-line="24" id="mwBcg"></span><span class="w" id="mwBck"> </span><span class="n" id="mwBco">visit</span><span class="w" id="mwBcs"> </span><span class="p" id="mwBcw">(</span><span class="n" id="mwBc0">l_enterprise</span><span class="p" id="mwBc4">,</span><span class="w" id="mwBc8"> </span><span class="n" id="mwBdA">l_universe</span><span class="p" id="mwBdE">)</span> <span class="linenos" data-line="25" id="mwBdI"></span><span class="w" id="mwBdM"> </span><span class="n" id="mwBdQ">visit</span><span class="w" id="mwBdU"> </span><span class="p" id="mwBdY">(</span><span class="n" id="mwBdc">l_excelsior</span><span class="p" id="mwBdg">,</span><span class="w" id="mwBdk"> </span><span class="n" id="mwBdo">l_universe</span><span class="p" id="mwBds">)</span> <span class="linenos" data-line="26" id="mwBdw"></span><span class="w" id="mwBd0"> </span><span class="n" id="mwBd4">l_enterprise</span><span class="p" id="mwBd8">.</span><span class="n" id="mwBeA">set_position</span><span class="w" id="mwBeE"> </span><span class="p" id="mwBeI">(</span><span class="s" id="mwBeM">"A-005"</span><span class="p" id="mwBeQ">)</span> <span class="linenos" data-line="27" id="mwBeU"></span><span class="w" id="mwBeY"> </span><span class="n" id="mwBec">visit</span><span class="w" id="mwBeg"> </span><span class="p" id="mwBek">(</span><span class="n" id="mwBeo">l_enterprise</span><span class="p" id="mwBes">,</span><span class="w" id="mwBew"> </span><span class="n" id="mwBe0">l_universe</span><span class="p" id="mwBe4">)</span> <span class="linenos" data-line="28" id="mwBe8"></span><span class="w" id="mwBfA"> </span><span class="kr" id="mwBfE">end</span> <span class="linenos" data-line="29" id="mwBfI"></span><span class="kr" id="mwBfM">feature</span><span class="w" id="mwBfQ"> </span><span class="p" id="mwBfU">{</span><span class="kr" id="mwBfY">NONE</span><span class="p" id="mwBfc">}</span><span class="w" id="mwBfg"> </span><span class="c1" id="mwBfk">-- Implementation</span> <span class="linenos" data-line="30" id="mwBfo"></span><span class="n" id="mwBfs">visit</span><span class="w" id="mwBfw"> </span><span class="p" id="mwBf0">(</span><span class="n" id="mwBf4">a_object</span><span class="p" id="mwBf8">:</span><span class="w" id="mwBgA"> </span><span class="nc" id="mwBgE">SPACE_OBJECT</span><span class="p" id="mwBgI">;</span><span class="w" id="mwBgM"> </span><span class="n" id="mwBgQ">a_universe</span><span class="p" id="mwBgU">:</span><span class="w" id="mwBgY"> </span><span class="nc" id="mwBgc">ARRAYED_LIST</span><span class="w" id="mwBgg"> </span><span class="o" id="mwBgk">[</span><span class="nc" id="mwBgo">SPACE_OBJECT</span><span class="o" id="mwBgs">]</span><span class="p" id="mwBgw">)</span> <span class="linenos" data-line="31" id="mwBg0"></span><span class="w" id="mwBg4"> </span><span class="c1" id="mwBg8">-- `a_object' visits `a_universe'.</span> <span class="linenos" data-line="32" id="mwBhA"></span><span class="w" id="mwBhE"> </span><span class="kr" id="mwBhI">do</span> <span class="linenos" data-line="33" id="mwBhM"></span><span class="w" id="mwBhQ"> </span><span class="kr" id="mwBhU">across</span><span class="w" id="mwBhY"> </span><span class="n" id="mwBhc">a_universe</span><span class="w" id="mwBhg"> </span><span class="kr" id="mwBhk">as</span><span class="w" id="mwBho"> </span><span class="n" id="mwBhs">ic_universe</span><span class="w" id="mwBhw"> </span><span class="kr" id="mwBh0">loop</span> <span class="linenos" data-line="34" id="mwBh4"></span><span class="w" id="mwBh8"> </span><span class="kr" id="mwBiA">check</span><span class="w" id="mwBiE"> </span><span class="kr" id="mwBiI">attached</span><span class="w" id="mwBiM"> </span><span class="p" id="mwBiQ">{</span><span class="nc" id="mwBiU">SPACE_OBJECT</span><span class="p" id="mwBiY">}</span><span class="w" id="mwBic"> </span><span class="n" id="mwBig">ic_universe</span><span class="p" id="mwBik">.</span><span class="n" id="mwBio">item</span><span class="w" id="mwBis"> </span><span class="kr" id="mwBiw">as</span><span class="w" id="mwBi0"> </span><span class="n" id="mwBi4">al_universe_object</span><span class="w" id="mwBi8"> </span><span class="kr" id="mwBjA">then</span> <span class="hll" id="mwBjE"><span class="linenos" data-line="35" id="mwBjI"></span><span class="w" id="mwBjM"> </span><span class="n" id="mwBjQ">a_object</span><span class="p" id="mwBjU">.</span><span class="n" id="mwBjY">encounter_agent</span><span class="p" id="mwBjc">.</span><span class="n" id="mwBjg">call</span><span class="w" id="mwBjk"> </span><span class="p" id="mwBjo">(</span><span class="o" id="mwBjs">[</span><span class="n" id="mwBjw">al_universe_object</span><span class="p" id="mwBj0">.</span><span class="n" id="mwBj4">sensor_data_agent</span><span class="o" id="mwBj8">]</span><span class="p" id="mwBkA">)</span> </span><span class="linenos" data-line="36" id="mwBkE"></span><span class="w" id="mwBkI"> </span><span class="kr" id="mwBkM">end</span> <span class="linenos" data-line="37" id="mwBkQ"></span><span class="w" id="mwBkU"> </span><span class="kr" id="mwBkY">end</span> <span class="linenos" data-line="38" id="mwBkc"></span><span class="w" id="mwBkg"> </span><span class="kr" id="mwBkk">end</span>

The double-dispatch can be seen in line #35, where two indirect agents are working together to provide two co-variant calls working in perfect polymorphic concert with each other. The `a_object' of the `visit' feature has an `encounter_agent' which is called with the sensor data of the `sensor_data_agent' coming from the `al_universe_object'. The other interesting part of this particular example is the SPACE_OBJECT class and its `encounter' feature:

Visitor action

The only exported features of a SPACE_OBJECT are the agents for encounter and sensor data, as well as the capacity to set a new position. As one object (the spaceship) visits each object in the universe, the sensor data is collected and passed to the visiting object in its encounter agent. There, the sensor data from the sensor_data_agent (that is—the data element items of the sensor_data TUPLE as returned by the sensor_data_agent query) are evaluated against the current object and a course of action is taken based on that evaluation (see `encounter' in SPACE_OBJECT below). All other data is exported to {NONE}. This is similar to C, C++ and Java scopes of Private. As non-exported features, the data and routines are used only internally by each SPACE_OBJECT. Finally, note that encounter calls to `print' do not include specific information about possible descendant classes of SPACE_OBJECT! The only thing found at this level in the inheritance are general relational aspects based completely on what can be known from the attributes and routines of a general SPACE_OBJECT. The fact that the output of the `print' makes sense to us, as human beings, based on what we know or imagine about Star ships, space stations and asteroids is merely logical planning or coincidence. The SPACE_OBJECT is not programmed with any specific knowledge of its descendants.

<span id="mwBk8"></span><span class="linenos" data-line="1" id="mwBlA"></span><span class="kr" id="mwBlE">deferred</span><span class="w" id="mwBlI"> </span><span class="kr" id="mwBlM">class</span> <span class="linenos" data-line="2" id="mwBlQ"></span><span class="nc" id="mwBlU">SPACE_OBJECT</span> <span class="linenos" data-line="3" id="mwBlY"></span><span class="kr" id="mwBlc">feature</span><span class="w" id="mwBlg"> </span><span class="p" id="mwBlk">{</span><span class="kr" id="mwBlo">NONE</span><span class="p" id="mwBls">}</span><span class="w" id="mwBlw"> </span><span class="c1" id="mwBl0">-- Initialization</span> <span class="linenos" data-line="4" id="mwBl4"></span><span class="n" id="mwBl8">make_with_name</span><span class="w" id="mwBmA"> </span><span class="p" id="mwBmE">(</span><span class="n" id="mwBmI">a_name</span><span class="p" id="mwBmM">:</span><span class="w" id="mwBmQ"> </span><span class="kr" id="mwBmU">like</span><span class="w" id="mwBmY"> </span><span class="n" id="mwBmc">name</span><span class="p" id="mwBmg">;</span><span class="w" id="mwBmk"> </span><span class="n" id="mwBmo">a_position</span><span class="p" id="mwBms">:</span><span class="w" id="mwBmw"> </span><span class="kr" id="mwBm0">like</span><span class="w" id="mwBm4"> </span><span class="n" id="mwBm8">position</span><span class="p" id="mwBnA">)</span> <span class="linenos" data-line="5" id="mwBnE"></span><span class="w" id="mwBnI"> </span><span class="c1" id="mwBnM">-- Initialize Current with `a_name' and `a_position'.</span> <span class="linenos" data-line="6" id="mwBnQ"></span><span class="w" id="mwBnU"> </span><span class="kr" id="mwBnY">do</span> <span class="linenos" data-line="7" id="mwBnc"></span><span class="w" id="mwBng"> </span><span class="n" id="mwBnk">name</span><span class="w" id="mwBno"> </span><span class="o" id="mwBns">:=</span><span class="w" id="mwBnw"> </span><span class="n" id="mwBn0">a_name</span> <span class="linenos" data-line="8" id="mwBn4"></span><span class="w" id="mwBn8"> </span><span class="n" id="mwBoA">position</span><span class="w" id="mwBoE"> </span><span class="o" id="mwBoI">:=</span><span class="w" id="mwBoM"> </span><span class="n" id="mwBoQ">a_position</span> <span class="linenos" data-line="9" id="mwBoU"></span><span class="w" id="mwBoY"> </span><span class="n" id="mwBoc">sensor_data_agent</span><span class="w" id="mwBog"> </span><span class="o" id="mwBok">:=</span><span class="w" id="mwBoo"> </span><span class="kr" id="mwBos">agent</span><span class="w" id="mwBow"> </span><span class="n" id="mwBo0">sensor_data</span> <span class="linenos" data-line="10" id="mwBo4"></span><span class="w" id="mwBo8"> </span><span class="n" id="mwBpA">encounter_agent</span><span class="w" id="mwBpE"> </span><span class="o" id="mwBpI">:=</span><span class="w" id="mwBpM"> </span><span class="kr" id="mwBpQ">agent</span><span class="w" id="mwBpU"> </span><span class="n" id="mwBpY">encounter</span> <span class="linenos" data-line="11" id="mwBpc"></span><span class="w" id="mwBpg"> </span><span class="kr" id="mwBpk">ensure</span> <span class="linenos" data-line="12" id="mwBpo"></span><span class="w" id="mwBps"> </span><span class="n" id="mwBpw">name_set</span><span class="p" id="mwBp0">:</span><span class="w" id="mwBp4"> </span><span class="n" id="mwBp8">name</span><span class="p" id="mwBqA">.</span><span class="n" id="mwBqE">same_string</span><span class="w" id="mwBqI"> </span><span class="p" id="mwBqM">(</span><span class="n" id="mwBqQ">a_name</span><span class="p" id="mwBqU">)</span> <span class="linenos" data-line="13" id="mwBqY"></span><span class="w" id="mwBqc"> </span><span class="n" id="mwBqg">position_set</span><span class="p" id="mwBqk">:</span><span class="w" id="mwBqo"> </span><span class="n" id="mwBqs">position</span><span class="p" id="mwBqw">.</span><span class="n" id="mwBq0">same_string</span><span class="w" id="mwBq4"> </span><span class="p" id="mwBq8">(</span><span class="n" id="mwBrA">a_position</span><span class="p" id="mwBrE">)</span> <span class="linenos" data-line="14" id="mwBrI"></span><span class="w" id="mwBrM"> </span><span class="kr" id="mwBrQ">end</span> <span class="linenos" data-line="15" id="mwBrU"></span><span class="kr" id="mwBrY">feature</span><span class="w" id="mwBrc"> </span><span class="c1" id="mwBrg">-- Access</span> <span class="linenos" data-line="16" id="mwBrk"></span><span class="n" id="mwBro">encounter_agent</span><span class="p" id="mwBrs">:</span><span class="w" id="mwBrw"> </span><span class="nc" id="mwBr0">PROCEDURE</span><span class="w" id="mwBr4"> </span><span class="o" id="mwBr8">[</span><span class="nc" id="mwBsA">ANY</span><span class="p" id="mwBsE">,</span><span class="w" id="mwBsI"> </span><span class="nc" id="mwBsM">TUPLE</span><span class="o" id="mwBsQ">]</span> <span class="linenos" data-line="17" id="mwBsU"></span><span class="w" id="mwBsY"> </span><span class="c1" id="mwBsc">-- Agent for managing encounters with Current.</span> <span class="linenos" data-line="18" id="mwBsg"></span><span class="n" id="mwBsk">sensor_data_agent</span><span class="p" id="mwBso">:</span><span class="w" id="mwBss"> </span><span class="nc" id="mwBsw">FUNCTION</span><span class="w" id="mwBs0"> </span><span class="o" id="mwBs4">[</span><span class="nc" id="mwBs8">ANY</span><span class="p" id="mwBtA">,</span><span class="w" id="mwBtE"> </span><span class="nc" id="mwBtI">TUPLE</span><span class="p" id="mwBtM">,</span><span class="w" id="mwBtQ"> </span><span class="kr" id="mwBtU">attached</span><span class="w" id="mwBtY"> </span><span class="kr" id="mwBtc">like</span><span class="w" id="mwBtg"> </span><span class="n" id="mwBtk">sensor_data_anchor</span><span class="o" id="mwBto">]</span> <span class="linenos" data-line="19" id="mwBts"></span><span class="w" id="mwBtw"> </span><span class="c1" id="mwBt0">-- Agent for returning sensor data of Current.</span> <span class="linenos" data-line="20" id="mwBt4"></span><span class="kr" id="mwBt8">feature</span><span class="w" id="mwBuA"> </span><span class="c1" id="mwBuE">-- Settings</span> <span class="linenos" data-line="21" id="mwBuI"></span><span class="n" id="mwBuM">set_position</span><span class="w" id="mwBuQ"> </span><span class="p" id="mwBuU">(</span><span class="n" id="mwBuY">a_position</span><span class="p" id="mwBuc">:</span><span class="w" id="mwBug"> </span><span class="kr" id="mwBuk">like</span><span class="w" id="mwBuo"> </span><span class="n" id="mwBus">position</span><span class="p" id="mwBuw">)</span> <span class="linenos" data-line="22" id="mwBu0"></span><span class="w" id="mwBu4"> </span><span class="c1" id="mwBu8">-- Set `position' with `a_position'.</span> <span class="linenos" data-line="23" id="mwBvA"></span><span class="w" id="mwBvE"> </span><span class="kr" id="mwBvI">do</span> <span class="linenos" data-line="24" id="mwBvM"></span><span class="w" id="mwBvQ"> </span><span class="n" id="mwBvU">print</span><span class="w" id="mwBvY"> </span><span class="p" id="mwBvc">(</span><span class="n" id="mwBvg">type</span><span class="w" id="mwBvk"> </span><span class="o" id="mwBvo">+</span><span class="w" id="mwBvs"> </span><span class="s" id="mwBvw">" "</span><span class="w" id="mwBv0"> </span><span class="o" id="mwBv4">+</span><span class="w" id="mwBv8"> </span><span class="n" id="mwBwA">name</span><span class="w" id="mwBwE"> </span><span class="o" id="mwBwI">+</span><span class="w" id="mwBwM"> </span><span class="s" id="mwBwQ">" changes position from "</span><span class="w" id="mwBwU"> </span><span class="o" id="mwBwY">+</span><span class="w" id="mwBwc"> </span><span class="n" id="mwBwg">position</span><span class="w" id="mwBwk"> </span><span class="o" id="mwBwo">+</span><span class="w" id="mwBws"> </span><span class="s" id="mwBww">" to "</span><span class="w" id="mwBw0"> </span><span class="o" id="mwBw4">+</span><span class="w" id="mwBw8"> </span><span class="n" id="mwBxA">a_position</span><span class="w" id="mwBxE"> </span><span class="o" id="mwBxI">+</span><span class="w" id="mwBxM"> </span><span class="s" id="mwBxQ">".%N"</span><span class="p" id="mwBxU">)</span> <span class="linenos" data-line="25" id="mwBxY"></span><span class="w" id="mwBxc"> </span><span class="n" id="mwBxg">position</span><span class="w" id="mwBxk"> </span><span class="o" id="mwBxo">:=</span><span class="w" id="mwBxs"> </span><span class="n" id="mwBxw">a_position</span> <span class="linenos" data-line="26" id="mwBx0"></span><span class="w" id="mwBx4"> </span><span class="kr" id="mwBx8">ensure</span> <span class="linenos" data-line="27" id="mwByA"></span><span class="w" id="mwByE"> </span><span class="n" id="mwByI">position_set</span><span class="p" id="mwByM">:</span><span class="w" id="mwByQ"> </span><span class="n" id="mwByU">position</span><span class="p" id="mwByY">.</span><span class="n" id="mwByc">same_string</span><span class="w" id="mwByg"> </span><span class="p" id="mwByk">(</span><span class="n" id="mwByo">a_position</span><span class="p" id="mwBys">)</span> <span class="linenos" data-line="28" id="mwByw"></span><span class="w" id="mwBy0"> </span><span class="kr" id="mwBy4">end</span> <span class="linenos" data-line="29" id="mwBy8"></span><span class="kr" id="mwBzA">feature</span><span class="w" id="mwBzE"> </span><span class="p" id="mwBzI">{</span><span class="kr" id="mwBzM">NONE</span><span class="p" id="mwBzQ">}</span><span class="w" id="mwBzU"> </span><span class="c1" id="mwBzY">-- Implementation</span> <span class="linenos" data-line="30" id="mwBzc"></span><span class="n" id="mwBzg">encounter</span><span class="w" id="mwBzk"> </span><span class="p" id="mwBzo">(</span><span class="n" id="mwBzs">a_sensor_agent</span><span class="p" id="mwBzw">:</span><span class="w" id="mwBz0"> </span><span class="nc" id="mwBz4">FUNCTION</span><span class="w" id="mwBz8"> </span><span class="o" id="mwB0A">[</span><span class="nc" id="mwB0E">ANY</span><span class="p" id="mwB0I">,</span><span class="w" id="mwB0M"> </span><span class="nc" id="mwB0Q">TUPLE</span><span class="p" id="mwB0U">,</span><span class="w" id="mwB0Y"> </span><span class="kr" id="mwB0c">attached</span><span class="w" id="mwB0g"> </span><span class="kr" id="mwB0k">like</span><span class="w" id="mwB0o"> </span><span class="n" id="mwB0s">sensor_data_anchor</span><span class="o" id="mwB0w">]</span><span class="p" id="mwB00">)</span> <span class="linenos" data-line="31" id="mwB04"></span><span class="w" id="mwB08"> </span><span class="c1" id="mwB1A">-- Detect and report on collision status of Current with `a_radar_agent'.</span> <span class="linenos" data-line="32" id="mwB1E"></span><span class="w" id="mwB1I"> </span><span class="kr" id="mwB1M">do</span> <span class="linenos" data-line="33" id="mwB1Q"></span><span class="w" id="mwB1U"> </span><span class="n" id="mwB1Y">a_sensor_agent</span><span class="p" id="mwB1c">.</span><span class="n" id="mwB1g">call</span><span class="w" id="mwB1k"> </span><span class="p" id="mwB1o">(</span><span class="o" id="mwB1s">[</span><span class="kc" id="mwB1w">Void</span><span class="o" id="mwB10">]</span><span class="p" id="mwB14">)</span> <span class="linenos" data-line="34" id="mwB18"></span><span class="w" id="mwB2A"> </span><span class="kr" id="mwB2E">check</span><span class="w" id="mwB2I"> </span><span class="kr" id="mwB2M">attached</span><span class="w" id="mwB2Q"> </span><span class="p" id="mwB2U">{</span><span class="kr" id="mwB2Y">like</span><span class="w" id="mwB2c"> </span><span class="n" id="mwB2g">sensor_data_anchor</span><span class="p" id="mwB2k">}</span><span class="w" id="mwB2o"> </span><span class="n" id="mwB2s">a_sensor_agent</span><span class="p" id="mwB2w">.</span><span class="n" id="mwB20">last_result</span><span class="w" id="mwB24"> </span><span class="kr" id="mwB28">as</span><span class="w" id="mwB3A"> </span><span class="n" id="mwB3E">al_sensor_data</span><span class="w" id="mwB3I"> </span><span class="kr" id="mwB3M">then</span> <span class="linenos" data-line="35" id="mwB3Q"></span><span class="w" id="mwB3U"> </span><span class="kr" id="mwB3Y">if</span><span class="w" id="mwB3c"> </span><span class="ow" id="mwB3g">not</span><span class="w" id="mwB3k"> </span><span class="n" id="mwB3o">name</span><span class="p" id="mwB3s">.</span><span class="n" id="mwB3w">same_string</span><span class="w" id="mwB30"> </span><span class="p" id="mwB34">(</span><span class="n" id="mwB38">al_sensor_data</span><span class="p" id="mwB4A">.</span><span class="n" id="mwB4E">name</span><span class="p" id="mwB4I">)</span><span class="w" id="mwB4M"> </span><span class="kr" id="mwB4Q">then</span> <span class="linenos" data-line="36" id="mwB4U"></span><span class="w" id="mwB4Y"> </span><span class="kr" id="mwB4c">if</span><span class="w" id="mwB4g"> </span><span class="p" id="mwB4k">(</span><span class="n" id="mwB4o">position</span><span class="p" id="mwB4s">.</span><span class="n" id="mwB4w">same_string</span><span class="w" id="mwB40"> </span><span class="p" id="mwB44">(</span><span class="n" id="mwB48">al_sensor_data</span><span class="p" id="mwB5A">.</span><span class="n" id="mwB5E">position</span><span class="p" id="mwB5I">))</span><span class="w" id="mwB5M"> </span><span class="kr" id="mwB5Q">then</span> <span class="linenos" data-line="37" id="mwB5U"></span><span class="w" id="mwB5Y"> </span><span class="kr" id="mwB5c">if</span><span class="w" id="mwB5g"> </span><span class="p" id="mwB5k">((</span><span class="n" id="mwB5o">al_sensor_data</span><span class="p" id="mwB5s">.</span><span class="n" id="mwB5w">is_dockable</span><span class="w" id="mwB50"> </span><span class="ow" id="mwB54">and</span><span class="w" id="mwB58"> </span><span class="n" id="mwB6A">is_dockable</span><span class="p" id="mwB6E">)</span><span class="w" id="mwB6I"> </span><span class="ow" id="mwB6M">and</span> <span class="linenos" data-line="38" id="mwB6Q"></span><span class="w" id="mwB6U"> </span><span class="p" id="mwB6Y">(</span><span class="n" id="mwB6c">is_manned</span><span class="w" id="mwB6g"> </span><span class="ow" id="mwB6k">and</span><span class="w" id="mwB6o"> </span><span class="n" id="mwB6s">al_sensor_data</span><span class="p" id="mwB6w">.</span><span class="n" id="mwB60">is_manned</span><span class="p" id="mwB64">)</span><span class="w" id="mwB68"> </span><span class="ow" id="mwB7A">and</span> <span class="linenos" data-line="39" id="mwB7E"></span><span class="w" id="mwB7I"> </span><span class="p" id="mwB7M">(</span><span class="n" id="mwB7Q">is_maneuverable</span><span class="w" id="mwB7U"> </span><span class="ow" id="mwB7Y">and</span><span class="w" id="mwB7c"> </span><span class="n" id="mwB7g">al_sensor_data</span><span class="p" id="mwB7k">.</span><span class="n" id="mwB7o">is_not_maneuverable</span><span class="p" id="mwB7s">))</span><span class="w" id="mwB7w"> </span><span class="kr" id="mwB70">then</span> <span class="linenos" data-line="40" id="mwB74"></span><span class="w" id="mwB78"> </span><span class="n" id="mwB8A">print</span><span class="w" id="mwB8E"> </span><span class="p" id="mwB8I">(</span><span class="n" id="mwB8M">type</span><span class="w" id="mwB8Q"> </span><span class="o" id="mwB8U">+</span><span class="w" id="mwB8Y"> </span><span class="s" id="mwB8c">" "</span><span class="w" id="mwB8g"> </span><span class="o" id="mwB8k">+</span><span class="w" id="mwB8o"> </span><span class="n" id="mwB8s">name</span><span class="w" id="mwB8w"> </span><span class="o" id="mwB80">+</span><span class="w" id="mwB84"> </span><span class="s" id="mwB88">" is near "</span><span class="w" id="mwB9A"> </span><span class="o" id="mwB9E">+</span><span class="w" id="mwB9I"> </span><span class="n" id="mwB9M">al_sensor_data</span><span class="p" id="mwB9Q">.</span><span class="n" id="mwB9U">type</span><span class="w" id="mwB9Y"> </span><span class="o" id="mwB9c">+</span><span class="w" id="mwB9g"> </span><span class="s" id="mwB9k">" "</span><span class="w" id="mwB9o"> </span><span class="o" id="mwB9s">+</span> <span class="linenos" data-line="41" id="mwB9w"></span><span class="w" id="mwB90"> </span><span class="n" id="mwB94">al_sensor_data</span><span class="p" id="mwB98">.</span><span class="n" id="mwB-A">name</span><span class="w" id="mwB-E"> </span><span class="o" id="mwB-I">+</span><span class="w" id="mwB-M"> </span><span class="s" id="mwB-Q">" and is dockable.%N"</span><span class="p" id="mwB-U">)</span> <span class="linenos" data-line="42" id="mwB-Y"></span><span class="w" id="mwB-c"> </span><span class="kr" id="mwB-g">elseif</span><span class="w" id="mwB-k"> </span><span class="p" id="mwB-o">((</span><span class="n" id="mwB-s">is_dockable</span><span class="w" id="mwB-w"> </span><span class="ow" id="mwB-0">and</span><span class="w" id="mwB-4"> </span><span class="n" id="mwB-8">al_sensor_data</span><span class="p" id="mwB_A">.</span><span class="n" id="mwB_E">is_dockable</span><span class="p" id="mwB_I">)</span><span class="w" id="mwB_M"> </span><span class="ow" id="mwB_Q">and</span> <span class="linenos" data-line="43" id="mwB_U"></span><span class="w" id="mwB_Y"> </span><span class="p" id="mwB_c">(</span><span class="n" id="mwB_g">is_manned</span><span class="w" id="mwB_k"> </span><span class="ow" id="mwB_o">and</span><span class="w" id="mwB_s"> </span><span class="n" id="mwB_w">al_sensor_data</span><span class="p" id="mwB_0">.</span><span class="n" id="mwB_4">is_manned</span><span class="p" id="mwB_8">)</span><span class="w" id="mwCAA"> </span><span class="ow" id="mwCAE">and</span> <span class="linenos" data-line="44" id="mwCAI"></span><span class="w" id="mwCAM"> </span><span class="p" id="mwCAQ">(</span><span class="n" id="mwCAU">is_maneuverable</span><span class="w" id="mwCAY"> </span><span class="ow" id="mwCAc">and</span><span class="w" id="mwCAg"> </span><span class="n" id="mwCAk">al_sensor_data</span><span class="p" id="mwCAo">.</span><span class="n" id="mwCAs">is_maneuverable</span><span class="p" id="mwCAw">))</span><span class="w" id="mwCA0"> </span><span class="kr" id="mwCA4">then</span> <span class="linenos" data-line="45" id="mwCA8"></span><span class="w" id="mwCBA"> </span><span class="n" id="mwCBE">print</span><span class="w" id="mwCBI"> </span><span class="p" id="mwCBM">(</span><span class="n" id="mwCBQ">type</span><span class="w" id="mwCBU"> </span><span class="o" id="mwCBY">+</span><span class="w" id="mwCBc"> </span><span class="s" id="mwCBg">" "</span><span class="w" id="mwCBk"> </span><span class="o" id="mwCBo">+</span><span class="w" id="mwCBs"> </span><span class="n" id="mwCBw">name</span><span class="w" id="mwCB0"> </span><span class="o" id="mwCB4">+</span><span class="w" id="mwCB8"> </span><span class="s" id="mwCCA">" beams a science team to "</span><span class="w" id="mwCCE"> </span><span class="o" id="mwCCI">+</span><span class="w" id="mwCCM"> </span><span class="n" id="mwCCQ">al_sensor_data</span><span class="p" id="mwCCU">.</span><span class="n" id="mwCCY">type</span><span class="w" id="mwCCc"> </span><span class="o" id="mwCCg">+</span><span class="w" id="mwCCk"> </span><span class="s" id="mwCCo">" "</span><span class="w" id="mwCCs"> </span><span class="o" id="mwCCw">+</span> <span class="linenos" data-line="46" id="mwCC0"></span><span class="w" id="mwCC4"> </span><span class="n" id="mwCC8">al_sensor_data</span><span class="p" id="mwCDA">.</span><span class="n" id="mwCDE">name</span><span class="w" id="mwCDI"> </span><span class="o" id="mwCDM">+</span><span class="w" id="mwCDQ"> </span><span class="s" id="mwCDU">" as they pass!%N"</span><span class="p" id="mwCDY">)</span> <span class="linenos" data-line="47" id="mwCDc"></span><span class="w" id="mwCDg"> </span><span class="kr" id="mwCDk">elseif</span><span class="w" id="mwCDo"> </span><span class="p" id="mwCDs">(</span><span class="n" id="mwCDw">is_manned</span><span class="w" id="mwCD0"> </span><span class="ow" id="mwCD4">and</span><span class="w" id="mwCD8"> </span><span class="n" id="mwCEA">al_sensor_data</span><span class="p" id="mwCEE">.</span><span class="n" id="mwCEI">is_not_manned</span><span class="p" id="mwCEM">)</span><span class="w" id="mwCEQ"> </span><span class="kr" id="mwCEU">then</span> <span class="linenos" data-line="48" id="mwCEY"></span><span class="w" id="mwCEc"> </span><span class="n" id="mwCEg">print</span><span class="w" id="mwCEk"> </span><span class="p" id="mwCEo">(</span><span class="n" id="mwCEs">type</span><span class="w" id="mwCEw"> </span><span class="o" id="mwCE0">+</span><span class="w" id="mwCE4"> </span><span class="s" id="mwCE8">" "</span><span class="w" id="mwCFA"> </span><span class="o" id="mwCFE">+</span><span class="w" id="mwCFI"> </span><span class="n" id="mwCFM">name</span><span class="w" id="mwCFQ"> </span><span class="o" id="mwCFU">+</span><span class="w" id="mwCFY"> </span><span class="s" id="mwCFc">" takes evasive action, avoiding "</span><span class="w" id="mwCFg"> </span><span class="o" id="mwCFk">+</span> <span class="linenos" data-line="49" id="mwCFo"></span><span class="w" id="mwCFs"> </span><span class="n" id="mwCFw">al_sensor_data</span><span class="p" id="mwCF0">.</span><span class="n" id="mwCF4">type</span><span class="w" id="mwCF8"> </span><span class="o" id="mwCGA">+</span><span class="w" id="mwCGE"> </span><span class="s" id="mwCGI">" `"</span><span class="w" id="mwCGM"> </span><span class="o" id="mwCGQ">+</span><span class="w" id="mwCGU"> </span><span class="n" id="mwCGY">al_sensor_data</span><span class="p" id="mwCGc">.</span><span class="n" id="mwCGg">name</span><span class="w" id="mwCGk"> </span><span class="o" id="mwCGo">+</span><span class="w" id="mwCGs"> </span><span class="s" id="mwCGw">"'!%N"</span><span class="p" id="mwCG0">)</span> <span class="linenos" data-line="50" id="mwCG4"></span><span class="w" id="mwCG8"> </span><span class="kr" id="mwCHA">end</span> <span class="linenos" data-line="51" id="mwCHE"></span><span class="w" id="mwCHI"> </span><span class="kr" id="mwCHM">end</span> <span class="linenos" data-line="52" id="mwCHQ"></span><span class="w" id="mwCHU"> </span><span class="kr" id="mwCHY">end</span> <span class="linenos" data-line="53" id="mwCHc"></span><span class="w" id="mwCHg"> </span><span class="kr" id="mwCHk">end</span> <span class="linenos" data-line="54" id="mwCHo"></span><span class="w" id="mwCHs"> </span><span class="kr" id="mwCHw">end</span> <span class="linenos" data-line="55" id="mwCH0"></span><span class="n" id="mwCH4">name</span><span class="p" id="mwCH8">:</span><span class="w" id="mwCIA"> </span><span class="nc" id="mwCIE">STRING</span> <span class="linenos" data-line="56" id="mwCII"></span><span class="w" id="mwCIM"> </span><span class="c1" id="mwCIQ">-- Name of Current.</span> <span class="linenos" data-line="57" id="mwCIU"></span><span class="n" id="mwCIY">type</span><span class="p" id="mwCIc">:</span><span class="w" id="mwCIg"> </span><span class="nc" id="mwCIk">STRING</span> <span class="linenos" data-line="58" id="mwCIo"></span><span class="w" id="mwCIs"> </span><span class="c1" id="mwCIw">-- Type of Current.</span> <span class="linenos" data-line="59" id="mwCI0"></span><span class="w" id="mwCI4"> </span><span class="kr" id="mwCI8">deferred</span> <span class="linenos" data-line="60" id="mwCJA"></span><span class="w" id="mwCJE"> </span><span class="kr" id="mwCJI">end</span> <span class="linenos" data-line="61" id="mwCJM"></span><span class="n" id="mwCJQ">position</span><span class="p" id="mwCJU">:</span><span class="w" id="mwCJY"> </span><span class="nc" id="mwCJc">STRING</span> <span class="linenos" data-line="62" id="mwCJg"></span><span class="w" id="mwCJk"> </span><span class="c1" id="mwCJo">-- Position of Current.</span> <span class="linenos" data-line="63" id="mwCJs"></span><span class="n" id="mwCJw">is_dockable</span><span class="p" id="mwCJ0">:</span><span class="w" id="mwCJ4"> </span><span class="nc" id="mwCJ8">BOOLEAN</span> <span class="linenos" data-line="64" id="mwCKA"></span><span class="w" id="mwCKE"> </span><span class="c1" id="mwCKI">-- Is Current dockable with another manned object?</span> <span class="linenos" data-line="65" id="mwCKM"></span><span class="w" id="mwCKQ"> </span><span class="kr" id="mwCKU">deferred</span> <span class="linenos" data-line="66" id="mwCKY"></span><span class="w" id="mwCKc"> </span><span class="kr" id="mwCKg">end</span> <span class="linenos" data-line="67" id="mwCKk"></span><span class="n" id="mwCKo">is_manned</span><span class="p" id="mwCKs">:</span><span class="w" id="mwCKw"> </span><span class="nc" id="mwCK0">BOOLEAN</span> <span class="linenos" data-line="68" id="mwCK4"></span><span class="w" id="mwCK8"> </span><span class="c1" id="mwCLA">-- Is Current a manned object?</span> <span class="linenos" data-line="69" id="mwCLE"></span><span class="w" id="mwCLI"> </span><span class="kr" id="mwCLM">deferred</span> <span class="linenos" data-line="70" id="mwCLQ"></span><span class="w" id="mwCLU"> </span><span class="kr" id="mwCLY">end</span> <span class="linenos" data-line="71" id="mwCLc"></span><span class="n" id="mwCLg">is_maneuverable</span><span class="p" id="mwCLk">:</span><span class="w" id="mwCLo"> </span><span class="nc" id="mwCLs">BOOLEAN</span> <span class="linenos" data-line="72" id="mwCLw"></span><span class="w" id="mwCL0"> </span><span class="c1" id="mwCL4">-- Is Current capable of being moved?</span> <span class="linenos" data-line="73" id="mwCL8"></span><span class="w" id="mwCMA"> </span><span class="kr" id="mwCME">deferred</span> <span class="linenos" data-line="74" id="mwCMI"></span><span class="w" id="mwCMM"> </span><span class="kr" id="mwCMQ">end</span> <span class="linenos" data-line="75" id="mwCMU"></span><span class="n" id="mwCMY">sensor_data</span><span class="p" id="mwCMc">:</span><span class="w" id="mwCMg"> </span><span class="kr" id="mwCMk">attached</span><span class="w" id="mwCMo"> </span><span class="kr" id="mwCMs">like</span><span class="w" id="mwCMw"> </span><span class="n" id="mwCM0">sensor_data_anchor</span> <span class="linenos" data-line="76" id="mwCM4"></span><span class="w" id="mwCM8"> </span><span class="c1" id="mwCNA">-- Sensor data of Current.</span> <span class="linenos" data-line="77" id="mwCNE"></span><span class="w" id="mwCNI"> </span><span class="kr" id="mwCNM">do</span> <span class="linenos" data-line="78" id="mwCNQ"></span><span class="w" id="mwCNU"> </span><span class="kc" id="mwCNY">Result</span><span class="w" id="mwCNc"> </span><span class="o" id="mwCNg">:=</span><span class="w" id="mwCNk"> </span><span class="o" id="mwCNo">[</span><span class="n" id="mwCNs">name</span><span class="p" id="mwCNw">,</span><span class="w" id="mwCN0"> </span><span class="n" id="mwCN4">type</span><span class="p" id="mwCN8">,</span><span class="w" id="mwCOA"> </span><span class="n" id="mwCOE">position</span><span class="p" id="mwCOI">,</span><span class="w" id="mwCOM"> </span><span class="n" id="mwCOQ">is_dockable</span><span class="p" id="mwCOU">,</span><span class="w" id="mwCOY"> </span><span class="ow" id="mwCOc">not</span><span class="w" id="mwCOg"> </span><span class="n" id="mwCOk">is_dockable</span><span class="p" id="mwCOo">,</span><span class="w" id="mwCOs"> </span><span class="n" id="mwCOw">is_manned</span><span class="p" id="mwCO0">,</span><span class="w" id="mwCO4"> </span><span class="ow" id="mwCO8">not</span><span class="w" id="mwCPA"> </span><span class="n" id="mwCPE">is_manned</span><span class="p" id="mwCPI">,</span><span class="w" id="mwCPM"> </span><span class="n" id="mwCPQ">is_maneuverable</span><span class="p" id="mwCPU">,</span><span class="w" id="mwCPY"> </span><span class="ow" id="mwCPc">not</span><span class="w" id="mwCPg"> </span><span class="n" id="mwCPk">is_maneuverable</span><span class="o" id="mwCPo">]</span> <span class="linenos" data-line="79" id="mwCPs"></span><span class="w" id="mwCPw"> </span><span class="kr" id="mwCP0">end</span> <span class="linenos" data-line="80" id="mwCP4"></span> <span class="linenos" data-line="81" id="mwCP8"></span><span class="w" id="mwCQA"> </span><span class="n" id="mwCQE">sensor_data_anchor</span><span class="p" id="mwCQI">:</span><span class="w" id="mwCQM"> </span><span class="kr" id="mwCQQ">detachable</span><span class="w" id="mwCQU"> </span><span class="nc" id="mwCQY">TUPLE</span><span class="w" id="mwCQc"> </span><span class="o" id="mwCQg">[</span><span class="n" id="mwCQk">name</span><span class="p" id="mwCQo">,</span><span class="w" id="mwCQs"> </span><span class="n" id="mwCQw">type</span><span class="p" id="mwCQ0">,</span><span class="w" id="mwCQ4"> </span><span class="n" id="mwCQ8">position</span><span class="p" id="mwCRA">:</span><span class="w" id="mwCRE"> </span><span class="nc" id="mwCRI">STRING</span><span class="p" id="mwCRM">;</span><span class="w" id="mwCRQ"> </span><span class="n" id="mwCRU">is_dockable</span><span class="p" id="mwCRY">,</span><span class="w" id="mwCRc"> </span><span class="n" id="mwCRg">is_not_dockable</span><span class="p" id="mwCRk">,</span><span class="w" id="mwCRo"> </span><span class="n" id="mwCRs">is_manned</span><span class="p" id="mwCRw">,</span><span class="w" id="mwCR0"> </span><span class="n" id="mwCR4">is_not_manned</span><span class="p" id="mwCR8">,</span><span class="w" id="mwCSA"> </span><span class="n" id="mwCSE">is_maneuverable</span><span class="p" id="mwCSI">,</span><span class="w" id="mwCSM"> </span><span class="n" id="mwCSQ">is_not_maneuverable</span><span class="p" id="mwCSU">:</span><span class="w" id="mwCSY"> </span><span class="nc" id="mwCSc">BOOLEAN</span><span class="o" id="mwCSg">]</span> <span class="linenos" data-line="82" id="mwCSk"></span><span class="w" id="mwCSo"> </span><span class="c1" id="mwCSs">-- Sensor data type anchor of Current.</span> <span class="linenos" data-line="83" id="mwCSw"></span> <span class="linenos" data-line="84" id="mwCS0"></span><span class="kr" id="mwCS4">end</span>

There are three descendant classes of SPACE_OBJECT:

<span id="mwCTI"></span><span class="nc" id="mwCTM">SPACE_OBJECT</span> <span class="nc" id="mwCTQ">ASTEROID</span> <span class="nc" id="mwCTU">SPACESHIP</span> <span class="nc" id="mwCTY">SPACESTATION</span>

In our example, the ASTEROID class is used for the `Rogue' items, SPACESHIP for the two star ships and SPACESTATION for Deep Space Nine. In each class, the only specialization is the setting of the `type' feature and of certain properties of the object. The `name' is supplied in the creation routine as well as the `position'. For example: Below is the SPACESHIP example.

<span id="mwCTo"></span><span class="linenos" data-line="1" id="mwCTs"></span><span class="kr" id="mwCTw">class</span> <span class="linenos" data-line="2" id="mwCT0"></span><span class="nc" id="mwCT4">SPACESHIP</span> <span class="linenos" data-line="3" id="mwCT8"></span><span class="kr" id="mwCUA">inherit</span> <span class="linenos" data-line="4" id="mwCUE"></span><span class="nc" id="mwCUI">SPACE_OBJECT</span> <span class="linenos" data-line="5" id="mwCUM"></span><span class="kr" id="mwCUQ">create</span> <span class="linenos" data-line="6" id="mwCUU"></span><span class="n" id="mwCUY">make_with_name</span> <span class="linenos" data-line="7" id="mwCUc"></span><span class="kr" id="mwCUg">feature</span><span class="w" id="mwCUk"> </span><span class="p" id="mwCUo">{</span><span class="kr" id="mwCUs">NONE</span><span class="p" id="mwCUw">}</span><span class="w" id="mwCU0"> </span><span class="c1" id="mwCU4">-- Implementation</span> <span class="linenos" data-line="8" id="mwCU8"></span><span class="n" id="mwCVA">type</span><span class="p" id="mwCVE">:</span><span class="w" id="mwCVI"> </span><span class="nc" id="mwCVM">STRING</span><span class="w" id="mwCVQ"> </span><span class="o" id="mwCVU">=</span><span class="w" id="mwCVY"> </span><span class="s" id="mwCVc">"Starship"</span> <span class="linenos" data-line="9" id="mwCVg"></span><span class="w" id="mwCVk"> </span><span class="c1" id="mwCVo">-- <Precursor></span> <span class="linenos" data-line="10" id="mwCVs"></span><span class="n" id="mwCVw">is_dockable</span><span class="p" id="mwCV0">:</span><span class="w" id="mwCV4"> </span><span class="nc" id="mwCV8">BOOLEAN</span><span class="w" id="mwCWA"> </span><span class="o" id="mwCWE">=</span><span class="w" id="mwCWI"> </span><span class="kc" id="mwCWM">True</span> <span class="linenos" data-line="11" id="mwCWQ"></span><span class="w" id="mwCWU"> </span><span class="c1" id="mwCWY">-- <Precursor></span> <span class="linenos" data-line="12" id="mwCWc"></span><span class="n" id="mwCWg">is_manned</span><span class="p" id="mwCWk">:</span><span class="w" id="mwCWo"> </span><span class="nc" id="mwCWs">BOOLEAN</span><span class="w" id="mwCWw"> </span><span class="o" id="mwCW0">=</span><span class="w" id="mwCW4"> </span><span class="kc" id="mwCW8">True</span> <span class="linenos" data-line="13" id="mwCXA"></span><span class="w" id="mwCXE"> </span><span class="c1" id="mwCXI">-- <Precursor></span> <span class="linenos" data-line="14" id="mwCXM"></span><span class="n" id="mwCXQ">is_maneuverable</span><span class="p" id="mwCXU">:</span><span class="w" id="mwCXY"> </span><span class="nc" id="mwCXc">BOOLEAN</span><span class="w" id="mwCXg"> </span><span class="o" id="mwCXk">=</span><span class="w" id="mwCXo"> </span><span class="kc" id="mwCXs">True</span> <span class="linenos" data-line="15" id="mwCXw"></span><span class="w" id="mwCX0"> </span><span class="c1" id="mwCX4">-- <Precursor></span> <span class="linenos" data-line="16" id="mwCX8"></span><span class="kr" id="mwCYA">end</span>

So, any SPACESHIP in our universe is dock-able, manned and maneuverable. Other objects, like Asteroids are none of these things. A SPACESTATION, on the other hand, is both dock-able and manned, but is not maneuverable. Thus, when one object has an encounter with another, it first checks to see if the positions put them in the vicinity of each other and if they are, then the objects interact based upon their basic properties. Note that objects with the same type and name are considered to the same object, so an interaction is logically disallowed.

Conclusion

With regards to double-dispatch, Eiffel allows the designer and programmer to further remove a level of direct object-to-object knowledge by decoupling class routines from their classes by way of making them agents and then passing those agents instead of making direct object feature calls. The agents also have specific signatures and possible results (in the case of queries), making them ideal static type checking vehicles without giving up specific object details. The agents are fully polymorphic so that the resulting code has only the specific knowledge required to get its local job done. Otherwise, there is no maintenance burden added by having specific internal class feature knowledge spread around many co-variant objects. The use and mechanics of agents ensure this. One possible downside of the use of agents is that an agent is computationally more expensive than its direct call counterpart. With this in mind, one ought never to presume the use of agents in the double-dispatch and their application in visitor patterns. If one can clearly see a design limit as to the domain of class types that will be involved in the co-variant interactions, then a direct call is the more efficient solution in terms of computational expense. However, if the class domain of participating types is expected to grow or differ substantially, then agents present an excellent solution to lessening the maintenance burden in the double-dispatch pattern.

More in Computing and communication

ISBNUnique numeric book identifier since 1970 X (social network)American social networking service Wayback MachineDigital archive by the Internet Archive Python (programming language)General-purpose programming language MacOSOperating system for Apple computers UnicodeCharacter encoding standard