problema 19 lean por favor

voy a comentar lo que opino del ejercicio.

dice "esta operacion solo puede aplicarse si la etiqueta e es una etiqueta valida del sisteam de archivos s".......... a diferencia del ejercicio 15 en este caso no dice que pasa si esa condicion no se cumple. por lo tanto asumo que no podemos decidir(somos emo) y la condicion esa va en un requiere.


segunda observacion: el sistema de archivos, en lo que a temas se refiere solo tiene en un observador una lista de temas. como es una lista de temas creo qeu no se puede cambiar un parametro de un tema particular de la lista sin cambiar el tema considerado en sí propio. (es decir el tema) porque en pedi que el tema estuviera en el sistema de archivos ............ todo esto me hace suponer que en relaidad lo que deberia modificarse no es el sistema de archivas sino el tema contenido en el sistema de archivos y por lo tanto el sistema de archivos

tercero: miren mi if porque esta la cosa del si pirulo entonces nada y si no haga tal otra cosa............el otro dia habiamos hablado de eso con ustedes (en este momento recuerdo mariano... pero capaz lo hable con alguien mas) y por lo que recuerdo no estaba mal.caso contario, digan


de todo esto dudo.



pero es lo que conclui. ahi va el problema: por favor comenten... sobre todo mi segunda observacion se contradice un poco con el enunciado.... poruqe el enunciado dice "modifica el sistema de archivos" :S:S:S:SS::SS::S:S:SSSS:S:


problema agregarEtiquetasATemasSA (t:Tema, e: Etiqueta, s:SA){
requiere en (e, etiquetas(s))
asegura if ((¬en (t, temas (s)) o (en (e, etiquetas(t)) else (modifica t asegura en (e, etiquetas (t))
}


creo que esto es un lime mal
lo pregunto mañana

problema agregarEtiquetasATemasSA (t:Tema, e: Etiqueta, s:SA){
requiere en (e, etiquetas(s))
asegura if ((¬en (t, temas (s)) o (en (e, etiquetas(t)) else (modifica t asegura en (e, etiquetas (t))
}






bueno a editar

el condicional del if (if "condicional" entonces "a" sino "b")
funciona de la siguiente manera.
es como decir si pasa A entonces hago "a"
sino pasa A entonces hago b
que mejor dicho seria algo asi como si pasa A COMPLEMENTO.
osea q decir if "condicional" else b
es lo mismo que decir if ("condicional" COMPLEMENTO) then b

despues si vas a modificar el sistema de archivos lo tenes q avisar antes de asegurar cualquier cosa.(me parece)
entonces iria

problema agregarEtiquetasATemasSA (t:Tema, e: Etiqueta, s:SA){
requiere en (e, etiquetas(s))
modifica s
asegura if en (t, temas (s) ) then en (e, etiquetas ("del tema q es igual a t en s"))
asegura "que las etiqeutas sigan ordenadas y siguen siendo todas."
}

ojo... si voy a modificar s tengo que asegurar que lo demas de s no se va a modificar, no?

si, falta asegurar q no hay etiquetas de mas, falta el else del if then else... y falta decir que el resto de los temas no se modifica :S. (perdón que no los haga y solo comente, pero son las 3:10 am.)

problema agregarEtiquetasATemasSA (t:Tema, e: Etiqueta, s:SA){
requiere en (e, etiquetas(s))
modifica s
asegura en (t, temas (s) ) -->en ((e, etiquetas (cab[ t' | t'<-- temas(s), TemasIguales (t, t')])***
asegua ¬en(t, temas (s) ) -->(mismos (temas (s) , temas (pre(s))) y (etiquetas (s) == etiquetas(pre(s))
asegura ¬ en (e, etiquetas(s) --> etiquetas(s)== etiquetas(pre(s))++e)
asegua en (e, etiquetas(s) ---> etiquetas(s)== etiquetas(pre(s) ***
}


*** como t' es tomado de etiquetas de s cumple las invariantes de s. por lo cual no hay temas con los mismos datos. asi aseguro que la lista esa tiene solo un elemento.
*** para seguir con el criterio que estabamos teniendo de concatenar al final la etiqueta si no estaba en etiquetas de s

nota: siel tema no existe en particular no esta en temas de s

pero aca hay una contradicción, hay q sacar el requiere

requiere en (e, etiquetas(s))

sino esto nunca pasa

asegura ¬ en (e, etiquetas(s) --> etiquetas(s)== etiquetas(pre(s))++e)

ah no habia visto el requiere.
hay que sacar entonces la condicion esa. porque en ese caso la operacion no se aplica.
gracias nico

problema agregarEtiquetasATemasSA (t:Tema, e: Etiqueta, s:SA){
requiere en (e, etiquetas(s))
modifica s
asegura (etiquetas (s) == etiquetas(pre(s))
asegura en (t, temas (s) ) -->en ((e, etiquetas (cab[ t' | t'<-- temas(s), TemasIguales (t, t')]) y
(para todo t' | t'<-- temas(s), ¬TemasIguales (t, t')) (mismos (temas (s) , temas (pre(s)))
asegua ¬en(t, temas (s) ) -->(mismos (temas (s) , temas (pre(s)))
}

que pasa si tenia el tema shakira con la etiqueta 1 2 y 3 y el tema shakira con la etiqueta 1 y 2
y ahora le quiero agregar al2do tema shakira la etiqueta 3.

BOOOOOOOOOOOOM

lo requiero?

problema agregarEtiquetasATemasSA (t:Tema, e: Etiqueta, s:SA){
requiere en (e, etiquetas(s))
requiere ¬( existe t' <-temas(s) , ¬TemasIguales(t,t') ) mismos (etiquetas (t)++ e, etiquetas (t') ) //EDITADO POR MARIANO
modifica s
asegura (etiquetas (s) == etiquetas(pre(s))
asegura en (t, temas (s) ) -->en ((e, etiquetas (cab[ t' | t'<-- temas(s), TemasIguales (t, t')]) y
(para todo t' | t'<-- temas(s), ¬TemasIguales (t, t')) (mismos (temas (s) , temas (pre(s)))
asegua ¬en(t, temas (s) ) -->(mismos (temas (s) , temas (pre(s)))
}

podría ser che... aunque no entendí todavía el tema de los invariantes. porque en ese caso, si agregas al tema dicha etiqueta, estas violando un invariante... no se si eso te asegura q no lo podes hacer... o si tenes q asegurar q eso no va a pasar... si es la segunda, entonces estoy de acuerdo con vos.

SERA UNA PREGUNTA PARA HOY ENTONCES.