Juliant at 01:53, 23 June 2007

2007-06-23T01:53:06Z

New page

[[Category:ECMA]]
== Introduction ==

The single-level call rule is a validity rule which guarantees that a system is catcall free. It defines that every call must be valid for all possible values at runtime.

== Current implementation ==

EiffelStudio has currently a simple implementation which can be set to check for every feature call if the call is valid for all possible descendants. This is straight-forward in the non-generic case as you just have to check the feature call for all descendants of the target type. In the case of generics it is a bit more difficult. If for example you have to check a feature call on a type <e>LIST [ANY]</e> and you want to check the call on all possible descendants, you can create an unlimited number of generics by instantiating the descendant as <e>LIST [LIST [ANY]</e>, <e>LIST [LIST [LIST [...]]]</e> and so on.

Another problem is dynamic loading of classes. If this is possible than the check does not cover all possible runtime values and is thus not complete.

Single level call rule implementation - Revision history

Juliant at 01:53, 23 June 2007