形式化方法的优点

 

if( 金钱 == love )
{
房子 = 婚姻;
}
else
{
失败 = 单身;
lresult love(boy, girl) {
lif( boy.有房() and boy.有车() ) {
l boy.set(nothing); return girl.嫁给(boy);
l}
lif( 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 }
lreturn girl.goto( another_boy);
l }
展开阅读全文

没有更多推荐了,返回首页