SW wykład 7 - Slajd10: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 2: | Linia 2: | ||
[[Grafika:sw0709.png|center|frame]] | [[Grafika:sw0709.png|center|frame]] | ||
Rozszerzamy składnię języka TINY, dodając nową kategorię | Rozszerzamy składnię języka TINY, dodając nową kategorię składniową | ||
etykiet (nie będziemy ich tu dokładnie definiować; mogą to być na | etykiet (nie będziemy ich tu dokładnie definiować; mogą to być na | ||
przykład znów identyfikatory | przykład znów identyfikatory lub stałe liczbowe, lub jeszcze inne | ||
dobrze zdefiniowane napisy) oraz rozszerzając składnię instrukcji o | dobrze zdefiniowane napisy) oraz rozszerzając składnię instrukcji o | ||
instrukcje etykietowane i o skoki do takich etykietowanych instrukcji. | instrukcje etykietowane i o skoki do takich etykietowanych instrukcji. | ||
Aktualna wersja na dzień 15:53, 29 wrz 2006
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ładniową 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).
