Entorno de trabajo.
El entorno de trabajo consta de una serie de zonas que ofrecen al usuario distintas funcionalidades.
1. Barra de Menú. La barra de menú contiene todos las posibles acciones que el usuario va a poder usar.
2. Barra de Herramientas. En ella se encuentran botones para el acceso inmediato a las operaciones más usuales, tales como compilación , reducción, apertura de un TAD, creación de un nuevo TAD, etc.
3. Entorno de Edición. Será el área de trabajo del diseñador. En ella se escriben las especificaciones de los TADes.
4. Árboles de información. Se distinguen dos. Árbol de Tades Cargados en donde aparecen todos los TADes cargados en memoria tras una compilación. Y Árbol de TAD actual, en donde aparece toda la información referente al TAD compilado.
5. Área de resultados de compilación. En ella el compilador comunica al usuario todo lo acontecido durante el proceso de compilación: corrección o no de compilación, mensajes de error y advertencias.
6. Barra de archivos. En ella aparecerán tanto el número de línea en el cual se encuentra el cursor en este momento, como todos los Ficheros abiertos, pudiendo el usuario pasar de una a otro de forma cómoda.
7. Área de Reducciones. Es el interfaz que usará el usuario para reducir términos tras haber realizado una compilación.
Configuración del entorno de
trabajo.
Es
muy importante tener en cuenta los siguientes puntos:
- Los TADes creados por el programa son guardados haciendo uso de un direccionamiento relativo al directorio /tades. Es decir, todos los ficheros se van a buscar y a guardar en el directorio /tades que debe haber dentro del directorio donde se haya instalado el programa. Es por esto que cuando se va a abrir un archivo ya creado directamente se nos muestra el contenido de este directorio.
No se
recomienda que se cambie de directorio de trabajo pues el programa podría
funcionar de forma incorrecta.
- Las comprobaciones tanto de las precondiciones como de las condiciones de las sentencias SI se van a hacer reduciendo el término y mirando si el resultado coincide con el término V() o bien con el término VERDAD(). Es por esto que para poder hacer uso de precondiciones o sentencias SI debe disponerse en el directorio de trabajo de un TAD que tenga una de estas funciones como generadora. Además este tipo debe ser declarado en la zona de dominios. De no ser así, las reducciones no funcionarían de forma correcta pues al no llegar a uno de estos términos se entendería que la precondición o la condición no se cumple respectivamente.
Se recomienda que se mantenga el tipo Booleano en el directorio de trabajo.