Post Condition - Waikato Linux Users Group

Recent Changes

A logical condition that will hold after a method of function has completed. Used to generated proofs about program behaviour. Supported natively in the Eiffel language.

See also PreCondition

3 pages link to PostCondition:

Last edited on Saturday, October 25, 2003 12:18:48 pm by StuartYeates

Edit PageHistory Diff Info LikePages

Please note that any user can change the contents of pages on this site, and therefore the Waikato Linux Users Group can offer no assurances that the information is correct, and the information on this site is not necessarily the opinion of the Waikato Linux Users Group, or any of its members. If you have any complaints about the contents of this page, please do not hesitate to contact the Waikato Linux Users Group, or, click the Edit button!

Creative Commons Attribution ShareAlike License

Unless otherwise noted, all pages on this site are licensed under the WlugWikiLicense.

Please visit the WlugSponsors

lib/main.php:944: Notice: PageInfo: Cannot find action page

lib/main.php:839: Notice: PageInfo: Unknown action