SW wykład 7 - Slajd10
Kontynuacje Kontynuacje wyrażeń i deklaracji Tiny+++ Dziedziny semantyczne Funkcje semantyczne Przykłady klauzul [[SW_wykład_7_-_Slajd7|Przykłady klauzul, c.d.] Instrukcje Bloki Skoki Semantyka skoków Semantyka skoków, c.d. Semantyka skoków, c.d. Semantyka skoków, c.d. Semantyka "standardowa"
Rozszerzamy składnię języka TINY, dodając nową kategorię składnioową etykiet (nie będziemy ich tu dokładnie definiować; mogą to być na przykład znów identyfikatory, lub stałe liczbowe, lub jeszcze inne dobrze zdefiniowane napisy) oraz rozszerzając składnię instrukcji o instrukcje etykietowane i o skoki do takich etykietowanych instrukcji.
Nieformalnie, semantyka tego rozszerzenia powinna być jasna. Przyjmujemy, że etykiety są widoczne wewnątrz bloku, w którym występują, co nie zezwala na skoki do wnętrza bloku z zewnątrz, ale pozwala na skoki do wnętrz pętli, czy do gałęzi instrukcji warunkowych w danym bloku, a także skoki na zewnątrz danego bloku (do zewnętrznych etykiet widocznych w jego wnętrzu).
