Renaming, Redefinition and Covariance implementation on .NET

Introduction

Looking at some example we will show how the Eiffel for .NET compiler generates CIL code to emulate any combination of renaming, redefinition and covariant redefinitions:

Redefinition

Renaming

Renaming and redefinition

Attributes