Penguin
Blame: PreCondition
EditPageHistoryDiffInfoLikePages
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