SW wykład 7 - Slajd13
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"
Nietrywialne klauzule dla nowej funkcji semantycznej budującej środowiska etykiet obejmują konstrukcje, gdzie (pośrednio lub bezpośrednio) mogą zostać wprowadzone etykiety. Bezpośrednie wprowadzenie etykiety następuje przez instrukcje etykietowane. Znaczenie takiej instrukcji przy danych środowiskach zmiennych, procedur i etykiet oraz danej kontynuacji dodaje do środowiska etykiet otrzymanego przez elaborację instrukcji pod etykietą nowe przypisanie, które dla wprowadzonej etykiety podaje kontynuację od punktu oznaczonego tą właśnie etykietą, a więc "przed" daną instrukcją.
Zwróćmy uwagę, że gdyby ta etykieta została ponownie wprowadzona wewnątrz instrukcji, to jej ponowne wystąpienie zostanie tutaj przesłonięte.
Podobnie dla instrukcji złożonych i warunkowych, musimy zdecydować, które z możliwych kilku wystąpień danej etykiety pozostawimy widoczne --- rozstrzyga o tym kolejność dodawania budowanych przez poszczególne składowe instrukcji środowisk etykiet i (niesymetryczna) definicja "sumowania" takich środowisk. Te czysto techniczne rozstrzygnięcia najprościej pominąć wprowadzając łatwe do sprawdzenia wymaganie, że w danym bloku etykiety nie mogą się powtarzać,
Ważniejsze jednak jest zapewnienie właściwej semantyki dla występujących etykiet przez zadbanie, by elaboracja instrukcji etykietowanych występujących w instrukcjach złożonych odbywała się przy właściwej dla nich kontynuacji. Temu służy staranne przekazywanie właściwych, zgodnych z podstawową semantyką instrukcji kontynuacji dla instrukcji składowych w instrukcji złożonej, gałęzi instrukcji warunkowej i ciała instrukcji pętli.
