/trunk/Examples/contract/simple_cxx/example.i
# · Swig · 28 lines · 22 code · 5 blank · 1 comment · 0 complexity · 65b24802aa5a4e58f3e92edeb0f42826 MD5 · raw file
- %module example
- %contract Circle::Circle(double radius) {
- require:
- radius > 0;
- }
- %contract Circle::area(void) {
- ensure:
- area > 0;
- }
- %contract Shape::move(double dx, double dy) {
- require:
- dx > 0;
- }
- /* should be no effect, since there is no move() for class Circle */
- %contract Circle::move(double dx, double dy) {
- require:
- dy > 1;
- }
- # include must be after contracts
- %{
- #include "example.h"
- %}
- %include "example.h"