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.