Input validation as a metric for quality

[gbiggs]

There is some discussion related to input validation here:

Design By Contract

What do you think about adding “Design By Contract” functionality to ROS? “Design By Contract is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.” Design By Contract (wikipedia.org) “Design By Contract (DBC)” can dramatically decrease the effort during software integ…