What are some of the issues with a handmade DBC solution using assertions and Exceptions?
What do we get out of DBC with java?