|
|||
Синтаксис языка JavaScript. Семантика. Синтаксис. СемантикаСтр 1 из 11Следующая ⇒ Синтаксис языка JavaScript Инструкция : Блок Семантика Инструкция может быть частью ИнструкцииСМеткой, которая тоже может являться частью ИнструкцииСМеткой, и так далее. Определённые таким образом метки совместно называются в описаниях семантики отдельных инструкций "текущим набором меток". ИнструкцияСМеткой не имеет никакого семантического предназначения кроме добавления новой метки к набору меток. Набор меток ИнструкцииИтерации или ИнструкцииSwitch изначально содержит единственный элемент пусто. Набор меток любой другой инструкции изначально пуст. 12.1 Блок Синтаксис Блок : { СписокИнструкцийопц } СписокИнструкций : Инструкция Семантика Значение нетерминала Блок : {} вычисляется по следующей схеме: 1. Вернуть (normal, empty, empty). Значение нетерминала Блок : { СписокИнструкций } вычисляется по следующей схеме: 1. Вычислить значение СпискаИнструкций. 2. Вернуть Результат(1). Значение нетерминала СписокИнструкций : Инструкция вычисляется по следующей схеме: 1. Вычислить значение Инструкции. 2. Если было брошено исключение, вернуть (throw, V, empty), где V - исключение. (Далее выполнение продолжается, как будто исключения брошено не было.) 3. Вернуть Результат(1). Значение нетерминала СписокИнструкций : СписокИнструкций Инструкция вычисляется по следующей схеме: 1. Вычислить значение СпискаИнструкций. 2. Если Результат(1) является неожиданным завершением, вернуть Результат(1). 3. Вычислить значение Инструкции. 4. Если было брошено исключение, вернуть (throw, V, empty), где V - исключение. (Далее выполнение продолжается, как будто исключения брошено не было.) 5. Если Результат(3). значение равно empty, приравнять V = Результат(1). значение, иначе приравнять V = Результат(3). значение. 6. Вернуть (Результат(3). тип, V, Результат(3). цель).
|
|||
|