Duda en algoritmo

[luface2000]

Hola,

en la uni tengo un ejercicio con este algoritmo



accio aa ( ent x: enter, ent b: boolea, entsor y: enter, entsor z: real)
var
aux: enter;
fvar
si (b) llavors
aux := 4 * y + x;
sino
aux := y + x;
fsi
y := aux + realToInteger(z);
z := integerToReal(y) / integerToReal(aux);
faccio
funcio fb ( x: enter, y : real) : boolea
retorna ( x < realToInteger(y) );
ffuncio


algorisme example
var
a, b: enter;
c : real;
d : boolea;
fvar
a := 8;
b := 2;
c := 10.0;
d := fals;

AQUI iría por ejemplo aa (a, fb(8, 9.0), 2, c); u otras opciones


writeInteger(b);
writeReal(c);
writeBoolea(d);
falgorisme

Aunque el ejercicio pregunta si es correcto esa u otras opciones del apartado AQUI, mi pregunta es otra. Hay una función y una acción que son llamadas desde AQUI, pero ¿lo que devuelve el apartado AQUI influye en lo que viene después? Lo digo porque entiendo que writeInteger(b); writeReal(c); writeBoolea(d); no se van a ver influidos por lo que retorne el apartado AQUI y van a imprimir los valores de antes del AQUI siempre o por contra, van a recojer los valores de entrada-salida y la c cambiará según eso.

Gracias y un saludo.

Gracias.