Mar 24 2014

Emacs whitespace-mode

Tag: mediumoverdrive @ 10:49 pm

Whitespace-mode renderiza caracteres para que sean visibles, tales como espacios, tabulaciones o nuevas lineas.

Esto es de gran importancia especialmente cuando se emplean lenguajes como Python.

Para comenzar a usarlo tan solo debemos teclear:

 M-x whitespace-mode

Este comando hara toggle de este modo para el fichero actual. Si queremos activar/desactivar el modo a nivel global para la sesion actual de emacs deberemos lanzar:

 M-x global-whitespace-mode

whitespace1

Ejemplo de captura con whitespace-mode por defecto

  • los tabs se muestran como «>>»
  • los espacios como «.»
  • fin de linea como «$»
  • las lineas en rojo son trailing spaces
  • mientras que las lineas amarillas son «TABs» en lugar de espacios al principio de la linea.

Tambien existen otros modos utiles como:

 M-x whitespace-newline-mode
 M-x global-whitespace-newline-mode

Ahora bien, si no queremos acabar con los ojos destrozados, podemos modificar los simbolos y colores por defecto de este modo:

Para reducir los colores podemos emplear:

(setq whitespace-style (quote (spaces tabs newline space-mark tab-mark newline-mark)))

Si queremos mostrar el simbolo pilcrow en lugar del simbolo del dolar para nueva linea hariamos lo siguiente:

(setq whitespace-display-mappings
;; all numbers are Unicode codepoint in decimal. try (insert-char 182 ) to see it
 ‘(
  (space-mark 32 [183] [46]) ; 32 SPACE, 183 MIDDLE DOT 「·」, 46 FULL STOP 「.」
   (newline-mark 10 [182 10]) ; 10 LINE FEED
    (tab-mark 9 [9655 9] [92 9]) ; 9 TAB, 9655 WHITE RIGHT-POINTING TRIANGLE 「▷」
  ))

Simbolo   Unicode Code Point (Decimal)       Unicode Name
·                183                                                     MIDDLE DOT
¶               182                                                     PILCROW SIGN
↵               8629                                                  DOWNWARDS ARROW WITH CORNER LEFTWARDS
↩               8617                                                  LEFTWARDS ARROW WITH HOOK
⏎               9166                                                  RETURN SYMBOL
▷               9655                                                 WHITE RIGHT POINTING TRIANGLE
▶               9654                                                 BLACK RIGHT-POINTING TRIANGLE
→              8594                                                 RIGHTWARDS ARROW
↦               8614                                                 RIGHTWARDS ARROW FROM BAR
⇥               8677                                                 RIGHTWARDS ARROW TO BAR
⇨               8680                                                 RIGHTWARDS WHITE ARROW

 

whitespace2

Whitespace-mode tunneado para que quede mucho mas chulo que por defecto

Para eliminar los espacios en blanco al final de la linea tan solo debemos invocar a la funcion:

M-x delete-trailing-whitespace

Aunque tambien podemos anadir las siguientes lineas en nuestro .emacs, para asegurarnos de manera automatica, que cada vez cuando guardamos, no dejamos trailing spaces:

(add-hook ‘before-save-hook ‘delete-trailing-whitespace)

Referencias:
http://ergoemacs.org/emacs/whitespace-mode.html
http://www.emacswiki.org/emacs/WhiteSpace


Mar 09 2014

GTAGS in Emacs

Tag: mediumoverdrive @ 10:27 pm

GTACS o mas conocido como Global TAGS o simplemente GLOBAL, es una herramienta de GNU (GNU Global).

Si no disponemos de la herramienta global debemos instalarla:

# apt-get install global

