Pregunta de entrevista de Ebix

What are code contracts?