Słowo ’var’ jest słowem kluczowym rozpoczynającym sekcję deklaracji zmiennych. Deklaracja zmiennych wprowadza identyfikatory zmiennych wymienione po lewej stronie deklaracji, i zapowiada, że będą one używane dla oznaczania wartości typu podanego po prawej stronie deklaracji.
Definicje stałych w języku Pascal mają następującą postać:
const stalal=’opis stałej’;
Słowo ’const’ jest słowem kluczowym rozpoczynającym sekcję definicji stałych. Stałe, podobnie jak zmienne, przechowują wartości różnych typów ale nie mogą być modyfikowane podczas realizacji programu.
Przykład
const zakres=100; pi=3.14; liczba=17; znak=’a’;
ciag_znakow=’ala’;
3.5 Typy proste
Podstawowymi typami języka Pascal są typy proste. Przy ich pomocy definiuje się bardziej złożone typy strukturalne.
Typy standardowe
typ |
identyfikator |
przykładowe |
funkcje |
typu |
elementy typu |
i relacje | |
logiczny |
boolean |
true, false |
and, or, not |
całkowity |
integer |
-2, 1, 1000 |
+,-,*, div, mod,< |
znakowy |
char |
’a’,’l | |
rzeczywisty |
real |
10,1.7,1,2E4 | |
łańcuchowy |
string |
’ala’ |
+,< |
Typy logiczny, całkowity i znakowy są typami porządkowymi. Na elementach typu porządkowego T są określone funkcje ord przekształcającą typ T w typ integer oraz funkcje poprzednika i następnika
suce, pred : T —> T
(suce nie jest zdefiniowany dla ostatniego elementu typu T, a pred nie jest zdefiniowany dla pierwszego elementu typu T).
Przykład deklaracji zmiennych:
var x,y,z : real; p,q : boolean; litera : char; sl,s2 : string; m,n : integer;
Używając funkcji i relacji tworzymy ze zmiennych i stałych wyrażenia.
Przykłady wyrażeń: