0
에펠의 재정의 된 기능이 자체 어설 션을 정의 할 수 있는지 알아야합니다.에펠 redefined 함수는 자체 어설 션을 정의 할 수 있습니까?
A
답변
4
예. 가능합니다. 그러나 재정의 된 기능은 만 부모의 전제 조건 인을 약화시키고 은 후속 조건을 강화할 수 있습니다. 명확하게하기 위해 재 정의 된 기능에서 귀하의 전제 조건을 require else으로 선언하고 후속 조건을 ensure then으로 선언하여 해당 주장을 약화/강화하고 있음을 분명히하십시오.
자세한 설명은 documentation site을 참조하십시오.
관련 문제
- 1. 모든 테스트가 test/unit에 어설 션을 포함하도록 할 수 있습니까?
- 2. lookbehind 어설 션을 lex에서 어떻게 사용할 수 있습니까?
- 3. C 컴파일러가 어설 션을 구현하는 방법?
- 4. Tomcat에서 java 어설 션을 활성화하는 방법
- 5. cython에서 컴파일 할 때 python 어설 션을 제거하는 방법은 무엇입니까?
- 6. 왜이 ViewResult가 MSpecMVC의 ShouldBeAView 어설 션을 실패합니까?
- 7. 프로그래밍 방식으로 어설 션을 설정하는 방법은 무엇입니까?
- 8. Play에서 어설 션을 활성화하십시오! 개발 모드
- 9. 엘마 1.1 RC에서 jscript 어설 션을 사용하여 예외 유형을 필터링 할 수 있습니까?
- 10. Python + nose : 로그 된 텍스트에 대한 어설 션을 하시겠습니까?
- 11. Unittest는 "assertEquals (..)"과 같은 어설 션을 가지고 있어야합니까?
- 12. 개체가 자체 이벤트를 플래시 할 수 있습니까?
- 13. 어떻게 파이썬 C 코드에서 어설 션 할 수 있습니까?
- 14. JavaScript에서 자체 호출 함수는 무엇입니까?
- 15. boost :: lower가 is_singular 어설 션을 실패하게하는 원인은 무엇입니까?
- 16. Django : 시스템 오류 페이지를 표시하지 않고 어떻게 어설 션을 사용합니까?
- 17. JUnit 테스트에서 다중 어설 션을 피하는 방법은 무엇입니까?
- 18. 변수가 정적인지 확인하기 위해 정적 어설 션을 추가하려면 어떻게합니까?
- 19. Regex : lookahead 어설 션을 사용하여 문자가 특정 횟수만큼 존재하는지 확인합니다.
- 20. C89의 어설 션?
- 21. 클래스가 자체 객체를 반환 할 수 있습니까?
- 22. 수업을 자체 참조 할 수 있습니까?
- 23. nunit 테스트를 매개 변수화 할 수 있습니까
- 24. EJB3 빈은 "자체 삽입"할 수 있고 EJB 컨테이너를 통해 자체 메소드를 호출 할 수 있습니까?
- 25. 어설 션을 호출하는 함수를 호출 할 때 프로그램의 릴리스 버전에서 제거됩니까?
- 26. 사용자 정의 함수는 어떻게 작성합니까?
- 27. abort()를 사용하지 않고 어떻게 assert() 할 수 있습니까?
- 28. VBScript 스크립트에서 어떻게 어설 션 할 수 있습니까?
- 29. 자체 참조 구조체 정의?
- 30. Java가 어설 션되어 있습니까?