Cтраница 4
Выполнение полного условного оператора происходит в таком порядке. В этом случае выполняется следующий за этим условием безусловный оператор, а за ним-либо оператор, следующий за всем полным условным оператором, либо оператор, указываемый выполненным оператором. В последнем случае результат выполнения полного условного оператора эквивалентен работе пустого оператора. [46]
Если в условии дается скалярное выражение, то оно вычисляется и преобразуется в строку битов, длина которой зависит от значения выражения. Если значение какой-нибудь позиции этой строки битов равно 1, то выполняется оператор, следующий за ключевым словом THEN. Если значения всех позиций равны; нулю, то в случае полного условного оператора выполняется оператор 2, а в случае неполного условного оператора - оператор, непосредственно следующий за условным оператором. [47]
Таким образом, выполнение полного условного оператора закапчивается, как только будет выполнен один из входящих в него безусловных операторов, выбираемых указанным выше способом. Этот принцип сохраняется и в том случае, если к одному из внутренних безусловных операторов, снабженному меткой, осуществляется переход в результате выполнения какого-либо оператора перехода. Если же этот внутренний помеченный оператор является условным, то при переходе к этому оператору эффект будет такой же, как и при выполнении полного условного оператора, в предположении, что все условия, предшествующие данному помеченному оператору, не выполняются. [48]