수업 :: 계약 클래스 :: 계약 - Perl의 계약을 설계합니다.
지금 다운로드

수업 :: 계약 순위 및 요약

수업 :: 계약 태그

Perl 모듈 계약 설계 별 00 계약 수업 설계 - 계약자

수업 :: 계약 설명

Class :: Contract - Perl의 설계 - 계약을 체결합니다. Class :: 계약 - Perl.Snopsis 패키지 클래스 이름을 사용하여 계약서 별 OO 클래스 :: 계약; 계약 {상속 된 '기저시'; invar {...}; attr 'data1'; attr 'data2'=> 해시; attr 'shared'=> 스칼라 클래스; ctor 'new'; 메소드 '메서드 이름'; Pre {...}; failmsg '오류 메시지'; 게시하다 { ... }; failmsg '오류 메시지'; Impt {...}; 방법 'NextMethod'; Impt {...}; 클래스 메소드 'sharedmeth'; Impt {...}; # etc.}; BackgroundDesign-Contract는 소프트웨어 시스템의 각 모듈이 명시 적으로 필요한 입력 (또는 데이터 또는 인수)을 명시 적으로 지정하는 소프트웨어 엔지니어링 기술이며 출력 (또는 정보 또는 결과)이 보장하는 출력 (또는 정보 또는 결과) 응답.이 사양은 모듈과이를 사용하는 클라이언트 소프트웨어 사이의 계약서의 "조항"을 구성합니다. 클라이언트 소프트웨어가 입력 요구 사항을 준수하면 모듈이 올바른 출력을 생성하도록 보장합니다. 따라서 모듈과의 각 상호 작용 에서이 조항을 검증하면 시스템의 전반적인 동작을 자신있게 예측할 수 있습니다. 계약서에 명시 적 컴파일 타임 또는 런타임 검사를 삽입하여 모듈 식 디자인 기술의 이점을 강화할 수 있습니다. 이러한 수표는 대부분 객체 지향 언어에서 발견되며 일반적으로 방법에 대한 사전 조건 및 사후 조건으로 구현되며, 클래스의 불변량은 CASTERT 문과 같은 간단한 검증 진술과 다를 것임을 구성합니다. 조건 및 불변률은 클래스의 속성이며 파생 된 클래스에 의해 상속됩니다. 설계 별 시스템에서 자주 제공되는 추가 용량은 생산 코드에서 선택적으로 비활성화 할 수있는 기능입니다. 이를 통해 최종 시스템의 성능을 충당하지 않고도 계약 테스트가 수행 중에 계약을 수행 할 수 있습니다. PerlThe 클래스 :: 계약 모듈은 수업의 메소드 및 속성을 지정하기위한 프레임 워크를 제공합니다 ( 기존 클래스 정의 모듈 클래스 :: 구조체, 클래스 :: 메서드 메이커 및 클래스 :: 생성). Class :: Contract는 개체 별 및 클래스 별 수준의 메소드 및 속성을 모두 정의 할 수 있습니다. 속성은 scalar-, array-, hash- 또는 object-basons.class :: 계약은 클래스에 대한 불변 조건을 지정할 수있는 기능을 제공 할 수 있다는 점에서 다른 클래스 사양 모듈 (클래스 :: 생성 제외)과 다릅니다. 메소드 및 속성에 대한 사전 및 사후 조건. 이러한 모든 조항은 완전히 상속 될 수 있으며 선택적으로 비활성화 될 수 있습니다. 클리너, 간단한 사양 구문이 있으며 더 중요한 것은 객체 속성의 캡슐화를 시행함으로써 클래스 계약을 하시리게 할 수 있음을 확인합니다. 클래스 클래스 :: 계약은 명시 적 구문을 제공합니다. 클래스의 속성, 방법 및 생성자를 정의하는 것입니다. 클래스 자체는 계약 서브 루틴을 사용하여 정의됩니다. 계약은 단일 인수 - 서브 루틴 참조 또는 블록을 사용합니다. 해당 블록은 현재 패키지의 클래스의 다양한 구성 요소를 구성하고 설치하는 결과를 한 번 실행하고 결과를 설치합니다. 패키지 대기열; 계약 {# 클래스 대기열 속성 및 메소드의 지정}; 요구 사항 : · Perl.

수업 :: 계약 관련 소프트웨어