Home
Main website
Display Sidebar
Hide Ads
Recent Changes
Blame: PreCondition
Edit
PageHistory
Diff
Info
LikePages
Annotated edit history of
PreCondition
version 1, including all changes.
View license author blame
.
Rev
Author
#
Line
1
StuartYeates
1
A logical condition that must hold before a method of function can be called. Used to generated proofs about program behaviour. Supported natively in the [Eiffel] language.
2
3
See also PostCondition