Forum Informatica Unict

LAUREA MAGISTRALE => Linguaggi di Programmazione, 9 CFU => Topic started by: alex180788 on 13-11-2014, 18:03:49



Title: Dubbio esercizio 7 FJ
Post by: alex180788 on 13-11-2014, 18:03:49
non capisco l'espressione

super e<== equals(other);

forse ho capito come rispondere alla domanda "a quali problemi si andrebbe in contro?"... dovrebbe essere una situazione simile a quando definiamo la classe ColEqPt ereditando EqPt ridefinendo il metodo binario equals in maniera invariante ma aggiungendo la condizione di uguaglianza per l'attributo "color" aggiunto in ColEqPt.... ma per come รจ posto l'esercizio non ne sono sicuro, inoltre come ho scritto sopra non riesco a capire il significato di quel espressione.


Title: Re:Dubbio esercizio 7 FJ
Post by: Franco Barbanera on 14-11-2014, 20:55:00
non capisco l'espressione

super e<== equals(other);


Chiamata del metodo equals dell'oggetto super e, con parametro other.

FB


Title: Re:Dubbio esercizio 7 FJ
Post by: alex180788 on 15-11-2014, 09:09:52
Grazie prof per il chiarimento.
Quindi sarebbe l espressione Ocaml super#equals(other) ?

Non capisco allora il significato di quella 'e'


Title: Re:Dubbio esercizio 7 FJ
Post by: Franco Barbanera on 18-11-2014, 14:28:56
Mi dici da dove hai preso l'espressione in questione?

FB


Title: Re:Dubbio esercizio 7 FJ
Post by: alex180788 on 18-11-2014, 15:58:01
Dal testo dell esercizio 7 su fj /ocaml:

Se si definisse ora la seguente sottoclasse
class SC inherits C modifies equals {
   ...
   function equals(other:CType): Boolean is
   { super e <== equals(other);
   ...
   }
   ...
}
a quali problemi si andrebbe incontro?


Title: Re:Dubbio esercizio 7 FJ
Post by: Franco Barbanera on 18-11-2014, 16:13:34
In quel caso la 'e' non dovrebbe esserci.

Grazie per la segnalazione.

FB