/usr/share/doc/swig4.0-examples/Examples/octave/contract/example.i

/* File : example.i */
%module swigexample

%feature("autodoc", 1);

%contract gcd(int x, int y) {
require:
        x >= 0;
        y >= 0;
}

%contract fact(int n) {
require:
        n >= 0;
ensure:
        fact >= 1;
}

%inline %{
extern int    gcd(int x, int y);
extern int    fact(int n);
extern double Foo;
%}

Generated by dwww version 1.15 on Sun Jun 30 15:36:16 CEST 2024.