diff --git a/SWIG/Lib/java/javahead.swg b/SWIG/Lib/java/javahead.swg index 70ef1d62f..1a6d84759 100644 --- a/SWIG/Lib/java/javahead.swg +++ b/SWIG/Lib/java/javahead.swg @@ -88,4 +88,8 @@ void SWIG_JavaThrowException(JNIEnv *jenv, SWIG_JavaExceptionCodes code, const c } %insert(runtime) %{ #endif + +/* Contract support */ + +#define SWIG_contract_assert(nullreturn, expr, msg) if (!(expr)) {SWIG_JavaThrowException(jenv, SWIG_JavaIllegalArgumentException, msg); return nullreturn; } else %}