2.1. Lexikális elemek

1. Azonosítók:

   Egy azonosító betûkbol és számokból állhat, az elsõ karakternek betûnek kell lennie.

   ident = letter { letter | digit } 
     
   letter = "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | 
     "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | 
     "y" | "z" | "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | 
     "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | T" | "U" | "V" | "W" | "X" | 
     "Y" | "Z" 
     digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" 
     

   Példák:

   x Scan Oberon2 GetSymbol firstLetter m16b24

2. Numerikus konstansok:

   Egy numerikus konstans egy elõjel nélküli egész vagy valós szám. Az egész szám állhat decimális alakban, ami decimális számjegyek sorozata, vagy hexadecimális alakban, ami hexadecimális számjegyek sorozata a végén egy 'H' betuvel. A valós szám mindig decimális alakban áll, és tizedes pontot tartalmaz. Ezenkívül állhat a végén egy E (REAL típus esetén) vagy D (LONGREAL típus esetén) betûvel bevezetett kitevõ is.
   number = integer | real

   integer = digit {digit} | digit {hexDigit} "H"

   real = digit {digit} "." {digit} [ScaleFactor]

   ScaleFactor = ("E" | "D") ["+" | "-"] digit {digit}

   hexDigit = digit | "A" | "B" | "C" | "D" | "E" | "F"

   Példák:

   1991	INTEGER	1991
   0DH	SHORTINT	13
   12.3	REAL	12.3
   4.567E8	REAL	456700000
   0.57712566D-6	LONGREAL	0.00000057712566

3. Karakter konstansok:

   Egy karakter konstans egy idézõjelek közé zárt tetszõleges karatkter, vagy egy hexadecimális szám egy azt követõ 'X' betûvel. Utóbbi esetben a szám egy karakter kódját jelenti.
   character = '"'char'"' | digit {hexdigit} "X"

   Példák:

   "a" "z" 41X 0FX

