/trunk/Examples/contract/simple_cxx/example.cxx
# · C++ · 30 lines · 21 code · 7 blank · 2 comment · 2 complexity · 7eb75f4b525bcbf3d56f16b6bc7a72ec MD5 · raw file
- #include "example.h"
- #define M_PI 3.14159265358979323846
- /* Move the shape to a new location */
- void Shape::move(double dx, double dy) {
- x += dx;
- y += dy;
- }
- int Shape::nshapes = 0;
- double Circle::area(void) {
- /* return -1 is to test post-assertion */
- if (radius == 1)
- return -1;
- return M_PI*radius*radius;
- }
- double Circle::perimeter(void) {
- return 2*M_PI*radius;
- }
- double Square::area(void) {
- return width*width;
- }
- double Square::perimeter(void) {
- return 4*width;
- }