#define LIMIT_COGNITION_DATE 90
#define FATHER_WAS_BANKRUPT 1
#define COMPLAINANT_IS_LACK_OF_INHERITANCE 2

main()
{
int cognition_date_offset;

cognition_date_offset = count_cognition_date();
if( cognition_date_offset > LIMIT_COGNITION_DATE ) {
printf(\"이유없음n\");
}
else {
printf(\"이유있음n\");
return_this_event();
}
}

int
count_cognition_date()
{
int date_offset = LIMIT_COGNITION_DATE;
int reason;

date_offset = check_last_giving_up() - check_last_death_notice();
if( date_offset <= LIMIT_COGNITION_DATE ) {
printf(\"유효하지 않는 재판임n\");
exit(1);
}
else {
if( search_exception_condition( &reason ) ) {
switch( reason ) {
case FATHER_WAS_BANKRUPT :
printf(\"채무가 자동 소멸됨n\");
break;
case COMPLAINANT_IS_LACK_OF_INHERITANCE :
printf(\"채무가 자동 소멸됨n\");
break;
default :
return( date_offset );
}
}
else {
return( date_offset );
}
}
}
check_last_giving_up()
{
return( check_last_death_notice() + 110 );
}

check_last_death_notice()
{
return( 120 );
}

return_this_event()
{
printf(\"고등법원으로 재심n\");
}
search_exception_condition( reason )
int *reason;
{
*reason = FATHER_WAS_BANKRUPT;
return( 1 );
}

이 프로그램은 그대로 컴파일 되며 그 실행 결과는
채무가 자동 소멸됨
이유있음
고등법원으로 재심
이다.
실제 있었던 재판에 대한 프로그램이며 그 내용은 부친이 사망한 것을
안 날짜로 부터 3개월내에 상속포기를 해야하는데 채무청구소송을 당한
후에야 상속포기 신청을 하여 항고, 대법원까지 기각된 사건이다.
대법원의 판결요지에 파산선고자에 대한 언급이 없어 의도적으로 예외조항
으로 넣은 것이며 실제로는 \'이유없는 \'사건이다.
곳곳에 있는 임시적인 코드를 바로잡기 위해서는 단순한 판결 프로그램에서
재판 시스템으로의 확장이 요구되는 부분인데, 이 매개체가 바로 오픈된 \'소스\'이다.
<다음에 계속>