Class checking

Revision as of 08:11, 19 April 2007 by Seilerm (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Introduction

This page is intended to find consensus over something called differently in EiffelStudio and gec/gelint.

The subject for which a name is needed is the checking of all inherited features in the context of each descendant.

Proposals

Proposal template

Pro

Contra

Retrieved from "https://dev.eiffel.com/index.php?title=Class_checking&oldid=8194"