Difference between revisions of "Class checking"

 
m (Added category)
 
Line 1: Line 1:
 +
[[Category:Compiler]]
 
==Introduction==
 
==Introduction==
  

Latest revision as of 11:12, 30 May 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