Dotnet Compiler Validity Rules

BIT types

Use of BIT types should be disallowed, since they are not supported at all. Instead user should use enumerations.

Inheritance

Inheritance

It is not possible to inherit from a frozen class.

Multiple inheritance

It is not possible to multiply inherit from two or more non-MI ready external classes.

Definition:
A MI ready (Multiple Inheritance ready) class is a class that has been generated by the ISE Eiffel compiler for .NET or a class generated by a .NET language supporting our way of doing multiple inheritance.

Feature access

Static access

A static access on feature is only possible if the feature is a .NET static feature or attribute.