ForthLogic inst prog H P.1.2 120113.pdf - F&F

Instrukcja programowania w języku ForthLogic wersja P.1.2
słowie TIMER!, a w przypadku kiedy timer nie jest uruchomiony będzie to 0.
Z uwzględnieniem poprzedniego podamy następujący przykład:
> alarm
(OK)
> 1 TIMER? DUP . NAME
1534 alarm (OK)
> end
(OK)
> 1 TIMER? DUP . NAME
0 (OK)
>
Ponieważ po wykonaniu słowa alarm, timer 1 uruchamia się ponownie, to w jakiejkolwiek chwili czasu, podczas
wykonania słowa TIMER?, na stos będzie położony adres słowa „alarm” (pokazane znaczenie adresu przytoczono w
przykładzie). Za pomocą słów DUP . NAME zarazem przywołaliśmy na terminal adres i nazwę słowa. Po zatrzymaniu
wykonywania słowa alarm i powtórzeniu procedury na stosie będzie wartość 0, a wiersz z nazwą słowa nie jest
drukowany.
4.7 WYKONANIA WEKTOROWE
Wiemy, że przy definicji nowych słów musimy stosować znane fort‐systemowi słowa. Jednak, istnieje mechanizm, który
pozwala zdefiniować słowo, które w swej definicji zawiera słowo jeszcze nie zdefiniowane. Ten mechanizm ściśle związany
jest z pojęciem wykonania wektorowego i opiera się na słowach EXECUTE i FIND. Słowo EXECUTE (wykonać) zdejmuje ze
stosu górne znaczenie jako wykonawczy adres jakiegokolwiek słowa w słowniku i dane słowo natychmiast wykonywane
jest tak, jakby było bezpośrednio wprowadzone do fortu‐systemu. Uwaga: zalecana duża ostrożność przy pracy z
adresami wykonawczymi ‐ jeśli liczba na szczycie stosu podczas wykonania słowa EXECUTE nie jest takim adresem, to
skutki wykonania słowa EXECUTE będą nieprzewidywalne! Dzięki słowu EXECUTE pojawia się możliwość przekazania
przez stos adresu wykonawczego tego samego typu słów i w ten sposób zrealizować wektorowe, czyli zależne od
kontekstu wykonanie programu.
Wykonawczy adres słowa można za pomocą słowa FIND (znaleźć). Słowo FIND sczytuje wiersz z bufora wyjściowego do
pierwszej spacji (słowo, dla którego trzeba znaleźć wykonawczy adres) i jeśli słowo to jest znane forth‐systemowi, na stos
kładzie adres wykonawczy tego słowa.
Przytoczymy przykład aplikacji wspomnianych słów:
> 0 CONSTANT 1beep_adr
(OK)
> : (1beep) 1beep_adr EXECUTE ;
(OK)
> : 2beep 1.0 1000 BEEP 1.0 1 TIMER! (1beep) ;
(OK)
> : 1beep 1.0 2000 BEEP 1.0 1 TIMER! 2beep ;
(OK)
> ." 1beep " FIND TO 1beep_adr
(OK)
> 1beep
(OK)
>
Najpierw stworzyliśmy stałą 1beep_adr dla otrzymania wykonawczego adresu (można zastosować zmienną). Następnie
stworzyliśmy słowo‐translator (1beep), które wykonuje adres 1beep_adr. To słowo można wykorzystywać tam, gdzie
planowało się wykorzystać jeszcze niezdefiniowane słowo 1beep w słowie 2beep. I wreszcie, definiujemy słowo 1beep.
Przypisujemy adres wykonawczy słowa 1beep do stałej 1beep_adr, i tym samym tworzymy nieskończoną kolejność
wykonania słów 1beep 2beep 1beep...
‐ 25 ‐