Eiffel for .NET
These pages contain documentation that describes the Eiffel programming language.
Eiffel is considered both a development methodology and a programming language.
Eiffel the methodology is a recipe for constructing quality software which is based on a small number of powerful concepts. Eiffel the programming language is a notation which is designed to support the methodology.
Eiffel for.NET is the Eiffel programming language made available in the .NET environment. Eiffel for.NET components can use and inherit from components in .NET assemblies that were produced using other.NET languages. And, programmers using other.NET languages can use and inherit from components in assemblies produced using Eiffel for.NET.
Eiffel for.NET Conventions Documentation
In Eiffel, as in other languages, certain conventions have evolved which constitute "the way things are done". Conventions provide consistency and therefore predictability and readability of software text.
When working in the.NET components, particularly when using components from .NET assemblies delivered from Microsoft or produced by other parties, the conventions of Eiffel are maintained in the view of these components. The first section, titled Conventions, provides you with an understanding of Eiffel terminology, conventions , and how they work with .NET.
The remaining sections of this section are a reference for the Eiffel for .NET language. It is not a complete reference, though. Rather, it is intended to help you with the tasks that Eiffel programmers commonly encounter.
- Eiffel Classes
- Adding Class Features
- Design by Contract and Assertions
- Exception Mechanism
- Event Programming with Agents
- Using Referenced Assemblies
- Eiffel for .NET Compliance
- Referenced Assembly Type and Feature Name Conversion