파이썬으로 살펴보는 아키텍처 패턴

348

3

부

부록

E.5

의미론 검증하기

문법은 메시지의 구조에 대해 다루지만,

의미론

은 메시지의

뜻

을 검증한다. ‘

4

번 족구에 버스

를 지각하라’라는 문장은 ‘

5

번 주문에 찻주전자를 할당하라’와 문장 구조는 같지만 아무 뜻도 없

다.

다음

JSON

블롭을

Allocate

명령으로 읽어도 명령이

의미가 없어서

성공적으로 실행하지 못

할 수도 있다.

{

“orderid”: “superman”,

“sku”: “zygote”,

“qty”: -1

}

계약 기반 프로그래밍

contract

-

based

programming

의 일종을 사용해 메시지 핸들러 계층에서 의미를 검

증하는 경향이 있다.

사전조건(

src

/

allocation

/

ensure

.

py

)

“””

이 모듈에는 핸들러에 적용할 수 있는 사전조건이 있다.

"""

class MessageUnprocessable(Exception): # ①

def __init__(self, message):

self.message = message

class ProductNotFound(MessageUnprocessable): # ②

""""

데이터베이스에 존재하지 않는 상품에 대한 액션을

수행하려고 시도하면 예외가 발생한다.

""""

def __init__(self, message):

super().__init__(message)

self.sku ...