New feature at code-time

Question

Hello..

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 summary

Requires n>=0

Requires n > 0

int Rational.ToInt()

My ToInt method <- obtained from summary

Ensures result >= 0

Thanks...

---

Eusebiu

Answer 1

Yup, 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.

-MaF

Answer 2

Hello... thanks for the answer..

I know that Spec# has this (usefull) feature.... That's why I asked for it.... :D

Thanks again...

---

Eusebiu