Tuesday, February 24, 2009 8:23 PMHello..This is more like a request... not a bug... :)Let's say that I have a class with some methods(or constructors..) that have some contracts inside.It would be nice if when we hover on that method in the Visual Studio, to see all that contracts inside the tooltip that contans the definition of the method and summary.Something like:Rational.Rational(int n, int d)The Rational class <- obtained from summaryRequires n>=0Requires n > 0int Rational.ToInt()My ToInt method <- obtained from summaryEnsures result >= 0Thanks...
Wednesday, February 25, 2009 6:29 AMOwnerYup, that's definitely in the long term vision. Our Spec# prototype already had this feature. We need to figure out how to reproduce it without having to implement it in every language editor though.
Wednesday, February 25, 2009 6:52 AMHello... thanks for the answer..I know that Spec# has this (usefull) feature.... That's why I asked for it.... :DThanks again...