4. Karakterfüzér konstansok:

   Egy karakterfüzér konstans tetszõleges karakterek sorozatából áll. Meg lehet adni egyszeres (') vagy kétszeres (") idézõjelben is, de a nyitó- és a záró idézõjelnek meg kell egyeznie és nem fordulhat elõ a karaktersorozatban. Egy karakterfüzér nem nyúlhat át másik sorba. Karakterfüzért értékül lehet adni és össze lehet hasonlítani karaktertömbbel.
   stringconst = '"'{char}'"' | "'"{char}"'"

   Példák:

   "OBERON" 'password: "12345"' "'Crunchy frog' - hip good."

5. Szimbólumok:

   symbol = "+" | "-" | "*" | "/" | "~" | "&" | "." 
     | "," | ";" | "|" | "(" | ")" | "{" | "}" | "[" | "]" | ":=" | "^" | "=" | "#" 
     | "<" | ">" | "<=" | ">=" | "=" | "<>" | ".." | ":" 

6. Kulcsszavak:

   keyword = "ARRAY" | "BEGIN" | "CASE" | "CONST" | "DEFINITION" | "DIV" | "DO" | "ELSE" | "ELSIF" | "END" | "EXIT" | "IF" | "IMPORT" | "IN" | "IS" | "LOOP" | "MOD" | "MODULE" | "NIL" | "OF" | "OR" | "POINTER" | "PROCEDURE" | "RECORD" | "REPEAT" | "RETURN" | "THEN" | "TO" | "TYPE" | "UNTIL" | "VAR" | "WHILE" | "WITH"

7. Megjegyzések:

   Bárhol két szimólum között el lehet helyezni a programban. A megjegyzés kezdetére a '(*' a befejezésére a '*)' szolgál.
   comment = '(*' {anything but not '*)'} '*)'

   Példa:

   (* Ez itt egy megjegyzés! *)

2.2. Deklarációk és láthatósági szabályok

A programban minden azonosítót deklarálni kell, kivéve az elõre definiált azonosítókat. A deklaráció láthatósága a deklarációtól a blokk (eljárás, modul) végéig tart.

Néhány kiegészítés a láthatósághoz:

1. Egy azonosító nem jelölhet több objektumot ugyanazon láthatósági blokkon belül. ( pl. nem lehet kétszer deklarálni egy azonosítót egy blokkban)
2. Egy objektumra csak a hozzá tartozó láthatósági blokkon belül lehet hivatkozni.
3. Ha egy T típus POINTER TO T1-nek van deklarálva, a T1 deklarációja lehet késõbb, mint a T deklarációja, de csak ugyanazon láthatósági blokkon belül.
4. Rekord mezõinek azonosítóira csak a rekord típusú változó, konstans vagy formális paraméter nevével minõsítetten lehet hivatkozni.

   Példa:

   R = RECORD
      x : INTEGER;
   END;
   
   VAR a : R;

   Ekkor az a-beli x csak a.x-ként látszik.

ABS ADR ASH BOOLEAN BYTE CAP CHAR CHR DEC ENTIER EXCL FALSE HALT INC INCL 
INTEGER LEN LONG LONGINT LONGREAL MAX MIN NEW ODD ORD REAL SET SHORT SHORTINT 
SIZE TRUE 

Konstans deklarációk:

Példa:

CONST
   N = 100;
   limit = 2 * N - 1;
   FULLSET = { MIN ( SET ) .. MAX ( SET ) };

Típus deklarációk

Példa:

TYPE
   Table = ARRAY N OF REAL;
   Tree = POINTER TO Node;
   Node = RECORD
      key : INTEGER;
      left, right : TREE
   END;
   CenterNode = RECORD ( Node )
      name : ARRAY 32 OF CHAR;
      subnode : List
   END;
   Function = PROCEDURE ( INTEGER ) : INTEGER;

TYPE
   T0 = RECORD … END
   T1 = RECORD(T0) … END
   P0 = POINTER TO T0;
   P1 = POINTER TO T1;
 
HA T1 kiterjesztése T0-nak, akkor P1 is kiterjesztése P0-nak és P0 a P1 bázistípusa.

Változódeklarációk:

A változóneveknek egy láthatósági blokkon belül egyedieknek kell lenniük. A rekordoknak és a mutatóknak van statikus (az a típus, amit a deklarációval hozzájuk rendelünk) és dinamikus (az a típus ami futás idoben a típusa) típusa.

Azonos típusú változókat vesszõvel elválasztva is deklarálhatunk.

Példa:

2.3. Kifejezések

Operandusok:

Ha a tömb, e INTEGER típusú kifejezés, akkor a[e] az a tömb e-dik eleme. Az a[e0,e1,...,en] kifejezés ugyanazt jelenti, mint az e[e0][e1]...[en] kifejezés. Ha r rekord, akkor az f nevû mezõjét r.f-el lehet elérni. Ha p pointer, akkor p^ a p által mutatott objektum. A p^.f illetve p^[e] kifejezések helyett írható p.f illetve p[e] is.

Típusõr: v(T) megvizsgálja, hogy a v által jelölt objektum dinamikus típusa T-e (vagy T-nek leszármazottja-e). He nem, akkor a program futása megszakad. Az õrfeltétel teljesül, ha

1. v változó típusú rekord paraméter vagy pointer és
2. T kiterjesztése a v statikus típusának

Példák:

Operátorok:

1. ~ (logikai negáció)
2. multiplikativ operátorok (* / DIV MOD &)
3. additív operátorok (+ - OR)
4. relációk (= # < <= > >= IN IS)

A most következõ operátoroknál azonos jelölés esetén az operandusok típusa határozza meg, hogy melyik operátorról van szó.

Logikai operátorok

Aritmetikai operátorok

Halmaz operátorok

Relációk

Aritmetikai és relációs kifejezések

Logikai kifejezések

a&b if a then b else false end
a OR b if a then true else b end
IF (p#NIL)&(p.name=”John”) THEN … END

Halmaz kifejezések

Kifejezés kompatibilitás

Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék