Can anyone else confirm: It appears that when one uses the "attribute" keyword that Eiffel.NET breaks because of a Void target.
It appears that the underlying .NET code is not coded to see the self-initializing attribute and therefore does not run the code within the attribute-end block, which leaves the object reference in a Void state.
Therefore, all of my code that uses self-initializing attribute code is now broken in a .NET application, but works perfectly fine in pure Eiffel.
Can anyone confirm this?