Typy porządkowe

Typ porządkowy obejmuje typy: całkowite, znakowe, logiczne, wyliczeniowe i podzakresowe. Definiują one zawsze uporządkowany zbiór wartości, gdzie dla danej wartości da się określić unikalną wartość poprzednią jak i następną, z wyjątkiem wartości pierwszej i ostatniej w typie.

Dla danych typu całkowitego ich porządek jest określany ich wartościami. Dla typów pozostałych (poza typem podzakresowym), pierwsza wartość ma numer "0", następna "1" itd.

Funkcje operujące na typach porządkowych

• Ord - określa numer kolejny wartości reprezentowanej przez argument
• Pred - określa wartość poprzedzajacą dla argumentu
• Succ - określa wartość następną dla argumentu
• High - określa najwyższą wartość typu porządkowego reprezentowanego przez argument
• Low - określa najniższą wartość typu porządkowego reprezentowanego przez argument

High(Byte) zwraca 255 ponieważ najwyższą wartością typu Byte jest 255

Succ(2) zwraca 3

Pred(12) zwraca 11

Procedury inkrementacji i dekrementacji Inc i Dec odpowiednio zwiększają i zmniejszają wartość argumentu typu porządkowego: Inc(I) jest równoważne I := Succ(I);, a jeśli I jest typu całkowitego, to oznacza to tyle co: I := I + 1;.