DLE - Appendix A: Validity constraints

This site contains older material on Eiffel. For the main Eiffel page, see http://www.eiffel.com.

Appendix A : Validity constraints

For ease of reference, here is the list of validity codes involved in the DLE mechanism as described in the preceding sections of this Report.

V9CP Every descendant class of DYNAMIC in the DC-set must have a creation procedure called make which expects a single argument of type ANY.

V9CD Cannot change the extendible property of a system between two compilations,
unless recompiling it from scratch

V9CX Cannot change the extending property of a system between two compilations,
unless recompiling it from scratch.

V9DP An Ace file used for precompilation may not contain an extendible clause.

V9DS The directory specified in extending clause must contain a DR-system project.

V9FM A DC-set may only be finalized if its DR-system has been finalized.

V9GC No descendant class of DYNAMIC in a DC-set may be generic.

V9RD The base system's directory specified in extending clause is unreadable.

V9SC Dynamically bound call to a feature that has been statically bound in the DR-system.

V9XC An Ace file may not contain more than one extending clause.

V9XD An Ace file may not contain both an extending clause and an extendible clause.

V9XP An Ace file may not contain both an extending clause and a precompiled clause.

V9XQ An Ace file used for precompilation may not contain an extending clause.