= Variante 2 =

== Operazioni estendibili ==

=== Note preliminari sul documento ===
Questo documento intende essere punto di riferimento in fase di sviluppo e germe
della documentazione che accompagnera' il progetto.

Questo documento e' presente in duplice copia: fra i sorgenti in modo da essere
facilmente editabile e leggibile in fase di sviluppo, e sul wiki
[src:/branches/var2/doc/Appunti] e nel wiki [wiki:Variante2] per aumentarne la
facilita' di utilizzo. Dal momento che i commenti sul wiki possono essere
lasciati anche da chi non segue direttamente lo sviluppo, l'utilizzo del file
presente nei sorgenti e' da ritenersi una copia della pagina wiki; pertanto
chi effettua modifiche al primo si dovra` preoccupare di sincronizzarlo
tempestivamente con il secondo.

In caso di divergenze di opinioni su una sezione e' preferibile il commento
pittosto della brutale modifica, in modo da tenere traccia delle considerazioni
fatte. Convenzioni utili per i commenti:
 * posporli alla sezione a cui fanno riferimento;
 * usare il carattere ''corsivo'' per indivduarli facilmente;
 * premettere il nome dell'autore accompagnato dalla data.
 

=== Specifiche ===

Si assuma che il numero e la struttura dei costrutti del
linguaggio !MiniScheme sia dato e non soggetto a
cambiamenti:
 * Si fornisca l'implementazione di tutti i costrutti originali

Si assuma che il numero delle operazioni polimorfe sia
destinato ad evolvere rapidamente
 * Si fornisca un interprete e una prettyPrint modulari

Il modello deve supportare la definizione modulare di
operazioni.
 * Si vuole supportare la definizione di operazioni modulari sia
   sotto forma di visitors che di iteratori
 * Il modello deve fornire API di manipolazione specifiche e
   generiche
 * L'aggiunta di una operazione non deve richiedere nessun
   cambiamento al modello
   [[BR]]20060819-1310 [SoujaK] ''Le operazioni non devono perrtanto risiedere
   all'interno del modello, ma all'esterno, negli specifici visitor/iterator.
   Il modello esporra' nella sua interfaccia la classica
   `accept(AbstractVisitor)`. Raggruppare l'interfaccia dei visitor permette al
   modello di essere totalmente indipendente dall'aggiunta di nuove
   operazioni.''
   [[BR]] 20060819-1617 [SoujaK] [[BR]] ''E per quanto riguarda gli iteratori?''

Le scelte di design devono essere imposte al cliente.
 * Si vuole imporre al cliente l'uso dei pattern stabiliti (in
   particolare quelli creazionali)
 * Il codice e i pattern non conformi a questa specifica non
   devono fare parte del sistema fornito
   [[BR]] 20060818-1501 [SoujaK] ''Quali pattern creazionali? E' necessario il
   redesign di questa sezione, oppure la vecchia Factory adempie gia' a questo
   compito? Volendo si potrebbe pensare a soluzioni alternative, ma reputo la
   cosa a bassa priorita'.''

=== Diaro di bordo: dubbi, problemi e conseguenti scelte ===

20060725-1758 [gnappo] [[BR]]
Le API di manipolazione generiche sono dei getter e setter che agiscono
sull'intero modello. Per approfondire seguite il
[http://www.cs.unibo.it/~solmi/teaching/labss_2005-2006/EserciziProgetto2.pdf link].
Se non bastasse vi rimando all'
[http://www.cs.unibo.it/~solmi/teaching/labss_2005-2006/esercizi/labss_il_model_iterators.zip esempio]
del prof. Solmi: prestate attenzione alle classi !LanguageEntity e alle varie
Abstract* (sono particolarmente chiarificatrici).

20060818-1918 [SoujaK] [[BR]]
Le API di manipolazione generica sul modello possono essere implementate in un
genitore comune che fornira' l'operazione di default (verosimilmente il
sollevamento di un eccezione).

20060820-1238 [SoujaK] [[BR]]
Natura del modello: la struttura solitamente pensata come un albero di
espressioni e' rappresentata grazie a campi interni degli oggetti che compongono
l'aggregato. Si tratta di `List` o `ArrayList` nel caso di nodi non terminali,
altrimenti tipi specifici (bool, String, int) a seconda del caso. Il problema
che sorge e' come riuscire a far attraversare un aggregato cosi' eterogeneo da
un Visitor o da un Iterator. [[BR]]
'' Forse potrebbe avere senso fare come e' stato fatto per Variante 1, cioe'
far diventare i campi interni degli !SchemeValue. ''

20060820-1332 [SoujaK] [[BR]]
Le API di manipolazione specifica (`getter` e/o `setter`) diventano piu' che mai
necessari in questa variante, perche' le operazioni sul modello devono essere
effettuate all'esterno di esso. Affinche' i `Visitor` riescano nel loro intento
hanno ovviamente bisogno di conoscere l'oggetto che intendono visitare.

20060820-1817 [SoujaK] [[BR]]
Durante l'implementazione dei Visitor si pone un problema di natura progettuale:
chi e` responsabile dell'attraversamento della struttura a oggetti?[[BR]]
La possibilita' di utilizzare un Iterator esterno e` stata discussa da tutta la
squadra e non verra' realizzata sebbene si lasci tale facolta' al cliente.
Rimane pertanto da chiedersi se chi si fa carico dell'iterazione e' la stessa
struttura ad oggetti (come accade sovente a detta della GoF) oppure i `Visitor`
(si veda "GoF - ''Design Pattern'' - pagg 340-1). [[BR]]
Il dott. Solmi, nel suo esempio sui `Visitor` snatura il significato di
`Visitor` declassandoli a miseri `proxy` usati per evitare di esporre
pubblicamente le operazioni come `evaluate` o `prettyPrint`. La richiesta di
chiarimenti, inoltrata al professore esattamente un mese fa (20060720-1854), non
ha ancora avuto risposte.[[BR]]
A mio avviso demandare l'attraversamento della struttura a oggetti `Visitor` e'
la soluzione migliore in termini di eleganza e chiarezza dell'algoritmo di
visita, dal momento che la sua implementazione risiede, in tutte le sue
componenti, proprio fra i metodi di visita degli oggetti. [[BR]]
Faro' cosi'.
 
=== Appunti vari ===

 * Gli iterator sono da intendersi come esterni.
 * I nostri due visitor (!PrettyPrintVisitor e !InterpreterVisitor) conoscono
   direttamente la natura dell'albero di espressioni su cui lavorano. Al cliente
   e' chiaramente lasciata la possibilita' di usare un iterator.
 * Le Expression$NAME vanno arricchite con API di manipolazione specifica (i.e.
   `getter` e `setter`) per permettere all'iteratore di accedere in maniera
   indiretta ai campi di istanza.
 


=== Operazioni aggiunte ===
Questo e' il posto in cui rendere note le proprie scelte.