+
Point of view
All features
class EIFFEL_NON_TERMINAL_NODE_IMPL
ensure
-
definition: Result = index >= lower and then index <= upper
ensure
-
definition: Result = upper - lower + 1
ensure
-
definition: Result = count = 0
require
- a_parent /= Void
- parent = Void
ensure