That's called design by contract: http://en.wikipedia.org/wiki/Design_by_contract