Emitter が有効な Eiffel コードを生成できない場合がいくつかあります。このような場合、生成されたクラスを手作業で編集する必要があります。さいわい、このような編集を行う必要があるのはごくまれなことです。600 種類以上あるすべての基本クラス ライブラリをラップする場合に、編集する必要があったクラスは 4 つだけでした。この間違った生成の原因となる問題点は、MethodImpls と呼ばれるメカニズムを使用することにあります。このメカニズムを使用すると、ある型に対してそのインターフェイス関数を異なる名前または異なるシグネチャを持つ関数にバインドすることができるようになります。Common Language Runtime で共分散が使用できる場合、これらの MethodImpls がよく使用されます。残念ながら、現段階では .NET Framework のリフレクション メカニズ
![Web 上の Eiffel: Eiffel システムの Microsoft .NET Framework への統合](https://cdn-ak-scissors.b.st-hatena.com/image/square/d6e4cb632c7025e9f5e05fd314fbf6dcd6144e8d/height=288;version=1;width=512/https%3A%2F%2Flearn.microsoft.com%2Fen-us%2Fmedia%2Fopen-graph-image.png)