From: William S F. <ws...@fu...> - 2008-01-24 21:21:42
|
http://www.swig.org/Doc1.3/Contract.html#Contract William David Beazley wrote: > Actually, there was some work to put contracts into Swig back in 2003 > or thereabouts. I think there is some rudimentary contract support > in the main distribution. I have no idea if more advanced features > ever made it into the mainline tree though. The only way to find > out would be to "read the source." > > Cheers, > Dave > > > On Jan 24, 2008, at 10:56 AM, Nitro wrote: > > > Am 24.01.2008, 17:23 Uhr, schrieb SHANE MILLER, BLOOMBERG/ 731 LEXIN > > <smi...@bl...>: > > > >> I understand SWIG supports design-by-contract for pre-conditions > >> including subcontracting i.e. anding together all the > >> preconditions up > >> the inheritance chain for a given method. But does it OR together > >> post-conditions? Does it support post conditions or invariants > >> with its > >> subcontracting requirements? > > Are you sure this is the right mailing list? SWIG is a tool to > > generate > > various language bindings (python, java, perl, c#, ...) for > > C/C++ programs. Your question does not sound anything like that. > > If you are sure this is the right mailing list, maybe you can > > elaborate > > your question? > > > > -Matthias > > > > ---------------------------------------------------------------------- > > --- > > This SF.net email is sponsored by: Microsoft > > Defy all challenges. Microsoft(R) Visual Studio 2008. > > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ > > _______________________________________________ > > Swig-user mailing list > > Swi...@li... > > https://lists.sourceforge.net/lists/listinfo/swig-user > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Microsoft > Defy all challenges. Microsoft(R) Visual Studio 2008. > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ > _______________________________________________ > Swig-user mailing list > Swi...@li... > https://lists.sourceforge.net/lists/listinfo/swig-user |