«« ( Date ) »» // «« ( Thread ) »» // ri4pp - 2005

Re: Specifikacija sintakse

by Jovan Popovic
sreda, 05. januar 2005 - 12:27.

Ispravljen je primer gramatike za MJ. Ispravljene su sledece stvari:

1. Program moze da sadrzi klasu bez metoda
Program → CLASS IDENTIFIKATOR declaration_list
{ }
|
CLASS IDENTIFIKATOR
{ }

2. Klasa ne mora da ima lokalna polja
ClassDecl → CLASS IDENTIFIKATOR
{ }

3. formalni parametar metode moze da bude niz
parameter → Type IDENTIFIKATOR[]

4. Umesto Factor dodato Factor_list da pokrije proizvode sa vise elemenata
Factor_list → Factor_list Mulop Factor

Ispravke su obelezene crvenom bojom. Vazeca gramatika je gramatika data u
specifikaciji MJ, ovo je samo primer.

Pozdrav,
Jovan

> Ako se ne varam, ponegde se ne slazu specifikacija gramatike u
> microjava.pdf i ona data u DZ2.1.doc:
> Pretp. da u microjava.pdf vazi { }: 0+, [ ]: 0 ili 1
> npr.
> * Program = "class" ident { ConstDecl | VarDecl | ClassDecl } "{"
> {MethodDecl} "}".
> -> u DZ2.1 stoji 1+ MethodDecl
>
> * ClassDecl = "class" ident "{" {VarDecl} "}".
> -> u DZ2.1 stoji 1+ VarDecl
>
> * Term
> * Formalni parametar metode
>
> Poslednja dva su verovatno stamparske greske, ali prva dva su vaznija.
> Lepse bi, i lakse bilo da je tu jedno ili vise ponavljanja, jer glavna
> klasa bez metoda ili lokalna bez atributa nemaju smisla, ali tako ne stoji
> u specifikaciji MicroJave.
> Sta da radimo u tom slucaju? Da postujemo specifikaciju?
>
> -----------------------------------------------------------------
> unsubscribe:
> minimalist@titan.etf.bg.ac.yu?subject=unsubscribe%20ri4pp
> -----------------------------------------------------------------
>
>