표준 C++의 예외 처리 객체들의 특성을 상속받아 각각의 상황에 대응하는 예외 객체를 정의하는 단계와,

상기 예외 객체들을 사용하여 단정문을 수행하는 단계와,

상기 단정문 수행 결과에 따라 발생되는 예외 조건, 오류등에 대해 상기 예외 객체들중에 조건에 맞는 것을 사용자에게 통보하는 단계와,

상기 사용자는 상기 예외 조건, 오류등을 통보받아 그에 따른 처라를 수행한 후 목적한 객체를 구현하는 단계를 포함하는 것을 특징으로 하는 객체 지향 언어를 위한 단정문 구현 방법

제 1 항에 있어서, 상기 예외 객체는 상기 표준 C++의 예외 처리 객체인 무효 변수, 영역 오류 및 논리 오류로부터 특성을 상속받아 정의된 요구 조건 예외 객체, 불변 조건 예외 객체 및 만족 조건 예외 객체인 것을 특징으로 하는 객체 지향 언어를 위한 단정문 구현 방법

제 1 항에 있어서, 상기 단정문은 단정문 객체를 구성하는 각 함수들에서 표준 C++의 템플리트 기법을 사용하여 수행하는 것을 특징으로 하는 객체 지향 언어를 위한 단정문 구현 방법

제 3 항에 있어서, 상기 단정문 객체를 구성하는 함수는 요구 조건을 항상 만족하는 것으로 가정할 수 있는 경우이거나 별도로 구분하여 점진적으로 명시하는 것이 편리한 경우를 위해 명시하는 require 함수와,

만족 조건을 명시하기 위한 ensure 함수와,

객체의 non-const 함수내에서 객체의 상태가 변화되었을 경우 변화되기 이전의 값을 참조하여 단정문을 작성하기 위해 명시하는 old 함수와,

상기 old 함수를 사용하기 위해 사전에 해당 객체가 변경 가능함을 알리고 현재 상태를 보관할 필요가 있다는 것을 구체적으로 명시하기 위한 modify 함수와,

멤버 함수내에서 일반적인 단정문을 명시하기 위해 사용자의 필요에 따라 임의의 예외 객체를 사용하기 위한 assert 함수를 포함하여 이루어진 것을 특징으로 하는 객체 지향 언어를 위한 단정문 구현 방법

표준 C++의 예외 처리 객체들의 특성을 상속받아 각각의 상황에 대응하는 예외 객체를 정의하기 위한 수단과,

상기 예외 객체들을 사용하여 단정문을 수행하고 그 결과에 따라 발생되는 예외 조건, 오류등에 대해 상기 예외 객체들중에 조건에 맞는 것을 사용자에게 통보하여 그에 따른 처리를 수행한 후 목적한 객체를 구현하도록 하기 위한 수단을 기능시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체