Pregunta 1.a · Prácticas de programación UOC 2023

En el marco del software desarrollado para la administración de entidades sin ánimo de lucro (ONG), considérense exclusivamente las siguientes estructuras de datos:

type

tPerson = record

document: string;

name: string;

surname: string;

email: string;

address: string;

city: string;

birthday: tDate;

end record

tStaff = record

elems: pointer to tPerson;

count: integer;

end record

tAvailability = record

person: tPerson;

start: tDate;

end: tDate;

end record

tAvailabilityData = record

elems: pointer to tAvailability;

count: integer;

end record

tONG = record

code: string;

name: string;

projects: tProjectData;

staff: tStaff;

campaigns: tCampaignData;

staffAvailability: tAvailabilityData;

end record

end type

Se plantea la especificación de la siguiente operación:

function available_people_city (ong: tONG, city: string): integer

Su cometido es contabilizar cuántos integrantes adscritos a ong residen en la localidad indicada por city y cuentan, además, con algún registro de disponibilidad.

a)

[10%] Redacta formalmente las precondiciones que debe satisfacer la rutina. Se parte de la premisa de que la plantilla no se encuentra vacía y que a cada uno de sus miembros le corresponde como mínimo un intervalo de disponibilidad registrado en el sistema. Acompaña la expresión formal con una breve aclaración explicativa (1 o 2 líneas).