From 2e614a842418b7c097c2a3b284bd71e196ddfb39 Mon Sep 17 00:00:00 2001
From: Dave Beazley <dave-swig@dabeaz.com>
Date: Wed, 5 Nov 2003 21:58:39 +0000
Subject: [PATCH] Added contract support

git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk@5269 626c5289-ae23-0410-ae9c-e8d60b6d4f22
---
 SWIG/Lib/tcl/swigtcl8.swg | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/SWIG/Lib/tcl/swigtcl8.swg b/SWIG/Lib/tcl/swigtcl8.swg
index 32965515e..a5f4d4283 100644
--- a/SWIG/Lib/tcl/swigtcl8.swg
+++ b/SWIG/Lib/tcl/swigtcl8.swg
@@ -795,6 +795,19 @@ typedef struct {
   char * (*set)(ClientData, Tcl_Interp *, char *, char *, int);
 } swig_var_info;
 
+
+/* Contract support */
+
+#define SWIG_preassert(expr, msg)  if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+#define SWIG_postassert(expr, msg) if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+
+#define SWIG_inherit_preassert(expr, msg)  if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+#define SWIG_inherit_postassert(expr, msg) if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+
+#define SWIG_invariant(expr, msg)       if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+#define SWIG_invariant_begin(expr, msg) if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+#define SWIG_invariant_end(expr, msg)   if (!(expr)) { Tcl_SetResult(interp, (char *) msg #expr, TCL_STATIC ); goto fail; } else
+
 #ifdef __cplusplus
 }
 #endif