Class checking

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=8601"