Ayuda Programación

La verdadera pregunta es la que esta enmarcada en negrita al final del post, el texto que viene a continuación es para explicar en qué contexto necesito lo preguntado.

Pues veréis en la universidad que estudio ingeniería técnica aprendemos los Fundamentos de la Programación con ADA (qué remedio).
La cuestión es que en bastantes ejercicios nos piden implementar tipos abstractos de datos (un tipo definido en una librería, en el caso de ADA en un package, y un conjunto de funcionalidades para manejarlo) y en casi todos ellos debe estar la funcionalidad de LECTURA Y ESCRITURA de dicho tipo definido.
Quería mirar si encontraba en algun sitio el cuerpo de acciones del paquete ADA.Text_IO para ver como se hacen los procedimientos de lectura, por ejemplo
get(item:character);
y ver qué puedo sacar de ello pero no lo encuentro por ningun sitio. Tengo instalado ADA95 en el entorno GNAT y tambien he intentado buscar dicho paquete en el PC pero no lo encuentro con el buscador y no tengo ni idea de donde está su ubcación.

¿Alguien sabe donde puedo ver el archivo Ada.Text_IO.adb?
2 respuestas