Robots y modelos

Notas sobre pruebas, modelado y aventuras en Java y Android

Posts Tagged ‘ppacl2

Traducción al inglés

with 2 comments

¡Listo! Ya he traducido por lo pronto todos los textos de las interfaces, manuales y hojas XSLT de ACL2::Procesador, YAXML::Reverse y XMLEye al inglés. La selección se realiza de forma automática al ejecutar los programas. Si estamos en un ordenador con local española por defecto, con esto veremos XMLEye en español:

xmleye

Y con esto en inglés (bajo GNU/Linux):

LC_ALL=en_US xmleye

Lo que va a tardar más en traducirse es el código, sin duda. Por lo pronto todas las clases Java están traducidas, pero no aún ni sus métodos ni los comentarios de la mayoría de los ficheros fuente. Habrá que ir haciéndolo poco a poco, supongo.

Todos los paquetes Debian han sido actualizados debidamente, con lo que con esto basta para pasar a la nueva versión:

sudo aptitude update
sudo aptitude safe-upgrade

Bueno, lo siguiente es revisar un poco los javadocs para ver si se han visto afectados por esta traducción y arreglarlos un poco, e ir un poco a la caza de más posibles bugs.

Ah, e imitando un poco a algunos de mis compañeros, creo que cuando termine el concurso moveré este blog a mi propio dominio, que en este caso tiene un nombre algo más genérico, ya que seguramente lo usaré para otras cosas mías y demás pruebas que haga con otras tecnologías: http://www.shoyusauce.org. Sí, salsa de soja, en japonés. No me sentía muy inspirado ese día :-D.

Por lo pronto ya lo uso para alojar los paquetes Debian y los manuales, pero ya lo iré mejorando.

Written by bluezio

23 de marzo de 2008 at 22:00

Publicado en Uncategorized

Tagged with , , , ,

Paquetes Debian, repositorio Debian, manual de paquetes Debian

leave a comment »

Mucho Debian veo ahí en el título. 😀

