PostSharp

[blahetal]

I have read that Spec# is partially implemented in the .NET 3.5 but its not possible to use it because all its classes are marked as internal. So I got felling that MS is planning to support DbC in the next main release of .net framework.
Spec# in .NET 3.5 - http://geekswithblogs.net/Podwysocki/archive/2007/12/10/117542.aspx


Well, I think MS is slowly working on adopting all successful open source projects. For instance NAnt vs MSBuild, NUnit/MbUnit vs MSTest framework, log4net vs entlib (logging block), IoC containers (eg. Castle Project) vs rather new Unity.
IMO its only a question of time when they realise that having DbC and AOP in .NET framework would be cool

Anyway do you know LinFu? Its a framework for .NET that allows programmers to use some advanced programming techniques like duck typing, IoC, proxies, AOP and even DbC.
Here is a tutorial describing its potential
http://www.codeproject.com/KB/cs/LinFuPart1.aspx

Libor

[cocotapioca]

Nice lib. LinFu looks nice, and the contract examples seems like a path to follow. In my code i inject the verifications for NonNull/NonEmpty directly in the IL code. But i dont want that the user, do the same thing with some business contract. Maybe some translation of th IL from a custom contract to the IL of the target method/class/whatever. Only if we want to add this capabilities at compile time.

Now im trying to add the NonNull attribute to return types (to the method actually) too.

Cheers.
Ignacio.

[cocotapioca]

Ill made some more coding and then ill upload the code to the project page.

Ignacio.

[soren]

I'm not likely to be able to spend very much time on improving my code in the near future. Anyway, what Ignacio and LinFu are doing seem to be better approaches. If anyone want to take over my code, feel free.
/soren

[cocotapioca]

Hi people!
I'm trying to add the NonNull to return values. My idea is to rewrite the method adding the verifications before the Ret OpCode. To do this i'm reading the instructions of the method body and putting then in a list. But when i try to iterate over the list, all the instructions are Ret (but when i store then in the list were the proper instructions).
What's happening?
Someone have another approach?

Cheers.
Ignacio.

[gfraiteur]

You should use an advice of kind AfterMethodBodySuccess. The value being returned is in the variable context.ReturnValueVariable.

[cocotapioca]

Thanks! That was all i need.
Now it's working.

Ignacio.

[cocotapioca]

I pack everything (well, the code so far) as a plugin and i wanna upload it to the project page. How is the process to do that?
The license stuff is like postsharp/laos, the public attributes are unde LGPL 3 and the weaver is under GPL 3.
Distribution -> Zip file, installer later

Cheers.
Ignacio

[gfraiteur]

Good news! Communicate me your Google account id (e.g. [unused] gmail account) and I will make you a project admin.

Gael

[blahetal]

great, please let us know when you release it