Ebix interview question

What are code contracts?