Interface code contracts generator