Home
Main website
Display Sidebar
Hide Ads
Recent Changes
View Source:
PostCondition
Edit
PageHistory
Diff
Info
LikePages
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
:
Eiffel
PreCondition
BertrandMeyer