Penguin
Recent Changes
Blame: PreCondition
EditPageHistoryDiffInfoLikePages
Annotated edit history of PreCondition version 1 showing authors affecting page license. View with all changes included.
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