POR FAVOR! SEAN CLAROS EN EL CODIGO.

mariano!! · mariano!! el Vie Sep 12, 2008 4:39 pm

problema AgregarTemaSA( t: Tema , s: SA) {
requiere (¥ t' <- temas(s) , ¬ ( ( nombres(t) == nombres (t') ) y mismos (etiquetas(t), etiquetas(t'))
modifica s
asegura If (¥ t' <- temas(s)) ¬TemasIguales (t,t') Then (existe e <- (etiquetas (t) ) ¬ (en ( e,etiquetas (s)) --> etiquetas(s) == (etiquetas(pre(s)) ++ [ e | e <-- etiquetas (t), ¬ (en ( e, etiquetas (s))) ] Else etiquetas (s) == pre (s);
asegura ¬(existe e <- (etiquetas (t) ) ¬ (en (e, etiquetas (s)) --> etiquetas (s) == etiquetas(pre(s)); // en este no me cambia nada que agregue el tema o no.;
asegura If (¥ t' <- temas(s)) ¬TemasIguales (t,t') Then mismos (temas (s) , temas (pre(s)) ++ t) Else mismos (temas (s), temas (pre(s));

DIGANME ALGUIEN PUEDE LEER ESTO Y ENTENDERLO RAPIDO???????

POR FAVOR SEPAREN BIEN LOS ASEGURA, PONGANLE CURSIVA A LOS COMENTARIOS. Y TRATEN DE MANEJARSE EN BLOQUES, SE PIERDE MUCHO TIEMPO LEYENDO.

Fer_netconcoca · Fer_netconcoca el Vie Oct 17, 2008 9:44 pm

totalmente...
¥, al ¬ le falta un ojo (¬¬), repiten los signos (++, == ), se comen los espacios ( "AgregarTemaSA", en ves de Agregar Tema S.A.(no se que indole de sociedad anonima sera)), mezclan idiomas ("then", "else") y faltas de gramaticas en genaral...
que indignacion
en fin ponganse las pilas sino no nos vamos a entender

POR FAVOR! SEAN CLAROS EN EL CODIGO.

POR FAVOR! SEAN CLAROS EN EL CODIGO.

Re: POR FAVOR! SEAN CLAROS EN EL CODIGO.