Ingresja

Ten artykuł dotyczy pojęcia informatycznego. Zobacz też: Ingresja morza.

Ingresja, punkt wejścia – punkt (miejsce) w podprogramie, od którego rozpoczyna się wykonywanie zawartych w bloku podprogramu instrukcji w wyniku wywołania tego podprogramu. Wywołanie pewnego podprogramu powoduje wykonanie określonych czynności wstępnych, przed wykonaniem instrukcji zawartych w bloku podprogramu zdefiniowanych przez programistę. Między innymi następuje skojarzenie argumentów wyspecyfikowanych w wywołaniu z odpowiadającymi im parametrami wyszczególnionymi w deklaracji podprogramu, a następnie wykonywane jest przeniesienie sterowania do odpowiedniego punku wejścia do podprogramu. W większości języków programowania dostępny jest jeden punkt wejścia do podprogramu, tzn. wykonywanie danego podprogramu rozpoczyna się zawsze od pierwszej instrukcji zawartej w bloku uruchomionego podprogramu. Istnieje jednak grupa języków, w których składni przewidziano możliwość tworzenia wielu punktów wejść do jednego podprogramu.

Na ogół podprogram to ciąg oznaczonych w określony sposób instrukcji, który umożliwia w instrukcji wywołania bądź w wyrażeniu, przeniesienie sterowania do pierwszej instrukcji tego ciągu, a po jego wykonaniu powrót sterowania do miejsca wywołania. Sposób oznaczania takiego ciągu zależny jest od składni konkretnego języka programowania. Najczęściej jest to pewien identyfikator, choć stosowane są również inne rozwiązania, np. numer wiersza kodu. O ile większość języków programowania umożliwia w takim ciągu umieszczenie wielu instrukcji powrotu, tzn. wielu punktów wyjścia z podprogramu, o tyle stosunkowo niewiele języków zapewnia możliwość definiowania więcej niż jednego punktu wejścia do podprogramu. Możliwość definiowana wielu punktów wejść i wyjść do podprogramu to dodatkowe możliwości dla programisty kontrolowania i sterowania przebiegiem realizacji algorytmu, które jednak mogą powodować zwiększenie złożoności i zaciemnienie czytelności kodu źródłowego^[1].

W językach, w których składni jest zawarte definiowanie dodatkowych punktów wejść do podprogramu, często rozróżnia się:

• ingresję główną – pierwszy punkt wejścia, odpowiadający pierwszej instrukcji w bloku kodu podprogramu
• ingresje poboczne – dodatkowo zdefiniowane punkty wejść wewnątrz bloku podprogramu.

Sposób deklarowania ingresji zależny jest od składni konkretnego języka programowania. Dla ingresji głównej nie ma odrębnej deklaracji i wynika ona wprost z definicji podprogramu jako początek bloku kodu tego podprogramu. Dla ingresji pobocznych polega zasadniczo na umieszczeniu w odpowiednim miejscu kodu źródłowego podprogramu deklaracji ingresji o postaci analogicznej z nagłówkiem (prototypem) podprogramu, stosowanym w danym języku programowania. Zwykle stosowane jest jednak, w celu odróżnienia ingresji pobocznej od deklaracji podprogramu, inne słowo kluczowe identyfikujące taką deklarację. Przykładowo w języku PL/I zamiast słowa PROC (deklarującego ingresję główną), stosuje się słowo ENTRY^[2].

W językach programowania wejście do podprogramu następuje w wyniku wykonania instrukcji wywołania, wywołania podprogramu funkcyjnego w wyrażeniu czy też w inny sposób, np. przerwanie, zdarzenie itp. O tym, który podprogram zostanie wykonany, decyduje użycie odpowiedniego oznacznika podprogramu, np. identyfikatora. Wejście do podprogramu w innym punkcie niż punkt główny, tzn. w miejscu ingresji pobocznej, we wszystkich językach realizowane jest identycznie z wejściem do ingresji głównej, z tą różnicą, że należy zastosować oznacznik odpowiedniej ingresji pobocznej z listą argumentów zgodną z deklaracjami parametrów dla tej konkretnej ingresji.

W większości języków programowania wysokiego poziomu dostępny jest jeden punkt wejścia do podprogramów. Tak jest m.in. w językach Pascal^[3][4], w implementacji Turbo/Borland Pascal^[5], C^[6][7], Modula-2^[8], Clipper^[9], Forth^[10][4], Icon^[11] i wielu innych. Poniżej przedstawiony jest przegląd tych języków, w których można definiować ingresje poboczne.

W języku PL/I można deklarować wiele punktów wejść do procedur (podprogramów proceduralnych jak i funkcyjnych). Taka deklaracja ingresji pobocznej ma postać:

 lista_ingresji_(identyfikatorów): ENTRY[(lista_parametrów)][lista_fraz];

Należy podkreślić, że każda ingresja może mieć różne parametry i atrybuty wyszczególnione na liście fraz^[2].

Deklaracja kolejnego punktu wejścia do podprogramu w Fortranie (Fortran 77)^[12], ma postać:

 ENTRY identyfikator_ingresji lista_parametrów

W języku Basic, w szczególności starszych wersjach, np. dla komputerów ośmiobitowych, jedyną formą podprogramów były bezparametrowe bloki kodu wywoływane instrukcją GOSUB, identyfikowane numerem wiersza, a powrót następował po napotkaniu instrukcji RETURN. Taki sposób definiowania podprogramów umożliwiał tworzenie wielu punktów wejść:

10 …
20 GOSUB 100
30 …
40 GOSUB 120
50 …
100 REM początek podprogramu
110 …
120 REM ingresja poboczna
130 …
140 RETURN

Ingresja główna dla tak skonstruowanego podprogramu znajduje się w linii 100, a ingresja poboczna w linii 120, co nie ogranicza możliwości tworzenia większej liczby ingresji pobocznych. W tym przypadku ingresja definiowana jest w wywołaniu, a nie w definicji podprogramu^[4].

W języku niskiego poziomu jakim jest asembler, również istnieje możliwość definiowania bezparametrowych podprogramów z wieloma punktami wejść^[13], na zasadach analogicznych do języka Basic. Stosuje się do tego instrukcje CALL i RET, które w swej istocie są analogiczne do instrukcji GOSUB i RETURN języka Basic.