Autori:
- Groppo Gabriele - Matricola 902238
- Caputo Lorenzo - Matricola 894528
Ai tempi di Simula e del primo Smalltalk, molto molto tempo prima di Python, Ruby, Perl e SLDJ, i programmatori Lisp già producevano una pletora di linguaggi object oriented. Il vostro progetto consiste nella costruzione di un’estensione “object oriented” di Common Lisp, chiamata OOΛ, e di un’estensione “object oriented” di Prolog, chiamata OOΠ. OOΛ e un linguaggio object-oriented con eredita multipla. Il suo scopo e didattico e mira soprattutto ad evidenziare aspetti dell’implementazione di linguaggi object-oriented: (1) il problema di dove e come recuperare i valori ereditati, (2) come rappresentare i metodi e le loro chiamate e (3) come manipolare il codice nei metodi stessi.
'(' def-class <class-name> <parents> <parts>* ')'
Definisce la struttura di una classe e la memorizza in una hash-table
identificata da una variabile globale (classes-specs).
Viene eseguito un insieme di controlli che assicurino la correttezza,
sotto vari aspetti, della classe che si vuole istanziare. Se non sono
rilevati errori nella definizione della classe, essa viene aggiunta a
classes-specs, altrimenti viene lanciato un errore
'(' make <class-name> <fields>* ')'
Effettua la creazione di una nuovo oggetto di una classe.
Da considerare che fields rappresenta una lista di coppie (attributo valore),
che rappresentano i parametri con i quali l'oggetto viene creato.
Se la classe di appartenenza indicata è valida, viene effettuato il controllo
sui parametri con i quali l'oggetto viene istanziato. In particolare, viene
controllata l'appartenenza di ogni attributo alla classe indicata (o
all'albero delle sue superclassi) e che il valore indicato sia un sottotipo del
tipo indicato nella definizione della classe alla quale l'attributo appartiene.
Nel caso l'attributo fosse presente in più classi (nell'albero delle superclassi
di class-name), viene considerata la sua definizione nella classe
"più vicina" a class-name.
Se anche questo controllo viene superato con successo, si procede alla
creazione dell'oggetto, rappresentato come segue:
'(' 'OOLINST <class-name> <(<field-name> <value>)>* ')'
'(' is-class <class-name> ')'
controlla che class-name sia il nome di una classe precedentemente
istanziata.
Restituisce T se la condizione viene verificata.
'(' is-instance <value> [<class-name>] ')'
controlla che value sia una istanza di class-name.
class-nameè T:valuepuò essere un'istanza qualunque.
class-nameè una classe:valuedeve essere istanza di una classe che haclass-namecome superclasse
Restituisce T se la condizione viene verificata.
'(' field <instance> <field-name> ')'
controlla che l'attributo field-name appartenga alla classe instance. Se
non lo trova, effettua la ricerca dell'attributo nell'albero delle superclassi
di instance, fino ad arrivare alla radice.
- se trova l'attributo, restituisce il valore associato a quest'ultimo all'interno della definizione della classe
- altrimenti viene lanciato un errore.
controlla che l'attributo field-name sia presente nella struttura
dell'oggetto.
Assicuratosi che instance sia un oggetto:
- se trova l'attributo, restituisce il valore associato a quest'ultimo all'interno della struttura dell'oggetto
- altrimenti viene lanciato un errore
'(' field* <instance> <field-name>* ')'
Premesso che field-name è una lista di attributi e instance è il nome di una
classe o di una istanza, chiama la funzione FIELD
su ogni attributo di field-name. Restituisce:
- T se tutti gli attributi in
field-namesono presenti ininstance - errore se anche uno solo degli attributi in
field-namenon è presente ininstance.
'(' get-class-parents <class-name> ')'
Restituisce la lista parents di class_name.
- PARENT
- GET-ALL-CLASS-PARENTS
'(' get-all-class-parents <class-name> ')'
Restituisce la lista delle classi appartenenti all'albero delle superclassi di
class-name
- IS-INSTANCE
'(' parent <searched-class-name> <class-name> ')'
Controlla che la classe class-name non sia una superclasse delle superclassi
di class-name stessa.
Evita quindi che si formi un ciclo, lanciando un errore qualora si creasse.
- PARENT*
'(' parent* <searched-class-name> <parents>* ')'
Estende il controllo cominciato da FIELD nell'albero delle superclassi di
class_name.
- Se alla fine dell'esplorazione non viene riscontrata alcuna corrispondenza, viene restituito NIL
- se viene riscontrata una corrispondenza nel corso dell'esplorazione, viene restituito T (esplorazione ovviamente si arresta)
- DEF-CLASS
'(' parts-structure <parents> <parts>* ')'
Crea la struttura della classe, scomponendo la parte dedicata agli attributi e quella dedicata ai metodi.
partsnon contiene sottoliste:- è stata creata una classe senza definire attributi e metodi. Nella struttura, le parti relative ai campi e ai metodi saranno inizializzate a NIL
partscontiene UNA sottolista:- verifica che la sottolista abbia come primo elemento la parola-chiave
fields o methods. In caso contrario viene lanciato un errore
- a seconda della parola-chiave, viene lanciata FIELDS-STRUCTURE o METHODS-STRUCTURE, mentre il resto viene memorizzato come NIL.
- si assicura di memorizzare nella struttura, indipendentemente da quale delle due è stata presentata, prima la parte relativa ai campi e poi quella relativa ai metodi
- verifica che la sottolista abbia come primo elemento la parola-chiave
fields o methods. In caso contrario viene lanciato un errore
partscontiene DUE sottoliste:- verifica che le due sottoliste abbiano come primo elemento rispettivamente
fields e methods (o viceversa). In caso contrario viene lanciato un
errore.
- si assicura di lanciare FIELDS-STRUCTURE e METHODS-STRUCTURE per le rispettive sottoliste
- si assicura di memorizzare nella struttura, indipendentemente dall'ordine con le quali sono state presentate, prima la parte relativa ai campi e poi quella relativa ai metodi
- verifica che le due sottoliste abbiano come primo elemento rispettivamente
fields e methods (o viceversa). In caso contrario viene lanciato un
errore.
- DEF-CLASS
'(' fields-structure <fields>* ')'
Definisce la struttura della rappresentazione degli attributi della classe.
Se un metodo viene definito più di una volta, viene lanciato un errore.
Chiama FIELD-DEFINITION per ogni campo per controllarne la correttezza.
- PARTS-STRUCTURE
'(' field-definition <current-field> ')'
Viene creata/analizzata la tripla rappresentata da current-field
'(' <attributo> <valore> <tipo> ')':
-
current-fieldè una lista da un elemento ->'(' <attributo> ')':valoreviene inizializzato con NILtipoviene inizializzato con T
-
current-fieldè una coppia ->'(' <attributo> <valore> ')':tipoviene inizializzato con T
-
current-fieldè una tripla ->'(' <attributo> <valore> <tipo> ')':- se
tiponon è un tipo primitivo in Common-Lisp o il nome di una classe, viene lanciato un errore (controllo eseguito da VALID-FIELD-TYPE) - se
valorenon è del tipo indicato datipoviene lanciato un errore (controllo eseguito da TYPE-MATCHING) - se
attributoè presente in una delle superclassi della classe che si vuole creare (controllo eseguito da IS-INHERITED)- se
tiponon è un sottotipo del tipo indicato perattributonella superclasse considerata, viene lanciato un errore
- se
- altrimenti la tripla viene inizializzata correttamente
- se
- FIELDS-STRUCTURE
'(' method-structure <methods>* ')'
Definisce la struttura della rappresentazione dei metodi della classe.
Se un metodo viene definito più di una volta, viene lanciato un errore
Chiama METHOD-DEFINITION per ogni metodo per controllarne la correttezza.
- PARTS-STRUCTURE
'(' method-definition <current-method> ')'
Viene analizzato\creato il metodo corrente. current-method è una
lista siffatta:
'(' <method-name> <method-args>* <method-body>* ')'
Se le varie parti passano il controllo di correttezza, viene creata la coppia:
'(' <method-name> '.' <anonymous-function> ')'
anonymous-function è la funzione anonima relativa a method-name
restituita da PROCESS-METHOD
- METHOD-STRUCTURE
'(' instance-rapresentation <class-name> <fields>* ')'
Definisce la rappresentazione di una istanza di una classe. Se i metodi da essa chiamati non restituiscono errori, viene creata l'istanza, costituente nella lista:
'(' 'OOLINST <class-name> <fields>* ')'
fields è una lista che raccoglie gli attributi provenienti dalle superclassi
e che non sono stati inizializzati nell'istanza, oltre ovviamente
agli attributi inizializzati dalla stessa.
Tutto questo salvo errori riguardo tipo, ereditarietà...
- MAKE
'(' field-composition-make <fields>* ')'
Crea e restituisce una lista di coppie (attributo valore) recuperando i valori
dalla lista fields della MAKE
- INSTANCE-RAPRESENTATION
'(' get-complete-parents-fields <parents-list>* ')'
Risale l'albero delle superclassi a partire dalla classe attuale e, per ogni
classe di parents-list , recupera la parte dedicata agli attributi,
ordinandola in una lista di coppie/triple/singoletti, a seconda della
definizione di quest'ultimi.
L'esplorazione viene eseguita:
- in "profondità": esplorando, per ogni classe di
parents-list, anche il proprio albero delle superclassi. - in "ampiezza": esplorando tutti le classi appartenenti alle
parents-listdi ogni classe
NOTA: l'ordine delle superclassi è importante quando la
parents-listdi una classe contiene più genitori.
- INSTANCE-RAPRESENTATION
'(' get-complete-class-fields <class-fields>* ')'
Restituisce una lista contenente gli attrubuti della classe corrente.
- INSTANCE-RAPRESENTATION
- GET-COMPLETE-PARENTS-FIELDS
'(' fields-from-parents <list-of-total-fields>* <fields-from-make>* ')'
Notare che:
list-of-total-fieldsè la lista contenente tutti gli attributi dall'albero delle superclassifields-from-makeè la lista contenente tutti gli attributi inizializzati nell'istanza
Restituisce la lista degli attributi provenienti dalle superclassi. Vengono considerati due casi:
field-from-makeè vuota: l'istanza è stata creata senza inizializzare alcun attributo, quindi viene restituitalist-of-total-fieldscosì per come èfield-from-makecontiene attributi: l'istanza è stata creata inizializzando parte o tutti gli attributi provenienti dall'albero delle superclassi della classe di appartenenza, quindi viene controllato che ogni attributo rispetti la specifica del tipo definita nella classe di appartenenza dello stesso
- INSTANCE-RAPRESENTATION
'(' list-formatting-to-make <list-def-class-format>* ')'
Converte la lista degli attributi della classe list-def-class-format, nella
quale non ci sono errori di tipo, nella stessa lista in formato "make", ovvero
creando coppie (attributo valore) e la restituisce.
- FIELDS-FROM-PARENTS
'(' fields-from-parents-on-field <list-of-total-fields>* <field-from-make>')'
Notare che field-from-make è una coppia (<field-name> <value>)
estratta dalla creazione dell'istanza (MAKE) e list-of-total-fields
ha lo stesso significato attribuitogli precedentemente.
L'appartenenza del nome dell'attributo in field-from-make a
list-of-total-fields è stata già verificata da FIELD.
Controlla che il valore associato al nome dell'attributo nel field-from-make
sia un sottotipo del tipo indicato nella definizione della classe alla
quale l'attributo appartiene.
- il controllo termina con esito positivo:
field-from-makeviene rimosso dalist-of-total-fieldspoichè rappresenta una ridefinizione corretta dello stesso.
- il controllo termina con esito negativo:
- il valore associato a
field-from-makenon è un sottotipo valido, quindi viene lanciato un errore. - è stato inizializzato lo stesso attributo più di una volta, quindi viene lanciato un errore
- il valore associato a
- FIELDS-FROM-PARENTS
'(' remove-atom <atom-to-remove> <list-of-lists>* ')'
Restituisce la lista list-of-lists alla quale sono state rimosse tutte le
sottoliste che hanno atom-to-remove come primo elemento.
- FIELDS-FROM-PARENTS-ON-FIELD
'(' remove-duplicated-elements <list-of-lists>* ')'
Restituisce la lista list-of-lists nella quale ogni sottolista che ha come
primo elemento un atomo è presente una volta sola (non saranno quindi presenti
sottoliste che hanno lo stesso primo elemento).
- INSTANCE-RAPRESENTATION
'(' get-fields-name <fields>* ')'
Restituisce i nomi dei campi o dei metodi contenuti nella lista fields
(methods), che rappresenta gli attributi\metodi di un'istanza.
La lista restituita conterrà i nomi dei campi\metodi in un formato leggibile.
- MAKE
'(' get-fields-name-of-class <class-fields>* ')'
Restituisce i nomi dei campi\metodi della classe, estratti dalla lista
class-fields, che rappresenta la definizione della classe.
La lista restituita conterrà i nomi dei campi\metodi in un formato leggibile.
- IS-METHOD
- IS-INHERITED
- FIELDS-STRUCTURE
- METHODS-STRUCTURE
- GET-FIELDS-NAME-OF-CLASS
- FIELD
- FIELDS-FROM-PARENTS-ON-FIELD
- GET-PARENTS-FIELDS
'(' search-field-in-parents <parents>* <field-name> ')'
Ricerca ricorsivamente field-name in una lista di genitori parents
e restituisce il valore associato ad esso se lo trova.
- FIELD
'(' method* <class-name> <method-list> ')'
Premesso che method-list è una lista di metodi o un solo metodo,
lancia IS-METHOD per ogni metodo presente.
- Restituisce T se ogni metodo in
method-listè presente inclass-name(nome di una classe) o nelle sue superclassi. - Restituisce T se ogni metodo in
method-listè presente nella classe a cui appartieneclass-name(nome di una istanza) o nelle sue superclassi. - Altrimenti viene lanciato un errore
- GET-PARENTS-METHOD
'(' get-parents-method <parents>* <method-name> ')'
Ricerca ricorsivamente la presenza di un metodo in una lista di classi genitore e lo restituisce.
- IS-METHOD
'(' is-method <class-name> <method-name> ')'
Verifica che method-name sia presente nella classe di appartenenza di
class-name o, eventualmente, nell'albero delle superclassi della stessa.
Verifico inoltre che la sua Sintassi sia corretta. Viene lanciato un errore se:
- il metodo viene invocato con dei parametri errati
- il metodo non è presente nella classe di
class-nameo nell'albero delle superclassi
In caso positivo, invece, restituisce la funzione anonima associata ad esso.
Verifica che method-name sia presente in class-name o, eventualmente,
nell'albero delle superclassi della stessa. Viene lanciato un errore se:
- il metodo non è presente in
class-nameo nell'albero delle sue superclassi.
In caso positivo, invece, restituisce la funzione anonima associata ad esso.
- PROCESS-METHOD
- METHOD*
'(' rewrite-method-code <method-name> <method-spec>* ')'
Riscrive il codice di un metodo specifico, restituendo una nuova specifica di metodo, che accetta come parametro aggiuntivo this.
- PROCESS-METHOD
'(' rewrite-method-code <method-name> <method-spec>* ')'
Aggiorna la definizione di un metodo, sostituendo la funzione originale con una funzione lambda che richiama il metodo esistente. Inoltre, riscrive il codice del metodo usando la funzione rewrite-method-code.
- DEF-CLASS
'(' valid-field-type <field-type> ')'
Accetta un tipo di dati (field-type) e verifica se è un tipo di dati valido
in Common Lisp o se rappresenta una classe esistente.
- Restituisce T se il tipo di dati è valido.
- altrimenti genera un errore con un messaggio dettagliato.
TIPI VALIDI:
- 'number'
- 'integer'
- 'string'
- 'list'
- 'float'
- 'real'
- 'rational'
- 'complex'
class-name(ovviamente seclass-nameè una classe esistente)
- FIELD-DEFINITION
'(' is-inherited <parents>* <current-field> ')'
Accetta una lista di classi (parents) e un campo corrente, e verifica se
il campo è ereditato da una di queste classi parents.
- Restituisce T se il campo è ereditato correttamente.
- altrimenti genera un errore con un messaggio dettagliato.
- FIELD-DEFINITION
'(' type-matching <current-field> ')'
Accetta un campo corrente e verifica se il valore associato al campo è del tipo di dati specificato per quel campo.
- In caso affermativo, la funzione restituirà T.
- In caso contrario, genererà un errore con un messaggio informativo.
- FIELD-DEFINITION
'(' contains-duplicates <list>* ')'
accetta una lista come argomento e:
- restituisce T se la lista contiene duplicati
- altrimenti restituisce NIL.
- METHODS-STRUCTURE