So, if the use case completes successfully, the post condition says that what must hold true that is the amount in the balance in the customer's account will be the amount before the withdrawal minus the withdrawn amount and receipt was printed on the withdrawal amount.
எனவே, use case வெற்றிகரமாக முடிந்தால், வாடிக்கையாளர் கணக்கில் உள்ள நிலுவைத் தொகை என்பது திரும்பப் பெறுவதற்கு முன்தைய தொகை கழித்தல் திரும்ப பெறப்படும் தொகை எனும் post condition ஆகும். மற்றும் திரும்பப் பெறும் தொகை பற்றிய print செய்யப்பட்ட ரசீது , உண்மை எனக் கூறலாம்.