形式化方法的优点

 

if( 金钱 == love )

{

房子 = 婚姻 ;

}

else

{

失败 = 单身 ;

} 

l result love(boy, girl) {

l if( boy.有房() and boy.有车() ) {

l  boy.set(nothing); return girl.嫁给(boy);

l }

l if( girl.愿意等() ) {

l 　　while(!(boy.赚钱 > 100,000 and girl.感情 > 8 ) ) {

l 　   　for( day=1; day <=365; day++) {

l 　　      if( day == 情人节 )

l 　　        if( boy.givegirl(玫瑰) )

l 　　            girl.感情++;

l 　       　else

l 　       　   girl.感情--;

l 　　     if( day == girl.生日)

l 　　        if( boy.givegirl(玫瑰) )

l 　　              girl.感情++;

l 　　       else

l 　　             girl.感情--; boy.拼命赚钱();

l 　     　} }

l 　　 if( boy.有房() and boy.有车() ) {

l 　　      boy.set(nothing);

l 　　      return girl.嫁给(boy); }

l 　　      年龄++; girl.感情--;

l  }

l return girl.goto( another_boy);

l 　}