Alaptípusok az Oberonban:
| Típusnév | Értékei |
| BOOLEAN | TRUE, FALSE |
| CHAR | Az ASCII karakterkészlet |
| SHORTINT | Egész számok MIN ( SHORTINT )-tol MAX ( SHORTINT )-ig |
| INTEGER | Egész számok MIN ( INTEGER )-tol MAX ( INTEGER )-ig |
| LONGINT | Egész számok MIN ( LONGINT )-tol MAX ( LONGINT )-ig |
| REAL | Valós számok MIN ( REAL )-tol MAX ( REAL )-ig |
| LONGREAL | Valós számok MIN ( LONGREAL )-tol MAX ( LONGREAL )-ig |
| SET | MIN ( SET ) és MAX ( SET ) közötti egész számokból álló halmazok |
| BYTE | Egész számok 0-tól 255-ig |
A SHORTINT, INTEGER és a LONGINT egész típusok; a REAL és LONGREAL valós típusok; ezek a numerikus típusok.
A numerikus típusok hierarchikusan rendezõdnek: a nagyobb típus tartalmazza a kisebbeket:
LONGREAL tartalmazza REAL tartalmazza LONGINT tartalmazza INTEGER tartalmazza SHORTINT
-
Tömb:
Fix számú azonos típusú elembõl álló struktúra. A tömb indexei 0-tol tömbhossz-1-ig terjedhetnek. Többdimenziós tömböt a dimenzióméretek vesszõvel elválasztott felsorolásával deklarálhatunk.ArrayType = ARRAY Length { "," Length } OF Type = ConstExprLength = ConstExpr
A hossz nélkül deklarált tömböket nyílt tömböknek nevezzük. A megszorítás az, hogy az elemei csak alaptípusok lehetnek.
Példák:
ARRAY N OF INTEGER ARRAY 10,20 OF REAL -
Rekord:
Fix számú akár különbözõ típusú elembõl álló struktúra. Minden elemnek meg kell adni a típusát és egy mezõazonosítót, ami meghatározza a mezõt. A mezõk hatásköre a deklarációjuktól a rekord végéig tart. Késõbb a "." szelektorral hivatkozni lehet rájuk. Ha a rekord típust exportálni akarjuk, meg lehet határozni mely mezõk legyenek láthatóak a külvilág felé. Ezeket nevezik publikus mezõknek, a többi a privát mezõ.RecordType = RECORD [ "(" BaseType ")" ] FieldListSequence ENDBaseType = QualIdent
FieldListSequence = FieldList {";" FieldList}
FieldList = [IdentList] ":" Type
IdentList = ident {"," ident}
A rekord típusok kiterjeszthetõk. A kiterjesztés reláció a következõ:
T0 típus kiterjesztése a T típusnak, ha
- T azonos T0-al, vagy
- T0 közvetlen kiterjesztése a T egy kiterjesztésének.
A kiterjesztés reláció inverze a bázistípus reláció:
T a T0-nak egy bázistípusa, ha
- T0 azonos T-vel, vagy
- T a T0 egy bázistípusának bázistípusa.
Példa:
RECORD name, firstname : ARRAY 32 OF CHAR; age : INTEGER; salary : REAL END -
Mutató:
A mutató típusú változók egy T típusú változóra mutatnak. Ezt a T típust nevezik a mutató bázis típusának. Egy rekord vagy egy tömb típusú változó vagy formális paraméter címét tartalmazza. A mutató típusok követik a kiterjesztést is: pl. ha egy T1 típus kiterjesztése T-nek, és P1 egy POINTER TO T1 mutató , akkor P1 kiterjesztése P-nek, ahol P1 POINTER TO T típusú mutató.PointerType = POINTER TO TypeHa p egy T típusra mutató pointer típusú változó, akkor a NEW( p ) eljárás lefoglal egy T típusú objektumnak helyet és p erre a helyre fog mutatni. A p^ egy T típusú objektum. Ha T egy többdimenziós nyílt tömb akkor a helyfoglalás: NEW(p,e0,e1,e2,...,en-1), ahol a T-t e0,e1,...en-1 hosszokkal deklaráltuk. Akármelyik pointernek lehet NIL értéke, ekkor a pointer nem mutat egy objektumra sem.
-
Eljárás típus:
Eljárás típusú változóknak egy eljárás az értéke, de csak a típusdefinícióval azonos szignatúrájú eljárást lehet hozzárendelni. A hozzárendelt eljárás nem lehet egy másik eljárás lokális eljárása,sem elõredefiniált eljárás.ProcedureType = PROCEDURE [FormalTypeList]FormalTypeList = "(" [[VAR] FormalType {"," [VAR] FormalType}] ")" [":" QualIdent]
Példa:
VAR write: PROCEDURE(ch: CHAR)