Trellis
Típus, deklaráció
2. Azonosítók, deklaráció
A megjegyzések ! (felkiáltójel) mögött kezdődnek, és a sor végéig tartanak. Egy sorban bárhol kezdhetünk
megjegyzést.
Az azonosítókban a nyelv megengedi a ? (kérdőjel) karaktert. Konvenció, hogy a Boolean visszatérési értékű
függvények neve kérdőjelre végződik.
A Trellis objektum orientált nyelv. Az osztályt a nyelvben típusnak nevezik, megvalósítására a típusmodul
szolgál. Egy típusmodul pontosan egy típust valósít meg, és egyben fordítási egység is. A típusok között
öröklődési reláció definiálható. A Trellis program típusmodulok halmaza.
-
Előre definiált, úgynevezett rendszer típusok például: Integer, Real, String, Boolean.
-
A változó deklarálásakor több lehetséges típust is felsorolhatunk, | karakterrel
elválasztva. Futási időben derül ki a változó aktuális típusa, amelyet a
type_case
szerkezettel ellenőrizhetünk.
-
A változók deklarálásakor adhatunk kezdeti értéket.
-
A változók: referenciák egy objektumra. A változók deklarálása:
var
név: típus [:= érték];
var
név: típus1 [ | típus2 | ...];
A rendszer referencia számlálást végez, és azokat az objektumokat amelyekre nem mutat
referencia, felszabadítja. Az objektumok felszabadításáról így nem a programozónak kell
gondoskodnia, és destruktorokat nem is lehet készíteni.
-
Konstans típust is létrehozhatunk. Ekkor a típusértékek (objektumok) nem változtathatják az
értéküket. Ilyen típusok például az Integer, String, stb.
-
Definiálhatunk úgynevezett rögzített neveket (
FixedName
). Ezek egy típus definíciójának részei, és a típus egy elemét, azaz egy
objektumot látunk el globális névvel általa. Így van definiálva például a Boolean típus részeként a
true
és a
false
logikai érték.