diff options
Diffstat (limited to 'Examples/test-suite/contract.i')
-rw-r--r-- | Examples/test-suite/contract.i | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Examples/test-suite/contract.i b/Examples/test-suite/contract.i index 760f8e994..174808c1e 100644 --- a/Examples/test-suite/contract.i +++ b/Examples/test-suite/contract.i @@ -202,3 +202,33 @@ struct E { }; %} + +// Namespace + +%{ +namespace myNames { + +class myClass +{ + public: + myClass(int i) {} +}; + +} +%} + +namespace myNames { + +%contract myClass::myClass( int i ) { +require: + i > 0; +} + +class myClass +{ + public: + myClass(int i) {} +}; + +} + |