Design By Contract using Guice