Interested to Buy Any Domain ? << Click Here >> for more details...
Define precondition and post-condition to a member function?
- 1 Answers
- 1688 Views
- I also Faced
- E-Mail Answers
Answer / akhilesh kumar jaiswal
Precondition:
A precondition is a condition that must be true on entry to a member function. A class is used correctly if preconditions are never false. An operation is not responsible for doing anything sensible if its precondition fails to hold.
For example, the interface invariants of stack class say nothing about pushing yet another element on a stack that is already full. We say that isful() is a precondition of the push operation.
Post-condition:
A post-condition is a condition that must be true on exit from a member function if the precondition was valid on entry to that function. A class is implemented correctly if post-conditions are never false.
For example, after pushing an element on the stack, we know that isempty() must necessarily hold. This is a post-condition of the push operation.
| Is This Answer Correct ? | 0 Yes | 0 No |
Differentiate between the message and method?
What are the advantages of using friend classes?
How come you find out if a linked-list is a cycle or not?
What is class in c++ with example?
What is doubly linked list in c++?
What methods can be overridden in java?
Which recursive sorting technique always makes recursive calls to sort subarrays that are about half size of the original array?
When to use Multiple Inheritance?
what do you mean by memory management operators
What is an incomplete type?
What does asterisk mean in c++?
Given the following function definition: int doit(int &x, int y, int &z) { x = 3*x; y = y + 5; z = x+y; return z - 4; } int a = 5, b = 7, c = 9, d = 11; d = doit(a,b,c);
STL 
