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

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

%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 Tue Jul 2 00:18:32 CEST 2024.