En Eiffel, tales aserciones se integran en el código y son automáticamente extraídas para documentar la clase.