Oberon-2 - Oberon-2

Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) Bu maqola juda ko'p narsalarga tayanadi ma'lumotnomalar ga asosiy manbalar. Iltimos, buni qo'shib yaxshilang ikkilamchi yoki uchinchi darajali manbalar. (2011 yil aprel) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) Ushbu maqola umumiy ro'yxatini o'z ichiga oladi ma'lumotnomalar, lekin bu asosan tasdiqlanmagan bo'lib qolmoqda, chunki unga mos keladigan etishmayapti satrda keltirilgan. Iltimos yordam bering yaxshilash tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2011 yil aprel) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Oberon-2

Paradigma	majburiy, tuzilgan, modulli, ob'ektga yo'naltirilgan
Loyihalashtirilgan	Niklaus Virt, Xanspeter Mussenbok
Birinchi paydo bo'ldi	1991
Matnni yozish	kuchli, statik
Ta'sirlangan
Oberon, Modula-2, Paskal
Ta'sirlangan
Komponent Paskal, Boring

Oberon-2 asl nusxasining kengaytmasi Oberon dasturlash tili bu cheklangan qo'shimchalar aks ettirish va ob'ektga yo'naltirilgan dasturlash ob'ektlar, ko'rsatgich bazasi turlari sifatida ochiq massivlar, faqat o'qish uchun mo'ljallangan maydon eksporti va FOR loopini qayta kiritadi Modula-2.

U 1991 yilda ishlab chiqilgan ETH Tsyurix tomonidan Niklaus Virt va Xanspeter Mussenbok, kim hozirda Systemsoftware Institut (SSW) da ishlaydi Linz universiteti, Avstriya. Oberon-2 Oberon-ning yuqori to'plamidir va u bilan to'liq mos keladi. Oberon-2 qayta ishlangan edi Oberon ob'ekti.

Oberon-2 cheklangan aks ettirishni va bitta merosni ("kengaytma turi") interfeyssiz yoki aralashmalar Oberon-dan, ammo samarali virtual usullarni qo'shdi ("turi bilan bog'langan protseduralar"). Qo'ng'iroqlar ish vaqtida hal qilindi C ++ -stili virtual usul jadvallari.

Kabi to'liq ob'ektga yo'naltirilgan dasturlash tillari bilan taqqoslaganda Kichik munozarasi, Oberon-2-da asosiy turlar ob'ekt emas, sinflar ob'ekt emas, ko'p operatsiyalar usul emas, yo'q xabar o'tmoqda (ma'lum darajada uni ETH Oberonda ko'rsatilgandek, aks ettirish va xabarni kengaytirish orqali taqlid qilish mumkin) va polimorfizm oddiy sinfning subklasslari bilan cheklangan (yo'q o'rdak terish kabi Python,^[1] kabi interfeyslarni aniqlash mumkin emas Java ). Oberon-2 qo'llab-quvvatlamaydi kapsulalash ob'ekt / sinf darajasida, ammo buning uchun modullardan foydalanish mumkin.

Oberon-2-da aks ettirish meta-ob'ektlardan foydalanmaydi, lekin oddiygina bajariladigan ikkiliklar tarkibiga kiritilgan va tiplarni va / yoki protseduralarni belgilaydigan modullarda joylashgan tipikklipatorlardan o'qiydi. Agar ushbu tuzilmalarning formati til darajasida ochiq bo'lsa (masalan, ETH Oberon uchun bo'lgani kabi), aks ettirish kutubxona darajasida amalga oshirilishi mumkin. Shuning uchun til kodini o'zgartirmasdan deyarli kutubxona darajasida amalga oshirilishi mumkin. Darhaqiqat, ETH Oberon til va kutubxona darajasida aks ettirish imkoniyatlaridan keng foydalanadi.

Oberon-2 Java-ga o'xshash axlat yig'ish uchun o'rnatilgan ish vaqtini qo'llab-quvvatlaydi va chegara va qator indekslarini tekshirishni amalga oshiradi va hokazo. Bu potentsial stek va qator chegaralarini yozish muammolarini va C / C ++ ga xos bo'lgan qo'lda xotirani boshqarish muammolarini yo'q qiladi. Modul arxitekturasi orqali ramz fayllari va nom bo'shliqlaridan foydalangan holda alohida kompilyatsiya tez qayta tiklanishni ta'minlaydi, chunki faqat interfeyslari o'zgargan modullarni qayta kompilyatsiya qilish kerak.

Til Komponent Paskal^[2] Oberon-2 ning takomillashtirilishi (superset).

Misol Oberon-2 kodi

Quyidagi Oberon-2 kodi juda kam ro'yxat sinfi:

MODUL Ro'yxatlar;    (*** global barqarorlarni, turlarni va o'zgaruvchilarni e'lon qiling ***)    TURI        Ro'yxat*    = POINTER TO ListNode;        ListNode = YOZISH            qiymat : Butun son;            Keyingisi  : Ro'yxat;        OXIRI;    (*** protseduralarni e'lon qiling ***)    TARTIBI (l : Ro'yxat) Qo'shish* (v : Butun son);    BOSHLASH        IF l = NIL Keyin            YANGI(l);             (* yozuv nusxasini yaratish *)            l.qiymat := v        BOShQA            l.Keyingisi.Qo'shish(v)      (* .add (n) * ga rekursiv qo'ng'iroq)        OXIRI    OXIRI Qo'shish;    TARTIBI (l : Ro'yxat) Ol* () : Butun son;    VAR        v : Butun son;    BOSHLASH        IF l = NIL Keyin            QAYTISH 0           (* .get () har doim INTEGER * ni qaytarishi kerak)        BOShQA            v := l.qiymat;       (* bu chiziq buziladi, agar l NIL bo'lsa *)            l := l.Keyingisi;            QAYTISH v        OXIRI    OXIRI Ol;OXIRI Ro'yxatlar.

Oberon-2 Oberon-ga kengaytirilgan^[3]

Turga bog'liq protseduralar

Protseduralar yozuv (yoki ko'rsatgich) turiga bog'langan bo'lishi mumkin. Ular ob'ektga yo'naltirilgan terminologiyada instansiya usullariga teng.

Faqat o'qish uchun eksport qilish

Eksport qilingan o'zgaruvchilar va yozuv maydonlaridan foydalanishni faqat o'qish huquqi bilan cheklash mumkin. Bu "-" ko'rinish bayrog'i bilan ko'rsatilgan.

Massivlarni ochish

Ilgari faqat rasmiy parametr turlari deb e'lon qilinishi mumkin bo'lgan ochiq massivlar endi ko'rsatgich bazasi turlari sifatida e'lon qilinishi mumkin.

Bayonot uchun

Paskal va Modula-2 ning FOR bayonoti Oberonda amalga oshirilmadi. U Oberon-2-da qayta tiklangan.

Ish vaqtini tekshirish

Oberon-2 tekshirishning bir qancha mexanizmlarini taqdim etadi dinamik ob'ekt turi. Masalan, Bird ob'ekti o'rdak yoki kakuga taalluqli bo'lishi mumkin bo'lgan joyda, Oberon-2 dasturchiga ish vaqtida ob'ektning haqiqiy turiga javob berishga imkon beradi.

Birinchi, odatiy yondashuv - ga tayanish majburiy tizim turi. Ikkinchi yondashuv - dan foydalanish Bilan bayonot, bu esa dinamikaga imkon beradi pastki turi to'g'ridan-to'g'ri tekshirilishi kerak bo'lgan o'zgaruvchining. Ikkala holatda ham, pastki turi aniqlangandan so'ng, dasturchi pastki turga mos keladigan har qanday turga bog'liq protseduralardan yoki o'zgaruvchilardan foydalanishi mumkin. Ushbu yondashuvlarning namunalari quyida keltirilgan.

Ning shakli ekanligini unutmang Bilan "Oberon-2" da ishlatilgan bayonot Paskal va "Modula-2" so'zlari bilan bog'liq emas. Yozuv maydonlariga kirishni qisqartirishning bu usuli Oberon yoki Oberon-2 da qo'llanilmagan.

Majburiy turdagi

 MODUL Qushlar;     TURI         Qush* = YOZISH             tovush* : ARRAY 10 OF Char;         OXIRI; OXIRI Qushlar.  MODUL O'rdaklar;     IMPORT Qushlar;      TURI         O'rdak* = YOZISH (Qushlar.Qush) OXIRI;      TARTIBI SetSound* (VAR qush : O'rdak);     BOSHLASH         qush.tovush := "Quack!"      OXIRI SetSound; OXIRI O'rdaklar.  MODUL Kakushlar;     IMPORT Qushlar;      TURI         Kuku* = YOZISH (Qushlar.Qush) OXIRI;      TARTIBI SetSound* (VAR qush : Kuku);     BOSHLASH         qush.tovush := - Kuku!     OXIRI SetSound; OXIRI Kakushlar.

Bilan bayonot

 MODUL Sinov;     IMPORT Chiqdi, Qushlar, Kakushlar, O'rdaklar;      TURI         Qush* = YOZISH (Qushlar.Qush) OXIRI;      VAR         sb : Qush;         v  : Kakushlar.Kuku;         d  : O'rdaklar.O'rdak;      TARTIBI SetSound* (VAR qush : Qushlar.Qush);     BOSHLASH         Bilan qush : Kakushlar.Kuku QILING              qush.tovush := - Kuku!            | qush : O'rdaklar.O'rdak QILING              qush.tovush := "Quack!"         BOShQA              qush.tovush := "Tweet!"         OXIRI     OXIRI SetSound;      TARTIBI MakeSound* (VAR b : Qushlar.Qush);     BOSHLASH         Chiqdi.Ln;         Chiqdi.Ip(b.tovush);         Chiqdi.Ln     OXIRI MakeSound;  BOSHLASH     SetSound(v);     SetSound(d);     SetSound(sb);      MakeSound(v);     MakeSound(d);     MakeSound(sb) OXIRI Sinov.

POINTER

 MODUL PointerBirds;     IMPORT Chiqdi;      TURI         BirdRec*   = YOZISH             tovush* : ARRAY 10 OF Char;         OXIRI;         DuckRec*   = YOZISH (BirdRec) OXIRI;         CuckooRec* = YOZISH (BirdRec) OXIRI;          Qush   = POINTER TO BirdRec;         Kuku = POINTER TO CuckooRec;         O'rdak   = POINTER TO DuckRec;     VAR        pb : Qush;        kompyuter : Kuku;        pd : O'rdak;      TARTIBI SetDuckSound* (qush : O'rdak);     BOSHLASH         qush.tovush := "Quack!"     OXIRI SetDuckSound;      TARTIBI SetCuckooSound* (qush : Kuku);     BOSHLASH         qush.tovush := - Kuku!     OXIRI SetCuckooSound;      TARTIBI SetSound* (qush : Qush);     BOSHLASH         Bilan qush : Kuku QILING              SetCuckooSound(qush)            | qush : O'rdak QILING              SetDuckSound(qush)         BOShQA              qush.tovush := "Tweet!"         OXIRI     OXIRI SetSound;  BOSHLASH     YANGI(kompyuter);     YANGI(pd);      SetCuckooSound(kompyuter);     SetDuckSound(pd);      Chiqdi.Ln; Chiqdi.Ip(kompyuter^.tovush); Chiqdi.Ln;     Chiqdi.Ln; Chiqdi.Ip(pd^.tovush); Chiqdi.Ln;      SetSound(kompyuter);     SetSound(pd);      Chiqdi.Ln; Chiqdi.Ip(kompyuter^.tovush); Chiqdi.Ln;     Chiqdi.Ln; Chiqdi.Ip(pd^.tovush); Chiqdi.Ln;  (* -------------------------------------- *) (* Jarayonga dinamik turni o'tkazing *)      pb := pd;      SetDuckSound(pb(O'rdak));     Chiqdi.Ln; Chiqdi.Ip(pb^.tovush); Chiqdi.Ln;      pb := kompyuter;      SetCuckooSound(pb(Kuku));     Chiqdi.Ln; Chiqdi.Ip(pb^.tovush); Chiqdi.Ln;  (* -------------------------------------- *)      SetSound(pb);     Chiqdi.Ln; Chiqdi.Ip(pb^.tovush); Chiqdi.Ln;      pb := pd;      SetSound(pb);     Chiqdi.Ln; Chiqdi.Ip(pb^.tovush); Chiqdi.Ln;  (* -------------------------------------- *)      YANGI(pb);      SetSound(pb);     Chiqdi.Ln; Chiqdi.Ip(pb^.tovush); Chiqdi.Ln OXIRI PointerBirds.

IS operator

Uchinchi yondashuv IS operator. Bu tenglik bilan bir xil ustuvorlikka ega bo'lgan operator operatori (=), katta (>) va boshqalar, ammo ular dinamik turni sinab ko'radi. Ikki boshqa yondashuvdan farqli o'laroq, u dasturchiga aniqlangan pastki turga kirishga ruxsat bermaydi.

Sintaksis

Ning rivojlanishi ALGOL - Paskal - Modula-2 - Oberon - Komponent Paskal til oilasi a bilan belgilanadi kamaytirish til sintaksisining murakkabligida. Butun Oberon-2 tili tasvirlangan (Mosssenbok & Wirth, 1995 yil mart) da faqat 33 grammatik ishlab chiqarishdan foydalanish kengaytirilgan Backus-Naur shakli, quyida ko'rsatilganidek.

Modul = MODULE identifikatori ";" [ImportList] DeclSeq [BEGIN bayonoti] END identifikatori ".".ImportList = IMPORT [identifikator ":="] identifikator {"," [identifikator ":="] identifikator} ";".DeclSeq = { CONST {ConstDecl ";" } | TURI {TypeDecl ";"} | VAR {VarDecl ";"}} {ProcDecl ";" | ForwardDecl ";"}.ConstDecl = IdentDef "=" ConstExpr.TypeDecl = IdentDef "=" Turi.VarDecl = IdentList ":" Turi.ProcDecl = TARTIBI [Qabul qiluvchi] IdentDef [FormalPars] ";" DeclSeq [BEGIN bayonoti] END identifikatori.ForwardDecl = TARTIBI "^" [Qabul qiluvchi] IdentDef [FormalPars].FormalPars = "(" [FPS bo'limi {";" FPS bo'limi}] ")" [":" Qobiliyatsiz].FPS bo'limi = [VAR] identifikator {"," identifikator} ":" Turi.Qabul qiluvchi = "(" [VAR] identifikator ":" identifikator ")".Turi = Qobiliyatsiz              | ARRAY [ConstExpr {"," ConstExpr}] OF turi              | YOZISH ["("Qobiliyatsiz")"] FieldList {";" FieldList} OXIRI              | Yozish uchun ko'rsatma              | TARTIBI [FormalPars].FieldList = [IdentList ":" Turi].Bayonot = Bayonot {";" Bayonot}.Bayonot = [ Dizayner ":=" Expr              | Dizayner ["(" [ExprList] ")"]              | IF Expr UNDA BayonotSeq {ELSIF Expr UNDAN BayonotSeq} [BOShQA bayonoti] OXIRI              | Ishning ishi {"|" Ish} [BOShQA bayonoti] OXIRI              | Expr DO StatementSeq END ni bajaring              | Takroriy bayonot Sek              | Identifikator uchun ":=" Exprdan Exprgacha [ConstExpr tomonidan] Do StatementSeq END tugatish              | LOOP StatementSeq END              | Guard bilan Do bayonotiSeq {"|" Qo'riqchi DO bayonoti} [BOShQA bayonoti] OXIRI              | CHIQISH              | QAYTISH [Expr]      ].	Ish = [CaseLabels {"," CaseLabels} ":" Bayonot].CaseLabels = ConstExpr [".." ConstExpr].Qo'riqchi = Qobiliyatsiz ":" Qobiliyatsiz.ConstExpr = Expr.Expr = SimpleExpr [Aloqa SimpleExpr].SimpleExpr = ["+" | "-"] Muddat {AddOp muddati}.Muddat = Faktor {MulOp omili}.Faktor = Dizayner ["(" [ExprList] ")"] | raqam | belgi | mag'lubiyat | NIL | O'rnatish | "(" Expr ")" | " ~ " Faktor.O'rnatish = "{" [Element {"," Element}] "}".Element = Expr [".." Expr].Aloqalar = "=" | "#" | "<" | "<=" | ">" | ">=" | IN | IS.AddOp = "+" | "-" | Yoki.MulOp = "*" | "/" | DIV | MOD | "&".Dizayner = Qobiliyatsiz {"." identifikator | "[" ExprList "]" | " ^ " | "(" Qobiliyatsiz ")"}.ExprList = Expr {"," Expr}.IdentList = IdentDef {"," IdentDef}.Qobiliyatsiz = [identifikator "."] identifikator.IdentDef = identifikator [" * " | " - "].

Amaliyotlar

Tomonidan qo'llab-quvvatlanadigan Oberon-2 kompilyatorlari ETH Windows, Linux, Solaris, Mac OS X uchun versiyalarni o'z ichiga oladi.

The Oksford Oberon-2 kompilyatori mahalliy kompyuter kodlari bilan kompilyatsiya qilinadi va Windows, Linux va Mac OS X da JIT-dan foydalanishi mumkin Mayk Spivey va ishlatadi Keiko virtual mashinasi.

Oberon-2 bor Lex skaner va Yakk tahlilchi Mussenbok va Virt ma'lumotlariga asoslanib, Buyuk Britaniyaning Manchester Universitetidan Stiven J Bevan tomonidan. Bu 1.4-versiyada.

Nomlangan nashr mavjud Mahalliy Oberon operatsion tizimni o'z ichiga oladi va to'g'ridan-to'g'ri kompyuter sinfidagi qo'shimcha qurilmalarni yuklashi mumkin.

A .NET .NET bilan bog'liq ba'zi kichik kengaytmalarni qo'shish bilan Oberon-ni amalga oshirish ETHZ-da ham ishlab chiqilgan.

Programmer's Open Workbench (POW!)^[4] muharriri, bog'lovchi va Oberon-2 kompilyatori bilan ta'minlangan juda sodda integral ishlab chiqish muhiti. Bu kompilyatsiya qiladi Windows bajariladigan fayllar. To'liq manba kodi berilgan - kompilyator Oberon-2 da yozilgan.

The Java-dan Oberon kompilyatoriga (JOB) Rossiyaning Vologda universitetida yozilgan. Java sinf fayllari shaklida ob'ekt kodini ishlab chiqaradi (bayt kodi ). Java-ga mos keladigan, lekin ko'proq Oberonga o'xshash komponentlar ierarxiyasidan foydalanadigan ba'zi bir JOB-ga xos sinflar taqdim etiladi.

The Oberon-2 kompilyatorini optimallashtirish dastur yaratish uchun gcc asboblar zanjiridan foydalanib, C ga kompilyatsiya qiladi.

Oberon skript to'liq Oberon tilini tarjima qiladigan kompilyator JavaScript. To'g'ri kompilyator JavaScript-da yozilgan va shuning uchun uni qayta ishlash uchun veb-sahifalardan chaqirish mumkin HTML skript Oberonda yozilgan bo'limlar.

XDS Modula2 / Oberon2 - "Excelsior" MChJ, Novosibirsk, Rossiya tomonidan ishlab chiqilgan tizim. Unda Intel Pentium uchun optimallashtiruvchi kompilyator yoki o'zaro faoliyat platformalarni ishlab chiqish uchun "via-C" tarjimoni mavjud. Windows va Linux uchun mavjud. Tuzuvchi Oberon-2 da yozilgan va o'zi kompilyatsiya qiladi.

Oberon uyg'onishi Oberon 2 ni olib kelish loyihasi Komponent Paskal (BlackBox Component Builder ) Linux va Win32-ga. Qora qutining Linux porti ilgari mavjud emas edi va u dastlab faqat Microsoft Windows-da ishlaydi.

XOberon a real vaqtda operatsion tizim uchun PowerPC, Oberon-2-da yozilgan.

Shuningdek qarang

• Oberon (operatsion tizim)
• Oberon (dasturlash tili)
• Bluebottle OS
• Wikibooks-da Oberon

Adabiyotlar

Oberon va Oberon-2 evolyutsiyasi

• "Oberon tilidagi nasab daraxti "da saqlanadi ETHZ
• "Ikkinchi Xalqaro Modula-2 konferentsiyasi", 1991 yil sentyabr.

Batafsil hujjatlar

• Moduladan Oberongacha Wirth (1990)
• Oberonda dasturlash - Modula-2 da dasturlashning hosilasi Wirth (1982)
• Oberon dasturlash tili Wirth (1990)
• Oberon 2 hisoboti
• Oberon-2 dasturlash tili H. Mussenbok, N. Virt, Institut für Computersysteme, ETH Syurix (ETHZ ), 1992 yil yanvar va Strukturaviy dasturlash (1991) 12(4): 179-195.

Kitoblar

• Har xil ma'lumotnomalar, shu jumladan elektron onlayn versiyalar
• Oberon-2-da ob'ektga yo'naltirilgan dasturlash Hanspeter Mussenbok (1994). (Mavjud Yoxannes Kepler universiteti Springer-Verlagning do'stona ruxsati bilan PDF sifatida)
• Oberon-2 va Pascal komponentlaridagi dizayn naqshlari
• Oberon loyihasi. Operatsion tizim va kompilyatorning dizayni Niklaus Virt va Yurg Gutknecht (2005)
• Oberon loyihasi. Operatsion tizim va kompilyatorning dizayni Niklaus Virt va Yurg Gutknecht (2013)

Tashqi havolalar

• Rasmiy veb-sayt, ETH-Tsyurix
• ETH-Tsyurixdagi Oberon ma'lumot sahifasi
• SSWdagi Oberon, Linz
• Pow Tutorial (Rumin tilida), Dan Popa tomonidan
• ftp://ftp.inf.ethz.ch/pub/Oberon/.
• Oberon-2 aks ettirish modeli va uning qo'llanilishi