Difference between revisions of "Class checking"

(No difference)

Revision as of 09:11, 19 April 2007

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