search

gusarov / metacreator

Automatically exported from code.google.com/p/metacreator
2 stars 0 forks source link

CodeContract for returning value of method #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1.
2.
3.

What is the expected output? What do you see instead?

Please use labels and text to provide additional information.

Original issue reported on code.google.com by Dmitry.G...@gmail.com on 26 Jun 2010 at 12:49

GoogleCodeExporter commented 9 years ago 
kind of
{{{
[ReturnValueContract("x>=0")]
int ParseUIntAsInt(string str)
{
   return int.Parse(str);
}
}}}

Original comment by Dmitry.G...@gmail.com on 26 Jun 2010 at 9:32

GoogleCodeExporter commented 9 years ago

Original comment by Dmitry.G...@gmail.com on 12 Feb 2011 at 3:22

GoogleCodeExporter commented 9 years ago

Original comment by Dmitry.G...@gmail.com on 3 Oct 2011 at 10:30