Ademas de esto, debemos haber bajado alli ggtags (que se puede descargar de http://www.emacswiki.org/emacs/GnuGlobal mediante wget):

$ wget http://elpa.gnu.org/packages/ggtags-0.7.12.el

Por ultimo, en nuestro .emacs debemos anadir lo siguiente:

(add-to-list ‘load-path «~/.emacs.d/ggtags/»)
(load-file «~/.emacs.d/ggtags/ggtags-0.7.12.el»)
     (add-hook ‘c-mode-common-hook
               (lambda ()
                 (when (derived-mode-p ‘c-mode ‘c++-mode ‘java-mode)
                   (ggtags-mode 1))))

Primero nos debemos posicionar en el directorio del proyecto y tan solo debemos ejecutar (con la opcion -v para verbose o con la opcion –statistics para mostrar estadisticas):

$ gtags –statistics

gtags1

Esto generara 4 ficheros:

  • GTAGS : TAGS para definiciones
  • GRTAGS : TAGS para referencias
  • GPATH : TAGS para ficheros
  • GTAGSROOT :  Si la variable de entorno GTAGSROOT no esta asignada y el fichero GTAGSROOT existe en el mismo directorio que el fichero GTAGS, entonces global asignara GTAGSROOT al contenido del fichero.

Ademas debemos tener en cuenta el fichero de configuracion de global, que pueden ser:

  1. ‘$HOME/.globalrc’ : fichero de configuracion de global para el usuario.
  2. ‘/etc/gtags.conf’ : fichero de configuracion de global para el sistema.
  3. ‘[sysconfdir]/gtags.conf’ : Ditto.

Tenemos distintas opciones utiles para este comando:

  • -i : actualiza los ficheros TAGS de manera incremental.
  • –single-update <fichero> : actualiza los TAGS para un solo fichero.
  • –acept-dotfiles : acepta ficheros ocultos que por defecto global ignora.
  • -v : modo verbose
  • –statistics : realiza estadisticas

gtags2

Auto-completion de funciones mediante abbrev con M-C-i

Una vez construidos los ficheros tags o bien podemos usar emacs para movernos entre ellos (tan solo debemos usar M-. y M-* para saltar dentro de la definicion o volver al punto anterior. Algunos de los keybindings de Emacs mas importantes son estos:

  • M-. : encuentra definiciones
  • M-] : encuentra referencias
  • M-* : aborta (vuelve al punto previo de la llamada de manera recursiva)
  • M-n o M-p : va al siguiente o al anterior TAG
  • M-o : hace toggle de abbrev completo (en mi caso me funciona ESC + soltar ESC + TAB o Meta+Control+i).
  • M-{ o M-} : previo o siguiente fichero

Ademas pulsando F10 podemos ver un nuevo menu para GTAGS.

gtags3

Usando GTAGS en emacs, en este caso M-] para encontrar referencias

gtags4

Menu mostrado para GTAGS en C-mode (puede realizarse para cualquier modo de programacion) mediante la tecla F10

Sin embargo si desde consola queremos hacer algunos queries tambien podemos hacerlo con global:

  • global <patron> -> imprime los TAGS que coinciden con el patron.
  • global -c <patron> -> imprime simbolos que comienzan por patron.
  • global -f <fichero> -> imprime todos los TAGS de ese fichero.
  • global -u -> actualiza los TAGS de manera incremental.
  • global -x <patron> -> muestra detalles
  • global -g <patron> -> muestra en que linea se encuentra el patron especificado
  • global -r <patron> -> muestra referencias

Para mas informacion se puede consultar la pagina man global, man gtags o el manual de global: http://www.gnu.org/software/global/manual/global.html


May 21 2013

SLIME: uso basico y medio

Tag: mediumoverdrive @ 10:49 pm

Si en el articulo anterior explicabamos la instalacion y configuracion de SLIME. En este articulo explicaremos los keybidings fundamentales y algunos mas para poder sentirnos confortables usando SLIME. Clasificaremos los keybidings segun el uso que se le de o la familia a la que pertenezcan.

Evaluacion

Los comandos de evaluacion muestran el resultado en el area echo, aunque empleados usando prefijos, causara que se inserte el resultado en el buffer actual.

C-x C-e : ‘slime-eval-last-expression‘ ; evalua la expresion antes del cursor.

C-M-x : ‘slime-eval-defun‘ ; evalua el buffer a modo toplevel.

C-c : : ‘slime-interactive-eval‘ ; evalua la expresion leida desde el minibuffer.

C-c C-r : ‘slime-eval-region‘ ; evalua la region.

