ED-Eiffel: Geometry Example

(mos's homepage)

Consider the problem of adding a convexity test to existing, immutable, and not modifiable shapes classes.

This is a typical decorator pattern alike problem.

External dispatch solution:

(Source code)       (Compiled Eiffel code)