Searching tool/framework for exception handling (mimics Java checkedexceptions, can't remember name)

[wundertier@web.de]

Hi,

I'm searching for a software tool/framework/VisualStudio addin which I
came across some time ago. Unfortunately I don't remember its name or
an URL or anything ...
It does the following:
It enables you to handle exceptions in C# somehow like checked
exceptions in Java. I.e. when you are writing source code and use a
method that may throw an exception you will be notified somehow and
can decide (I think) whether you want to catch the exception and deal
with it or not. I do not know how the tool did accomplish this (I
assume it uses the comments ... ?). I know that there are no checked
exceptions in C#, but as I remember this tool kind of mimics this
behaviour.
Does anybody know this software and can give me a hint where to find
it (name, website ...)???

Thanks a lot in advance!!

Steffi