Семантические процедуры для операционных символов.

Примечание: везде А_1, А₂ - унаследованные, R - синтезированный.

{дизъюнкция}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ не int.

R = адрес триады or А_1, А₂

{конъюнкция}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ не int.

R = адрес триады and А_1, А₂

{равно}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ - vector.

R = адрес триады equ А_1, А₂

{неравно}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ - vector.

R = адрес триады neq А_1, А₂

{больше_или_равно}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ - vector.

R = адрес триады geq А_1, А₂

{меньше_или_равно}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ - vector.

R = адрес триады leq А_1, А₂

{больше}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ - vector.

R = адрес триады grt А_1, А₂

{меньше}_{A1, A2, R}

Аномальные ситуации:

1) тип оператора А_1, А₂ - vector.

R = адрес триады low А_1, А₂

{унарный_минус}_{A1, A2, R} (параметр А₂ фиктивный)

Аномальные ситуации:

1) нет.

R = адрес триады neg А_1, А₂

{бинарный_плюс}_{A1, A2, R}

Аномальные ситуации:

1) если тип параметров vector и их размерности не совпадают.

2) если один из параметров имеет тип vector а второй int или float.

R = адрес триады add А_1, А₂

{бинарный_минус}_{A1, A2, R}

Аномальные ситуации:

1) если тип параметров vector и их размерности не совпадают.

2) если один из параметров имеет тип vector а второй int или float.

R = адрес триады sub А_1, А₂

{умножить}_{A1, A2, R}

Аномальные ситуации:

1) если тип параметров vector и их размерности не совпадают.

R = адрес триады mul А_1, А₂

{разделить}_{A1, A2, R}

Аномальные ситуации:

1) если тип параметров vector и их размерности не совпадают.

R = адрес триады div А_1, А₂

{длина_вектора}_{A1, A2, R} (параметр А₂ фиктивный)

Аномальные ситуации:

1) если тип параметрa А₁ не vector.

R = адрес триады len А_1, А₂

{элемент_вектора}_{A1, A2, R}

Аномальные ситуации:

1) если тип параметрa А₁ не vector.

2) если значение параметра А₂ больше, чем размерность вектора.

R = адрес триады elm А_1, А₂

2) Атрибутная грамматика для подграмматики описаний.

Нетерминалы :

OPS	последовательность описаний
OP_	остаток последовательности описаний
KO	конкретное описание
KO’	остаток конкретного описания
KOV	конкретное описание вектора
KO_	остаток конкретного описания вектора
OV	описание вектора
OV’	остаток описания вектора
OP	описание
OST	остаток описания
OC	описание константы

Правила :

1) OPS ® OP OP_ 2) OPS ® e 3) OP_ ® OP OP_

4) OP_ ® e 5) KO ® i = V KO'

6) KO' ® e 7) KO' ® , i = V KO'

8) KOV ® OV KO_ 9) KO_ ® e 10) KO_ ® , OV KO_

11) OV ® i = { V OST } 12) OST ® , V OST

13) OST ® e 14) OP ® int KO ;

15) OP ® flt KO ; 16) OP ® vct [ V ] KOV ;

17) OP -> cst OC 18) OC -> int KO ;

19) OC -> flt KO ; 20) OC -> vct [ V ] KOV ;