假设与下图所示的if-then-else的语义对应的属性文法中与产生式S→if E then S1 else S2 对应的语义规则如下，其中空白处应该填写： E.true:= newlabel; E.false:= newlabel; S1.next:=S.next; S2.next:= ; S.code:=E.code || gen(E.true ‘:’) || S1.code || gen(‘goto’ S.next) || gen(E.false ‘:’) || S2.code;