PageRenderTime 48ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/trunk/Examples/contract/simple_c/example.c

#
C | 11 lines | 8 code | 1 blank | 2 comment | 2 complexity | 038f1516a1fce7b7c6530ad93c86ea80 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0 
    

  1. #include <stdio.h>
    2. 

  2. 

  3. int Circle (int x, int y, int radius) {
    4. 

  4.   /* Draw Circle */
    5. 

  5.   printf("Drawing the circle...\n");
    6. 

  6.   /* Return -1 to test contract post assertion */
    7. 

  7.   if (radius == 2)
    8. 

  8.     return -1;
    9. 

  9.   else
    10. 

  10.     return 1;
    11. 

  11. }
    12. 

  12.