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

• No-variant redefinition
• Covariant redefinition

Renaming

• Renaming of feature
• Renaming of attribute
• Renaming of feature introducing old feature name
• Renaming of frozen feature
• Renaming of frozen feature introducing old feature name

Renaming and redefinition

• Simple renaming and redefinition
• Renaming and redefinition with covariance

Attributes