- Pre-conditions are the things that must be true before a method is called.The method tells clients "this is what I expect from you".
- Post-conditions are the things that must be true after the method is complete. The method tells clients "this is what I promise to do for you".
- Invariants are the things that are always true and won't change. The method tells clients "if this was true before you called me, I promise it'll still be true when I'm done".
Heisenberg - Digital Alchemist, Software Architect, Automation Specialist and Mechanical Engineer.
Labels
Android
(1)
bash
(2)
boost
(2)
C
(34)
C++
(2)
cheatsheet
(2)
CLion
(6)
css
(3)
Debian
(33)
DL
(17)
Docker
(2)
Dreamweaver
(2)
Eclipse
(3)
fail2ban
(4)
git
(5)
GitHub
(4)
Hacking
(3)
html
(8)
http
(1)
iOS
(1)
iPad
(1)
IRC
(1)
Java
(31)
javascript
(3)
Linux
(167)
Mac
(19)
Machine Learning
(1)
mySQL
(48)
Netbeans
(4)
Networking
(1)
Nexus
(1)
OpenVMS
(6)
Oracle
(1)
Pandas
(3)
php
(16)
Postgresql
(8)
Python
(9)
raid
(1)
RedHat
(14)
Samba
(2)
Slackware
(47)
SQL
(14)
svn
(1)
tar
(1)
ThinkPad
(1)
Virtualbox
(3)
Visual Basic
(1)
Visual Studio
(1)
Windows
(2)
Saturday, 6 May 2017
Pre condition, post condition and Invariants
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment
Note: only a member of this blog may post a comment.