C-c C-p : ‘slime-pprint-eval-last-expression‘ ; evalua la expresion anterior e imprime el resultado en un nuevo buffer.

C-c E : ‘slime-edit-value‘; edita el valor en un nuevo buffer con la forma *Edit <form>*. El valor es insertado en un buffer temporal para la edicion y asignado en Lisp para cuando sea committeado mediante C-c C-c.

C-x M-e : ‘slime-eval-last-expression-display-output‘ ; muestra el buffer de salida y evalua la expresion al punto precedido. Esto es util si la expresion escribe algo en el stream de salida.

C-c C-u : ‘slime-undefine-function‘ ; un-define una funcion, con fmakunbound, para el simbolo que se encuentra en el punto actual.

Compilacion

C-c C-c : ‘slime-compile-defun‘ ; Compila en la forma top-level en el punto actual. La region parpadeara para dar feedback de que parte fue seleccionada. Si se le pasa un argumento positivo, sera compilado con el maximo nivel de debug, si el argumento dado es negativo, sera compilado optimizando la velocidad. El comando escribira la region en un fichero, compilara dicho fichero y cargara el codigo resultante.

C-c C-k : ‘slime-compile-and-load-file‘ ; Compila y carga el fichero fuente del buffer actual. Si el paso de compilacion falla, el fichero no sera cargado.

C-c M-k : ‘slime-compile-file‘ ; Compila pero no carga el fichero fuente del buffer actual.

C-c C-l : ‘slime-load-file‘ ; Carga un fichero Lisp. Este comando usa la funcion LOAD de CL.

(sin keybinding asignada) : ‘slime-compile-region ; Compila la region seleccionada.

M-n : ‘slime-next-note‘ ; Mueve el puntero a la siguiente nota de compilacion y muestra dicha nota.

M-p : ‘slime-previous-note‘ ; Mueve el puntero a la anterior nota de compilacion y muestra dicha nota.

C-c M-c : ‘slime-remove-notes‘ ; Elimina todas las anotaciones del buffer.

