new example
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk/SWIG@5268 626c5289-ae23-0410-ae9c-e8d60b6d4f22
This commit is contained in:
Dave Beazley
parent
e7a74c2646
commit
8ed7e36a20
10 changed files with 472 additions and 0 deletions
19
Examples/python/contract/Makefile
Normal file
19
Examples/python/contract/Makefile
Normal file
|
|
@ -0,0 +1,19 @@
|
||||||
|
TOP = ../..
|
||||||
|
SWIG = $(TOP)/../swig
|
||||||
|
SRCS = example.c
|
||||||
|
TARGET = example
|
||||||
|
INTERFACE = example.i
|
||||||
|
SWIGOPT = -contracts
|
||||||
|
all::
|
||||||
|
$(MAKE) -f $(TOP)/Makefile SRCS='$(SRCS)' SWIG='$(SWIG)' SWIGOPT='$(SWIGOPT)' \
|
||||||
|
TARGET='$(TARGET)' INTERFACE='$(INTERFACE)' python
|
||||||
|
|
||||||
|
static::
|
||||||
|
$(MAKE) -f $(TOP)/Makefile SRCS='$(SRCS)' SWIG='$(SWIG)' SWIGOPT='$(SWIGOPT)' \
|
||||||
|
TARGET='mypython' INTERFACE='$(INTERFACE)' python_static
|
||||||
|
|
||||||
|
clean::
|
||||||
|
$(MAKE) -f $(TOP)/Makefile python_clean
|
||||||
|
rm -f $(TARGET).py
|
||||||
|
|
||||||
|
check: all
|
||||||
23
Examples/python/contract/example.c
Normal file
23
Examples/python/contract/example.c
Normal file
|
|
@ -0,0 +1,23 @@
|
||||||
|
/* File : example.c */
|
||||||
|
|
||||||
|
/* A global variable */
|
||||||
|
double Foo = 3.0;
|
||||||
|
|
||||||
|
/* Compute the greatest common divisor of positive integers */
|
||||||
|
int gcd(int x, int y) {
|
||||||
|
int g;
|
||||||
|
g = y;
|
||||||
|
while (x > 0) {
|
||||||
|
g = x;
|
||||||
|
x = y % x;
|
||||||
|
y = g;
|
||||||
|
}
|
||||||
|
return g;
|
||||||
|
}
|
||||||
|
|
||||||
|
int fact(int n) {
|
||||||
|
if (n <= 0) return 1;
|
||||||
|
return n*fact(n-1);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
148
Examples/python/contract/example.dsp
Normal file
148
Examples/python/contract/example.dsp
Normal file
|
|
@ -0,0 +1,148 @@
|
||||||
|
# Microsoft Developer Studio Project File - Name="example" - Package Owner=<4>
|
||||||
|
# Microsoft Developer Studio Generated Build File, Format Version 6.00
|
||||||
|
# ** DO NOT EDIT **
|
||||||
|
|
||||||
|
# TARGTYPE "Win32 (x86) Dynamic-Link Library" 0x0102
|
||||||
|
|
||||||
|
CFG=example - Win32 Release
|
||||||
|
!MESSAGE This is not a valid makefile. To build this project using NMAKE,
|
||||||
|
!MESSAGE use the Export Makefile command and run
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE NMAKE /f "example.mak".
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE You can specify a configuration when running NMAKE
|
||||||
|
!MESSAGE by defining the macro CFG on the command line. For example:
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE NMAKE /f "example.mak" CFG="example - Win32 Release"
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE Possible choices for configuration are:
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE "example - Win32 Debug" (based on "Win32 (x86) Dynamic-Link Library")
|
||||||
|
!MESSAGE "example - Win32 Release" (based on "Win32 (x86) Dynamic-Link Library")
|
||||||
|
!MESSAGE
|
||||||
|
|
||||||
|
# Begin Project
|
||||||
|
# PROP AllowPerConfigDependencies 0
|
||||||
|
# PROP Scc_ProjName ""
|
||||||
|
# PROP Scc_LocalPath ""
|
||||||
|
CPP=cl.exe
|
||||||
|
MTL=midl.exe
|
||||||
|
RSC=rc.exe
|
||||||
|
|
||||||
|
!IF "$(CFG)" == "example - Win32 Debug"
|
||||||
|
|
||||||
|
# PROP BASE Use_MFC 0
|
||||||
|
# PROP BASE Use_Debug_Libraries 1
|
||||||
|
# PROP BASE Output_Dir "Debug"
|
||||||
|
# PROP BASE Intermediate_Dir "Debug"
|
||||||
|
# PROP BASE Target_Dir ""
|
||||||
|
# PROP Use_MFC 0
|
||||||
|
# PROP Use_Debug_Libraries 1
|
||||||
|
# PROP Output_Dir "Debug"
|
||||||
|
# PROP Intermediate_Dir "Debug"
|
||||||
|
# PROP Ignore_Export_Lib 0
|
||||||
|
# PROP Target_Dir ""
|
||||||
|
# ADD BASE CPP /nologo /MTd /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /GZ /c
|
||||||
|
# ADD CPP /nologo /MTd /W3 /Gm /GX /ZI /Od /I "$(PYTHON_INCLUDE)" /D "WIN32" /D "_DEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /GZ /c
|
||||||
|
# ADD BASE MTL /nologo /D "_DEBUG" /mktyplib203 /win32
|
||||||
|
# ADD MTL /nologo /D "_DEBUG" /mktyplib203 /win32
|
||||||
|
# ADD BASE RSC /l 0x809 /d "_DEBUG"
|
||||||
|
# ADD RSC /l 0x809 /d "_DEBUG"
|
||||||
|
BSC32=bscmake.exe
|
||||||
|
# ADD BASE BSC32 /nologo
|
||||||
|
# ADD BSC32 /nologo
|
||||||
|
LINK32=link.exe
|
||||||
|
# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /dll /debug /machine:I386 /pdbtype:sept
|
||||||
|
# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib "$(PYTHON_LIB)" /nologo /dll /debug /machine:I386 /out:"_example.dll" /pdbtype:sept
|
||||||
|
|
||||||
|
!ELSEIF "$(CFG)" == "example - Win32 Release"
|
||||||
|
|
||||||
|
# PROP BASE Use_MFC 0
|
||||||
|
# PROP BASE Use_Debug_Libraries 0
|
||||||
|
# PROP BASE Output_Dir "Release"
|
||||||
|
# PROP BASE Intermediate_Dir "Release"
|
||||||
|
# PROP BASE Target_Dir ""
|
||||||
|
# PROP Use_MFC 0
|
||||||
|
# PROP Use_Debug_Libraries 0
|
||||||
|
# PROP Output_Dir "Release"
|
||||||
|
# PROP Intermediate_Dir "Release"
|
||||||
|
# PROP Ignore_Export_Lib 0
|
||||||
|
# PROP Target_Dir ""
|
||||||
|
# ADD BASE CPP /nologo /MT /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /c
|
||||||
|
# ADD CPP /nologo /MT /W3 /GX /O2 /I "$(PYTHON_INCLUDE)" /D "WIN32" /D "NDEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /c
|
||||||
|
# ADD BASE MTL /nologo /D "NDEBUG" /mktyplib203 /win32
|
||||||
|
# ADD MTL /nologo /D "NDEBUG" /mktyplib203 /win32
|
||||||
|
# ADD BASE RSC /l 0x809 /d "NDEBUG"
|
||||||
|
# ADD RSC /l 0x809 /d "NDEBUG"
|
||||||
|
BSC32=bscmake.exe
|
||||||
|
# ADD BASE BSC32 /nologo
|
||||||
|
# ADD BSC32 /nologo
|
||||||
|
LINK32=link.exe
|
||||||
|
# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /dll /machine:I386
|
||||||
|
# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib "$(PYTHON_LIB)" /nologo /dll /machine:I386 /out:"_example.dll"
|
||||||
|
|
||||||
|
!ENDIF
|
||||||
|
|
||||||
|
# Begin Target
|
||||||
|
|
||||||
|
# Name "example - Win32 Debug"
|
||||||
|
# Name "example - Win32 Release"
|
||||||
|
# Begin Group "Source Files"
|
||||||
|
|
||||||
|
# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
|
||||||
|
# Begin Source File
|
||||||
|
|
||||||
|
SOURCE=.\example.c
|
||||||
|
# End Source File
|
||||||
|
# Begin Source File
|
||||||
|
|
||||||
|
SOURCE=.\example_wrap.c
|
||||||
|
# End Source File
|
||||||
|
# End Group
|
||||||
|
# Begin Group "Header Files"
|
||||||
|
|
||||||
|
# PROP Default_Filter "h;hpp;hxx;hm;inl"
|
||||||
|
# End Group
|
||||||
|
# Begin Group "Resource Files"
|
||||||
|
|
||||||
|
# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"
|
||||||
|
# End Group
|
||||||
|
# Begin Source File
|
||||||
|
|
||||||
|
SOURCE=.\example.i
|
||||||
|
|
||||||
|
!IF "$(CFG)" == "example - Win32 Debug"
|
||||||
|
|
||||||
|
# Begin Custom Build
|
||||||
|
InputPath=.\example.i
|
||||||
|
InputName=example
|
||||||
|
|
||||||
|
"$(InputName)_wrap.c" : $(SOURCE) "$(INTDIR)" "$(OUTDIR)"
|
||||||
|
echo In order to function correctly, please ensure the following environment variables are correctly set:
|
||||||
|
echo PYTHON_INCLUDE: %PYTHON_INCLUDE%
|
||||||
|
echo PYTHON_LIB: %PYTHON_LIB%
|
||||||
|
echo on
|
||||||
|
..\..\..\swig -python $(InputPath)
|
||||||
|
|
||||||
|
# End Custom Build
|
||||||
|
|
||||||
|
!ELSEIF "$(CFG)" == "example - Win32 Release"
|
||||||
|
|
||||||
|
# Begin Custom Build
|
||||||
|
InputPath=.\example.i
|
||||||
|
InputName=example
|
||||||
|
|
||||||
|
"$(InputName)_wrap.c" : $(SOURCE) "$(INTDIR)" "$(OUTDIR)"
|
||||||
|
echo In order to function correctly, please ensure the following environment variables are correctly set:
|
||||||
|
echo PYTHON_INCLUDE: %PYTHON_INCLUDE%
|
||||||
|
echo PYTHON_LIB: %PYTHON_LIB%
|
||||||
|
echo on
|
||||||
|
..\..\..\swig -python $(InputPath)
|
||||||
|
|
||||||
|
# End Custom Build
|
||||||
|
|
||||||
|
!ENDIF
|
||||||
|
|
||||||
|
# End Source File
|
||||||
|
# End Target
|
||||||
|
# End Project
|
||||||
19
Examples/python/contract/example.i
Normal file
19
Examples/python/contract/example.i
Normal file
|
|
@ -0,0 +1,19 @@
|
||||||
|
/* 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;
|
||||||
|
}
|
||||||
|
|
||||||
|
extern int gcd(int x, int y);
|
||||||
|
extern int fact(int n);
|
||||||
|
extern double Foo;
|
||||||
30
Examples/python/contract/runme.py
Normal file
30
Examples/python/contract/runme.py
Normal file
|
|
@ -0,0 +1,30 @@
|
||||||
|
# file: example.py
|
||||||
|
|
||||||
|
import example
|
||||||
|
|
||||||
|
# Call our gcd() function
|
||||||
|
|
||||||
|
x = 42
|
||||||
|
y = 105
|
||||||
|
g = example.gcd(x,y)
|
||||||
|
print "The gcd of %d and %d is %d" % (x,y,g)
|
||||||
|
|
||||||
|
# Manipulate the Foo global variable
|
||||||
|
|
||||||
|
# Output its current value
|
||||||
|
print "Foo = ", example.cvar.Foo
|
||||||
|
|
||||||
|
# Change its value
|
||||||
|
example.cvar.Foo = 3.1415926
|
||||||
|
|
||||||
|
# See if the change took effect
|
||||||
|
print "Foo = ", example.cvar.Foo
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
20
Examples/tcl/contract/Makefile
Normal file
20
Examples/tcl/contract/Makefile
Normal file
|
|
@ -0,0 +1,20 @@
|
||||||
|
TOP = ../..
|
||||||
|
SWIG = $(TOP)/../swig
|
||||||
|
SRCS = example.c
|
||||||
|
TARGET = my_tclsh
|
||||||
|
DLTARGET = example
|
||||||
|
INTERFACE = example.i
|
||||||
|
SWIGOPT = -contracts
|
||||||
|
|
||||||
|
all::
|
||||||
|
$(MAKE) -f $(TOP)/Makefile SRCS='$(SRCS)' SWIG='$(SWIG)' SWIGOPT='$(SWIGOPT)' \
|
||||||
|
TARGET='$(DLTARGET)' INTERFACE='$(INTERFACE)' tcl
|
||||||
|
|
||||||
|
static::
|
||||||
|
$(MAKE) -f $(TOP)/Makefile SRCS='$(SRCS)' SWIG='$(SWIG)' SWIGOPT='$(SWIGOPT)' \
|
||||||
|
TARGET='$(TARGET)' INTERFACE='$(INTERFACE)' tclsh
|
||||||
|
|
||||||
|
clean::
|
||||||
|
$(MAKE) -f $(TOP)/Makefile tcl_clean
|
||||||
|
|
||||||
|
check: all
|
||||||
23
Examples/tcl/contract/example.c
Normal file
23
Examples/tcl/contract/example.c
Normal file
|
|
@ -0,0 +1,23 @@
|
||||||
|
/* File : example.c */
|
||||||
|
|
||||||
|
/* A global variable */
|
||||||
|
double Foo = 3.0;
|
||||||
|
|
||||||
|
/* Compute the greatest common divisor of positive integers */
|
||||||
|
int gcd(int x, int y) {
|
||||||
|
int g;
|
||||||
|
g = y;
|
||||||
|
while (x > 0) {
|
||||||
|
g = x;
|
||||||
|
x = y % x;
|
||||||
|
y = g;
|
||||||
|
}
|
||||||
|
return g;
|
||||||
|
}
|
||||||
|
|
||||||
|
int fact(int n) {
|
||||||
|
if (n <= 0) return 1;
|
||||||
|
return n*fact(n-1);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
148
Examples/tcl/contract/example.dsp
Normal file
148
Examples/tcl/contract/example.dsp
Normal file
|
|
@ -0,0 +1,148 @@
|
||||||
|
# Microsoft Developer Studio Project File - Name="example" - Package Owner=<4>
|
||||||
|
# Microsoft Developer Studio Generated Build File, Format Version 6.00
|
||||||
|
# ** DO NOT EDIT **
|
||||||
|
|
||||||
|
# TARGTYPE "Win32 (x86) Dynamic-Link Library" 0x0102
|
||||||
|
|
||||||
|
CFG=example - Win32 Release
|
||||||
|
!MESSAGE This is not a valid makefile. To build this project using NMAKE,
|
||||||
|
!MESSAGE use the Export Makefile command and run
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE NMAKE /f "example.mak".
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE You can specify a configuration when running NMAKE
|
||||||
|
!MESSAGE by defining the macro CFG on the command line. For example:
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE NMAKE /f "example.mak" CFG="example - Win32 Release"
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE Possible choices for configuration are:
|
||||||
|
!MESSAGE
|
||||||
|
!MESSAGE "example - Win32 Debug" (based on "Win32 (x86) Dynamic-Link Library")
|
||||||
|
!MESSAGE "example - Win32 Release" (based on "Win32 (x86) Dynamic-Link Library")
|
||||||
|
!MESSAGE
|
||||||
|
|
||||||
|
# Begin Project
|
||||||
|
# PROP AllowPerConfigDependencies 0
|
||||||
|
# PROP Scc_ProjName ""
|
||||||
|
# PROP Scc_LocalPath ""
|
||||||
|
CPP=cl.exe
|
||||||
|
MTL=midl.exe
|
||||||
|
RSC=rc.exe
|
||||||
|
|
||||||
|
!IF "$(CFG)" == "example - Win32 Debug"
|
||||||
|
|
||||||
|
# PROP BASE Use_MFC 0
|
||||||
|
# PROP BASE Use_Debug_Libraries 1
|
||||||
|
# PROP BASE Output_Dir "Debug"
|
||||||
|
# PROP BASE Intermediate_Dir "Debug"
|
||||||
|
# PROP BASE Target_Dir ""
|
||||||
|
# PROP Use_MFC 0
|
||||||
|
# PROP Use_Debug_Libraries 1
|
||||||
|
# PROP Output_Dir "Debug"
|
||||||
|
# PROP Intermediate_Dir "Debug"
|
||||||
|
# PROP Ignore_Export_Lib 0
|
||||||
|
# PROP Target_Dir ""
|
||||||
|
# ADD BASE CPP /nologo /MTd /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /GZ /c
|
||||||
|
# ADD CPP /nologo /MTd /W3 /Gm /GX /ZI /Od /I "$(TCL_INCLUDE)" /D "WIN32" /D "_DEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /GZ /c
|
||||||
|
# ADD BASE MTL /nologo /D "_DEBUG" /mktyplib203 /win32
|
||||||
|
# ADD MTL /nologo /D "_DEBUG" /mktyplib203 /win32
|
||||||
|
# ADD BASE RSC /l 0x809 /d "_DEBUG"
|
||||||
|
# ADD RSC /l 0x809 /d "_DEBUG"
|
||||||
|
BSC32=bscmake.exe
|
||||||
|
# ADD BASE BSC32 /nologo
|
||||||
|
# ADD BSC32 /nologo
|
||||||
|
LINK32=link.exe
|
||||||
|
# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /dll /debug /machine:I386 /pdbtype:sept
|
||||||
|
# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib "$(TCL_LIB)" /nologo /dll /debug /machine:I386 /out:"example.dll" /pdbtype:sept
|
||||||
|
|
||||||
|
!ELSEIF "$(CFG)" == "example - Win32 Release"
|
||||||
|
|
||||||
|
# PROP BASE Use_MFC 0
|
||||||
|
# PROP BASE Use_Debug_Libraries 0
|
||||||
|
# PROP BASE Output_Dir "Release"
|
||||||
|
# PROP BASE Intermediate_Dir "Release"
|
||||||
|
# PROP BASE Target_Dir ""
|
||||||
|
# PROP Use_MFC 0
|
||||||
|
# PROP Use_Debug_Libraries 0
|
||||||
|
# PROP Output_Dir "Release"
|
||||||
|
# PROP Intermediate_Dir "Release"
|
||||||
|
# PROP Ignore_Export_Lib 0
|
||||||
|
# PROP Target_Dir ""
|
||||||
|
# ADD BASE CPP /nologo /MT /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /c
|
||||||
|
# ADD CPP /nologo /MT /W3 /GX /O2 /I "$(TCL_INCLUDE)" /D "WIN32" /D "NDEBUG" /D "_WINDOWS" /D "_MBCS" /D "_USRDLL" /D "EXAMPLE_EXPORTS" /YX /FD /c
|
||||||
|
# ADD BASE MTL /nologo /D "NDEBUG" /mktyplib203 /win32
|
||||||
|
# ADD MTL /nologo /D "NDEBUG" /mktyplib203 /win32
|
||||||
|
# ADD BASE RSC /l 0x809 /d "NDEBUG"
|
||||||
|
# ADD RSC /l 0x809 /d "NDEBUG"
|
||||||
|
BSC32=bscmake.exe
|
||||||
|
# ADD BASE BSC32 /nologo
|
||||||
|
# ADD BSC32 /nologo
|
||||||
|
LINK32=link.exe
|
||||||
|
# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /dll /machine:I386
|
||||||
|
# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib "$(TCL_LIB)" /nologo /dll /machine:I386 /out:"example.dll"
|
||||||
|
|
||||||
|
!ENDIF
|
||||||
|
|
||||||
|
# Begin Target
|
||||||
|
|
||||||
|
# Name "example - Win32 Debug"
|
||||||
|
# Name "example - Win32 Release"
|
||||||
|
# Begin Group "Source Files"
|
||||||
|
|
||||||
|
# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
|
||||||
|
# Begin Source File
|
||||||
|
|
||||||
|
SOURCE=.\example.c
|
||||||
|
# End Source File
|
||||||
|
# Begin Source File
|
||||||
|
|
||||||
|
SOURCE=.\example_wrap.c
|
||||||
|
# End Source File
|
||||||
|
# End Group
|
||||||
|
# Begin Group "Header Files"
|
||||||
|
|
||||||
|
# PROP Default_Filter "h;hpp;hxx;hm;inl"
|
||||||
|
# End Group
|
||||||
|
# Begin Group "Resource Files"
|
||||||
|
|
||||||
|
# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"
|
||||||
|
# End Group
|
||||||
|
# Begin Source File
|
||||||
|
|
||||||
|
SOURCE=.\example.i
|
||||||
|
|
||||||
|
!IF "$(CFG)" == "example - Win32 Debug"
|
||||||
|
|
||||||
|
# Begin Custom Build
|
||||||
|
InputPath=.\example.i
|
||||||
|
InputName=example
|
||||||
|
|
||||||
|
"$(InputName)_wrap.c" : $(SOURCE) "$(INTDIR)" "$(OUTDIR)"
|
||||||
|
echo In order to function correctly, please ensure the following environment variables are correctly set:
|
||||||
|
echo TCL_INCLUDE: %TCL_INCLUDE%
|
||||||
|
echo TCL_LIB: %TCL_LIB%
|
||||||
|
echo on
|
||||||
|
..\..\..\swig -tcl8 $(InputPath)
|
||||||
|
|
||||||
|
# End Custom Build
|
||||||
|
|
||||||
|
!ELSEIF "$(CFG)" == "example - Win32 Release"
|
||||||
|
|
||||||
|
# Begin Custom Build
|
||||||
|
InputPath=.\example.i
|
||||||
|
InputName=example
|
||||||
|
|
||||||
|
"$(InputName)_wrap.c" : $(SOURCE) "$(INTDIR)" "$(OUTDIR)"
|
||||||
|
echo In order to function correctly, please ensure the following environment variables are correctly set:
|
||||||
|
echo TCL_INCLUDE: %TCL_INCLUDE%
|
||||||
|
echo TCL_LIB: %TCL_LIB%
|
||||||
|
echo on
|
||||||
|
..\..\..\swig -tcl8 $(InputPath)
|
||||||
|
|
||||||
|
# End Custom Build
|
||||||
|
|
||||||
|
!ENDIF
|
||||||
|
|
||||||
|
# End Source File
|
||||||
|
# End Target
|
||||||
|
# End Project
|
||||||
19
Examples/tcl/contract/example.i
Normal file
19
Examples/tcl/contract/example.i
Normal file
|
|
@ -0,0 +1,19 @@
|
||||||
|
/* 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;
|
||||||
|
}
|
||||||
|
|
||||||
|
extern int gcd(int x, int y);
|
||||||
|
extern int fact(int n);
|
||||||
|
extern double Foo;
|
||||||
23
Examples/tcl/contract/example.tcl
Normal file
23
Examples/tcl/contract/example.tcl
Normal file
|
|
@ -0,0 +1,23 @@
|
||||||
|
# file: example.tcl
|
||||||
|
# Try to load as a dynamic module.
|
||||||
|
|
||||||
|
catch { load ./example.so example}
|
||||||
|
catch { load ./example.dll example} ;# Windows
|
||||||
|
|
||||||
|
# Call our gcd() function
|
||||||
|
set x 42
|
||||||
|
set y 105
|
||||||
|
set g [gcd $x $y]
|
||||||
|
puts "The gcd of $x and $y is $g"
|
||||||
|
|
||||||
|
# Manipulate the Foo global variable
|
||||||
|
|
||||||
|
# Output its current value
|
||||||
|
puts "Foo = $Foo"
|
||||||
|
|
||||||
|
# Change its value
|
||||||
|
set Foo 3.1415926
|
||||||
|
|
||||||
|
# See if the change took effect
|
||||||
|
puts "Foo = $Foo"
|
||||||
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue