SAtunnaisen YÖkooderin NAputtelun RAtkaisija. LKTT syksy 2006

Transkriptio

1 1 sayōnara SAtunnaisen YÖkooderin NAputtelun RAtkaisija LKTT syksy KESÄKUUTA 2006, VERSIO 1.11 Kielen määrittely annetaan laajennetulla BNF-notaatiolla, joka on seuraava. <nimi> ::= määrittely määrittelee välisymbolin nimi a1 a2 a1 jota välittömästi seuraa a2 a1 a2 a1 tai a2 [ a ] a tai ei mitään { a } nolla tai useampia kertoja a ( a1 a2 ) a3 kaarisulut määräävät vaikutusalueen (esimerkissä a1 tai a2 ja heti perään a3) Kun <nimi> esiintyy operaattorin ::= oikealla puolella, on sen merkitys täsmälleen sama kuin määrittely. 1. Perusrakenteita 1.1. Kommentti on merkkijono, joka alkaa // ja päättyy rivin loppuun Alkioiden (non-terminaalit) välissä saa olla tyhjiä merkkejä: välilyönti, rivinvaihto tai tabulaattori digit ::= integer ::= digit { digit } 1.5. scale_factor ::= ( E e ) [ + - ] integer 1.6. float ::= integer. integer [ scale_factor ] 1.7. number ::= integer float 1.8. letter ::= a... z A... Z ö Ö ä Ä 1.9. ident ::= letter { letter digit _ } ident_list ::= ident {, ident } qualident ::= designator full_ident ::= ident [ [ expression_list ] ] designator ::= { full_ident. } full_ident single_character ::= ascii merkki character ::= single_character \ single_character sayonara.tex 1 Rev: 1.11, Rel, 2. kesäkuuta 2006

2 char_constant ::= character string_constant ::= { character } Kielen varatut sanat (tunnistetaan pienellä kirjoitettuna): and array const declare div do done else elsif end eval exit external fi function hash if import in internal iterate loop mod module not of or out pointer pool procedure record requires return stack type while Näiden lisäksi varattuja sanoja ovat myös kaikki kielen tietotyyppien nimet: bool, char, float, int, str sekä sisäisten funktioiden ja proseduurien nimet: chr, convert, dispose, len, isempty, new, pop, print, println, push, ord ja osoittimiin liittyvät nimet val, nil. 2. Kielen syntaksi 2.1. Käännösyksikkö compilation ::= module { module } module ::= ident module [ import_part ] declaration_part procedure_part [ do statement_sequence ] done ident Moduulin pääosat import_part ::= import ident_list ; declaration_part ::= { type_declaration ; variable_declaration ; } procedure_part ::= { procedure_declaration ; function_declaration ; } 2.3. Peruslauseita boolean_exp ::= expression statement ::= assignment procedure_call if_statement loop_statement while_statement iterate_statement exit [ boolean_exp ] return [ expression ] eval expression statement_sequence ::= [ declare declaration_part do ] statement ; { statement ; } sayonara.tex 2 Rev: 1.11, Rel, 2. kesäkuuta 2006

3 assignment ::= designator := expression procedure_call ::= qualident [ actual_parameters ] if_statement ::= if boolean_exp do statement_sequence { elsif boolean_exp do statement_sequence } [ else statement_sequence ] fi loop_statement ::= loop statement_sequence pool while_statement ::= while boolean_exp loop_statement iterate_statement ::= iterate ident in range loop_statement range ::= expression expression.. expression 2.4. Funktiot ja proseduurit fp_section ::= [ in ] [ out ] ident_list : type formal_parameters ::= ( fp_section { ; fp_section } ) procedure_heading ::= procedure ident [ formal_parameters ] procedure_body ::= statement_sequence done [ ident ] procedure_declaration ::= procedure_heading = procedure_body function_heading ::= function ident [ formal_parameters ] return type function_declaration ::= function_heading = procedure_body actual_parameters ::= ( [ expression_list ] ) function_call ::= qualident actual_parameters 2.5. Tyypit ja muuttujat type ::= qualident [ pointer ] record_type ::= record ident : type { ; ident : type } end array_type ::= array [ range {, range } ] of type hash_type ::= hash of type, type stack_type ::= stack of type sayonara.tex 3 Rev: 1.11, Rel, 2. kesäkuuta 2006

4 type_declaration ::= type ident = ( type record_type array_type hash_type stack_type ) hash_val ::= factor : expression hash_init ::= { hash_val {, hash_val } } array_init ::= [ expression_list ] initialization ::= expression array_init hash_init variable_declaration ::= ident_list : type [ := initialization ] const ident := initialization 2.6. Lausekkeet primary ::= number char_constant string_constant designator function_call ( expression ) prefix_op ::= + - not % factor ::= [ prefix_op ] primary mult_op ::= * / div mod term ::= factor { mult_op factor } add_op ::= + - & simple_expression ::= term { add_op term } relation_op ::= = # = = relation ::= simple_expression [ relation_op simple_expression ] expression ::= relation { and relation } relation { or relation } expression_list ::= expression {, expression } 2.7. Import-moduulin rakenne import_module ::= ident external [ requires_part ] import_declaration_part import_procedure_part requires_part ::= requires ident_list ; import_type_declaration ::= type_declaration import_variable_declaration ::= ident : [ const ] type internal string_constant sayonara.tex 4 Rev: 1.11, Rel, 2. kesäkuuta 2006

5 import_declaration_part ::= { import_variable_declaration ; import_type_declaration ; } import_procedure_part ::= { procedure_heading internal string_constant ; function_heading internal string_constant ; } 3. Tietotyypit 3.1. bool : totuusarvot true ja false char : ascii-merkki (8 bittinen) int : etumerkillinen kokonaisluku (32 bittinen) float : liukuluku (64 bittinen) str : merkkijono (kuten C-kielessä eli ascii-merkit ja viimeisenä tavuna nolla). Merkkijonoa voi indeksoida, jolloin saatu yksittäinen merkki on tyyppiä char array : Samaa tietotyyppiä sisältävä 1 N ulotteinen taulukko hash : Assosiatiivinen taulukko stack : Pino, jota käsitellään aliohjelmilla push, pop ja isempty. 4. Semantiikkaa (tämä ei ole täydellinen luettelo, tarkista WWW-sivulta) 4.1. Leksikaalit Merkkiliteraalien ja merkkijonojen yhteydessä voidaan käyttää merkintää \x, joka tarkoittaa merkkiä x itse tai erikoismerkintää jostain ohjauskoodista. Tällä tavoin saadaan kirjattua esim. merkkijonon sisään lainausmerkki. Ainakin seuraavien symbolien on toimittava: \n rivinvaihto (kuten C-kielessä) \t tabulaattori \0 nolla (merkkijonon lopetusmerkki) \ merkki itse (heittomerkki) \" merkki itse (lainausmerkki) \\ merkki itse (takakenoviiva) Merkkijonon sisällä esiintyvät // eivät aloita kommenttia Kielen varattu sana ei saa esiintyä muussa kuin syntaksin määräämässä merkityksessä. Varattu sana ei siis voi olla esim. moduulin, muuttujan tai tietotyypin nimenä qualident tarkoittaa pisteillä toisistaan eroteltuja nimiä (esim. moduuli.funktionimi ). sayonara.tex 5 Rev: 1.11, Rel, 2. kesäkuuta 2006

6 Nimien peittyminen on sallittua (eli jos esim. funktion parametrina on muuttuja i ja funktion rungossa iterate-silmukan silmukkamuuttuja on i, niin silmukan sisällä i-tarkoittaa silmukkamuuttujaa ja edellisen tason muuttujaan ei pystytä viittaamaan) Moduulit Määrittelyn lopussa oleva ident on sama kuin moduulin nimi Import-moduuli ei esiinny yksinään käännösyksikkönä, vaan se luetaan erillisestä tiedostosta import -käskyn seurauksena Import-moduulin requires -osassa luetellut moduulit otetaan automaattisesti mukaan käännökseen ( monuulinimi.o ) ja niiden alustuskoodi suoritetaan Ohjelmakoodi lähtee suoritukseen Main-nimisen moduulin alustuskoodista. Kaikki muut moduulit ovat käännösyksiköitä, joista tuotetaan esittelytiedosto ja objektitiedosto Esittelytiedosto tuotetaan nimelle moduulinimi.sayonaradef Import-moduulina käyttöön otettujen moduulien alustuskoodit on suoritettava ennen Main:n käynnistymistä Jokaisen moduulin ohjelmakoodissa on globaali rutiini assemblernimellä moduulinimi$init, joka suorittaa moduulin alustuksen Import-moduulien internal -määreet (merkkijono) kertovat rakenteista käytettävän nimen assembler-tasolla Lauseet iterate -silmukan silmukkamuuttuja on näkyvissä ainoastaan silmukan sisällä iterate -silmukan silmukkamuuttujaan ei saa sijoittaa Pinolle suoritettu iterate käy läpi pinon kaikki alkiot (suunnassa pinon päältä pohjalle ) Hash-taulukolle suoritettu iterate käy läpi taulukon kaikki avaimet type T = hash of str, int; puhelinluettelo : T := { "jyke": , "bitti": } // tulosta kaikki numerot iterate nimi in puhelinluettelo loop println( puhelinluettelo[nimi] ); pool; sayonara.tex 6 Rev: 1.11, Rel, 2. kesäkuuta 2006

7 Taulukolle suoritettu iterate on määritelty vain yksiulotteisille taulukoille exit boolean_exp poistuu sisimmästä loop -lohkosta, jos ehtolauseen arvo on true exit -lause voi esiintyä ainoastaan loop -rakenteen sisällä eval suorittaa lausekkeen ja hukkaa sen arvon (käytetään lähinnä silloin, jos halutaan kutsua funktiota ilman, että sen paluuarvolla on merkitystä) declare luo uuden näkyvyysalueen, jossa määritellyt tyypit ja muuttujat ovat voimassa seuraavaan lohkon sulkevaan rakenteeseen Tietotyypit Tietotyypeillä on nimiekvivalenssi. Ainoastaan samalla nimellä olevista tietotyypeistä luodut muuttujat ovat keskenään yhteensopivia Automaattisia tyyppimuunnoksia tietotyyppien välillä ei ole olemassa Literaalivakiot ovat yhteensopivia johdettujen tyyppien kanssa. type Omena = int; type Päärynä = int; o : Omena; p : Päärynä;... o := 4; // ok (int literaali käy) p := 7; // ok o := p; // eivät yhteensopivia (nimiekvivalenssi) Osoittimilla on erityinen tyhjä arvo nil, joka on tyyppiyhteensopiva kaikkien osoitintietotyyppien kanssa record -tyyppi saa sisältää osoittimen samaa tietotyyppiä oleviin alkioihin. type IntList = record x : int; next : IntList pointer end; Jos osoitinta käytettäessä on yksikäsitteistä, että tarkoitetaan osoittimen päässä olevaa arvoa, toiminta tehdään automaattisesti. Jos sayonara.tex 7 Rev: 1.11, Rel, 2. kesäkuuta 2006

8 8 käyttötilanne ei ole selkeä, kerrotaan varatulla sanalla val tilanteet joissa halutaan käyttää osoittimen päässä olevaa arvoa. nimi osoitin osoitin.val osoitin.nimi merkitys osoittimen arvo osoittimen osoittama arvo osoittimen päässä olevan recordin kenttä (jolle tehdään tulkinta uudelleen) a, b : IntList; p, q : IntList pointer; p := nil; // sijoitetaan osoitinmuuttujaan tyhjä arvo p := %a; q := %b; q.next := nil; q.x := 42; p.val := q.val; // q:n osoittama record kopioidaan // p:n osoittamaan paikkaan p.next := q; p.next.x := 1; // muuttujan b kenttä x p.next.next := nil; p.next.next.val := b; // semanttisesti oikein, // viittaus nil:n läpi p := q; // osoitin q muuttujaan p Eri tietotyyppien oletusalkuarvot ovat: false, a, 0, 0.0, "sayonara", nil Lausekkeet # on erisuuruusoperaattori boolean_exp on lauseke, jonka tietotyyppi on bool Peruslaskutoimitukset toimivat totutulla tavalla tietotyypeillä int ja float Perustietotyyppien välillä ei ole automaattisia tyyppimuunnoksia. (Erityisesti int ja float eivät ole yhteensopivia.) mod ja div toimivat vain kokonaisluvuilla int ja toteuttavat ehdot x = (x div y) y + (x mod y) 0 (x mod y) < y tai y < (x mod y) 0 sayonara.tex 8 Rev: 1.11, Rel, 2. kesäkuuta 2006

9 Merkkijonoilla str katenointi ( & ) tuottaa uuden merkkijonon, joka on yhdistelmä laskun termeistä Operaattori % antaa muuttujaan viittaavan osoittimen Osoittimien arvoilla toimivat yhtä- ja erisuuruusvertailut and ja or noudattavat oikosulkuevaluointia (ketjutetun lausekkeen laskeminen lopetetaan heti kun sen lopputulos on tiedossa) Muuttujat const -muuttujien tietotyyppi määräytyy määrittelyn alustuslausekkeen tietotyypin mukaan Funktiot ja proseduurit Funktiot ja proseduurit ovat ylimääriteltyjä siten, että nimen lisäksi tarvitaan parametrien lukumäärä ja tietotyypit tunnistamaan aliohjelma. Sisäisiä funktioita ei saa ylimääritellä Funktion ja proseduurin määrittelyn lopussa oleva ident on oltava sama kuin ko. aliohjelman nimi (koodin selkeyteen tähtäävä syntaksi) Parametrimääreiden toiminta: Määre <tyhjä> in out in out Käyttö sijoituksessa Luku ja kirjoitus. Kuten paikallinen muuttuja (arvoparametri). Vain luku. Vakioparametrimuuttuja. Vain kirjoitus. Viitepaluuarvo. Luku ja kirjoitus. Kuten viiteparametri Arvon palauttaminen return -lauseella proseduurista on virhe Kielen sisäiset funktiot sayonara.tex 9 Rev: 1.11, Rel, 2. kesäkuuta 2006

10 10 Nimi Argumentin tyyppi Tulostyyppi Toiminta len(x) str int x:n pituus (alkioiden lukumäärä, jossa merkkijonoilla ei ole mukana loppunollaa) ord(x) char int x:n järjestysnumero chr(x) 0 int 255 char x:s ascii-merkki pop(p) pino arvo Palauttaa pinon päällimmäisen alkion ja samalla poistaa ko. alkion pinosta. Jos pino on tyhjä, palautetaan nil isempty(p) pino bool Palauttaa true jos pino on tyhjä, muutoin false convert(x,t) X T Palauttaa arvon joka on tietotyyppiä T ja jonka arvo on x convert -funktion tulee ymmärtää vähintään muunnokset Muunnos convert(f, int) convert(i, float) Kielen sisäiset proseduurit Toiminta Palauttaa suurimman kokonaisluvun joka on f Palauttaa liukuluvun, jonka arvo on i sayonara.tex 10 Rev: 1.11, Rel, 2. kesäkuuta 2006

11 11 Nimi Argumentin tyyppi Toiminta new(p) osoitinmuuttuja dynaaminen muistinvaraus, johon mahtuu osoittimen tietotyyppiä oleva alkio, osoitinmuuttuja osoittaa varattuun lohkoon dispose(p) osoitinmuuttuja poistaa osoittimen päässä olevan alkion käytöstä ja asettaa parametrina olevan osoittimen arvoksi nil. print(a,b,...) luettelo dataa tulostaa parametrit println(a,b,...) luettelo dataa toimii kuten print, mutta tulostaa viimeisenä rivinvaihdon push(p,x) pino ja arvo laittaa pinon p päällimmäiseksi uuden arvon x (joka on pinon tyyppiä) int, float ja str tietotyyppien parametrinvälityksen on oltava yhteensopiva gcc-kääntäjän C-kielestä tuottaman koodin kanssa (Sun/SPARC:lla käännettynä C:n vastaavat tietotyypit int, double ja char*). Tämä takaa sen, että sayonara-ohjelmat voivat käyttää C-kielellä tehtyjä kirjastoja Osoitintyypeille määritellyt new ja dispose varaavat ja vapauttavat dynaamista muistia. Molemmat ottavat yhden osoitintyyppisen argumentin. Lause new(p); varaa p:n osoittaman tyypin tarvitseman määrän dynaamista muistia, ja lause dispose(p); vapauttaa p:n osoittaman muistin. Lauseen new(p) suorittamisen jälkeen p sisältää varatun muistilohkon osoitteen (tai nil jos muistinvaraus epäonnistui). sayonara.tex 11 Rev: 1.11, Rel, 2. kesäkuuta 2006

12 12 5. Käyttöliittymä 5.1. Kääntäjää ajetaan komennolla sayonarac 5.2. Kääntäjän on ymmärrettävä seuraavat komentoriviparametrit -h tulostaa käyttöohjeen. tiedosto(t) luettelo lähdekooditiedostoja. -o btiedosto valmis binääri tulee nimelle btiedosto (oletuksena sayonara.out). -S käännös tuottaa tiedostoon moduulinimi.s käännöksen assembler muodossa. -llib linkittää mukaan kirjaston lib, joka on yhteensopiva C-kirjaston kanssa (esim. libcurses). -Lpath hakemisto, josta kirjastoja, moduuleja ja import-esittelyitä etsitään (jos tarvitaan useampia hakemistoja, niin valitsin annetaan useamman kerran). Työskentelyhakemisto on aina mukana etsinnässä. -Xstr asettaa päälle toteuttajien oman laajennuksen kääntäjässä. Esimerkkinä vaikkapa -Xgs ottaa käyttöön roskienkeruun tuotetussa binäärissä tai -Xjava tuottaa suoritettavan koodin javan tavukoodina Kääntäjä osaa ottaa itse automaattisesti mukaan kaikki tarvitsemansa apukirjastot ilman että käyttäjän tarvitsee niitä luetella -l ja -L vipusilla. Omat apukirjastot tulee sijoittaa hakemistoon, joka on kerrottu kääntäjän käännösvaiheessa Makefilen PREFIX-muuttujalla (katso tarkemmin työn palautusohjeista WWW-sivuilla) Vinkki: tätä kaikkea ei ole tarvis nysvätä itse, vaan osan ominaisuuksista voi toteuttaa käyttämällä hyväksi C-kääntäjää (gcc). Sopivilla parametreilla ja vipusilla kirjastojen linkitys mukaan yms. saa toteutettua helposti. sayonara.tex 12 Rev: 1.11, Rel, 2. kesäkuuta 2006