C-x ` : ‘next-error‘ ; Visita el siguiente mensaje de error. (No es realmente un comando SLIME).

Completado

M-TAB : ‘slime-complete-symbol‘ ; Completa el simbolo en el punto actual. Existen 3 modos de autocompletado disponible en SLIME; por defecto es similar al autocompletado normal existente en Emacs.

Busqueda de definiciones o Meta-Point

M-. : ‘slime-edit-definition‘ ; Se desplaza a la definicion del simbolo del puntero actual.

M-, o M-* : ‘slime-pop-find-definition-stack‘ ; Se desplaza hacia atras donde M-. fue invocado. Esto da un multi-nivel de backtracking cuando M-. haya sido usado en distintas ocasiones.

C-x 4 . :slime-edit-definition-other-window‘ ; Como slime-edit-definition, pero cambia a otra ventana para editar la definicion.

C-x 5 . :slime-edit-definition-other-frame‘ ; Como slime-edit-definition, pero cambia a otro frame para editar la definicion.

(sin keybiding asignada) : ‘slime-edit-definition-with-etags‘ ; Emplea una tabla ETAGS para encontrar la definicion en el punto actual.

Documentacion

SPC : ‘slime-space‘ ; Inserta un espacio, pero al mismo tiempo busca y muestra la lista de argumentos de la funcion en el punto actual.

C-c C-d d : ‘slime-describe-symbol‘ ; Describe el simbolo en el punto actual.

C-c C-f : ‘slime-describe-function‘ ; Describe la funcion en el punto actual.

C-c C-d a : ‘slime-apropos‘ ; Realiza una busqueda apropos en los nombres de simbolos Lisp para encontrar una expresion regular y mostrar las cadenas de documentacion. Por defecto son buscados todos los simbolos externos de todos los paquetes. Mediante el uso de prefijos es posible escoger un paquete especifico.

C-c C-d z : ‘slime-apropos-all‘ ; Como slime-apropos pero buscatam bien por defecto en los simbolos internos.

C-c C-d p : ‘slime-apropos-package‘ ; Muestra los resultados de apropos de todos los simbolos de un paquete. Este comando es empleado para buscar un paquete a alto nivel.

C-c C-d h : ‘slime-hyperspec-lookup‘ ; Busca el simbolo en el punto actual en la Hyperspec Common Lisp.

C-c C-d ~ : ‘common-lisp-hyperspec-format‘ ; Busca un caracter de formato en la Hyperspec Common Lisp.

Referencia cruzada (cross-reference)

Los comandos de referencia cruzada de SLIME estan basados en el soporte dado por el sistema Lisp, lo cual puede variar entre Lisps. Para los sistemas construidos sin soporte XREF para peticiones SLIME, los cuales son tomados desde el repositorio CMI AI y manejados con SLIME.

C-c C-w c : ‘slime-who-calls‘ ; Muestra las funciones que llaman a la funcion actual.

C-c C-w w : ‘slime-calls-who‘ ; Muestra las funciones que son llamadas desde la funcion actual.

C-c C-w r : ‘slime-who-references‘ ; Muestra las referencias a la variable global.

C-c C-w b : ‘slime-who-binds‘ ; Muestra los bindings a la variable global.

C-c C-w s : ‘slime-who-sets‘ ; Muestra las tareas a la variable global.

C-c C-w m : ‘slime-who-macroexpands‘ ; Muestra expansiones de una macro.

(sin keybiding asociada) : ‘slime-who-specializes‘ ; Muestra todos los metodos conocidos especializados en una clase.

Existen tambien comandos callers y callees, que operan sobre objectos de funciones en el monticulo a bajo nivel para descubrir el grafo de llamadas. Estos estan solo disponible en algunos sistemas Lisp, y son mas utiles como fallback cuando se requiere informacion XREF que no esta disponible.

C-c < : ‘slime-list-callers‘ ; Lista las funciones que llaman.

C-c > : ‘slime-list-callees‘ ; Lista las funciones que son llamadas.

Expansion de macros

C-c C-m : ‘slime-macroexpand-1‘ ; Hace expansion de macro de la expresion en el punto actual. Si es invocado con argumentos, usa macroexpand en lugar de macroexpand-1.

C-c M-m : ‘slime-macroexpand-all‘ ; Expande la macro completamente de la expresion en el punto actual.

(sin keybinding asociada) : ‘slime-compiler-macroexpand-1‘ ; Muestra la expansion macro del compilador de una s-expression en el punto actual.

(sin keybinding asociada) : ‘slime-compiler-macroexpand‘ ; Repetidamente expande macros del compilador de una s-expression en el punto actual.

Desensamblado

C-c M-d : ‘slime-disassemble-symbol‘ ; Desensambla la definicion de la funcion de un simbolo en el punto actual.

C-c C-t : ‘slime-toggle-trace-fdefinition‘ ; Hace toggle de trazas de la funcion en el punto actual. Si es invocado con prefijos, lee informacion adicional, como por ejemplo que metodo particular debe ser trazado.

(sin keybinding asociada) : ‘slime-untrace-all‘ ; Elimina las trazas para todas las funciones.

Abortaje y recuperacion

C-c C-b : ‘slime-interrupt’ ; Interrumpe Lisp (envia SIGINT).

(sin keybinding asociada) : ‘slime-restart-inferior-lisp‘ ; Reinicia el proceso inferior-lisp.

C-c ~ : ‘slime-sync-package-and-default-directory‘ ; Sincroniza el paquete actual y el directorio de trabajo desde Emacs a Lisp.

C-c M-p :slime-repl-set-package‘ ; Establece el paquete actual del REPL.

(sin keybinding asociada) : ‘slime-cd‘ ; Establece el directorio actual del proceso Lisp. Esto ademas cambia el directorio actual del buffer REPL.

(sin keybinding asociada) : ‘slime-pwd‘ ; Muestra el directorio actual del proceso Lisp.

Inspeccion

El inspector SLIME es una alternativa basada en la funcion standar INSPECT de Emacs. El inspector de objetos de buffer en Emacs usa una combinacion de texto plano, hiperenlaces hasta relacion de objetos. El inspector puede ser especializado para objetos de nuestros propios programas, para ello se debe indagar en la funcion generica inspect-for-emacs del fichero swank-backend.lisp.

C-c I : ‘slime-inspect‘ ; Inspecciona el valor de una expresion insertada en el minibuffer.

RET : ‘slime-inspector-operate-on-point‘ ; Si el punto actual es un valor, entonces el inspector es llamado de forma recursiva sobre el valor. Si nos encontramos en una accion, entonces sera llamada dicha accion.

d : ‘slime-inspector-describe‘ ; Describe el slot en el punto actual.

v : ‘slime-inspector-toggle-verbose‘ ; Hace toggle entre el modo verbose (detallado) y terse (conciso). El valor por defecto viene determinado por swank:*inspector-verbose*.

l : ‘slime-inspector-pop‘ ; Se desplaza hacia el objeto anterior. (De vuelta desde RET).

n : ‘slime-inspector-next‘ ; La inversa de l.

q : ‘slime-inspector-quit‘ ; Sale del buffer inspector.

M-RET : ‘slime-inspector-copy-down‘ ; Almacena el valor bajo el punto actual en la variable *. Este puede ser entonces usado para el acceso al objeto en el REPL.

Profiling

(sin keybinding asociada) : ‘slime-toggle-profile-fdefinition‘ ; Hace toggle de profiling de una funcion.

(sin keybinding asociada) : ‘slime-profile-package‘ ; Hace profiling de todas las funciones de un paquete.

(sin keybinding asociada) : ‘slime-unprofile-all‘ ; Elimina el profiling de todas las funciones.

(sin keybinding asociada) : ‘slime-profile-report‘ ; Realiza un reporte de los datos del profiler.

(sin keybinding asociada) : ‘slime-profile-reset‘ ; Resetea los datos del profiler.

(sin keybinding asociada) : ‘slime-profiled-functions‘ ; Muestra la lista de las funciones actuales incluidas en el profiler.

Comandos shadowed

C-c C-a, M-x slime-nop : Estos comandos son ocultos desde inf-lisp.

C-c C-v, M-x slime-nop : Estos comandos son ocultos desde inf-lisp.

Indentacion semantica

SLIME automaticamente descubre como identar macros en nuestro sistema Lisp. Para realizar esta accion en el lado de Lisp son escaneadas todas las macros del sistema y son reportadas a Emacs todas aquellas que contengan el argumento &body. Emacs identa estas especialmente, poniendo al principicio 4 espacios para los argumentos y dos espacios para el body. En caso de que esto no funcionase por la razon de que SLIME no fuese capaz de distinguir entre macros y los nombres de simbolos, se puede ver que simbolos son envueltos en colisiones mediante:

(swank:print-indentation-lossage)

Tan solo hay que anular los simbolos Elisp mediante la propiedad common-lisp-indent-function a nuestro modo. SLIME no anulara ni sobreescribira nuestras opciones personalizadas.

Lisp automaticamente escanea cada simbolo para los cambios en la identacion justo despues de cada comando de Emacs. Sin embargo, esto es demasiado costoso para realizar cada vez, por lo que Lisp usualmente escanea simbolos los cuales coinciden con el paquete local que es usado por el buffer de Emacs. Esto suele funcionar bien y suele ser suficiente para la gran mayoria de macros definidas de forma interactiva, pero para capturar el resto, se realiza un escaneo completo de simbolos cada vez que un paquete Lisp nuevo es creado entre comandos. El siguiente comando puede ser empleado cuando sea necesario:

(sin keybiding asociada) : ‘slime-update-indentation‘ ; Fuerza todos los simbolos a ser escaneados para la informacion de indentacion.

Fontificacion condicional del reader

SLIME evalua automaticamente expresiones condicionales para el reader, como #+linux, en buffers de codigo y atenua las partes que seran ignoradas por la conexion actual Lisp.

Con toda esta lista de funciones y keybidings fundamentales y algunas otras, es posible moverse comodamente en frente de este magnifico modo para desarrollar en Lisp. Aunque este modo ofrece aun mas posibilidades avanzadas que seran descritas en nuestro siguiente post.


Página siguiente »