Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
Sigo todos los pasos para instrumentalizar, ejecutar y analizar la salida obtenida (gmon.out), pero el archivo de texto obtenido muestra solo el análisis de la ejecución de la tarea principal. He leído sobre problemas similares en el sistema operativo Linux, pero estoy ejecutando en Windows. ¿Alguien ha experimentado algo similar?
En el capítulo 22.1 de este Learning Ada, estoy tratando de compilar los ejemplos. Se espera que GNATprove esté instalado. Estoy utilizando Ubuntu 18.04 LTS y no veo ningún paquete que lo proporcione. Cuando intenté buscar el repositorio principal, todo lo que encontré fue algo en Open Do, pero cuando . . . Read more
Quería crear un array dinámico, donde establecería el rango/tamaño de manera dinámica a partir de la entrada del usuario. Me decidí simplemente pasar el array como una variable a la unidad que obtiene la entrada del usuario para el tamaño del array. Funciona bien; estaba indeciso ya que no había . . . Read more
Este es un código simplificado que no he probado tal cual (por lo que puede contener errores) que demuestra el problema que estoy experimentando: type Space is private; — Dependiendo de los miembros de Space, determina si Outer contiene completamente a Inner function Contains(Outer : Space; Inner : Space); — . . . Read more
Cuando intento crear un subprograma que recibe una cadena y un carácter, y por ejemplo quiero cambiar el primer índice de la cadena por el carácter y luego devolver el resultado, no logro que funcione… Así es como lo intenté hacer: with Ada.Text_IO; use Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; procedure . . . Read more