Tras una semana de prueba y error y de limpiar bugs a mansalva, he conseguido una versión mucho más estable de pprocACL2 y XMLEye, y lo que es más importante, he creado un repositorio Debian con todos los paquetes necesarios. Además, tengo la grata sorpresa de que mi programa compila y funciona sin más problemas en IcedTea: el único “pero” es que la salida HTML no se muestra del todo bien, pero son detalles sin importancia realmente. Por fin he podido quitar sun-java6-jdk de Build-Depends. He tenido que poner en Depends del paquete IcedTea (con preferencia) y el JRE de Sun (por si el usuario ya lo tiene, ya que java2-runtime por defecto en Gutsy es GCJ, en el que no funciona bien Swing, y sólo SWT.

De paso, he aprovechado lo que he ido aprendiendo todo este tiempo para hacer una pequeña guía (bueno, el PDF tiene ~60 páginas) de cómo crear un paquete Debian, siguiendo una serie de buenas prácticas. No intento competir con otras guías fantásticas que hay por ahí (hay algunas referencias en mi propia guía a ellas), pero vi que no había gran cosa en español, y que no se hablaba bien de ciertas opciones como crear nuestro propio repositorio con reprepro, sincronizarlo con lftp, o usar cowdancer para agilizar el proceso de construcción pbuilder, entre otras cosas. El manual está bajo la GNU FDL y su código fuente está en el repositorio.

Tuve que hacerme mis propias hojas XSLT para convertir DocBook a LaTeX, ya que las que había dejaban mucho que desear (creo que el autor no comprendía bien que LaTeX  es quien debe ocuparse de la presentación, y no él). Están en el subdirectorio manualDebian/hojasXSL, y hay dos: una para generar ficheros LaTeX, y otra para los BibTeX (la salida se ha de volcar a un fichero llamado bibliografia.bib).

Ahora empezaré a trabajar en la documentación del programa. También podría trabajar un poco en las traducciones y en hacer que se integre bien en Windows.

Para instalar los paquetes, hay que añadir estas líneas a /etc/apt/sources.list (también se puede usar Orígenes de software bajo el menú Sistema, y entrar en la pestaña Software de terceros):

deb http://www.shoyusauce.org/packages/ubuntu gutsy main
deb-src http://www.shoyusauce.org/packages/ubuntu gutsy main

Hay que descargarse la clave GPG con la que he firmado mis paquetes, y añadirla al anillo de claves de confianza de apt:

wget http://www.shoyusauce.org/packages/claveDebian.asc
sudo apt-key add claveDebian.asc

Ahora ya podemos actualizar e instalar XMLEye y pprocACL2:

sudo aptitude install xmleye pprocACL2

De por sí no tienen tantas dependencias, pero a la hora de desarrollar he tenido que empaquetar algunos módulos con muchas subdependencias como PAR::Packer. Por supuesto, no hay que instalar ambos: son completamente independientes. XMLEye puede usarse simplemente como un visor XML.

He subido también un tar.bz2 con el código fuente de pprocACL2 y XMLEye. En el código fuente de pprocACL2 hay una serie de ficheros .lisp de ejemplo bajo t/testInputs, que están muy probados. Provienen de los tutoriales disponibles de ACL2. El ejemplo hanoi-use.lisp es el más interesante, ya que incluye enlaces entre una demostración y el libro cuyos teoremas y funciones usa.

Written by bluezio

4 de marzo de 2008 at 10:52

Publicado en Uncategorized

Tagged with , , , , , , , ,

Primera versión subida al repositorio

leave a comment »

Bueno, ¡por fin!

Tras varios meses de pulido, mezclados con exámenes de la universidad, el examen de japonés, trabajos y otras cosas, he podido subir una versión “potable” al repositorio.

Mi enfoque en este concurso ha sido el de, además de ampliar las capacidades de mi PFC, convertirlo en un producto software completo, bien documentado y probado. Durante este tiempo he tenido que reescribir buena parte del visor para implementar una interfaz TDI (Tabbed Document Interface), ya que en el momento de presentar el PFC sólo manejaba un documento a la vez.

Esto no sirve cuando tenemos documentos que enlazan a otros documentos y queremos verlos todos de una vez, como en el caso de las demostraciones de ACL2 que usan libros (es decir, colecciones de teoremas y funciones ya demostrados). A partir de ahora se puede pulsar en un enlace que nos lleve a otro documento sin más problemas, siguiendo un esquema particular de direcciones URL.

He aprovechado el componente InfoNode Tabbed Pane, que se halla bajo la GPL para uso no comercial, y he cambiado un poco los patrones de diseño detrás de la interfaz. Antes intenté un esquema MVC, pero no funcionó del todo, y se quedó en el MVC “mutilado” de Swing, en el que se integra la vista y el controlador. Extendido a la ventana principal, esto era un galimatías.

Así que probé a cambiar un poco el enfoque, usando “modelos de presentación” además de los modelos normales. Estos modelos factorizan propiedades útiles para varias vistas a la vez, e inútiles para el modelo, dejando a la vista mucho más sencilla. De esa forma podré en el futuro definir casos de prueba para aspectos relacionados con la presentación del documento, sin tener que comunicarme con los propios controles Swing.

Otras mejoras incluyen la posibilidad de que un usuario sin permisos de administrador edite los tipos definidos por el usuario (que siguen la filosofía de los ficheros de menú FreeDesktop.org) para personalizar las órdenes relacionadas con el post-procesador desde el tipo no XML original. Realmente el fichero original no se sobreescribe, sino que se escribe uno nuevo bajo el $HOME del usuario que toma prioridad sobre él.

Además, la actualización del documento es realmente “automática”: antes me limitaba a ejecutar de nuevo el post-procesador y reabrir el fichero cuando el usuario cerraba el editor. Ahora se usa un hilo en segundo plano que monitoriza el fichero en busca de cambios. Para ACL2, eso permitiría tener Emacs por un lado y el visor por otro, editando y grabando en un lado y viendo los cambios en el otro.

Esto ha hecho ya que el visor deje de ser “el visor para ppACL2” y pase a ser “el visor XMLEye” propiamente dicho. De hecho, pienso definir algún que otro formato adicional en estas semanas para demostrar su flexibilidad.

Por el lado del post-procesador, he seguido exactamente el mismo enfoque: hasta el momento era una colección “informe”, por así decirlo, de módulos y scripts Perl. He refactorizado el código siguiendo las recomendaciones para módulos del CPAN, estructurándolo con casos de prueba en base al módulo Test::More. Un desarrollador puede instalarse el módulo Module::Install y generar fácilmente tarballs de distribucióncon “make dist” desde la versión de Subversion. Estos tarballs son autocontenidos y se descargarán las dependencias del post-procesador cuando el usuario ejecute el script de instalación.

En el apartado de funcionalidad, el post-procesador es capaz ahora de seguir el grafo de dependencias a partir del fichero principal de una demostración y de enlazar todos los libros y demás usados, para que después en el visor se pueda saltar entre ellos.

A nivel general, el propio post-procesador se ha vuelto más “inteligente”: antes el visor tenía que lanzar él mismo ACL2 y luego ejecutar el post-procesador sobre el fichero principal. Para evitar que el visor tuviera que conocer el detalle de cómo se enlazan entre sí las demostraciones, ahora el post-procesador dirige el proceso completo a partir del fichero .lisp que abramos, e incluso evita tener que volver a analizar un mismo fichero varias veces, al estilo de la herramienta GNU Make.

Esto me deja así con un post-procesador mucho más funcional y un visor realmente genérico, por lo que en las últimas semanas he comenzado a pensar en las bestias negras de todo programador :-D: el manual y los paquetes Debian / instaladores para Windows. Por el lado de los paquetes Debian lo tengo casi listo (queda pulirlo un poco y subirlo al SVN), pero el manual voy a tener que empezarlo ahora.

Tomaré el manual sencillo del PFC como base, pero lo reescribiré usando DocBook y añadiré un tutorial en cómo definirse uno mismo un nuevo tipo de documento.

En fin, esto es todo por hoy :-D, que ya me vale. Lo siguiente: paquetes Debian para Gutsy.

Written by bluezio

25 de febrero de 2008 at 19:04

Publicado en Desarrollo

Tagged with , , , , ,