Típusok, típuskonstrukciók
Típusszerkezet
Elemi típusok
Disztkrét típus(ok)
Logikai típus: bool (Egészként ábrázolódik)
Egész típus: int
Karakter típus (ASCII): char
Valós típus(ok)
Valós típus: real (C-beli megfelelõje a double)
Mutató és referencia típusok
Literál: string[hossz]
A hossz típusparaméter (* : változó hossz)
File-referencia: file
Az open( filenév, mód ) paranccsal lehet megnyitni,
a read( azonosító, str ) utasítással pedig olvasni belõle, ahol str string[*] típusú.
Mutató adott típusra: ptr típus Dereferencia: x^
ptr int p = new( int )
Mutató tetszõleges típusra: ptr any
ptr any q = null
Típuskonstrukciók
- Tömb típus(ok)
Tömb: [] típusnév
Többszörös tömb elemére való hivatkozás: x[i][j] vagy x[i,j].
Résztömbre lehet x[a:b] alakban hivatkozni.
A tömbindexek alsó korlátja 1
real x[ n, n ] = ( [n] ( [n] 1.0 ) ) # többszörös tömb elemenkénti inicializálása
Felsorolási típus: enum( literálsorozat )
enum( a, b, c )
Rekord típus: rec( mezők ) A mezőket típus változónév sorrendben kell megadni és pontosvesszõvel
elválasztani
type complex = rec( real x, real y )
- Direkt szorzat típus
- Unió típus
union( mezõk ) A mezõk formátuma hasonló a rekordéhoz
type un = union( int x, bool[1:5] y )
- Halmaz típus
Típuskonverziók
- Képességváltozó
cap id Pl. virtuális gépek kezelésére való
- Típusdeklaráció
type azonosító Az új típus a már meglevõekhez hasonlóan használható
- Implicit konverzió
Az egyetlen implicit konverzió az int-rõl real-re; a többire explicit konverziós függvények
állnak rendelkezésre.
Változók, konstansok
Konstans van, a const kulccszó vezeti be
Kifejezések, operátorok