Javadoc do contrato