Next: AndOr Up: The kernel language Previous: Global Contents

IfThenElse

$\IfThenElse {c}{e_1}{e_2}$

$\displaystyle \typerule {\gammahastype {c}{\textit{\BOOL }},\; \gammahastype {e... ...t{T}}}<tex2html_comment_mark>110 {\gammahastype {\IfThenElse {c}{e_1}{e_2}}{T}}$

(3.8)

$\displaystyle \compilerule {\IfThenElse {c}{e_1}{e_2}} { & \dnt {c} & \JumpO... ...1} & \Jump LAB {jmp} \LAB {jof}: & \dnt {e_2} \LAB {jmp}: & \ldots}$

(3.9)

Hassan Ait Kaci 2002-05-26