Programacion-en-Vala.pdf

Programaci€n en Vala

PDF generado usando el kit de herramientas de fuente abierta mwlib. Ver http://code.pediapress.com/ para mayor informaci€n. informaci€n. PDF generated at: Sat, 10 Nov 2012 15:34:35 UTC

Contenidos Art€culos Programaci•n en Vala

1

Introducci•n

3

Su primer programa en Vala

4

Conceptos b‚sicos del lenguaje

6

Programaci•n orientada a objetos en Vala

26

Funcionalidades avanzadas del lenguaje

41

Funcionalidades experimentales del lenguaje

63

Bibliotecas del lenguaje

65

Herramientas

66

Otras tƒcnicas

69

Referencias Fuentes y contribuyentes del art€culo

72

Fuentes de imagen, Licencias y contribuyentes

73

Licencias Licencia s de d e art€ ar t€culos culos Licencia

74

Programaci€n en Vala

Programaci€n en Vala Pr€logo Este libro pretende ser un manual de iniciaci€n al lenguaje de programaci€n Vala [1]. Este documento es principalmente una traducci€n del documento original [2], aunque tambi•n aportar‚ material propio.

•ndice 1. Intr Introd oduc ucci ci€n €n 1. ƒQu• ƒQu• es Val Vala? a? 2. ƒA qui•n qui•n va va dirigid dirigidoo este libro libro?? 3. Conven Convencio ciones nes del del lenguaj lenguajee 2. Su prime primerr progra programa ma en Vala Vala 1. Compilado Compilado y ejecuci€ ejecuci€nn del del programa programa 3. Concep Conceptos tos b‚sico b‚sicoss del lenguaj lenguajee 1. 2. 3. 4.

Archivos Archivos de c€digo c€digo y compila compilaci€n ci€n Visi€n Visi€n gene general ral de de la sinta sintaxis xis Come Coment ntar ario ioss Tipo Tiposs de dato datoss

1. Cons Consta tant ntes es 2. Tipo Tiposs b‚si b‚sico coss 3. 3. Cadenas 4. Vecto ectore ress 5. Refe Refere renc ncia iass 6. Conver Conversi€ si€nn est‚tic est‚ticaa de tipos tipos 7. Conversi€n Conversi€n din‚mi din‚mica ca de tipos (Inferencia) (Inferencia) 5. Oper Operad ador ores es 6. Estruct Estructura urass de de cont control rol 1. 1. Bucles 2. Estructuras Estructuras de control control condicionale condicionaless 7. Elemen Elementos tos del lengua lenguaje je 1. 1. M•todos 2. M•to M•todo doss delega delegado doss 3. M•todos M•todos an€nimos an€nimos (Clausura/C (Clausura/Closure) losure) 4. Espa Espaci cios os de nom nombr bres es 5. Estr Estruc uctu tura rass 6. 6. Clases 7. Inte Interf rfac aces es 8. Atribu Atributos tos del c€digo c€digo 4. Programaci€ Programaci€nn orientada orientada a objetos objetos en en Vala Vala 1. 2. 3. 4. 4. 5.

C€di C€digo go b‚sic b‚sicoo Cons Constru truct ctor ores es Destr Destruc ucto tore ress Se„ales Prop Propie ieda dade dess

1

Programaci€n en Vala 6. Heren erenccia 7. Clas Clases es abst abstra ract ctas as 8. Inte Interfa rface ces/ s/Mix Mixin inss 9. Poli Polimo morf rfis ismo mo 10. Informaci€n Informaci€n de tipos tipos en tiempo tiempo de ejecuci€n ejecuci€n 11. Conver Conversi€ si€nn de tipos tipos din‚mic din‚micaa 12. 12. Tipo Tiposs gen• gen•ri rico coss 13. Esquema Esquema de construcci€ construcci€nn tipo tipo GObject GObject 5. Funcionalid Funcionalidades ades avanzadas avanzadas del del lenguaje lenguaje 1. Aserci Asercione oness y Dise„o Dise„o por contra contrato to 2. Mane Manejo jo de de error errores es 3. Direcc Direcci€n i€n de par‚m par‚metr etros os 4. Cole Colecc ccio ione ness 5. M•todo M•todoss con sopor soporte te de sinta sintaxis xis 6. Mult Multih ihil iloo 7. El bucl buclee princ princip ipal al 8. M•to M•todo doss as…n as…ncr cron onos os 9. Refere Referenci ncias as d•bile d•biless 10. Propie Propiedad dad de las las referen referencia ciass 11. Listas de par‚metr par‚metros os de longitud longitud variable variable 12. 12. Pun Puntero teross 13. Clases Clases que no heredan heredan de GLib.Obj GLib.Object ect 6. Funcionalid Funcionalidades ades experim experimental entales es del lenguaje lenguaje 7. Biblio Bibliotec tecas as del del lengua lenguaje je 1. Acceso Acceso a ficheros ficheros en en Vala (biblioteca (biblioteca GIO) 2. Funcionalid Funcionalidad ad de redes redes en Vala Vala (bibliotec (bibliotecaa GIO y SOUP) SOUP) 3. Fich Ficher eros os XML XML en en Vala Vala 4. Prueba Pruebass unitar unitarias ias en en Vala Vala 5. Desarrollo Desarrollo de interfac interfaces es gr‚ficas gr‚ficas de usuario usuario en Vala (Gtk+) (Gtk+) 8. Herra Herrami mien enta tass 1. El compi compilad lador or de Vala Vala (valac (valac)) 2. Las herramie herramientas ntas para para generar generar biblioteca bibliotecass 3. Depura Depuraci€ ci€nn de prog program ramas as 9. Otra Otrass t•c t•cni nica cass 1. Usando Usando toda toda la poten potencia cia de GLib GLib Programaci€n en Vala/Desarrollo

Referencias [1] [1] http http:/ :/ / live.gnome. live.gnome.org/ org/ Vala Vala [2] [2] http http:/ :/ / live.gnome. live.gnome.org/ org/ Vala/ Vala/ Tutorial Tutorial

2

Introducci€n

Introducci€n Introducci€n El lenguaje de programaci€n Vala [1] es un proyecto relativamente nuevo y por ello est‚ sujeto a cambios. Este libro intentar‚ transmitir lo mejor posible cuales son los objetivos que persigue este lenguaje de programaci€n y los convenios que se deben seguir cuando se desarrolla con este lenguaje de programaci€n.

‚Quƒ es Vala? Vala es un nuevo lenguaje de programaci€n [2] que permite usar t•cnicas de programaci€n modernas para desarrollar aplicaciones que se ejecutan usando las bibliotecas de GNOME [3], aunque tambi•n es posible ejecutarlo en otros sistemas operativos y entornos gr‚ficos, debido a sus bajas dependencias (GLib [4] y GObject [5]). Esta plataforma de desarrollo provee de un entorno completo de programaci€n; con funcionalidades como el sistema de tipos din‚micos y el gestor de memoria asistida. Antes de la existencia de Vala, la †nica forma de programar para la plataforma era con la API nativa de C, o utilizando un lenguaje de programaci€n de alto nivel que usan m‚quinas virtuales, como Python o C#, que necesitan un wrapper [6] para usar esa biblioteca. Vala es un lenguaje totalmente diferente de otros lenguajes y otras t•cnicas, ya que el compilador genera c€digo en lenguaje C [7], que puede ser compilado para ser ejecutado sin ninguna biblioteca extra ni wrapper intermedio. Esto tiene una serie de consecuencias, pero entre las mas importantes se encuentran: 1. Los programas escritos en Vala deber…a deber…a tener un desempe„o similar al mismo programa directamente directamente escrito en lenguaje C. Siendo mucho m‚s f‚cil y r‚pido de escribir y mantener. 1. Una aplicaci€n escrita en Vala no puede puede hacer nada que un programa equivalente escrito en lenguaje C no pueda hacer. Sin embargo Vala introduce una serie de funcionalidades que no est‚n disponibles en C, las cuales se mapean en construcciones escritas en C, siendo estas †ltimas dif…ciles y complejas de escribir directamente. Vala es, por lo tanto, un lenguaje de programaci€n moderno con todas las funcionalidades que se puede esperar de una plataforma actual (Python, .NET, etc).

‚A quiƒn va dirigido este libro? Este libro no est‚ pensado para aprender los conceptos de programaci€n b‚sicas (para eso existen libros que puede consultar [8]). Este libro va dirigido a aquellos que quieran aprender a usar este lenguaje de programaci€n y algunas de las bibliotecas que existen para el sistema. Se aconseja conocer alg†n lenguaje de programaci€n y en concreto un lenguaje de programaci€n orientado a objetos. Vala comparte bastante sintaxis con C#, pero algunas otras no se corresponden con construcciones de este lenguaje, por tanto no se entrar‚ en comparaci€n a menos que sea necesario, para evitar que este libro est• enfocado a programadores de C#. Tambi•n ser…a conveniente que el lector tuvieras nociones de C, aunque esto no es necesario en si mismo, es importante darse cuenta que Vala realmente se ejecuta como un programa escrito en C compilado, y puede interactuar con bibliotecas escritas en C. Por tanto un conocimiento de C puede hacer comprender el funcionamiento de Vala.

3

Introducci€n

4

Convenciones del lenguaje El c€digo ir‚ en formato wiki normal al igual que los comandos necesarios para compilar y ejecutar los programas. El c€digo ir‚ acompa„ado de comentarios explicativos siempre que sea necesario para entenderlo.

Referencias [1] [1] [2] [2] [3] [3] [4] [4] [5] [5] [6] [6] [7] [7] [8] [8]

http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Vala_(lenguaje_de_programaci€n) Vala_(lenguaje_de_programaci€n) http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lenguaje_de_programaci€n Lenguaje_de_programaci€n http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ GNOME GNOME http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ GLib GLib http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ GObject GObject http http:/ :/ / en.wikipedia. en.wikipedia.org/ org/ wiki/ wiki/ Wrapper_library Wrapper_library http http:/ :/ / es.wikibooks. es.wikibooks. org/ wiki/ wiki/ Programaci€n_en_C Programaci€n_en_C http http:/ :/ / es.wikibooks. es.wikibooks. org/ wiki/ wiki/ Fundamentos_de_programaci€n Fundamentos_de_programaci€n

Su primer programa en Vala Su primer programa en Vala Como no puede ser de otro modo el primer programa en Vala va a ser el conocido como "Hola Mundo" que es el programa m‚s simple (sin contar con el programa vac…o) que se puede escribir en un lenguaje de programaci€n. El listado de c€digo ser…a algo como lo que sigue: class Demo.HelloWorld : GLib.Object { public static int main main( (string string[] [] args) {

stdout.printf( "Hola, mundo!\n"); stdout.printf("Hola, mundo!\n" );

return 0; } }

A continuaci€n se explicar‚n algunas de las caracter…sticas que contiene el c€digo, para entenderlas es necesario conocer los fundamentos de la programaci€n orientada a objetos [1]. La primera l…nea que se ve es: class Demo.HelloWorld : GLib.Object {

Esta l…nea de c€digo representa la definici€n de una nueva clase [2] llamada HelloWorld. Se puede observar que antes del nombre de la clase se encuentra la palabra "Demo" seguida de un punto. Bien, esto indica el espacio de nombres [3] en el que se mueve el programa. Asimismo, Asi mismo, se puede observar que despu•s del nombre de la nueva clase le siguen dos puntos y la cadena "Glib.Object". Esta cadena va en el mismo formato que la anterior, es decir, "espacio de nombres"."nombre de la clase" e indica una clase de la que hereda [4] la clase anterior. La mayor…a de las nuevas clases heredar‚n de la clase "GLib.Object" que puede ser considerada como la clase b‚sica en el lenguaje Vala, ya que, una parte importante de las funcionalidades del lenguaje est‚n supeditadas a que la clase sobre las que se aplican hereden de esta clase o de una clase descendiente de •sta. Como se ha podido ver la sintaxis de definici€n de una clase es bastante similar a otros lenguajes de programaci€n como C++, Java o C#. Siguiendo con el mismo listado de c€digo tenemos que la siguiente l…nea de c€digo es la que sigue a continuaci€n: public static int main main( (string string[] [] args) {

Su primer programa en Vala Esta l…nea de c€digo define un m•todo [5] de la clase HelloWorld llamado "main". Este m•todo va precedido por la palabra reservada "public" que indica que se trata de un m•todo p†blico (es decir, puede ser llamado externamente a la clase a la que pertenece). La palabra reservada "static" nos indica que se trata de un m•todo est‚tico (est‚ asociado a la clase y no a un objeto en concreto, es decir, puede ser llamado sin instanciar ning†n objeto de esa clase). Adem‚s se indica que el tipo de datos que devuelve este m•todo es de tipo entero, lo que se hace mediante la palabra reservada "int". Por †ltimo, entre los par•ntesis se indican los par‚metros (los datos que utilizar‚ internamente el m•todo para trabajar). El par‚metro es una lista [6] de cadenas [7] que contendr‚ los par‚metros con los que fu• llamado el programa desde la l…nea de comandos [8]. El hecho de que el m•todo definido se llame "main" no es casual, ya que, Vala considera a este m•todo concreto como el punto de entrada del programa, es decir, que una vez compilado un programa escrito en Vala •ste ser‚ el primer m•todo en ser ejecutado. Este m•todo es el que contiene la correspondientes inicializaciones que requiere el programa que estemos desarrollando, por ejemplo la inicializaci€n de la interfaz gr‚fica de usuario [9]. La siguiente l…nea de c€digo es la que sigue:

stdout.printf( "Hola, mundo!\n"); stdout.printf("Hola, mundo!\n" );

Esta l…nea de c€digo imprime por la salida est‚ndar (normalmente ser‚ la pantalla del ordenador) el mensaje encerrado entre comillas. Es una llamada al m•todo "printf" del objeto "stdout". En el lenguaje de programaci€n Vala existen una serie de objetos predefinidos a los cuales tenemos acceso por que se encuentran definidos dentro del espacio de nombres GLib que est‚ definido por defecto en cualquier programa Vala. El objeto "stdout" nos permite el acceso a la salida est‚ndar de la m‚quina y entre otros m•todos contiene el m•todo "printf" que muestra un mensaje formateado por dicha salida. La †ltima l…nea importante del c€digo inicial es la siguiente: return 0;

Esta l…nea hace que el programa finalice y devuelva un valor de 0 al sistema. Este valor normalmente se usa para indicar si un programa ha finalizado de forma correcta o no. Si estuviera definido en otro m•todo cualquiera (que no fuera el punto de entrada del programa) devolver…a el valor y se almacenar…a en una variable. Por ejemplo: int valor int valor = objeto.metodo();

Las †ltimas l…neas del listado †nicamente cierran la definici€n de la clase y el m•todo definido como en cualquier otro lenguaje como por ejemplo C++ o Java.

Compilado y ejecuci€n del programa Una vez que se entiende el funcionamiento del programa, el siguiente paso es compilar dicho programa. Vala al ser un lenguaje de programaci€n compilado [10] y por lo tanto necesita de un compilador [11]. El lenguaje de programaci€n Vala dispone de un compilador llamado "valac" y que es compilador al mismo tiempo del lenguaje de programaci€n Genie [12]. Asumiendo que tenemos el compilador de Vala instalado en nuestra m‚quina, para compilar el primer programa "Hola mundo" suponiendo que est‚ escrito en un fichero llamado "hola.vala" ser…a: valac hola.vala

Esto generar…a un fichero ejecutable llamada "hola" (dependiendo del sistema operativo en el que nos encontremos el fichero binario resultante tendr‚ o no una extensi€n como por ejemplo la ".exe" en Windows). Para ejecutar dicho programa habr‚ que escribir en la l…nea de comandos algo como: ./hola

5

Su primer programa en Vala Y nos mostrar‚ la salida: Hola mundo!

Referencias [1] [1] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Programaci€n_orientada_a_objetos Programaci€n_orientada_a_objetos [2] [2] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Clase_(inform‚tica) Clase_(inform‚tica) [3] [3] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ C%2B%2B#Espacios_de_nombres C%2B%2B#Espacios_de_nombres [4] [4] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Herencia_(programaci€n_orientada_a_objetos) Herencia_(programaci€n_orientada_a_objetos) [5] [5] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ M•todo_(programaci€n_orientad M•todo_(programaci€n_orientada_a_objetos) a_a_objetos) [6] [6] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lista_(estructura_de_datos) Lista_(estructura_de_datos) [7] [7] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Cadena_(inform‚tica) Cadena_(inform‚tica) [8] [8] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ L…nea_de_comandos L…nea_de_comandos [9] [9] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Interfaz_gr‚fica_de_usuario Interfaz_gr‚fica_de_usuario [10] [10] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lenguaje_compilado Lenguaje_compilado [11] [11] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Compilador Compilador [12] [12] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Genie_(lenguaje_de_programaci€n) Genie_(lenguaje_de_programaci€n)

Conceptos b„sicos del lenguaje Conceptos b„sicos del lenguaje Archivos de c€digo y compilaci€n Los archivos de c€digo fuente de vala tienen, normalmente, la extensi€n ".vala". El lenguaje de programaci€n Vala no fuerza a que los proyectos tengan una determinada estructura, en cuanto a los paquetes o los nombres de los archivos que contiene una clase, como hacen otros lenguajes como Java. En lugar de eso la estructura se define dentro de los archivos de c€digo mediante texto, definiendo la localizaci€n y estructura l€gica mediante elementos como los espacios de nombres. Cuando se quiere compilar c€digo Vala, se le pasa al compilador una lista de los archivos de c€digo fuente necesarios, y el compilador determina como ensamblarlos todos juntos. La ventaja de todo esto es que se pueden definir tantas clases o funciones como se desee dentro de un †nico archivo de c€digo, incluso combinando distintos espacios de nombres todos dentro del mismo archivo (aunque no se demasiado recomendable por cuestiones de legibilidad y estructura). Vala por lo tanto no exige de manera inherente una determinada estructura para los proyectos que se desarrollan usando esta plataforma. Sin embargo, si existen ciertas convenciones a la hora de estructurar un proyecto desarrollado en Vala. Un buen ejemplo ser…a como se estructura el propio proyecto del compilador de Vala. Todos los archivos de c€digo que pertenezcan al mismo proyecto son suministrados al compilador "valac" mediante la l…nea de comandos, junto con los correspondientes par‚metros de compilaci€n. Esto funciona de forma similar a como se har…a con el c€digo fuente compilado en Java. Por ejemplo: $ valac compiler.vala compiler.vala --pkg libvala

Esa l…nea de c€digo producir…a un archivo binario llamado "compiler" que ser…a enlazado [1] con el paquete "libvala" (cuando nos referimos a paquete lo estamos haciendo a un concepto similar a biblioteca de funciones o la mal traducida librer…a). De hecho, as… es como se genera el compilador de Vala en realidad. Si se quiere que el archivo ejecutable producido tenga un nombre espec…fico (distinto al que el compilador le da) o si se le pasan varios archivos al compilador, es posible especificar el nombre del fichero ejecutable mediante la opci€n "-o":

6

Conceptos b‚sicos del lenguaje $ valac source1.vala source1.vala source2.vala -o myprogram $ ./myprogram

Como se ha comentado anteriormente el compilador de vala es capaz de generar c€digo en lenguaje C en lugar de un archivo ejecutable. As… para realizar esto existe la opci€n "-C" que indicar‚ al compilador que genere todo el c€digo C necesario para crear el ejecutable del proyecto. El compilador crear‚ un archivo con extensi€n ".c" por cada archivo con extensi€n ".vala" que le pasemos. Si abrimos el contenido de esos archivos generados se puede ver el c€digo C equivalente al programa que hemos desarrollado en Vala. Se puede observar como se crean las mismas clases que en Vala pero mediante la biblioteca GObject y c€mo se registran de forma din‚mica en el sistema. Este es un ejemplo del poder que tiene la plataforma de desarrollo de GNOME. Sin embargo, todo esto es a t…tulo informativo, ya que, por suerte no es necesario generar todos estos ficheros, ni entender como funcionan internamente para poder programar en Vala. Si en lugar de generar el fichero de c€digo C s€lo necesitamos generar la cabecera (por ejemplo si estamos generando una biblioteca de funciones ser‚ necesario para poder usarla en C o en otro lenguaje) existe la opci€n "-H" con la que conseguiremos ese objetivo. A continuaci€n un ejemplo que genera los dos ficheros (un fichero de c€digo C y su correspondiente cabecera ".h"): $ valac hello.vala -C -H hello.h

Visi€n general de la sintaxis La sintaxis de Vala est‚ fuertemente inspirada en la sintaxis del lenguaje de programaci€n C#, por lo que la mayor…a de lo explicado aqu… ser‚ muy familiar para los programadores de C# e incluso para los que sepan s epan alg†n lenguaje con un sintaxis similar a C. Independientemente de eso se intentar‚ dar explicaciones breves de los conceptos que se estimen oportunos, aunque no en demasiada profundidad por que no es el cometido del presente documento. Al igual que en otros lenguaje de programaci€n, en Vala existe el concepto de visibilidad o ‚mbito [2] de las variables. Un objeto o referencia †nicamente es v‚lida dentro del ‚mbito definido mediante corchetes ({}) d€nde se defini€ dicho objeto. Estos delimitadores son los mismos que se usan para delimitar las definiciones de las clases, los m•todos, los bloques de c€digos, etc; por lo que todos estos conceptos tienen su propio ‚mbito. Por ejemplo: int funcion1 funcion1 ( (void ) { int a= int a=0 0; } int funcion2 funcion2 ( (void ) { int a= int a=1 1;

stdout.printf( "%d\n", stdout.printf("%d\n" , a); }

El c€digo anterior define dos funciones que tiene sendas variables "a" definidas con distintos valores. La funci€n "funcion2" mostrar‚ el valor de "a", el c†al ser‚ de 1 ya que la variable que se encuentra definida en el ‚mbito de la funci€n "funcion2" vale 1. El lenguaje Vala, a diferencia de otros, no es estricto en la localizaci€n de la definici€n de variables. As… no existe una localizaci€n fija para este prop€sito, si bien es cierto que se aconseja por temas de legibilidad y estructura definirlas al inicio del ‚mbito en el que van a ser usadas. Una variable se define mediante un tipo y un nombre despu•s del tipo. Es decir si queremos definir un entero de nombre edad ser…a algo as…: int edad; int edad;

En caso de que el tipo fuera una clase (en lugar de un tipo de datos b‚sico) se crea una instancia de una clase. Si se crea una referencia que no se inicia esta no apunta a ning†n objeto. El concepto de referencia aqu… es el mismo que

7

Conceptos b‚sicos del lenguaje en el lenguaje de programaci€n Java, es decir, un puntero [3] que apunta a un objeto. As… para definir un nuevo objeto de una clase se usar‚ el operador new: // Referencia no inicializada Clase objeto; // Referencia inicializada que apunta al nuevo objeto Clase objeto = new Clase();

Comentarios Los comentarios se definen mediante los mismos s…mbolos que en C#, es decir, "//" para los comentarios de 1 l…nea y "/**/" para los comentarios de m‚s l…neas. As… tenemos: // Comentario de una l€nea /* Comentario escrito en m•s de una l€nea */ /* * Comentario especial para sistema de documentaci‚ documentaci‚n n * autom•tica. */

En relaci€n al †ltimo tipo de comentarios, el lenguaje de programaci€n Vala dispone de un sistema generador de documentaci€n autom‚tica [4] propio cuyo nombre es Valadoc [5].

Tipos de datos Hablando en general podemos separar los tipos de datos en Vala en dos grandes subgrupos, los tipos de referencia y los de valor. As… estos nombres nos indican la forma en la que estos valores son pasados en el sistema. De esta forma un tipo de valor es copiado en todos los lugares en los que es asignado a otro identificador (otra variable), mientras que un valor de referencia se copia la referencia pero apunta al mismo objeto.

Constantes Las constantes no son propiamente un tipo de dato ya que una constante define un valor de cualquier tipo de dato que no se modifica durante la ejecuci€n del programa. As… una constante se define mediante la palabra reservada "const" seguida del tipo de constante que se define. As… una constante de tipo real se definir…a mediante: const float float PI PI = 3.1415926 3.1415926; ;

8


Tipos b„sicos Vala dispone de un conjunto amplio de datos b‚sicos entre los que se encuentran los siguientes: ‡ Byte (char, (char, uchar): uchar): Es un valor que que ocupa el m…nimo m…nimo posible posible en memoria memoria (1 byte) byte) y que se utiliza utiliza para almacenar almacenar 1 car‚cter o valores enteros de 0 a 255. ‡ Character Character (unichar): (unichar): Es Es un car‚cter car‚cter de de tipo tipo unicode unicode [6] por lo que ocupar‚ en memoria 2 bytes. ‡ Integer Integer (int, uint): uint): Enteros Enteros positivos positivos que van desde desde 0 a 65536 (o desde desde -32768 a 32767 32767 si es con signo), signo), ocupa ocupa 2 bytes en memoria. ‡ Long Integer Integer (long, (long, ulong): ulong): Es un entero largo largo que ocupa ocupa 4 bytes en memoria memoria y que puede puede representa representarr desde 0 a 4294967296. ‡ Short Integer Integer (short, (short, ushort): ushort): Es un entero que ocupa ocupa 2 bytes bytes en memoria y que que funciona funciona como un Integer. Integer. ‡ Enteros Enteros de tama„o fijo garantiza garantizado: do: Estos tipos garantiz garantizan an que independien independientement tementee de la plataforma plataforma de ejecuci€n ejecuci€n del programa el entero ocupa el mismo tama„o en memoria y tiene por lo tanto los mismos l…mites. Estos tipos de datos son: int8, int16, int32 e int64 (para los enteros con signo) y uint8, uint16, uint32 y uint64 (para los enteros sin signo). ‡ N†meros N†meros de coma flotante: flotante: Hay Hay dos tipos de datos datos de coma flotante flotante,, float y double. double. Los n†meros n†meros float ocupan ocupan en memoria 4 bytes y los double 8 bytes. La principal diferencia es la precisi€n del n†mero. Un n†mero double permite representar n†meros con m‚s precisi€n que un float. ‡ Boolean Boolean (bool): (bool): Tipo de dato boolean booleanoo con dos valores valores posibles posibles cierto cierto (true) y falso falso (false). (false). ‡ Datos compuestos compuestos (struct): (struct): Permite Permite definir definir datos compuestos compuestos mediante mediante la palabra palabra reservada reservada struct. struct. Ejemplo: Ejemplo: struct persona { int edad, String nombre }; ‡ Enumeracion Enumeraciones es (enum): Conjunto Conjunto de valores valores enteros enteros enumerados, enumerados, es decir, decir, salvo que no se indique indique otra cosa se incrementan los valores. Normalmente los valores que se especifican ocupan lo establecida en la lista, sin embargo s€lo se garantiza para los enteros de tama„o fijo garantizado. Para determinar el tama„o en memoria de una variable se usa la palabra reservada "sizeof". Se puede ver el valor m‚ximo y m…nimo que pueden tener un tipo de dato se usan los valores MIN y MAX definidos. Por ejemplo int.MIN y int.MAX.

Cadenas Las cadenas de texto en Vala se definen mediante la palabra reservada string. Estas cadenas son de tipo UTF-8, es decir, son cadenas de texto unicode que pueden representar cualquier texto. string a string a = "Hola" "Hola"; ;

Adem‚s de este tipo de cadenas existen las cadenas literales, es decir, que no se interpretan los caracteres de escape como "\n". Estas cadenas se definen mediante una triple comillas. Cualquier car‚cter que se encuentre entre el par de tres comillas se inserta dentro de la cadena literal, por ejemplo un tabulador. Ejemplo: string literal string literal = """Esto es una cadena " literal" literal " y puede contener cualquier car€cter.\n\tTexto tabulado.\n """;

Las cadenas que empiezan mediante una @ son plantillas. Estas plantillas pueden eval†an variables y/o expresiones que est‚n definidas mediante $. Por ejemplo: string plantilla string plantilla = @"$a * $b = $(a*b)" ; // Devolver• una cadena como "6 * 7 = 42"

Los operadores == y != se utilizan en las cadenas y su comportamiento es distinto a otros lenguajes. As… en Vala los operadores == y != compara el contenido de las cadenas y no la referencias de las mismas. Por ejemplo en Java: C€digo Java

9


10

String a = "hola" "hola"; ; String b = "hola" "hola"; ;

if (a == == b b) ) { } else { }

C€digo Vala string a string a = "hola" "hola"; ; string b string b = "hola" "hola"; ;

if (a == b) { } else { }

El c€digo Java indicar‚ que las variables apuntes a dos objetos distintos (dos referencias distintas) mientras que en Vala si se devolver‚ el valor de cierto ya que ambas cadenas son iguales, aunque se encuentren almacenadas en dos variables distintas. Al igual que en otros lenguajes de programaci€n como Python, las cadenas se pueden partir en partes mediante los operadores [inicio:fin]. As… si queremos seleccionar desde el car‚cter 5 hasta el 9 podemos hacer lo siguiente: string a string a = "hola mundo"; mundo" ; string b string b = a[5 a[5:9];

Se puede acceder a un determinado car‚cter mediante los corchetes indicando el …ndice del car‚cter, teniendo en cuenta que los vectores en Vala empiezan en el …ndice 0. string a string a = "hola mundo"; mundo" ; unichar c = a[0 a[ 0];

Sin embargo esta forma de acceso a las cadenas es de s€lo lectura, es decir, no se puedes escribir un car‚cter (o una cadena) indicando la posici€n en la que debe ser insertado. Por ejemplo el siguiente c€digo es inv‚lido: C€digo INVALIDO en Vala string a string a = "hola mundo"; mundo" ; a[0 a[0] = "a" "a"; ;

Existen, asimismo, diversos m•todos para poder realizar conversiones entre cadenas y otros tipos de datos b‚sicos y viceversa. A continuaci€n se presentan algunos ejemplos: Ejemplos de conversiones entre cadenas y otros datos b„sicos y viceversa bool b bool b = "false" "false".to_bool(); .to_bool();

// => false

int i int i = "-52" "-52".to_int(); .to_int();

// => -52

double d double d = "6.67428E-11" "6.67428E-11".to_double(); .to_double();

// => 6.67428E-11

string s1 string s1 = true .to_string();

// => "true"

string s2 string s2 = 21. 21.to_string(); to_string();

// => "21"

string s3 string s3 = 24.17 24.17.to_string(); .to_string();

// => "24.170000000000002"


11

Vectores Los vectores se declaran en Vala mediante el tipo de vector (el tipo de dato) seguido de "[]" y un nombre al final. Antes de usar el vector adem‚s de declararlo lo debemos inicializar indicando el tama„o del mismo o en su caso los valores que lo componen. Por ejemplo si queremos declarar un vector de 100 n†meros enteros llamado "lista_primos" ser…a algo as…: int[] int [] lista_primos = new int int[ [100 100]; ]; // Para saber el tamaƒo de un vector se usa la propiedad "length" stdout.printf("%d\n" stdout.printf( "%d\n", , lista_primos.length);

Al igual que con las cadenas, los vectores tambi•n pueden ser divididos en varias partes usando los operadores "[]". As… teniendo definido un vector de enteros tal que "{ 2, 4, 6, 8 }" podemos trocearlo de la siguiente forma: int[] int [] lista = { 2, 4, 6, 8 }; int[] int [] c = lista[ 1:3];

// => { 4, 6 }

El nuevo vector es un vector completamente independiente del original y los cambios realizados sobre el segundo no afectan al primero. Adem‚s de vectores se pueden definir matrices multidimensionales posicionando una coma (o m‚s dependiendo del n†mero de dimensiones que se quiera) dentro de los corchetes. As… por ejemplo para definir una matriz bidimensional vac…a de 3x3 se realizar…a de la siguiente forma: int[,] int [,] c = new int int[ [3,3]; // Si se quiere una matriz con los valores s‚lo tenemos que indicarlos despu•s del = int[,] int [,] d = {{2 {{ 2, 4, 6}, {3, 5, 7}, {1, 3, 5}};

Este tipo de matrices se representa internamente en memoria como un bloque contiguo. Los vectores de vectores "[][]" en los cuales cada fila tiene un tama„o distinto no est‚n soportados a†n. Se pueden a„adir elementos al vector mediante el uso del operado "+=". Sin embargo, esto s€lo funciona para vectores definidos como locales o privados. El vector ser‚ redimensionado en caso de ser necesario. En caso de que esto pase, internamente se incrementa en potencias de 2 por temas de eficiencia y velocidad. Sin embargo la propiedad ".length" indicar‚ el n†mero actual de elementos y no el valor interno. Por ejemplo: int[] int [] e = {} e += 12 12; ; // Ahora e tiene un tamaƒo interno de 2 (Aunque la propiedad length vale 1) e += 5;

// Ahora e tiene un tamaƒo interno de 2 (La propiedad length

vale 2) e += 37 37; ; // Se aƒade otro elemento y se vuelve a redimensionar internamente. Ahora su tama‚o interno sera de

4 elementos (La propiedad

length valdr€ 3)

Si despu•s de los par•ntesis despu•s del identificador junto con un tama„o se obtendr‚ un vector de tama„o fijo. Este tipo de vectores se aloja en memoria en la pila [7] o mediante "in-line allocated" (si se usa como variable de una clase y no puede ser redimensionado despu•s. Ejemplo:


12

int e[ int e[10 10]; ]; // No necesita new. No se le pueden aƒadir m•s elementos.

Vala no realiza comprobaciones de l…mites en el acceso a los vectores en tiempo de ejecuci€n. Si se necesita m‚s seguridad sobre esta tem‚tica se recomienda el uso de estructuras de datos m‚s sofisticadas como por ejemplo los "ArrayList". M‚s adelante se tratar‚n m‚s en profundidad esta familia de estructuras de datos (colecciones, lista, etc). As… por ejemplo en el siguiente ejemplo se accede a una posici€n inexistente del vector; en lugar de mostrarnos un error mostrar‚ el contenido de una posici€n de memoria externa al vector y de contenido indeterminado (basura): int[] int [] vector = new int int[ [10 10]; ]; stdout.printf("%d\n" stdout.printf( "%d\n", , vector[300 vector[ 300]); ]); // Puede mostrar cualquier valor, pero no mostrar€ errores

Referencias El tipo de dato conocido como referencia [8] es un tipo de dato que contiene un valor que permite el acceso indirecto al contenido de una variable. El termino referencia es muy similar al termino puntero que se usa en otros lenguajes de programaci€n como C, sin embargo en este caso una referencia normalmente se usar‚ para los objetos creados, mientras que un puntero puede ser de cualquier tipo de variable (entero, coma flotante, cadena, etc). As… cada vez que dentro de un programa escrito en Vala pasemos un objeto a una funci€n o m•todo de otra clase, en realidad estar…amos pasando una referencia. El sistema es capaz de tener un registro de cuantas referencias siguen en uso, con el fin de que pueda realizar la gesti€n de memoria por nosotros. Entre otras cosas el sistema de gesti€n de memoria de Vala se encarga de liberar la memoria que ocupa un objeto cuando todas las referencias que apuntan a •l hayan dejado de usarse. El valor de una referencia que no apunte a ninguna parte ser‚ null. M‚s informaci€n acerca de las referencias en el cap…tulo de Programaci€n orientada a objetos en Vala [9].

Conversi€n est„tica de tipos Cuando nos encontramos desarrollando un programa en cualquier lenguaje de programaci€n fuertemente tipado [10], normalmente nos encontramos ante el problema de pasar de un tipo de datos a otro con bastante frecuencia. En una conversi€n de datos est‚tica el compilador sabe cuales son los tipos de datos origen y destino antes de ejecutar el programa compilado. As… en Vala se puede realizar este tipo de conversi€n de datos estableciendo el tipo de datos entre par•ntesis despu•s de una igualdad. En una conversi€n est‚tica de datos no se establece ning†n tipo de comprobaci€n de seguridad. Este tipo de conversiones son v‚lidas para todos los tipos de datos en Vala. Por ejemplo: int i int i = 10 10; ; float j float j = (float (float) ) i;

Conversi€n din„mica de tipos (Inferencia) Existe otro tipo de conversi€n de tipos de datos conocida como conversi€n din‚mica o inferencia de tipos [11] que se usa sobre todo en lenguajes de programaci€n funcionales [12]. As… dado que Vala permite definir variables sin tipo inicial usando para ello la palabra reservada var, var, es necesario que se pueda establecer el tipo de una variable con posterioridad a su definici€n, es decir, inferir ese tipo a partir de una expresi€n que se encuentra a la derecha de una igualdad. Por ejemplo el siguiente c€digo ser…a legal en Vala: var p = new Person();

// es lo mismo que: Person p = new Person();

var s = "hello" "hello"; ;

// es lo mismo que: string s = "hello";

var l = new List(); >(); // es lo mismo que: List l = new List(); var i = 10 10; ;

// es lo mismo que: int i = 10;

Conceptos b‚sicos del lenguaje Este tipo de variables sin tipo s€lo est‚n permitidas como variables locales [13]. Este mecanismo es muy †til para usar en los par‚metros de los m•todos gen•ricos.

Operadores Como otros lenguajes de programaci€n, Vala tiene a disposici€n de los programadores una gran variedad de operadores para usar con distintos prop€sitos. Podemos separar los operadores de Vala en varios tipos seg†n el tipo de datos sobre el que operan.

Operadores aritmƒticos Estos operadores se aplican a todos los tipos num•ricos definidos anteriormente. Estos operadores son los que aparecen en la siguiente tabla:

Operadores aritmƒticos I (identificador = expresi€nA OPERADOR expresi€nB) Operad Operador or Descri Descripci pci€n €n =

El oper operado adorr de asigna asignaci€ ci€nn se utiliz utilizaa para para real realiza izarr asign asignaci acion ones es entr entree una una varia variable ble y el result resultado ado de una una expr expresi esi€n €n o un valo valorr (otra (otra variable). A la izquierda de este operador debe aparecer un identificador (una variable) y a la derecha del mismo puede aparecer un valor, una expresi€n o otra variable.

+

El oper operado adorr de suma suma reali realiza za la la adici adici€n €n de las las expres expresion iones es que que tiene tiene a su izquie izquierda rda y a su dere derecha cha.. Este Este oper operado adorr es aplica aplicable ble a las las cadenas de texto ("string").

-

El ope opera rado dorr de res resta ta rea reali liza za la la rest restaa de la exp expre resi si€n €n que que tie tiene ne a la la dere derech chaa sobr sobree la expr expres esi€ i€nn que que tien tienee a su izqu izquie ierd rda. a.

*

El ope opera rado dorr de mul multi tipl plic icac aci€ i€nn real realiz izaa el pro produ duct ctoo entr entree la exp expre resi si€n €n que que tie tiene ne a su izq izqui uier erda da y a su dere derech cha. a.

/

El operador de divisi€n divisi€n realiza esta operaci€n usando usando como dividendo dividendo la expresi€n que que tiene a su izquierda y como como divisor la expresi€n expresi€n que tiene a su derecha.

%

El oper operado adorr de m€du m€dulo lo calc calcula ula el resto resto de una una divi divisi€ si€nn siend siendoo la expr expresi esi€n €n que que tien tienee a su izqu izquier ierda da el el cocie cociente nte y la exp expres resi€n i€n que existe existe a su derecha el divisor.

Operadores aritmƒticos II (identificador OPERADOR expresi€n) Operad Operador or Descri Descripci pci€n €n +=

Este Este oper operado adorr reali realiza za la la adici adici€n €n de la la expre expresi€ si€nn sobr sobree el conten contenido ido que tenga tenga el iden identif tifica icador dor a su izquie izquierda rda..

-=

Este Este oper operado adorr real realiza iza la resta resta de la expres expresi€n i€n sobre sobre el conten contenido ido que tenga tenga el identi identific ficado adorr a su izquie izquierda rda..

*=

Este Este opera operador dor realiz realizaa el prod product uctoo entre entre el el conte contenid nidoo del del ident identifi ificad cador or a su su izqu izquier ierda da y la la expre expresi€ si€nn a su derech derecha. a. El result resultado ado se almacena en el identificador.

/=

Este operador realiza la divisi€n divisi€n tomando como como dividendo el contenido contenido del identificador identificador y como divisor divisor el resultado de la expresi€n expresi€n de la derecha. El resultado de la divisi€n se almacena en el identificador.

%=

Este Este operad operador or calcu calcula la el m€dul m€duloo (resto) (resto) de de la divisi divisi€n €n,, tomand tomandoo como como divide dividendo ndo el el conten contenido ido del del ident identifi ificad cador or y como como divis divisor or el resultado de la expresi€n de la derecha. El resultado de la divisi€n se almacena en el identificador.

13


14

Operadores aritmƒticos III (identificador OPERADOR o bien OPERADOR identificador) Opera Operador dor Descri Descripci pci€n €n ++

Este Este oper operad ador or incr increm emen enta ta en uno uno el el con conte teni nido do del del iide dent ntif ific icad ador or..

--

Este Este oper operad ador or decr decrem emen enta ta en uno uno el cont conten enid idoo del del iden identi tifi fica cado dor. r.

Los operadores "++" y "--" se pueden usar tanto en una posici€n prefija al identificador como postfija al mismo. Sin embargo existe una sutil diferencia entre ambos usos. Supongamos que tenemos este operador en una expresi€n (variable++ o ++variable). As…, si el operador est‚ delante del identificador la expresi€n devolver‚ el nuevo valor (variable + 1) sin embargo, si tenemos el operador detr‚s del identificador entonces la expresi€n devolver‚ el valor antiguo (variable). Esto puede hacer que cometamos errores dif…ciles de detectar. Por ejemplo: C€digo con operador prefijo int a int a = 0; int b int b = ++a; // Aqu€ b valdr€a 1 que ser€a el valor que devuelve la expresiƒn

C€digo con operador postfijo int a int a = 0; int b int b = a++; // Aqu€ b valdr€a 0 que ser€a el valor que devuelve la expresiƒn

Operadores a nivel de bits Un operador a nivel de bits es aquel que realiza una operaci€n sobre los bits que componen los par‚metros que recibe. Los operadores booleanos que se definen en Vala son los mismos que se definen en el ‚lgebra de Boole [14] o compuestos por varios b‚sicos. As… tendremos los siguientes operadores:

Operadores a nivel de bits I (expresi€n_booleana_A (expresi€n_booleana_A OPERADOR_BOOLEANO expresi€n_booleana_B) Operad Operador or Descri Descripci pci€n €n |

Este operador realiza la operaci€n booleana OR de la expresi€n que tiene a su izquierda y la expresi€n que tiene a su derecha.

^

Este op operador re realiza la la op operaci€n booleana XOR de la expresi€n que tiene a su izquierda y la expresi€n que tiene a su derecha.

&

Este operador realiza la operac raci€n booleana AND de la expresi€n que tiene a su izquierda y la expresi€n que tiene a su derecha.


15

Operadores a nivel de bits II (OPERADOR_BOOLEANO expresi€n_booleana) expresi€n_booleana) Operad Operador or Descri Descripci pci€n €n ~

Este op operador re realiza la la op operaci€n bo booleana NOT de la expresi€n que tiene a su derecha.

Operadores a nivel de bits III (identificador OPERADOR_BOOLEANO expresi€n expresi€n booleana) Operad Operador or Descri Descripci pci€n €n |=

Este operador realiza la operaci€n booleana OR entre el identificador y el resultado de la expresi€n booleana. El resultado se almacena dentro del identificador.

^=

Este op operador re realiza la la op operaci€n bo booleana XOR entre el identificador y el resultado de la expresi€n booleana. El resultado se almacena dentro del identificador.

&=

Este Este operad eradoor real realiz izaa la operac eraci€ i€nn boole oolean anaa AND entre el identificador y el resultado de la expresi€n booleana. El resultado se almacena dentro del identificador.

Operadores a nivel de bits IV (identificador OPERADOR_BOOLEANO OPERADOR_BOOLEANO expresi€n entera) Operad Operador or Descri Descripci pci€n €n >>

Este Este opera operador dor realiz realizaa el movi movimie miento nto de los los bits bits de de izquie izquierda rda a derech derechaa un n†m n†mero ero de de veces veces igu igual al al valor valor devu devuelt eltoo por por la expre expresi€ si€nn entera. Se introducir‚n tantos 0 por la izquierda como indique la expresi€n entera.

<<

Este Este opera operador dor realiz realizaa el movi movimie miento nto de los los bits bits de de derech derechaa a izqu izquier ierda da un un n†mer n†meroo de vece vecess igual igual al valo valorr devue devuelto lto por por la expre expresi€ si€nn entera. Se introducir‚n tantos 0 por la derecha como indique la expresi€n entera.

Operadores a nivel de bits V (identificador OPERADOR_BOOLEANO OPERADOR_BOOLEANO expresi€n entera ) Operad Operador or Descri Descripci pci€n €n >>=

Este operador operador realiza realiza el movi movimient mientoo de los bits de izquie izquierda rda a derecha derecha un un n†mero n†mero de veces veces igual igual al valor devuelto devuelto por la expresi expresi€n €n entera. Se introducir‚n tantos 0 por la izquierda como indique la expresi€n entera. El resultado se almacena en el identificador.

<<=

Este operador operador realiza realiza el movi movimient mientoo de los bits de derech derechaa a izquierda izquierda un n†mero n†mero de de veces veces igual igual al valor valor devuelto devuelto por la expresi expresi€n €n entera. Se introducir‚n tantos 0 por la derecha como indique la expresi€n entera. El resultado se almacena en el identificador.

Operadores l€gicos Los operadores l€gicos son aquellos que toman unos operandos y realizan alguna operaci€n de tipo l€gico sobre ellos. Estos operadores se utilizan para comprobar si se satisface una condici€n todos ellos devuelven un valor booleano (true o false) que determina si esa condici€n es cierta o no.


16

Operadores l€gicos I Operador

Descripci€n

!

El operador l€gico NOT hace que la condici€n tome el valor contrario al que tiene. Por ejemplo si una expresi€n l€gica devuelve true y aplicamos el operador NOT la expresi€n se convierte en false. false.

&&

El operador l€gico AND comprueba dos expresiones l€gicas sean ciertas. En ese caso el resultado ser‚ true, true, en cualquier otro caso ser‚ false. false.

||

El operador l€gico OR comprueba al menos una de las expresiones l€gicas sea cierta. En ese caso el resultado ser‚ true, true, en caso de ambas expresiones sean falsas el operador devolver‚ false. false.

expresion_evaluacion

El operador ternario eval†a una expresi€n de evaluaci€n y comprueba que sea cierta. En ese caso devuelve como resultado el valor de la expresi€n A, en caso contrario devuelve el contenido de la expresi€n B.

? expresion_A : expresion_B expresion_evaluacion

?? expresion

Este operador es equivalente a escribir la expresi€n "a != null ? a : b. Es decir, si la expresi€n es distinto de null devuelve el valor de la expresi€n, en caso contrario devuelve el valor de expresi€n. Este operador es †til para suministrar un valor por defecto cuando una referencia en null. Ejemplo: stdout.printf("Hola, stdout.printf( "Hola, %s!\n", %s!\n" , nombre ?? "Desconocido" );

expresion_A in expresion_B

El operador in comprueba si la expresi€n B se encuentra dentro de la expresi€n A. Este operador se utiliza sobre conjuntos o listas de elementos, as… si un conjunto de elementos se encuentra dentro de otro entonces el operador devolver‚ true; en caso contrario devuelve false. Este operador es v‚lido para las cadenas, realizando una b†squeda de una cadena B dentro de la cadena A. Ejemplo: bool a bool a = "Hola" in "Hola mundo"; mundo" ; // La variable a tendr• el valor true

Estructuras de control Las estructuras de control [15] son las que nos permiten estructurar el programa y definir el flujo de trabajo necesario para conseguir el resultado esperado. As… todos los lenguajes de programaci€n cuentan con m‚s o menos estructuras de control. El lenguaje Vala por su parte dispone de un amplio n†mero de estructuras de control a disposici€n de los programadores.

Bucles Los bucles [16] son estructuras de control cuya utilidad es la de repetir un c€digo un n†mero de veces. Dependiendo de si ese n†mero de veces es conocido de antemano o no tenemos dos tipos de bucles. En el primer grupo de bucles conocemos el n†mero de repeticiones que va a realizar el bucle antes de que se ejecute el programa. Dentro de este grupo Vala dispone de dos estructuras de control. La primera es la que se define mediante la palabra reservada for. for. Este bucle tiene en su definici€n tres partes que distribuyen as…: for ( inicializaciƒn_contador; condicion_salida; codigo_contador ) { // C‚digo que se repite dentro del bucle ... }

La parte de inicializacion_contador se utiliza para definir la variable que tendr‚ el valor del contador en cada pasada del bucle. Despu•s tendremos la parte de condici€n_salida que debe contener una expresi€n booleana que cuando devuelva que es cierta saldr‚ del bucle. Por †ltimo se define la parte del codigo_contador d€nde se define el incremento del paso de cada iteraci€n, normalmente ser‚ un incremento (de una unidad) sobre el contenido de una variable. Veamos un ejemplo: for ( int int i i = 0; i < 10 10; ; i++ ) { // Este bucle se ejecutar• 10 veces yendo los valores del contador "i" desde "i" desde 0 a 9, siendo el paso 1


stdout.printf( "Iteraciƒn %d\n", stdout.printf("Iteraciƒn %d\n" , i); }

El otro tipo de bucle es el que se define mediante la palabra reservada foreach. Este bloque se define en dos partes como las que aparecen en el siguiente ejemplo: foreach ( elemento in lista_elementos ) { // Se

ejecuta tantas veces veces como elementos haya en la lista. lista.

}

As… en la primera parte se define una variable del mismo tipo que los objetos que forma la lista, mientras que en la segunda parte se especifica la lista de objeto a recorrer. Por ejemplo: int[] int [] lista_enteros = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 10 }; };

foreach( int int entero entero in lista_enteros ) { // Mostramos el contenido

stdout.printf( "Contenido del elemento: %d\n" , entero); stdout.printf("Contenido }

Este c€digo recorre un vector de enteros y va almacenando el contenido de cada elemento del vector en la variable entero definida s€lo para ese ‚mbito. Hay que se„alar que aunque cambiemos el contenido de la variable entero no se almacenar‚ en el vector lista_enteros el nuevo valor, ya que, se hace una copia de los valores. El segundo grupo de bucles que se ha definido al principio de esta secci€n es aquel en el que no conocemos a priori el n†mero de ejecuciones que va a tener. Dentro de este grupo Vala define dos estructuras de control distintas. La primera de ellas es el bucle mientras o while [17]. Este tipo de bucle se ejecutar‚ mientras la expresi€n booleana que se especifica al inicio del bucle sea cierta. As… el bucle tiene la siguiente estructura: bool condicion_salida bool condicion_salida = true;

while ( condicion_salida ) { // Acciones que hacen que llegado el momento "condicion_salida" tenga un valor false y se salga del bucle }

Este bucle eval†a la condici€n de salida antes de ejecutar las acciones que tiene definidas dentro del cuerpo del mismo. As… este bucle puede llegar a no ejecutarse ninguna vez. El otro bucle definido en Vala es el conocido como bucle "Hacer mientras que" o "Do ... While". Este bucle realiza al menos una ejecuci€n de las sentencias que tiene definidas dentro su cuerpo. Despu•s llega a la parte de evaluaci€n de la condici€n, ejecut‚ndose este proceso mientras la condici€n que eval†a sea cierta. Ejemplo de definici€n: bool condicion_salida bool condicion_salida = true;

do { // Acciones que hacen que la condicion evaluada sea falsa } while ( condicion );

Todas estos bucle puede ser manipulados haciendo uso de las palabras reservadas break y continue. La palabra reservada break se utiliza para salir incondicionalmente del cuerpo del bucle (independientemente de que la condici€n sea cierta o no). Por su parta la palabra reservada continue hace que el flujo del programa vaya al lugar donde se realiza la evaluaci€n de la condici€n de salida del bucle. Ejemplo:

17

Conceptos b‚sicos del lenguaje bool condicion_salida bool condicion_salida = true;

do { // Nos salimos del bucle

break; // Operaciones que no llegaran ejecutarse } while ( condicion ); // Este bucle se ejecutar€a siempre

while( condicion ) { // No hacemos nada y nos vamos a la evaluaci‚n

continue; // Acciones que cambiar€an el valor de la condici‚n a false }

Estructuras de control condicionales La estructuras de control condicionales son aquellas que permiten ejecutar un trozo de c€digo dependiendo de si una condici€n es cierta o no. Dentro de este tipo de estructuras de control Vala dispone de dos tipos que est‚n a disposici€n del programador para su uso. La primera de ellas es la estructura que se define con las palabras reservadas if ... else if ... else. Esta estructura de control permite definir una condici€n que de cumplirse ejecuta el trozo de c€digo que tiene encerrado entre par•ntesis. La definici€n ser…a algo as…: int a int a = 1;

if ( a == 1 ) { // Acciones para cuando la variable a valga 1 } else { // Acciones para cuando la variable tenga un valor distinto a 1 }

Adicionalmente esta estructura permite definir m‚s condiciones distintas a la primera mediante las palabras reservadas else if . As… si ampliamos el ejemplo anterior tendr…amos algo as…: int a int a = 1;

if ( a == 1 ) { // Acciones para cuando la variable a valga 1 } else if ( a == 2 ) { // Acciones para cuando la variable a valga 2 } else if ( a == 3 ) { // Acciones para cuando la variable a valga 3 } else { // Acciones para cuando la variable tenga un valor distinto a 1, 2 o 3 }

Adem‚s de esta estructura de control condicional, Vala dispone de otra estructura que es muy †til cuando tenemos un gran n†mero de casos a tratar sobre una misma variable. Esta estructura de control es la llamada switch case [18].

18

Conceptos b‚sicos del lenguaje Esta estructura de control define una variable sobre la que se van a realizar varios casos mediante la palabra switch. El c€digo a aplicar se encuentra definido mediante la palabra reservada case. Un ejemplo variando el anterior ser…a: int a int a = 1;

switch (a) { case 1: // Acciones para cuando la variable a valga 1

break; case 2: // Acciones para cuando la variable a valga 2

break; case 3: // Acciones para cuando la variable a valga 3

break; default: // Acciones para cuando la variable tenga un valor distinto a 1, 2 o 3

break; }

Esta definici€n es an‚loga a la realizada mediante if ... else if ... else teniendo en cuenta que todos los casos no contemplados y definidos mediante la palabra reservada case se definen mediante la palabra reservada default . Es muy importante no olvidar poner la palabra reservada break al final del bloque de c€digo de cada caso, ya que en caso contrario, no se sale de la estructura de control condicional. Una nota para programadores de C y otros lenguajes similares: las condiciones deben devolver un valor booleano expl…citamente, es decir, si queremos evaluar que una variable sea null o tenga un valor de 0 hay que especificarlo expl…citamente. Por ejemplo: if ( objeto == null ) // BIEN if ( objeto ) // MAL

Elementos del lenguaje Mƒtodos En Vala llamaremos m•todos a todas las funciones [19] indepedendientemente de si son independientes o se encuentran definidas dentro de una clase de objetos, tampoco se tendr‚ en cuenta si devuelven un valor o no. A partir de ahora a todas ellas nos referiremos con el nombre de m•todos. Ejemplo de definici€n de un m•todo: int nombre_del_metodo nombre_del_metodo ( ( int int argumento1, argumento1, Object argumento2 ) { // Algoritmo a ejecutar

return valor_devuelto; }

El c€digo de arriba define un m•todo con el nombre nombre_del_metodo que toma dos argumentos y devuelve un entero. Dentro del m•todo se colocar‚n las acciones que el m•todo debe ejecutar para obtener la funcionalidad deseada. Como se ha comentado ya en varias ocasiones todo el c€digo Vala se traduce a c€digo C, por lo que todos los m•todos Vala se traducen en funciones escritas en C, por lo que pueden recibir un n†mero arbitrario de argumentos y

19


20

devuelve un valor (o ninguno si se definen como void). void). Se podr…an devolver m‚s de un valor poniendo esos valores extra en un lugar conocido por el c€digo que llama al m•todo. M‚s informaci€n acerca de esta t•cnica se dar‚n en la secci€n Funcionalidades avanzadas del lenguaje. La convenci€n para la nomenclatura de los m•todos en Vala es mediante palabras en min†scula y separando las palabras mediante guiones bajos "_". Esto puede resultar algo extra„o para los programadores que sepan C# o Java y est•n acostumbrados a usar CamelCase [20] o CamelCasemixto. Pero se sigue esta nomenclatura para ser consistente con otras bibliotecas ya desarrolladas en Vala y C/GObject que ya usan dicha nomenclatura. A diferencia de otros lenguajes de programaci€n, Vala no soporta la sobrecarga de m•todos [21] por lo que no es posible definir dos o m‚s funciones con el mismo nombre y distinto n†mero y/o tipos de argumentos. Ejemplo de sobrecarga: void draw draw( (string string text) text) { } void draw draw(Shape (Shape shape) { }

// Esta definici‚n nos dar• un error.

Esto es debido a que las bibliotecas desarrolladas en Vala est‚n dise„adas para que puedan ser usadas por programadores de C tambi•n sin ning†n cambio (y en C no existe la sobrecarga de funciones). En lenguaje Vala se puede realizar algo parecido a lo siguiente para solucionar este inconveniente: void draw_text draw_text( (string string text) text) { } void draw_shape (Shape shape) { }

Eligiendo nombres ligeramente distintos el desarrollador puede evitar este inconveniente. En lenguajes que si soportan la sobrecarga de m•todos se usa esta t•cnica para suministrar m•todos con menos par‚metros que un m•todo general. En caso de querer desarrollar m•todos generales se puede usar una caracter…stica de Vala que son los argumentos por defecto de los m•todos para obtener un comportamiento similar. De esta forma no es necesario pasar todos los par‚metros a los m•todos que han sido definidos de esta forma: void metodo metodo( (int int x, x, string string s s = "hola" "hola", , double double z z = 0.5 0.5) ) { }

Este m•todo definido podr…a ser llamado de alguna de las siguientes formas: metodo(2 metodo(2); metodo(2 metodo(2, "„que tal?"); tal?" ); metodo(2 metodo(2, "„que tal?", tal?" , 0.75 0.75); );

Es posible incluso definir m•todos con un n†mero de par‚metros indefinidos y variable usando varargs como el m•todo stdout.printf . Esta t•cnica se explicar‚ m‚s adelante. Vala realiza una comprobaci€n b‚sica para comprobar que los par‚metros (y el valor de vuelta) son nulos o no. Los par‚metros (o valor de vuelta) que se definen con el s…mbolo ? postfijo al nombre de la variable se les permite que sean nulos (null (null). ). Esta informaci€n ayuda al compilador a realizar comprobaciones est‚ticas y a a„adir comprobaciones en tiempo de ejecuci€n en las precondiciones de los m•todos, los cu‚les pueden ayudar a anular errores relacionados con las referencias nulas. string? method_name( string? method_name(string? string? text, text, Foo? foo, Bar bar) { // ... }

En este ejemplo, foo y el valor de vuelta puede ser null, null, sin embargo, bar no debe ser null. null.


Mƒtodos delegados Los m•todos delegados, permiten pasar trozos de c€digo entre objetos y otros m•todos. As… por ejemplo se podr…a definir un m•todo delegado para pasar a otro m•todo de la siguiente forma: delegate void DelegateType (int int a); a); void f1 f1( (int int a) a) {

stdout.printf( "%d\n", stdout.printf("%d\n" , a);

}

void f2 f2(DelegateType (DelegateType d, int int a) a) {

d(a);

// LLamada a un m„todo delegado

}

void main main() () {

f2(f1, 5);

// Se pasa un m„todo como un par•metro delegado

}

El ejemplo de arriba define un nuevo tipo llamada DelegateType el cual, representa un m•todo que recibe un entero y no devuelve ning†n valor. Cualquier m•todo que tenga este n†mero de par‚metros puede ser asignado a una variable de este tipo o pasado como un argumento de este tipo. El c€digo ejecutar‚ el m•todo f2, f2, pasado como una referencia al m•todo f1 y el n†mero 5. El m•todo f2 ejecutar‚ el m•todo f1, f1, pas‚ndole a •l el n†mero. Los m•todo delegados puede ser creados de forma local. Un m•todo miembro puede ser asignado tambi•n como m•todo delegado. Por ejemplo: class Foo { public void f1 f1( (int int a) a) {

stdout.printf( "a = %d\n", stdout.printf("a %d\n" , a); }

delegate void DelegateType (int int a); a); public static int main main( (string string[] [] args) { Foo foo = new Foo(); DelegateType DelegateType d1 = foo.f1; d1(10 d1( 10); );

return 0; } }

En este ejemplo dentro de la clase Foo se define un m•todo llamado f1 y un tipo delegado. Dentro del m•todo main se define un m•todo delegado y se asigna el m•todo f1 del objeto foo. foo.

21


22

Mƒtodos an€nimos (Clausura/Closure) (Clausura/Closure) Un m•todo an€nimo, tambi•n conocido como una expresi€n lambda, funci€n literal o clausura [22], puede ser definido usando el operador =>. =>. La lista de par‚metros se encuentran definidos en la parte de la izquierda del operador, mientras que el cuerpo del m•todo se define a la derecha del operador. Un m•todo an€nimo por si s€lo no tiene sentido. S€lo es †til si se asignan directamente a una variable o a un tipo delegado o se pasa como argumento a otro m•todo. Hay que darse cuenta de que ni los par‚metros ni los tipos devueltos se dan expl…citamente. En lugar de eso los tipos son inferidos de los par‚metros que se usan con el tipo delegado. Ejemplo de asignaci€n del m•todo a una variable de tipo delegado: delegate void PrintIntFunc (int int a); a); void main main() () { PrintIntFunc p1 = (a) => { stdout.printf( stdout.printf ( "%d\n" "%d\n", , a); }; p1(10 p1( 10); ); // Las llaves {} son opcionales si el cuerpo del m„todo an‚nimo es de una l…nea PrintIntFunc p2 = (a) => stdout.printf( stdout.printf ( "%d\n" "%d\n", , a); p2(20 p2( 20): ): }

Ejemplo de como se pasa un m•todo an€nimo a otro m•todo delegate int Comparator Comparator( (int int a, a, int int b); b); void my_sorting_algorithm (int int[] [] data, Comparator compare) { // ... el m„todo 'compare' es llamado en alguna parte de este m•todo ... }

void main main() () { int[] int [] data = { 3, 9, 2, 7, 5 }; // Un m„todo an‚nimo se pasa como segundo par•metro: my_sorting_algorithm(data my_sorting_a lgorithm(data, , (a, b) => {

if (a < b) return -1 -1; if (a > b) return 1; return 0; }); }

Los m•todos an€nimos son aut•nticas clausuras. Esto significa que pueden acceder a las variables locales del m•todo exterior dentro de la expresi€n lambda. Ejemplo: delegate int IntOperation (int int i); i); IntOperation curried_add curried_add( (int int a) a) {

return (b) => a + b; }

// 'a' es una variable externa

Conceptos b‚sicos del lenguaje void main main() () {

stdout.printf( "2 + 4 = %d\n", stdout.printf("2 %d\n" , curried_add( curried_add( 2)(4 )(4));

}

En este ejemplo el m•todo curried_add (ver Currificaci€n [23]) devuelve un m•todo nuevo creado que mantiene el valor de a. Este m•todo devuelto se llama con 4 como argumento, resultado de la suma de los dos n†meros.

Espacios de nombres En programaci€n orientada a objetos un espacio de nombres [24] se utiliza para agrupar un conjunto de funcionalidad (clases, constantes, m•todos, etc) que deben tener un nombre †nico. As… un espacio de nombres nos va a servir para desarrollar bibliotecas o m€dulos. Para definir un espacio de nombres se utiliza la palabra reservada namespace seguida del identificador †nico que dar‚ nombre al espacio de nombres. As… un ejemplo de espacio de nombres ser…a: namespace EspacioNombres { // Las clases, m„todos, constantes que pertenecen al espacio de nombres }

Todo lo que se defina dentro de los corchetes pertenecer‚ la espacio de nombres. Todo aquello definido fuera del espacio de nombres debe usar nombres cualificados (EspacioNombres.clase ( EspacioNombres.clase para definir un objeto de una clase por ejemplo), o por otra parte si se encuentra dentro de un archivo que contenga la l…nea con using EspacioNombres; podr‚ usar todos los identificadores dentro de ese espacio de nombres sin necesidad de anteponer el nombre del espacio de nombres delante de aquello a lo que quiera acceder. Por ejemplo: C€digo con using // Usamos el espacio de nombres GLib

using GLib; o = Object;

C€digo sin using o = GLib.Object; GLib.Object;

Hay una ocasi€n en la cual es inevitable el uso de los nombres cualificados (independientemente de los espacios de nombres que estemos usando), y es cuando se produce una ambigêdad, es decir, existen dos identificados iguales en distintos espacios de nombres que estamos usando. Por ejemplo existen dos clases Object definidas una en el espacio de nombres GLib y otra en Gtk, Gtk, as… si hemos incluido ambos y queremos asegurarnos que usamos una clase y no otra debemos hacerlo mediante los identificadores cualificados; es decir, GLib.Object o bien Gtk.Object dependiendo del identificador al que queramos acceder. En todos los programas escritos en Vala el espacio de nombres GLib se importa por defecto por lo que tenemos que tener en cuenta los identificadores que existen dentro de este espacio de nombres por si surgen casos de ambigêdad como el anteriormente descrito. Todo aquello que no se define dentro de alg†n espacio de nombres concreto, se supone que est‚ definido en un espacio de nombres gen•rico. Para acceder a este espacio de nombres global se usa el prefijo global::identificador. global::identificador.

23

Conceptos b‚sicos del lenguaje Los espacios de nombres pueden estar anidados, por lo que nos podremos encontrar cosas como EspacioNombres1.EspacioNombres1A.identificador.. EspacioNombres1.EspacioNombres1A.identificador Por †ltimo decir que la nomenclatura de los espacios de nombres sigue el est‚ndar CamelCase y es muy conveniente que los desarrolladores sigan la norma para conseguir uniformidad en el c€digo desarrollado por toda la comunidad.

Estructuras Una estructura de datos [25] se puede definir como un conglomerado de datos b‚sicos del lenguaje de programaci€n, con el objetivo de facilitar la manipulaci€n de la misma. As… en Vala es posible definir una estructura mediante la palabra reservada struct. struct. A continuaci€n un ejemplo de una definici€n de una estructura: struct Persona { public int int edad; edad; public string string nombre; nombre; }

Una estructura en Vala puede tener miembros privados para lo cual se definen mediante la palabra reservada private. private. Los miembros de una estructura se definen como p†blicos por defecto si no se indica otra cosa. Para inicializar los valores de una estructura se puede obrar de alguna de las siguientes formas: Persona p1 = Persona(); // Inicializacion sin valores Persona p2 = Persona( 18 18, , "Juan" "Juan"); ); // Inicializacion con valores en una †nica l…nea // Inicializacion con valores definidos en varias l€neas Persona p3 = Persona() { edad = 18 18, , nombre = "Juan" };

Las estructuras se almacenan en la pila [26] del programa y cuando se realiza una asignaci€n de una estructura a otra se realiza mediante la copia de los valores, es decir, se realiza copia por valor [27].

Clases Una clase [2] es un tipo de objetos definido para resolver una parte del problema definido. Se ver‚ una definici€n m‚s en profundidad de este tipo de programaci€n en la secci€n Programaci€n Orientada a Objetos en Vala. A continuaci€n se define una clase de objetos simple: class NombreClase : NombreSuperClase, NombreInterfaz { // Definici‚n de la clase }

Mediante este c€digo definir…amos una nueva clase llamada NombreClase, NombreClase, que heredar…a [28] de una clase llamada NombreSuperClase y que implementar…a la interfaz [29] NombreInterfaz. NombreInterfaz. Todos estos terminos se tratar‚n en m‚s profundidad en la secci€n Programaci€n Orientada a Objetos en Vala.

24


Interfaces Las interfaces en Vala son algo distintas a las definidas por Java o C# y es que pueden ser usadas como mixins [30] que tienen una serie de m•todos y propiedades que la clase hija hereda, aunque estos mixins no est‚n pensados para ser aut€nomos. Se ofrecer‚n m‚s detalles sobre las interfaces en Vala en la secci€n Programaci€n orientada a objetos en Vala. A continuaci€n un ejemplo simple de definici€n de una interfaz en Vala: interface NombreInterfaz : NombreInterfazPadre { }

Como se ha visto en el ejemplo de arriba una interfaz puede heredar tambi•n de otra interfaz padre.

Atributos del c€digo Los atributos del c€digo indican al compilador de Vala como se supone que debe funcionar el c€digo en la plataforma destino. La sintaxis que usan estos atributos es [Atributo] o [Atributo(parametro1 = valor1, parametro2 = valor2, ... )]. )] . En la mayor…a de ocasiones se usan para definir los archivos vapi que usa el compilador de Vala para poder usar las bibliotecas escritas en C desde el lenguaje de programaci€n Vala.

Referencias [1] [1] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Enlazar Enlazar [2] [2] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ ‰mbito_(programaci€n) ‰mbito_(programaci€n) [3] [3] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Puntero_(inform‚tica) Puntero_(inform‚tica) [4] [4] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Generador_de_documentaci€n Generador_de_documentaci€n [5] [5] http http:/ :/ / live.gnome. live.gnome.org/ org/ Valadoc Valadoc [6] [6] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Unicode Unicode [7] [7] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Pila_(inform‚tica) Pila_(inform‚tica) [8] [8] http http:/ :/ / en.wikipedia. en.wikipedia.org/ org/ wiki/ wiki/ Reference_(computer_science) Reference_(computer_science) [9] [9] http http:/ :/ / es.wikibooks. es.wikibooks. org/ Programaci€n_en_Vala/ Programaci€n_en_Vala/ Programaci€n_orientada_a_objetos_en_Vala Programaci€n_orientada_a_objetos_en_Vala [10] [10] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lenguaje_de_programaci€n_fuertemente_tipado Lenguaje_de_programaci€n_fuertemente_tipado [11] [11] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Inferencia_de_tipos Inferencia_de_tipos [12] [12] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lenguaje_de_programaci%C3%B3n_funcional Lenguaje_de_programaci%C3%B3n_funcional [13] [13] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Variable_local Variable_local [14] [14] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ ‰lgebra_de_Boole ‰lgebra_de_Boole [15] [15] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Estructuras_de_control Estructuras_de_control [16] [16] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Bucle_%28programaci%C3%B3n%29 Bucle_%28programaci%C3%B3n%29 [17] [17] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Bucle_while Bucle_while [18] [18] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Switch_case Switch_case [19] [19] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Funci€n_(programaci€n) Funci€n_(programaci€n) [20] [20] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ CamelCase CamelCase [21] [21] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Sobrecarga Sobrecarga [22] [22] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Clausura_%28inform%C3%A1tica%29 Clausura_%28inform%C3%A1tica%29 [23] [23] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Currificaci%C3%B3n Currificaci%C3%B3n [24] [24] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Espacio_de_nombres Espacio_de_nombres [25] [25] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Estructura_de_datos Estructura_de_datos [26] [26] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Pila_%28inform%C3%A1tica%29 Pila_%28inform%C3%A1tica%29 [27] [27] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Argumento_%28inform%C3%A1 Argumento_%28inform%C3%A1tica%29#Paso_p tica%29#Paso_por_valor or_valor [28] [28] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Herencia_(inform‚tica) Herencia_(inform‚tica) [29] [29] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Interfaz_(Java) Interfaz_(Java) [30] [30] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Mixin Mixin

25

Programaci€n orientada a objetos en Vala

Programaci€n orientada a objetos en Vala Se podr…a definir brevemente la programaci€n orientada a objetos [1] como un paradigma de programaci€n en el que los programas est‚n definidos como objetos que interaccionan entre ellos para llevar a cabo una tarea. Para aquellas personas que no tengan una idea clara de en que consiste la programaci€n orientada objetos se recomienda leer el enlace anterior. El lenguaje de programaci€n Vala no obliga a usar el paradigma de programaci€n orientada a objetos (de hecho se puede decir que Vala es un lenguaje multiparadigma [1], es decir, soporta varios paradigmas de programaci€n), sin embargo, algunas de sus caracter…sticas s€lo est‚n accesibles mediante la programaci€n orientada a objetos. Una definici€n de clase indica qu• datos compone cada objeto dentro de un programa, que otros objetos referencia, y que m•todos se pueden ejecutar en ese objeto. La definici€n puede incluir un nombre de otra clase de la cual esta clase heredar…a. Una instancia de una clase es a su vez una instancia de todas las clases antecesoras (clases padre, abuelo, etc; de esa clase), y hereda todos sus datos y m•todos, aunque no sea posible acceder a ellos por si misma. Una clase puede tambi•n implementar cualquier n†mero de interfaces, las cuales son un conjunto de definiciones de m•todos que deben ser implementadas en aquellas clases que las implementan (cuando se habla de que una clase implementa una interfaz nos estamos refiriendo a que esa clase ha sido definida usando la interfaz y eso obliga a que la clase tenga al menos los mismos m•todos que la interfaz). Una instancia de la clase es tambi•n una instancia de cada interfaz que implemente esa clase o cualquier clase antecesora suya. Las clases en Vala puede tener miembros est‚ticos (usando la palabra reservada static). static). Este modificador permite definir a los datos o m•todos como pertenecientes a la clase como un conjunto, en lugar de espec…ficos de una instancia suya. Este tipo de miembros de la clase se pueden acceder sin necesidad de definir una instancia suya.

C€digo b„sico Una definici€n simple de una clase podr…a ser como el c€digo siguiente: C€digo de definici€n de una clase public class Clase : GLib.Object { /* Campos */

public int int dato1 dato1 = 0; private int int dato2; dato2; /* Constructor */

public Clase Clase() () { this.dato2 = 5; } /* Metodos */

public int mmetodo_1 mmetodo_1() () { stdout.printf( "Dato privado: %d" , this .second_data); stdout.printf("Dato

return this.dato2; } }

Este c€digo definir‚ un nuevo tipo (el cual es registrado de forma autom‚tica junto a los dem‚s tipos de la biblioteca gobject) que contiene tres miembros. Hay dos miembros de tipo dato, los enteros definidos al principio de la clase, y

26

Programaci€n orientada a objetos en Vala un m•todo llamada metodo_1, metodo_1, el cual devuelve un valor entero. La definici€n de la clase indica que la misma es una subclase de GLib.Object, GLib.Object, y por lo tanto sus instancias lo son al mismo tiempo del tipo Object, Object, y contienen todos los miembros que este tipo primitivo tiene. El hecho de que esta clase herede de Object tambi•n significa que hay unas funcionalidades especiales de Vala que pueden usarse para acceder f‚cilmente a algunas de las funcionalidades de Object. Object. Esta clase ha sido definida mediante la palabra reservada public. public. Esto implica que puede ser referenciada directamente por c€digo que se encuentre definido en otro archivo distinto donde est‚ definida esta clase. Los miembros de la clase pueden ser descritos tambi•n como p†blicos o privados ( public o private). private). El miembro dato1 es p†blico, por lo que es visible para cualquier usuario de la clase y puede ser modificado sin intermediarios, es decir, sin control alguno. El segundo dato es privado, y por lo tanto s€lo es accesible por c€digo que pertenezca a la clase. El lenguaje Vala dispone de cuatro modificadores de acceso que aparecen descritos en la siguiente tabla:

Modificadores de acceso a miembro y clases en Vala Modif Modifica icador dor Descri Descripci pci€n €n publi publicc

Sin ning ning†n †n tipo tipo de rest restric ricci€ ci€n. n. Si una una clase clase es defin definida ida medi mediant antee este modi modific ficado adorr podr‚ podr‚ ser defi definid nidaa por c€dig c€digoo defini definido do en un un archivo distinto al de la definici€n de la clase. Los miembros definidos as… en una clase puede ser accedidos sin ning†n tipo de restricci€n al respecto.

private private

El acceso acceso est‚ limi limitado tado al c€digo c€digo interno interno de de la clase o estruct estructura ura donde donde ha sido sido definido. definido. Este es el el acceso acceso por defecto defecto si si no se especifica otro.

protected protected

El acceso acceso est‚ est‚ limita limitado do al c€digo c€digo interno interno de la clase o a cualqu cualquier ier clase clase que que herede herede de esta esta clase. clase.

internal internal

El acceso acceso est‚ est‚ restrin restringido gido a clases clases que que hayan hayan sido sido defini definidas das dentro dentro del mismo mismo paquete paquete que que la clase (o miembro miembro de la clase) clase) as… definido.

El m•todo identificado como constructor (el m•todo debe ser p†blico y llamarse igual que la clase) inicializa nuevas instancias de la clase. Este m•todo puede tomar cero o m‚s argumentos y no devuelve ning†n valor. La parte final de la definici€n de la clase de arriba es la definici€n de los m•todos de la misma. El m•todo se llama metodo_1, metodo_1, y devuelve un entero. Puesto que el m•todo definido no es est‚tico ( static), static), s€lo puede ser llamado sobre una instancia de la clase, y puede por lo tanto acceder a miembros del objeto. Esto se puede realizar mediante la referencia al propio objeto this, this, la cual siempre apunta a la instancia en la cual el m•todo se est‚ ejecutando. A menos que sea motivo de ambigêdad el identificador this puede ser omitido si se desea. Para usar instancias de la clase que hemos definido anteriormente podemos usar c€digo como el siguiente: Clase c = new Clase(); // Inicializaci‚n del objeto c.dato1 = 5; // Acceso al miembro dato p…blico c.metodo_1(); // Ejecuci‚n del m„todo p…blico

Constructores El lenguaje Vala permite dos esquemas de construcci€n: el esquema de construcci€n tipo Java/C# y el esquema de construcci€n tipo GObject (el cual ser‚ descrito al final del presente cap…tulo). A continuaci€n nos centraremos sobre el primero de los tipos. Vala no permite la sobrecarga de constructores (no permite crear m‚s de un constructor por clase), por las mismas razones que no permite sobrecarga de operadores, lo cual significa que una clase no puede tener m†ltiples constructores con el mismo nombre. Sin embargo, esto no mayor problema, ya que Vala permite la definici€n de los constructores con nombre, es decir, constructores que no se llaman igual que la clase. Si se quieren ofrecer diversos constructores al desarrollador se puede obrar como sigue:

27

Programaci€n orientada a objetos en Vala class Clase Clase() () : GLib.Objecr { public Clase Clase() () { }

public Clase.constructor_con_cadena( string string cadena) cadena) { }

public Clase.constructor_con_entero( int int entero) entero) { } }

Para crear un objeto con estos constructores es an‚logo a lo anterior: Clase c1 = new Clase(); Clase c2 = new Clase.constructor_con_cadena( "Hola" "Hola"); ); Clase c3 = new Clase.constructor_con_entero( 7);

Se puede tambi•n usar constructores dentro de otros constructores para ahorrar esfuerzo, si parte de la inicializaci€n ya la tenemos definida. As… un ejemplo ser…a: public class Point : Object { public double double x; x; public double double y; y; public Point Point( (double double x, x, double double y) y) { this.x = x; this.y = y; }

public Point.rectangular( double double x, x, double double y) y) { this(x, y); }

public Point.polar(double Point.polar( double radius, radius, double double angle) angle) { this.rectangular(radius * Math.cos(angle), radius * Math.sin(angle)); } }

void main main() () { var p1 = new Point.rectangular( 5.7 5.7, , 1.2 1.2); ); var p2 = new Point.polar(5.7 Point.polar( 5.7, , 1.2 1.2); ); }

28


29

Destructores Aunque Vala dispone de un sistema de gesti€n de la memoria puede que necesite crear destructores si se decide gestionar la memoria de forma manual, usando punteros (que se ver‚n m‚s adelante) o si se tienen que liberar otro tipo de recursos al dejar de usar un tipo de objetos. La forma de definir un destructor es similar a c€mo se hace en C++: class Clase : Object { ~Clase() {

stdout.printf( "Destruyendo el objeto\n" ); stdout.printf("Destruyendo }

}

Puesto que la gesti€n de memoria en Vala se hace mediante conteo de referencias [2] y no mediante un recolector de basuras [3], los destructores son deterministas [4] y puede ser usados para implementar el patr€n de dise„o [5] RAII [6] para la gesti€n de recursos (cerrar flujos de datos, conexiones a bases de datos, etc).

Se…ales Una se„al en Vala es equivalente a los eventos en otros lenguajes de programaci€n (como C#) o a los listeners en otros lenguajes (como Java). Una definici€n corta de una se„al podr…a ser una forma de ejecutar un n†mero arbitrario de m•todo id•nticos (por ejemplo m•todos con los mismos par‚metros) aproximadamente mismo tiempo. Una se„al se define como un miembro interno de una clase, y parece un m•todo sin cuerpo. Los manejadores de se„ales se a„aden mediante el m•todo connect(). connect(). Para obtener una idea m‚s clara de c€mo se definen y para que sirven las se„ales se a„ade el siguiente ejemplo: class Foo : Object { public signal void some_event ();

// Definici‚n de la seƒal

public void method method () () { some_event ();

// Se emite la seƒal

} }

void callback_a () { stdout.printf stdout.print f ( "M•todo A\n"); A\n" ); }

void callback_b () { stdout.printf stdout.print f ( "M•todo B\n"); B\n" ); }

void main main () () { var foo = new Foo (); foo.some_event.connect foo.some_eve nt.connect (callback_a); m•todos a la se‚al foo.some_event.connect foo.some_eve nt.connect (callback_b); foo.method (); }

// Se conectan los

Programaci€n orientada a objetos en Vala En el c€digo anterior define una clase llamada Foo que tiene una se„al que se lanza en un m•todo llamado method. method. Cuando se emita la se„al se ejecutar‚n todos los m•todos que hayan sido conectados a la misma. En el m•todo principal main se crea una instancia de Foo y luego se conectan los dos m•todos callback_a y callback_b a la se„al. Por †ltimo se ejecuta el m•todo method que emite la se„al, ejecut‚ndose a continuaci€n tanto callback_a como callback_b. callback_b. Las se„ales s€lo pueden ser definidas como p†blicas ya que todas las se„ales deben poder estar conectadas a y emitirse desde cualquier lugar del c€digo.

Propiedades Una buena pr‚ctica cuando se desarrolla en un lenguaje orientado a objetos es esconder los detalles de la implementaci€n de los usuarios de la clase (principio de encapsulamiento [7]), de manera que se pueda modificar el funcionamiento interno sin necesidad de romper la API p†blica. Una pr‚ctica es definir los miembros datos de una clase como privados y suministrar m•todos de acceso a sus valores (estos m•todos se conocen como geters y seters). Un ejemplo de esto ser…a el siguiente ejemplo: class Person : Object { private string string name; name; private int int age; age; Person(string Person( string name, name, int int age) age) {

this.set_name(name); this.set_age(age); }

public string get_name get_name() () { return this .name; } public void set_name set_name( (string string name) name) { this .name = name; } public int get_age get_age() () { return this.age; } public void set_age set_age( (int int age) age) { this.age = age; } }

Esto es totalmente v‚lido y funciona correctamente, sin embargo, en Vala podemos hacer algo m‚s elegante. El problema principal de estos m•todos es que son muy engorrosos para trabajar con ellos. Supongamos que queremos incrementar la edad de la persona en una unidad: Person p = new Person("Pedro" Person( "Pedro", , 25 25); ); // Pedro ha cumplido aƒos hoy por lo que queremos aumentar su edad en 1 p.set_edad( p.get_edad() + 1 );

Y es en este preciso momento cuando las propiedades hacen acto de presencia para ayudar en esta tarea. Las propiedades son un mecanismo por el cual se puede acceder y modificar los valores sin necesidad de acceder a m•todos como en el caso anterior. As… una propiedad tiene la siguiente estructura: class Person : Object { private string string _name; _name; private int int _age; _age; Person(string Person( string name, name, int int age) age) { // Accedemos a los valores mediante las propiedades

30

Programaci€n orientada a objetos en Vala this.name = name; this.age = age; }

public string string name name { get { return this._name; } set { this ._name = name; } }

public string string age age { get { return this._age; } set { this ._age = age; } } }

Una propiedad tiene un bloque set (acceso de escritura de los datos) y bloque get (acceso de lectura de los datos). El identificador value representa el nuevo valor que se debe asignar en el bloque set de la propiedad. Ahora se puede acceder a la propiedad como si de un dato p†blico se tratara. Pero detr‚s de las c‚maras el c€digo de los bloques get y set se ejecutar‚ dependiendo del tipo de acceso que se est• realizando. Person p = new Person("Peter" Person( "Peter", , 25 25); ); // Pedro ha cumplido aƒos hoy por lo que queremos aumentar su edad en 1 p.age++;

Si s€lo se pretende hacer la implementaci€n est‚ndar entonces se puede realizar una definici€n m‚s corta que la anterior: class Person : Object { private string string _name; _name; private int int _age; _age; Person(string Person( string name, name, int int age) age) { // Accedemos a los valores mediante las propiedades

this.name = name; this.age = age; }

public string string name name { get; set; default ="Peter" "Peter" } } public string string age age { get; set; default=18 18 } } } }

Si se quiere se puede hacer que la propiedad sea de s€lo lectura mediante el modificador del bloque set private o dejando en blanco ese bloque: public string string name name { get; private set; default="Peter" "Peter" } } // Otra definicion posible

public string string name name { get; default="Peter" "Peter" } }

31

Programaci€n orientada a objetos en Vala Adem‚s del nombre una propiedad puede tener una descripci€n breve llamada nick y/o una descripci€n larga llamada blurb. blurb. La forma de establecer estos atributos de las propiedades es mediante un atributo del c€digo Property: Property: [Property(nick = "Person's name", blurb = "This is a string representing the person's name")]

public string string name name { get; set; default ="Peter" "Peter" } }

Este tipo de informaci€n puede ser accedida en tiempo de ejecuci€n, lo cual permite que programas como Glade [8] hagan uso de este tipo de informaci€n, presentando por ejemplo descripciones de las propiedades de los widgets [9] de GTK+ [10]. Toda clase derivada de GLib.Object tiene por defecto una propiedad llamada notify. notify. Esta se„al se emite cuando una propiedad de alg†n objeto se modifica. As… que se puede conectar un m•todo a esta se„al si se est‚ interesado en los cambios en general: // Esto se conoce como una expresi‚n lambda obj.notify.connect((s, obj.notify.connect((s, p) => {

stdout.printf( "Property '%s' has changed!\n" , p.name); stdout.printf("Property

});

Para definir la funci€n se ha usado una expresi€n lambda, en la que s es el origen de la se„al, p es la informaci€n de la propiedad para la propiedad que ha sido modificada. Si s€lo se est‚ interesado en las notificaciones de una propiedad simple se puede usar la siguiente sintaxis: alice.notify["age" alice.notify["age"].connect((s, ].connect((s, p) => {

stdout.printf( "age has changed\n"); stdout.printf("age changed\n" );

});

N€tese que este caso se debe usar la representaci€n del nombre de la propiedad d€nde los guiones bajos se reemplazan por guiones: nombre_propiedad pasa a ser nombre-propiedad en esta representaci€n, la cual es el convenio de nombres de propiedades usado por GObject. Las notificaciones se pueden deshabilitar mediante el atributo de c€digo CCode justo CCode justo antes de la declaraci€n de la propiedad: public class MyObject : Object { [CCode(notify [CCode(notif y = false)] // En esta propiedad no se emite la seƒal

public int int without_notification without_notification { get; set; } // Aqu€ si se emite la seƒal.

public int int with_notification with_notification { get; set; } }

Existe otro tipo de propiedades que se llaman propiedades de constructor que se describen m‚s adelante en la secci€n Esquema de construcci€n tipo GObject.

32


Herencia En Vala una clase puede derivarse (y heredar) de cero o una clase. En la pr‚ctica la mayor…a de las veces heredar‚ de una clase, puesto que no hay herenc…a impl…cita como en otros lenguajes de programaci€n. Cuando se define una clase nueva que hereda de otra, se crea una relaci€n entre las clases d€nde las instancias de la subclase definida son a su vez intancias de la clase padre. Esto significa que la operaci€n sobre s obre instancias de las clase padre tambi•n se pueden aplicar sobre las instancias de la clase hija. De hecho, d€nde se debe usar una instancia de la clase padre, se podr‚ sustituir por una instacia de la clase hija. Cuande se escribe la definici€n de una clase es posible definir de forma exacta quien va a poder acceder a los m•todos y a los datos del objetos. El siguiente ejemplo demostrar‚ la variedad de estas opciones: class SuperClass : GLib.Object { private int int data; data; public SuperClass (int int data) data) { this.data = data; }

protected void protected_method () { }

public static void public_static_method () { } }

class SubClass : SuperClass { public SubClass SubClass() () { base(10 10); ); } }

El miembro dato data de la clase SuperClass es una instancia de datos de esa clase. Habr‚ un miembro de ese tipo en cada una de las instancias de la clase padre SuperClass, SuperClass, y puesto que ha sido declarada como privada ( private) private) s€lo puede ser accedida por el c€digo que forma parte de la definici€n de la clase padre. El m•todo protected_method es un m•todo de SuperClass. SuperClass. Este m•todo al haber sido definido como protegido (protected) protected) podr‚ ser ejecutado por la clase SuperClass y por todas las clases descendientes de •sta. El m•todo public_static_method tiene dos modificadores. El modificador static significa que puede ser ejecutado sin necesidad de crear una instancia de la clase o de alguna clase hija de •sta. Como resultado de esto, este m•todo no tendr‚ acceso a la referencia cuando se ejecute. El modificado public significa que el m•todo puede ser llamado desde cualquier parte del c€digo, sin importar la relaci€n que tenga con la clase padre o sus derivadas. Dadas estas definicioes, cualquier instancia de la clase SubClass tendr‚ los tres miembros de la clase padre SuperClass, SuperClass, pero s€lo podr‚ acceder a los miembros no privados ( private). private). El c€digo externo a la clase hija s€lo podr‚ acceder a los miembros que hayan sido definidos como p†blicos ( public). public). Con el identificador base se puede enlazar con el contructor de la clase base, en caso de que sea necesario inicializar algunos datos a los que s€lo tenemos acceso mediante el constructor de la clase padre.

33


Clases abstractas Hay otro modificador para los m•todos, denomidado abstract. abstract. Este modificador permite definir un m•todo que no tiene implementaci€n en la clase d€nde se define. En lugar de implementarse en la clase d€nde es definido, se obliga a que sean las clases hijas de esa las que definan ese m•todo antes de que puede ser llamado. Esto permite definir operaciones que se pueden ejecutar en todas las instancias de un tipo, mientras que nos aseguramos de que todos los tipos definen sus propias implementaciones de esa funcionalidad. Una clase que contiene m•todos abstractos debe ser definida como una clase abstracta tambi•n. El resultado de esto es que no se permitir‚ crear instancias de esa clase. Ejemplo: public abstract class Animal : Object { public void eat eat() () {

stdout.printf( "*chomp chomp*\n"); stdout.printf("*chomp chomp*\n" ); }

public abstract void say_hello(); say_hello(); }

public class Tiger : Animal { public override void say_hello say_hello() () {

stdout.printf( "*roar*\n" ); stdout.printf("*roar*\n" }

}

public class Duck : Animal { public override void say_hello say_hello() () {

stdout.printf( "*quack*\n" ); stdout.printf("*quack*\n" }

}

La implementaci€n de un m•todo abstracto debe ser marcada con el modificador override. override. Como se ve en el ejemplo se define una clase abstracta denomida Animal. Animal. Esta clase define dos m•todos, uno de ellos normal que denomina eat y define como come un animal (se supone que todos comen igual); el otro m•todo say_hello define como un animal dice hola, y se define como abstracto para que en cada clase que defina un animal tenga una implementaci€n distinta. As… tenemos una clase Tiger que representa a un tigre y dice hola escribiendo "*roar*", y por otra parte tenemos la clase Duck que hereda tambi•n de Animal y que representa a un pato y que implementa say_hello escribiendo "*quack*". Como se puede adivinar este mecanismo es muy †til para definir una interfaz com†n para una familia de clases que heredan de la clase abstracta y que no puede ser instanciada.

34


Interfaces/Mixins Una clase Vala puede implementar un n†mero arbitrario de interfaces. Cada una de ellas es un tipo, parecido a una clase, aunque no puede ser instanciada. Cuando una clase implementa una interfaz, una instancia de una clase as… declarada tambi•n es una instancia de la interfaz, y por lo tanto puede ser usada en sustituci€n d€nde se espere una instancia de la interfaz. El procedimiento para implementar una interfaz es el mismo que para heredar de una clase abstracta. Una interfaz simple puede ser como sigue: public interface ITest : GLib.Object { public abstract int int data_1 data_1 { get; set; } public abstract void method_1 method_1(); (); }

Este c€digo define una interfaz llamada ITest el cual requiere la clase GLib.Object como padre y contiene dos miembros. El miembro data_1 es una propiedad que ha sido declarado como abstracto. Esto no quiere decir que la interfaz albergue una propiedad realmente, sino que obliga a cualquier clase que implemente esta interfaz a que contenga un miembro propiedad del mismo tipo y con el mismo nombre y que contenga asimismo los bloques get y set. set. Es necesario que se defina como abstracto puesto que una interfaz no puede tener ning†n miembro dato definido. El segundo miembro de la interfaz se denomina method_1 y es un m•todo. Este m•todo a estar definido como abstracto debe ser definido por la clase que implemente esta interfaz. La forma m‚s simple para una implementaci€n completa de una interfaz es: public class Test1 : GLib.Object, ITest { public int int data_1 data_1 { get; set; } public void method_1 method_1() () { } }

Y puede ser usado de la siguiente forma: var t = new Test1(); t.method_1(); ITest i = t; i.method_1();

En el c€digo se puede apreciar que se define un objeto de tipo Test1 que implementa la interfaz ITes. ITes. Se define as… una referencia de tipo ITets y la asignamos para que apunte al nuevo objeto de tipo Test1. Test1. Como hemos dicho se podr‚n acceder a los m•todos que define la interfaz y que obliga a que sean implementados en la clase. Hay que recalcar que no se crea una instancia de la interfaz (el c€digo var i = new ITest(); NO ES CORRECTO), CORRECTO), sino que se crea una referencia de la interfaz que no se inicializa y se usa para asignarla al nuevo objeto creado. Las interfaces en Vala no puede heredar de otras interfaces, pero puede declarar como prerrequisito a otras interfaces, lo cual en la pr‚ctica funciona de la misma forma. Por ejemplo, ser…a deseable que cualquier clase que implementara la interfaz List tambi•n debiera implementar la interfaz Collection. Collection. La sintaxis para realizar esto es la misma que la que permite definir las interfaces que implementa una clase: public interface List : Collection { // Esto obligar• a que la clase que implemente la interfaz "List" "List" deba deba implementar la interfaz "Collection" tambi•n "Collection" tambi•n }

35

Programaci€n orientada a objetos en Vala Esta definici€n de List no puede ser implementada sin que se implemente la interfaz Collection tambi•n, y Vala obliga a que se especifique todas las interfaces que deben ser implementadas para aquellas clases que quieran implementar la interfaz List. List. El siguiente c€digo muestra un ejemplo: public class ListClass : GLib.Object, Collection, List { }

Las interfaces de Vala pueden tener una clase como prerrequisito tambi•n, si el nombre de una clase se define en los prerrequisitos de una interfaz entonces, la interfaz s€lo puede ser implementada en clases derivadas de la clase que se se especific€. Esto es †til para asegurar que una instancia de una interfaz es tambi•n una clase derivada de la clase GLib.Object, GLib.Object, y por lo tanto la interfaz puede ser usada, por ejemplo, como el tipo de una propiedad. El hecho de que una interfaz no pueda ser heredada de otra interfaz es s€lo una distinci€n t•cnica, ya que, en la pr‚ctica el sistema de Vala funciona igual al de otros lenguajes en este ‚rea, pero con la funcionalidad extra de los prerrequisitos de las clases. Hay otra diferencia importante entre las interfaces en Vala y las interfaces Java/C#: las interfaces en Vala puede tener m•todos que no sean abstractos. De hecho Vala permite la implementaci€n de m•todos en las interfaces. Debido a esto, las interfaces de Vala pueden actuar como Mixins [30]. Esto es una forma de restricci€n de la herencia m†ltiple.

Polimorfismo El polimorfismo [11] describe la forma en la cual el mismo objeto puede ser usado como m‚s de un tipo de cosa. Varias de las t•cnicas ya descritas aqu… sugieren c€mo es posible esto en Vala: una instancia de una clase puede ser usada como una instancia de una clase padre, o de cualquier implementaci€n de las interfaces, sin cualquier conocimiento de su tipo actual. A continuaci€n se muestra un ejemplo: class SuperClass : GLib.Object { public void method_1 method_1() () {

stdout.printf( "SuperClass.method_1()\n" ); stdout.printf("SuperClass.method_1()\n" }

}

class SubClass : SuperClass { public void method_1 method_1() () {

stdout.printf( "SubClass.method_1()\n" ); stdout.printf("SubClass.method_1()\n" }

}

Estas dos clases implementan un m•todo llamado method_1, method_1, y la clase SubClass contiene por tanto dos m•todos llamados method_1, method_1, uno heredado de SuperClass y otro propio. Cada uno de ellos se ejecuta como muestra el siguiente c€digo: SubClass o1 = new SubClass(); o1.method_1(); SuperClass o2 = o1; o2.method_1();

Este c€digo llamar‚ a los dos m•todos. La segunda l…nea contiene la inicializaci€n de la clase SubClass y llamar‚ a la versi€n de esa clase del m•todo. La cuarta l…nea contiene la inicializaci€n de una instancia o2 de la clase SuperClass y ejecutar‚ la versi€n del m•todo de esta clase.

36

Programaci€n orientada a objetos en Vala El problema que muestra el c€digo, es que cualquiera que sea el c€digo si contiene una instancia de la clase SuperClass, SuperClass, •sta ejecutar‚ el m•todo que se define en esa clase, independientemente de a que objeto apunte esa referencia. Para cambiar ese comportamiento es usar los m•todos virtuales. El siguiente c€digo muestra una versi€n modificada del ejemplo anterior usando los m•todos virtuales: class SuperClass : GLib.Object { public virtual void method_1 method_1() () {

stdout.printf( "SuperClass.method_1()\n" ); stdout.printf("SuperClass.method_1()\n" }

}

class SubClass : SuperClass { public override void method_1 method_1() () {

stdout.printf( "SubClass.method_1()\n" ); stdout.printf("SubClass.method_1()\n" }

}

Cuando este c€digo se use de la misma forma que el anterior, el m•todo method_1 de la clase SubClass ser‚ el ejecutado, en lugar del m•todo de la clase padre. Esto es debido a que le hemos indicado al sistema que el m•todo method_1 es un m•todo virtual, lo cual significa que si es redefinido en una clase hija, ser‚ esa nueva versi€n la se ejecutar‚ siempre en instancias de esa clase hija, independientemente del tipo y conocimientos de la instancia que lo ejecute. Esta distinci€n puede que sea familiar a los programadores de algunos lenguajes, como C++, pero es totalmente diferente al estilo del lenguaje Java, en d€nde se previene del uso de los m•todos virtuales. El lector puede que se haya dado cuenta de que cuando un m•todo se declara como abstracto ( abstract) abstract) debe ser virtual tambi•n. De lo contrario, no ser…a posible ejecutar ese m•todo dada una instancia del tipo aparente en el cual fue definido. Cuando se implementa un m•todo abstracto en una subclase, se puede elegir declararlo como sobreescribible (overriden (overriden), ), estableciendo la naturaleza virtual de ese m•todo, y permitiendo a los subtipos que usen la misma implementaci€n si lo desean. Es posible implementar los m•todos de una interfaz de tal forma que las subclases puedan cambiar la implementaci€n. El proceso en este caso es declarar la implementaci€n inicial como virtual, y de ese modo las subclases pueden sobrescribir si as… lo necesitan. Cuando se escribe una clase, es muy com†n querer usar la funcionalidad definida en la clase de la cual hereda. Esto es complicado en los lugares d€nde se usa el nombre del m•todo m‚s de una vez en el ‚rbol de herencia de las clases. Para este cometido Vala tiene la palabra reservada base. base. El caso m‚s com†n para usar este mecanismo es cuando se ha sobrescrito la funcionalidad de un m•todo virtual para suministrar funcionalidad extra, pero aun se necesita la funcionalidad del m•todo de la clase padre. El siguiente ejemplo muestra como actuar en este caso: public override void method_name method_name() () { base.method_name();

extra_task();

}

El c€digo muestra como se ejecuta el m•todo de la clase padre mediante la palabra reservada base que hace referencia a la clase padre. Despu•s de ejecutar dicho m•todo s€lo tendr…amos que ejecutar la funcionalidad extra que necesitemos.

37


Informaci€n de tipos en tiempo de ejecuci€n Puesto las clases en Vala se registran en el sistema en tiempo de ejecuci€n, cada instancia contiene informaci€n de su tipo que se puede consultar de forma din‚mica mediante el operador is: is: bool b bool b = object is AlgunTipo;

Se puede obtener el informaci€n acerca del tipo de una instancia usando el m•todo definido get_type(). get_type(). Este m•todo est‚ definido en GLib.Object por lo que la clase del objeto desde la cual lo llamamos debe heredar de esta clase base. Type type = object object.get_type(); .get_type(); // Se obtiene el tipo y se almacena en una instancia del tipo "Type" stdout.printf( "%s\n" "%s\n", , type.name()); // Se muestra el nombre del tipo

Con el operador typeof() se puede acceder a la informaci€n del tipo de forma directa. A partir de la informaci€n del tipo obtenida se puede crear nuevas instancias con Object.new(). Object.new(). Ejemplo: Type type = typeof (Foo); // Se obtiene la informaci‚n del tipo de la instancia "Foo" Foo foo = (Foo) Object. new(type); // Se crea un nuevo objeto del tipo "type" y "type" y se asigna a la referencia foo

En este caso el constructor que se utiliza para inicializar los objetos de esta forma ser‚ el descrito en la secci€n de los constructores estilo GObject.

Conversi€n de tipos din„mica Para la conversi€n din‚mica entre tipos una variable se convierte mediante una expresi€n posfija as y el tipo al que queremos convertir la referencia. Vala dispone de comprobaci€n de tipos din‚mica para asegurarse de que la conversi€n es factible. En caso de que la conversi€n sea imposible de realizar se devuelve null. null. Sin embargo, esto requiere que se especifique tanto el tipo de la clase origen como el destino. Ejemplo: Button b = widget as Button;

Si por alguna raz€n la clase de la instancia widget no es de tipo Button o una de las clase hijas de •sta o no implementa la interfaz Button, Button, b ser‚ null. null. Esta conversi€n es equivalente a la siguiente expresi€n: Button b = (widget is Button) ? (Button) widget : null;

Tipos genƒricos Vala incluye un sistema de tipos gen•rico, mediante el cual una instancia particular de una clase se puede restringir con un tipo particular o un conjunto de tipos elegidos en la construcci€n de la clase. Esta restricci€n se usa normalmente para asegurarse que los datos almacenados en un objeto deben ser de un tipo particular, por ejemplo para implementar una lista de objetos de un determinado tipo. En este ejemplo, Vala se asegura que s€lo los objetos del tipo indicado puedan ser a„adidos a la lista, y todos los objetos que sean devueltos ser‚n tambi•n de ese tipo (o convertidos a ese tipo). En Vala, los tipos gen•ricos (generics ( generics)) se gestionan cuando el programa se s e encuentra en ejecuci€n. Cuando se define una clase que puede ser restringida a un tipo de dato, existir‚ s€lo una clase, cuyas instancias ser‚n personalizadas individualmente. Esto es diferente a C++, d€nde se crea una nueva clase para cada tipo requerido. Vala es similar al sistema usado por Java en este sentido. Esto tiene varias consecuencias, la m‚s importante de ellas es que los miembros est‚ticos (static (static)) de un tipo se comparten como un todo, sin importar las restricciones que se encuentren

38

Programaci€n orientada a objetos en Vala en cada instancia; y eso dado una clase o una subclase, un tipo gen•rico refinado por una subclase puede ser usado como un tipo gen•rico refinado por la clase. Ejemplo: public class Wrapper : GLib.Object { private G data; public void set_data set_data(G (G data) { this.data = data; }

public G get_data get_data() () { return this.data; } }

La clase Wrapper debe ser restringida con un tipo para inicializarla, en este caso el tipo se identifica como G, y de esta manera las instancias de esta clase almacenar‚n un objeto del tipo G, y tendr‚n m•todos para obtener o modificar ese objeto. La raz€n de este ejemplo espec…fico es explicar que actualmente una clase de tipo gen•rico no puede usar propiedades es su restricci€n del tipo, por lo que debe usar m•todos para obtener y modificar este dato. Para inicializar esta clase, se debe elegir un tipo de dato, por ejemplo el tipo cadena (en Vala no existe restricci€n en el tipo de dtos que puede usarse en una clase gen•rica). Para crear una instancia de la clase: var wrapper = new Wrapper(); >(); wrapper.set_data("test" wrapper.set_data( "test"); ); var data = wrapper.get_data();

Como puede verse, cuando se obtiene los datos de la clase Wrapper, Wrapper, se asignan a un identificador con un tipo no expl…cito (que se define mediante la palabra reservada var). var). Esto es posible por que Vala sabe que tipo de objetos se encuentran en cada instancia de Wrapper, Wrapper, y por lo tanto puede realizar este trabajo por usted. El hecho de que Vala no cree varias clases para una definici€n gen•rica significa que se puede realizar un c€digo como el que sigue: class TestClass : GLib.Object { }

void accept_object_wrapper (Wrapper w) { } ... var test_wrapper = new Wrapper(); accept_object_wrapper(test_wrapper); ...

Puesto que todas las instancias de TestClass son tambi•n objetos GLib.Object, GLib.Object, el m•todo accept_object_wrapper aceptar‚ el objeto que le sea pasado, y lo tratar‚ como si fuera una instancia de un objeto GLib.Object. GLib.Object.

39


40

Esquema de construcci€n tipo GObject Como se coment€ anteriormente en este mismo cap…tulo, Vala ofrece un estilo de construcci€n alternativo que es diferente al anteriormente descrito, pero muy cercano a como se realiza la construcci€n de objetos con la biblioteca GObject. El m•todo que el programador prefiere depende de si se procede del estilo de programaci€n de GObject o de Java/C#. El estilo de construcci€n de objetos GObject introduce un nuevo elemento de sintaxis: las propiedades del constructor, una llamada especial a Object(...) y un bloque de constructor. Vamos a ver como funciona este tipo de constructor: public class Person : Object { /* Propiedades del constructor */

public string string name name { get; construct; } public int int age age { get; construct set; } public Person Person( (string string name) name) { Object(name: name); }

public Person.with_age( string string name, name, int int years) years) { Object(name: name, age: years); } construct { // Todo lo que tenga que hacer adicionalmente el constructor stdout.printf( "Welcome %s\n", stdout.printf("Welcome %s\n" , this .name);

} }

Con este esquema de construcci€n cada m•todo constructor contiene una llamada a GObject(...) para establecer las propiedades del constructor. La llamada a GObject(...) toma un n†mero variable de par‚metros con nombre en la forma propiedad : valor. valor. Estas propiedades deben ser declaradas como una propiedad del constructor. Se establecer‚n dichas propiedades a los valores dados despu•s de que todos los bloques de constructores desde el original GLib.Object hacia abajo hasta el de la clase actual se hayan ejecutado. Se garantiza la ejecuci€n del bloque del constructor cada vez que una clase es creada, incluso si es creada como un subtipo de la misma. No tiene ni un par‚metro ni un valor de retorno. Dentro de este bloque se puede realizar llamadas a otros m•todos y establecer el valor de miembros dato si es necesario. Las propiedades de construcci€n se definen como propiedades con bloques get y set para obtener establecer sus valores, y por lo tanto con c€digo arbitrario en la asignaci€n. Si se necesita realizar la inicializaci€n en una propiedad de un constructor, es posible escribir es cribir un bloque para esa propiedad, la cual se s e ejecutar‚ inmediatamente despu•s de la asignaci€n, y antes de cualquier c€digo de construcci€n. Si una propiedad de constructor se declara sin bloque set se denomina como una propiedad de construcci€n exclusiva, lo cual significa que s€lo puede ser asignada en la fase de construcci€n, pero no despu•s de esa fase. En el ejemplo de arriba la propiedad name es una propiedad de este tipo. A continuaci€n un resumen de los distintos tipos de propiedades junto con la nomenclatura que se encuentra en la librer…as de tipo GObject: GObject: public int int a a { get; private set; }

// Lectura

public int int b b { private get; set; }

// Escritura

public int int c c { get; set; }

// Lectura / Escritura


41

public int int d d { get; set construct; }

// Lectura / Escritura /

Construcciƒn

public int int e e { get; construct; }

// Lectura / Escritura / S‚lo

Construcciƒn

Referencias [1] [1] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lenguaje_de_programaci€n_multiparadigma Lenguaje_de_programaci€n_multiparadigma [2] [2] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Conteo_de_referencias Conteo_de_referencias [3] [3] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Recolector_de_basura Recolector_de_basura [4] [4] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Algoritmo_determinista Algoritmo_determinista [5] [5] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Patr%C3%B3n_de_dise%C3%B1o Patr%C3%B3n_de_dise%C3%B1o [6] [6] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ RAII RAII [7] [7] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Encapsulamiento_%28inform%C3%A1tica%29 Encapsulamiento_%28inform%C3%A1tica%29 [8] [8] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Glade Glade [9] [9] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Widget#Los_widget_en_el_.C3. Widget#Los_widget_en_el_.C3.A1mbito_de_la_programaci. A1mbito_de_la_programaci.C3. C3.B3n_gr. B3n_gr.C3. C3.A1fica A1fica [10] [10] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ GTK%2B GTK%2B [11] [11] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Polimorfismo_%28inform%C3%A1tica%29 Polimorfismo_%28inform%C3%A1tica%29

Funcionalidades avanzadas del lenguaje Aserciones y Dise…o por contrato Con las aserciones un programador puede comprobar que un predicado se cumple en tiempo de ejecuci€n. La sintaxis es assert( condici€n ). ). Si la aserci€n falla el programa terminar‚ su ejecuci€n con un mensaje de error que mostrar‚ tal circunstancia. Hay varios m•todos de aserciones definidos en la GLib y que el programador podr‚ usar, entre los que se encuentran:

Aserciones definidas en GLib Aserci€n

Descripci€n

assert_not_reached()

Esta aserci€n se ejecuta en el caso en el que se llegue a ejecutar la l…nea en la que se ha definido.

return_if_fail(expresi€n_booleana) Si la expresi€n booleana es falsa, un mensaje de error cr…tico se muestra y se finaliza la ejecuci€n de la funci€n. Esto s€lo se puede usar en m•todos que no devuelven ning†n valor. return_if_reached(val)

Si se ejecuta devuelve el valor val y cancela la ejecuci€n del m•todo.

warn_if_fail(expresi€n_booleana)

Muestra un mensaje de aviso si la expresi€n booleana resulta ser falsa.

warn_if_reached()

Si se ejecuta la l…nea d€nde se encuentra definido entonces se muestra un mensaje de error.

Puede que el lector quiera usar las aserciones para comprobar si los argumentos de un m•todo tienen valor o son null, null, sin embargo, esto no es necesario, ya que, Vala realiza esto de forma impl…cita sobre todos los par‚metros que no est‚n marcados con ? (el indicador de que pueden ser de valor null). null). void method_name (Foo foo, Bar bar) { /* No es necesario por que Vala lo hace por t€!: return_if_fail(foo return_if_f ail(foo != null); return_if_fail(bar return_if_f ail(bar != null); */ }

Funcionalidades avanzadas del lenguaje Vala soporta las funcionalidades b‚sicas de el dise„o por contrato [1]. Un m•todo puede tener precondiciones (requires) (ensures)) que deben ser satisfechos al principio o al final de un m•todo requires) y postcondiciones (ensures respectivamente: double method_name (int int x, x, double double d) d) requires (x > 0 && x < 10 10) ) requires (d >= 0.0 0.0 && && d <= 1.0 1.0) ) ensures (result >= 0.0 0.0 && && result <= 10.0 10.0) ) {

return d * x; }

La variable result es una variable especial que representa el valor de retorno de un m•todo.

Manejo de errores GLib tiene un sistema para manejar las excepciones en tiempo de ejecuci€n llamado GError. Vala traduce este sistema a una forma familiar a la forma en que lo hacen los lenguajes de programaci€n modernos, pero esto no quiere decir que lo haga exactamente igual que Java o C#. Es importante considerar cuando usar este tipo de manejo de errores, GError ha sido dise„ado para tratar con errores que no sean fatales, es decir, cosas que no son sabidas por el programa hasta que se ejecuta en un sistema, y no son fatales para la ejecuci€n del programa. No se deber…a usar GError para reportar problemas que pueden ser previstos, como mostrar que se ha pasado un valor inv‚lido al m•todo. Si un m•todo, por ejemplo, necesita un n†mero mayor que como par‚metro, deber…a realizarse la comprobaci€n de los valores negativos usando para ello t•cnicas de programaci€n de dise„o por contrato como las precondiciones o las aserciones como se ha descrito en la secci€n anterior. Los errores en Vala son denominadas como excepciones, las cuales significan que estos errores deben ser controlados en alg†n punto del c€digo. Sin embargo, si no se controla una excepci€n el compilador de Vala informar‚ de que no se ha hecho esta comprobaci€n, mediante un aviso, pero no parar‚ la compilaci€n del c€digo. El proceso de una excepci€n (o error en la terminolog…a Vala) se compone de: ‡ Declarar Declarar que que un un m•todo m•todo puede lanzar lanzar una excepci€n: excepci€n: void my_method my_method() () throws IOError { // ... }

‡ Lanzar Lanzar el el error error en el lugar lugar adec adecuad uado: o: if (something_went_wrong) { throw new IOError.FILE_NOT_FOUND( "Requested file could not be found."); found."); }

‡ Controlar Controlar el el error error en un punto punto del del c€digo c€digo adecuado: adecuado: try {

my_method();

} catch (IOError e) {

stdout.printf( "Error: %s\n", stdout.printf("Error: %s\n" , e.message);

}

‡ Compar Comparar ar el el c€dig c€digoo con con el operad operador or is: is:

42

Funcionalidades avanzadas del lenguaje IOChannel channel;

try { channel = new IOChannel.file( IOChannel.file("/tmp/my_lock" "/tmp/my_lock" , "w" "w"); ); } catch (FileError e) {

if(e is FileError.EXIST) { throw e; }

GLib.error("" GLib.error( "", , e.message);

}

Todo esto es similar m‚s o menos como se hace en otros lenguajes, pero definir los tipos de errores permitidos es algo †nico. Los errores o excepciones tienen tres componentes, conocidos como dominio, dominio, c€digo y mensaje. mensaje. Los mensajes se han visto anteriormente, y son cadenas de texto suministradas cuando el error es creado. Los dominios del error describen el tipo del problema, y se asimilan a la subclase de la excepci€n en Java o similares. En los ejemplos anteriores se describe un dominio de error llamado IOError. IOError. La tercera parte, el c€digo es un refinamiento describiendo la variedad exacta del problema encontrado. Cada dominio de error tiene uno o m‚s c€digos de error, en el ejemplo se usa un c€digo de error llamado FILE_NOT_FOUND. FILE_NOT_FOUND. La forma de definir esta informaci€n acerca de los tipos de error est‚ relacionado con la implementaci€n en la biblioteca GLib. Para entenderlo mejor se necesita una definici€n como la siguiente: errordomain IOError {

FILE_NOT_FOUND

}

Cuando se controla un error, se da el dominio del error en el que se encuentra definido los errores a controlar, y si un c€digo de error definido en ese dominio es lanzado, el c€digo fuente que define este bloque se ejecuta con el valor del error lanzado. Del objeto error lanzado se puede extraer el c€digo de error y el mensaje si se necesita. Si se quiere controlar errores de m‚s de un dominio, simplemente se utilizan m‚s bloques de control de errores. Tambi•n existe un bloque opcional que se coloca despu•s de los bloques de errores definidos por las sentencias try y catch, catch, llamado finally. finally. Este c€digo ser‚ ejecutado siempre al final de la secci€n, independientemente de si se ha lanzado un error o si se ha ejecutado un bloque catch, catch, incluso si el error no ha sido controlado y ser‚ lanzado otra vez. Esto permite, por ejemplo, que cualquier recurso reservado en el bloque try ser‚ liberado sin importar cualquier error lanzado. Un ejemplo completo de todas las funcionalidades descritas es el siguiente: errordomain ErrorType1 {

CODE_1A

} errordomain ErrorType2 {

CODE_2A

}

public class Test : GLib.Object { public static void thrower thrower() () throws ErrorType1, ErrorType2 { throw new ErrorType1.CODE_1A( "Error" "Error"); ); }

public static void catcher catcher() () throws ErrorType2 {

43

Funcionalidades avanzadas del lenguaje try {

thrower(); } catch (ErrorType1 e) { // Se controlan los errores definidos en el dominio de

error ErrorType1 if (e if (e is ErrorType1.CODE_1A) { // Se controla espec€ficamente el error CODE_1A perteneciente al dominio de errores ErrorType1 } } finally { // Bloque finally para realizar las acciones necesario de limpieza } }

public static int main main( (string string[] [] args) { try {

catcher(); } catch (ErrorType2 e) { // Se controlan los errores definidos en el dominio de

error ErrorType2 }

return 0; } }

Este ejemplo tiene dos dominios de errores, ambos puede ser lanzados por el m•todo lanzador llamado thrower. thrower. El m•todo llamado catcher s€lo puede lanzar el segundo tipo de errores, y por lo tanto debe manejar el primer tipo si thrower lo lanza. Finalmente el m•todo main controlar‚ cualquier tipo de error desde catcher (de los dominios de errores que el m•todo catcher ha definido que puede lanzar y que no controla el m•todo).

Direcci€n de par„metros Un m•todo en Vala puede recibir cero o m‚s par‚metros. El comportamiento por defecto cuando se llama a un m•todo es el siguiente: ‡ Cualquier Cualquier par‚metro par‚metro que sea un tipo pasado pasado por valor se copia a una direcci€n direcci€n local local al m•todo cuando cuando se ejecuta. ejecuta. ‡ Cualquier Cualquier par‚metro par‚metro de tipo tipo referencia referencia no se copia, copia, en lugar lugar de esto se pasa pasa una referencia referencia al al m•todo que que se ejecuta. Este comportamiento se puede modificar utilizando para ello los modificadores de par‚metros ref y out. out. Hay cuatro combinaciones posibles dependiendo de si el programador utiliza estos modificadores en la llamada al m•todo o en la definici€n del mismo: ‡ out utilizado en la llamada al m•todo: se pasar‚ una variable no inicializada al m•todo y se puede esperar que est• inicializada despu•s de que el m•todo finalice la ejecuci€n. ‡ out utilizado en la definici€n del m•todo: el par‚metro se considera no inicializado y el programador tendr‚ que inicializarlo. ‡ ref utilizado en la llamada al m•todo: la variable que se pasa al m•todo tiene que ser inicializada y puede ser modificada dentro del m•todo.

44

Funcionalidades avanzadas del lenguaje ‡ ref utilizado en la definici€n del m•todo: el par‚metro se considera que est‚ inicializado y puede ser modificado dentro del m•todo. Ejemplo: void method_1 method_1( (int int a, a, out int int b, b, ref int int c) c) { ... } void method_2 method_2(Object (Object o, out Object p, ref Object q) { ... }

Estos m•todos definidos en el ejemplo de arriba podr‚n ser llamados de las siguientes formas: int a int a = 1; int b; int b; int c int c = 3; method_1(a, out b, ref c); Object o = new Object(); Object p; Object q = new Object(); method_2(o, out p, ref q);

El tratamiento que se les va a dar a las variables ser‚ el siguiente: ‡ La variable variable "a" es de tipo tipo valor. El valor valor ser‚ copiado copiado a una posici€n posici€n de memoria memoria nueva nueva y local local al m•todo, m•todo, y por lo tanto los cambios realizados dentro del m•todo no afectar‚n al valor original de la misma. ‡ La variable variable "b" es es de tipo valor valor tambi•n, tambi•n, pero pero se ha pasado pasado median mediante te el modificad modificador or out. out. En este caso, el valor no es copiado, en lugar de esto se pasa una referencia (puntero) al valor original, y por lo tanto cualquier cambio de la variable en el m•todo se reflejar‚ en el valor original. ‡ La variable variable "c" se trata trata de la misma forma forma que "b", "b", con la †nica salveda salvedadd de que se ha se ha se„alado se„alado clarament claramentee en el m•todo. ‡ La variable variable "o" es de tipo tipo referencia. referencia. El m•todo m•todo recibe recibe una referenci referenciaa con el mismo objeto objeto que cuando cuando se realiza realiza la llamada. El m•todo puede cambiar el objeto, pero el cambio no ser‚ visible para el c€digo que ha llamado al m•todo. ‡ La variable variable "p" es es de tipo referen referencia, cia, pero pero pasada pasada mediante mediante el modifica modificador dor out. out. Esto significa que el m•todo recibir‚ un puntero a la referencia del objeto. El m•todo puede reemplazar la referencia con otro referencia a otro objeto distinto, y cuando el m•todo finalice su ejecuci€n el c€digo que ha llamado al m•todo obtendr‚ un objeto totalmente distinto. Cuando se use este tipo de par‚metro si el m•todo no reasigna la referencia entonces se establece a null al finalizar la ejecuci€n del m•todo. ‡ La variable variable "q" es de nuevo nuevo del mismo mismo tipo que la anterior. anterior. En este este caso se maneja maneja como como "p" con una importan importante te diferencia, ya que el m•todo puede elegir modificarla o no la referencia, y puede acceder al objeto al que referencia. Vala se asegurar‚ que la instancia "q" apunte a cualquier objeto, y por lo tanto no sea null cuando se entra en el m•todo.

45


Colecciones La biblioteca de funciones Gee [2] es una biblioteca de colecciones escrita en Vala. Las clases deber…an resultar familiares a los desarrolladores que han usado bibliotecas como la JFC (Java's Foundation Classes). Gee est‚ formado por un conjunto de interfaces y distintos tipos de datos que se implementan de distintas formas. Si se desea usar Gee en una aplicaci€n, es necesario instalar la biblioteca en el sistema de forma separada. Se puede obtener Gee desde el enlace [2]. Para usar la biblioteca es necesario compilar el programa usando la opci€n --pkg gee-1.0. gee-1.0. Los tipos de datos m‚s †tiles son: ‡ Listas: Colecci Colecciones ones ordenadas ordenadas de element elementos, os, accesibles accesibles por por un …ndice num•ric num•rico. o. ‡ Conjuntos: Conjuntos: Colecc Colecciones iones de elemento elementoss distintos distintos desorde desordenadas. nadas. ‡ Mapas (Dicciona (Diccionarios): rios): Coleccio Colecciones nes de elementos elementos desordenados, desordenados, accesibl accesibles es por un …ndice de tipo arbitrari arbitrario. o. Todas las listas y conjuntos en la biblioteca implementan la interfaz Collection, Collection, y todos los mapas la interfaz Map. Map. Las listas implementan as…mismo la interfaz List mientras que los conjuntos implementan la interfaz Set. Set. Estas interfaces comunes significan no s€lo que todas las colecciones son de un tipo similar y que pueden ser usadas de manera intercambiable, sino que las colecciones nuevas pueden ser escritas usando las mismas interfaces, y por lo tanto usando c€digo ya existente. Tambi•n es com†n a todas las colecciones la interfaz Iterable. Iterable. Esto significa que cualquier objeto de esta categor…a puede ser iterado mediante los m•todos est‚ndar de la interfaz, o directamente mediante la sint‚xis de Vala, usando foreach. foreach. Todas las clases e interfaces usan tipos gen•ricos. Esto significa que deben ser instanciadas con un tipo particular o conjunto de tipos que van a contener. El sistema se asegurar‚ de que s€lo los tipos especificados puedan a„adirse a una colecci€n, y que cuando los objetos se extraigan desde una colecci€n se devuelvan con ese tipo.

ArrayList Implementa: Iterable , , Collection , , List . . Es una lista ordenada de elementos del tipo G implementada por un vector que crece de forma din‚mica. Este tipo es muy r‚pido para acceder a los datos, pero potencialmente lento cuando se insertan elementos en cualquier posici€n que no sea al final, o al insertar elementos cuando el vector ya est‚ lleno (y hay por tanto que redimensionarlo). Ejemplo: using Gee; static int main main ( (string string[] [] args) { var list = new ArrayList > (); // Se crea un arraylist de enteros

list. add (1 (1); // Se aƒade un elemento al final

list. add (2 (2);

list. add (5 (5);

list. add (4 (4); list.insert ( 2, 3); // Se inserta el elemento '2' en la posici‚n

'3' list.remove_at list.remove_at ( 3); // Se elimina el elemento de la posici‚n '3' // Se recorre todo el vector

foreach (int (int i i in list) { stdout.printf stdout.print f ( "%d\n" "%d\n", , i); }

46


47

list[ list[2 2] = 10 10; ;

// Se obtiene el mismo

resultado que con ''' '''list. list.set (2 (2, 10 10) )''' stdout.printf stdout.print f ( "%d\n" "%d\n", , list[2 list[2]);

// Se obtiene el mismo

resultado que con ''' '''list. list.get (2 (2)'''

return 0; }

Para compilar este programa se tiene que ejecutar algo similar a lo que aparece en la siguiente l…nea de comandos: valac programa_gee.vala --pkg gee-1.0

Como se puede ver en el c€digo de arriba lo primero que se hace es crear el objeto de tipo ArrayList de tipo entero lo cual se especifica entre los s…mbolos de menor y mayor. Despu•s se usa el m•todo add para a„adir un elemento al final de la colecci€n. Esta insercci€n es r‚pido en comparaci€n con la insercci€n de un elemento en una posici€n determinada de la lista; algo que se consigue mendiante el uso del m•todo insert, insert, al que se le pasa el elemento y la posici€n. Se cuenta con el m•todo remove_at que se usa para eliminar un elemento en una posici€n determinada, indicando la posici€n como par‚metro. Se ve como se puede recorrer toda la lista mediante el uso de la construcci€n foreach. foreach. Por †ltimo se como es posible acceder a la lista mediante el uso de la sintaxis de vector indicando la posici€n entre corchetes. Esta sint‚xis se puede usar tanto para acceder como modificar el valor de una posici€n determinada. Para m‚s informaci€n sobre las listas se puede consultar la API de Vala al respecto en [3].

HashMap Implementa: Iterable >, >, Map Es un mapa en relaci€n 1 a 1 de elementos de tipo K a elementos de tipo V. El mapeo se hace mediante el c‚lculo de un valor hash [4] para cada llave, esto puede ser modificado mediante el uso de punteros a funciones para el c‚lculo de funciones de hash y funciones que comprueben la igualdad de las claves de una forma concreta. Se puede pasar opcionalmente una funci€n de hash y un comparador al constructor de la siguiente forma: var map = new Gee.HashMap(foo_hash, foo_equal);

Ejemplo: using Gee; static int main main ( (string string[] [] args) { var map = new HashMap > ();

map.set ("one" ("one", , 1);

map.set ("two" ("two", , 2);

map.set ("three" ("three", , 3);

map["four" map["four"] ] = 4;

map["five" map["five"] ] = 5;

stdout.printf( "%d\n", stdout.printf("%d\n" , map['four']); map['four']);

// same as map.set ("four", 4)

foreach (string (string key key in map.keys) { stdout.printf stdout.print f ( "%d\n" "%d\n", , map[key]); }

return 0;

// same as map.get (key)


48

}

Este programa se compila de la misma forma que el anterior. El programa define inicialmente un mapa map que tendr‚n claves de tipo cadena y valores de tipo entero. Estos mapas puede definir valores de tuplas mediante el m•todo set de los objetos o mediante la sint‚xis de corchetes. As… se puede usar tambi•n el m•todo get para obtener un valor dado una clave o mediante la sint‚xis de los corchetes. Para m‚s informaci€n sobre este tipo de colecciones se puede consultar la API en [5].

HashSet Implementa: Iterable , , Collection , , Set Un conjunto de elementos del tipo G que no est•n repetidos. Los elementos duplicados se detectan calculando un valor resumen (hash) para cada clave, esto puede modificarse pasando un m•todo que calcule el resumen y un m•todo que compruebe la igualdad de una forma espec…fica. Esto se realiza de la misma forma que con un mapa de tipo HashMap. HashMap. Ejemplo: using Gee; static int main main ( (string string[] [] args) { var my_set = new HashSet > ();

my_set. add ("one" ("one"); );

my_set. add ("two" ("two"); );

my_set. add ("three" ("three"); );

my_set. add ("two" ("two"); );

// No se podr• aƒadir por que ya est•

en el conjunto foreach ( foreach (string string s s in my_set) { stdout.printf stdout.print f ( "%s\n" "%s\n", , s); }

return 0; }

En el ejemplo de arriba se a„aden elementos al conjunto mediante el m•todo add. add. Para recorrer todo el conjunto se puede usar la construcci€n foreach de Vala. Para acceder se usa el m•todo contains que nos indica si un elemento se encuentra dentro del conjunto o no.

Vista de s€lo lectura Se puede obtener una vista de una colecci€n de s€lo lectura mediante la propiedad read_only_view, read_only_view, por ejemplo, mi_mapa.read_only_view. mi_mapa.read_only_view. Esto devolver‚ una vista que tiene la misma interfaz que la colecci€n que contiene, pero no permitir‚ ninguna modificaci€n, o cualquier acceso a la colecci€n que contiene.

Mƒtodos con soporte de sintaxis Vala reconoce algunos m•todos que tienen un nombre determinado y un conjunto de par‚metros y suministra soporte s oporte para ellos. Por ejemplo, si una clase tiene un m•todo llamado contains() los objetos de este tipo se pueden utilizar con el operador in. in. La siguiente tabla muestra unos m•todos especiales que Vala reconoce:


49

Mƒtodos con reconocimiento de sintaxis Mƒtodo

Operador

Descripci€n

get(TIPO …ndice)

Acceso mediante objeto[‡ndice]

Permite el acceso mediante un …ndice (del tipo definido) a un objeto indexado

void set(TIPO1 …ndice, TIPO2 item)

Acceso mediante objeto[‡ndice] = item

Permite la inserci€n de un item en (del tipo definido) a un objeto indexado

get(TIPO1 …ndice1, TIPO2 …ndice2)

Acceso mediante objeto[‡ndice1, ‡ndice2]

Permite el acceso mediante dos …ndices (cada uno de un tipo que puede ser distinto o no) a un objeto doblemente indexado (por ejemplo una matriz)

void set(TIPO1 …ndice1, TIPO2 …ndice2, TIPO2 item)

Acceso mediante objeto[‡ndice1, ‡ndice2] = item

Permite la inserci€n de un item en (del tipo definido) a un objeto doblemente indexado (como por ejemplo una matriz)

slice( slice(lon longg start start,, long long end) end)

Trocea Trocea objet objetos os median mediante te objeto[start:end]

Permite trocear un objeto indexado mediante el operador por defecto, indicando un inicio del troceo start, start, y un final end

bool bool contai contains( ns(T T need needle) le)

Compru Comprueba eba que un subcon subconjun junto to est• est• dent dentro ro de Permite comprobar si un subconjunto needle se encuentra presente un conjunto mediante bool b = needle in object dentro del conjunto object. object. En case de estar presente debe devolver un valor true, true, en caso contrario false

stri string ng to_s to_str trin ing( g(vo void id))

Conv Convie iert rtee el el oobj bjet etoo en una una cad caden enaa y perm permit itee su su uso dentro de las plantillas de cadenas mediante @"$object"

Iter Iterat ator or it iter erat ator or(v (voi oid) d)

Perm Permit itee rec recor orre rerr un un obj objet etoo med media iant ntee la la est estru ruct ctur uraa Permite recorrer un objeto indexado de alguna forma mediante la estructura foreach del lenguaje. foreach"

Permite convertir un objeto en cadena y por lo tanto se podr‚ usar en diversas situaciones entre ellas en las plantillas de cadenas.

El siguiente ejemplo muestra algunos de los m•todos especificados: public class EvenNumbers { public int get get( (int int index) index) { return index * 2;

// Devuelve el n…mero par que ocupa la

posiciƒn index del conjunto de los n†meros pares }

public bool contains contains( (int int i) i) { return i % 2 == 0;

// Nos dice si el elemento i se

encuentra dentro del conjunto de n†meros pares }

public string to_string to_string() () { return "[This object enumerates even numbers]" ; // La representaciƒn en cadena muestra ayuda de lo que representa la clase }

public Iterator iterator iterator() () { return new Iterator Iterator( (this);

// Permite que el conjunto de los

n†meros pares se recorra mediante foreach }

public class Iterator { private int int index; index;


50

private EvenNumbers even; public Iterator Iterator(EvenNumbers (EvenNumbers even) { this .even = even;

// Constructor del iterador

}

public bool next next() () { return true;

// El m„todo nos indica si el conjunto tiene

o no un n†mero par o no }

public int get get() () { this .index++;

// Devuelve el siguiente n…mero par del

iterador

return this.even[ this .index - 1]; } } }

void main main() () { var even = new EvenNumbers();

stdout.printf( "%d\n", stdout.printf("%d\n" , even[5 even[ 5]);

// get()

if (4 (4 in even) {

// contains()

stdout.printf( @"$even\n" ); stdout.printf(@"$even\n"

// to_string()

}

foreach (int (int i i in even) {

// iterator()

stdout.printf( "%d\n", stdout.printf("%d\n" , i);

if (i == 20 20) ) break; } }

Multihilo Hilos en Vala Un programa escrito en Vala puede tener m‚s de un hilo en ejecuci€n, permitiendole hacer m‚s de una cosa al mismo tiempo. Fuera del ‚mbito de Vala los hilos comparten un mismo procesador o no, dependiendo del entorno de ejecuci€n. Un hilo en Vala no se define en el tiempo de compilaci€n, en lugar de eso se s e define una porci€n del c€digo Vala para que se ejecute como un nuevo hilo. Esto se realiza mediante el m•todo est‚tico de la clase Thread de la biblioteca GLib, GLib, como puede verse en siguiente ejemplo: void * thread_func() {

stdout.printf( "Thread running.\n"); stdout.printf("Thread running.\n" );

return null; } int main main( (string string[] [] args) {

Funcionalidades avanzadas del lenguaje if (!Thread.supported()) { // Se comprueba si se soportan la ejecuciƒn con hilos

stderr.printf( "No puede ser ejecutado sin hilos.\n" ); stderr.printf("No

return 1; }

try { Thread.create(thread_func, false );

} catch (ThreadError e) {

return 1; }

return 0; }

Este programa pedir‚ que un nuevo hilo se cree y ejecute. El c€digo a ejecutar est‚ contenido en el m•todo thread_func. thread_func. N€tese tambi•n la comprobaci€n que se realiza al principio del m•todo principal, un programa en Vala no podr‚ usar hilos a no ser que sea compilado de una forma adecuada, de esta forma si se compila de la forma habitual, mostrar‚ un mensaje de error y parar‚ la ejecuci€n. La posibilidad de comprobar el soporte de hilos en tiempo de ejecuci€n permite al programa ser construido para ser ejecutado con o sin hilos si se quiere. Para compilar con soporte de hilos, se debe ejecutar una l…nea de comandos similar a la siguiente: $ valac --thread threading-sample.vala threading-sample.vala

Esto incluir‚ las bibliotecas necesarias e inicializar‚ el sistema de hilos cuando sea posible. El programa se ejecutar‚ ahora sin producirse fallos de violaci€n de acceso [6], pero no se comportar‚ como se espera. Sin un conjunto de bucles, el programa terminar‚ cuando el hilo principal (el que ha sido creado con la funci€n principal) finalice. Para controlar este comportamiento, se puede permitir cooperar a los hilos entre s…. Esto se puede realizar mediante los bucles de eventos y las colas as…ncronas, pero en esta introducci€n a los hilos se mostrar‚ las posibilidades b‚sicas de los hilos. Es posible para un hilo comunicarle al sistema que ahora no necesita ejecutarse, y por lo tanto sugerir que sea otro hilo el que deber…a ejecutarse en lugar del primero, esto se realiza mediante el m•todo est‚tico Thread.yield(). Thread.yield(). Si esta sentencia se coloca al final del m•todo main definido arriba, el sistema de ejecuci€n pausar‚ la ejecuci€n del hilo principal por un instante y comprobar‚ si hay otros hilos que pueden ejecutarse, encontrando el hilo creado recientemente en un estado de pausa y a la espera de ejecuci€n, y ejecutar‚ el nuevo hilo hasta la finalizaci€n del mismo, y el programa tendr‚ el comportamiento esperado. Sin embargo, no hay garant…a de que esto pase as…. El sistema tiene potestad para decidir cuando ejecuta los hilos, y de esta forma podr…a no permitir que el nuevo hilo termine antes de que el hilo principal es reiniciado y el programa finalice. Para esperar a que un hilo finalice de forma completa hay un m•todo llamado join(). join(). LLamando a este m•todo en un objeto Thread causa que el hilo que ha realizado la llamada espere a que finalice el otro hilo antes de finalizar. Tambi•n permite a un hilo recibir el valor de retorno de otro, si eso es †til. Para implementar la uni€n de hilos se realiza mediante un c€digo similar al siguiente: try { unowned Thread thread = Thread.create(thread_f Thread.create(thread_func, unc, true);

thread.join();

} catch (ThreadError e) {

return 1; }

51

Funcionalidades avanzadas del lenguaje Esta vez, cuando se cree el hilo se le pasar‚ true como †ltimo argumento. Esto marca el hilo como que puede ser unido ( joinable). joinable). Se recuerda el valor devuelto desde la creaci€n, una referencia sin propietario al objeto Thread (las referencias sin propietario se explicar‚n despu•s y no son vitales para esta secci€n). Con esta referencia es posible unir el nuevo hilo al hilo principal. Con esta versi€n del programa se garantiza que el nuevo hilo creado se ejecutar‚ al completo antes de que el primer hilo contin†e y finalice la ejecuci€n del programa. Todos estos ejemplos tienen un problema potencial, en el cual el hilo creado no sabe en que contexto deber…a ejecutarse. En el lenguaje C se suministrar…a a la creaci€n del hilo algunos datos m‚s, en Vala en cambio se pasar…a una instancia del m•todo a Thread.create, Thread.create, en lugar de un m•todo est‚tico.

Control de recursos Cuando m‚s de un hilo se est• ejecutando al mismo tiempo, existe la posibilidad de que los datos sean accedidos de forma simultanea. Esto puede hacer que el programa no sea determinista, ya que la salida depende de cuando el sistema decide cambiar la ejecuci€n entre los hilos. Para controlar esta situaci€n, se puede usar la palabra reservada lock para asegurarse de que un bloque de c€digo no ser‚ interrumpido por otros hilos que necesitan acceder al mismo dato. La mejor forma de mostrar esto es mediante un ejemplo como el siguiente: public class Test : GLib.Object { private int int a a { get; set; } public void action_1 action_1() () { lock (a) { int tmp int tmp = a;

tmp++; a = tmp; } }

public void action_2 action_2() () { lock (a) { int tmp int tmp = a;

tmp--; a = tmp; } }

}

Esta clase define dos m•todos, d€nde ambos necesitan cambiar el valor de la variable a. Si no estuviera el bloque definido por la palabra reservada lock, lock, podr…a ser posible para las instrucciones de esos m•todos cambiaran el valor de a y el resultado de las operaciones ser…a aleatorio. Como se ha establecido los bloques lock Vala garantizar‚ que si un hilo ha bloqueado la variable a, otro hilo que necesita la misma variable tenga que esperar su turno hasta que el primero finalice de manipularla. En Vala s€lo es posible bloquear miembros de un objeto que est‚ ejecutando el c€digo. Esto podr…a parecer una restricci€n muy grande, pero de hecho el uso est‚ndar de esta t•cnica deber…a incluir clases que son responsables individualmente de controlar un recurso, y por lo tanto todos los bloqueos deben ser internos a la clase. Del mismo modo, en el ejemplo de arriba todos los accesos a la variable a se encapsulan en la clase.

52


El bucle principal La biblioteca GLib incluye un sistema para la ejecuci€n de un bucle de eventos, en las clases alrededor del bucle principal MainLoop. MainLoop. El prop€sito de este sistema es permitir escribir programas que esperen a que sucedan eventos para responder a dichos eventos, en lugar de tener que estar comprobando las condiciones continuamente hasta que se cumplan. Este es el modelo que usa la biblioteca GTK+ [7], para que el programa espere hasta que se produzca la interacci€n con el usuario sin necesidad de tener c€digo ejecut‚ndose en el momento que se produce la interacci€n. El siguiente programa crea e inicia el bucle MainLoop, MainLoop, y enlaza un conjunto de eventos a dicho bucle. En este caso el c€digo es un simple temporizador, el cual ejecutar‚ el m•todo despu•s de 2000ms. El m•todo de hecho parar‚ el bucle principal, el cual har‚ que finalice el programa. void main main() () { var loop = new MainLoop(); var time = new TimeoutSource( TimeoutSource(2000 2000); ); time.set_callback(() time.set_cal lback(() => {

stdout.printf( "Time!\n"); stdout.printf("Time!\n" );

loop.quit();

return false; });

time.attach(loop.get_context()); loop.run();

}

El c€digo crea un nuevo bucle principal ( MainLoop) MainLoop) y despu•s inicializa un temporizador TimeoutSource. TimeoutSource. Utilizando un m•todo an€nimo se a„ade el evento del temporizador al bucle principal. As… cuando el temporizador llegue a 0 lanzar‚ un evento que har‚ que se ejecute el m•todo an€nimo definido, el cual imprime por pantalla un mensaje y despu•s sale de la ejecuci€n del bucle principal y finaliza la ejecuci€n del programa. Cuando se usa GTK+, se crea un bucle principal autom‚ticamente, y se ejecutar‚ cuando se lance el m•todo Gtk.main(). Gtk.main(). Esto marca el punto d€nde el programa est‚ listo para ejecutarse y empezar a aceptar eventos del usuario u otros eventos externos. El c€digo en GTK+ es equivalente al ejemplo de arriba, y por lo tanto se puede a„adir eventos de la misma forma, aunque se necesite usar los m•todos GTK+ para controlar el bucle principal. void main main( (string string[] [] args) {

Gtk.init( ref args); var time = new TimeoutSource( TimeoutSource(2000 2000); ); time.set_callback(() time.set_cal lback(() => {

stdout.printf( "Time!\n"); stdout.printf("Time!\n" );

Gtk.main_quit();

return false; });

time.attach( null );

53


54

Gtk.main();

}

Un requisito com†n en el desarrollo de interfaces de usuario es ejecutar el c€digo tan pronto como sea posible, pero s€lo cuando no moleste al usuario. Para ello, se puede usar las instancias de tipo IdleSource. IdleSource. Estas mandan eventos al bucle principal del programa, pero las peticiones s€lo ser‚n tratadas cuando no hay nada m‚s importante que hacer. Para obtener m‚s informaci€n acerca de la biblioteca de funciones GTK+ se puede consultar la documentaci€n de GTK+ [8] o la documentaci€n de la API de Vala [9].

Mƒtodos as‡ncronos Con los m•todos as…ncronos es posible programar sin realizar bloqueos de ninguna clase. Desde la versi€n 0.7.6 del compilador de Vala, se suministra una sintaxis especial para la programaci€n as…ncrona.

Sintaxis y ejemplos Un m•todo as…ncrono se define mediante el modificador async. async. Se puede llamar a un m•todo as…ncrono con la sintaxis nombre_metodo.begin() desde un m•todo s…ncrono. Desde un m•todo as…ncrono se pueden llamar a otros m•todos as…ncronos utilizando la palabra reservada yield. yield. Esto har‚ que el m•todo llamador se suspenda hasta que otro m•todo devuelva el valor de retorno (y finalice por tanto su ejecuci€n). Todo esto se realiza impl…citamente mediante llamadas con AsyncResult. AsyncResult. Todo lo relacionado con los m•todo as…ncronos en Vala depende de la biblioteca GIO, por lo que se debe compilar los programas con la opci€n --pkg gio-2.0. gio-2.0. A continuaci€n se muestra un ejemplo de este tipo de m•todos: // Ejemplo con m„todos as€ncronos async void list_dir list_dir() () { var dir = File.new_for_path File.new_for_ path (Environment.get_home_dir (Environment .get_home_dir()); ());

// Se

obtiene un objeto fichero del directorio HOME

try { var e = yield dir.enumerate_children_async(FILE_ATTRIBUTE_STANDARD_NAME, 0, Priority.DEFAULT, Priority.DEFAULT,

null ); // Se obtienen los ficheros/directorios que contiene el directorio HOME while ( while (true) { var files = yield e.next_files_async( 10 10, , Priority.DEFAULT,

null); // Se van obteniendo hasta que devuelve null y no hay m•s if (files == null ) { break; }

foreach (var info in files) {

print( "%s\n", print("%s\n" , info.get_name()); info.get_name()); // Se muestran todos

los ficheros obtenidos } } } catch (Error err) {

warning("Error: warning( "Error: %s\n", %s\n" , err.message);

Funcionalidades avanzadas del lenguaje } }


list_dir.begin();

new MainLoop MainLoop().run(); ().run(); }

El m•todo list_dir() no es bloqueante. Dentro de list_dir(), list_dir(), el m•todo as…ncrono enumerate_children_async() y next_files_async() se llaman con la palabra reservada yield. yield. El m•todo list_dir() continuar‚ ejecut‚ndose mientras que se devuelvan los valores de retorno de los m•todo as…ncronos y finalicen su ejecuci€n.

Mƒtodos as‡ncronos personalizados El ejemplo anterior usaba m•todos de la biblioteca GIO para demostrar el uso del m•todo .begin() y de la palabra reservada yield. yield. Pero es posible escribir m•todos as…ncronos de manera personalizada. A continuaci€n se explicar‚ la manera de hacerlo. // Ejemplo con m„todos as€ncronos personalizados:

class Test : Object { public async string test_string test_string( (string string s, s, out string string t) t) { assert(s == "hello" "hello"); ); Idle.add (test_string.callback); (test_string.callback);

yield ; t = "world" "world"; ;

return "vala" "vala"; ; } } async void run run(Test (Test test) { string t, string t, u; u = yield test.test_string( "hello" "hello", , out t);

print("%s print("%s %s\n", %s\n" , u, t);

main_loop.quit();

} MainLoop main_loop;

void main main() () { var test = new Test();

run.begin(test); main_loop = new MainLoop();

}

main_loop.run();

55


56

La llamada .callback se usa para registrar de forma impl…cita un m•todo _finish para el m•todo as…ncrono. Esto se usa con la palabra reservada yield. yield. // Se aƒada el callback al m„todo

Idle. add (async_method.callback); (async_method.callback);

yield ; // Se devuelve el resultado

return result;

Despu•s de la sentencia yield; yield; el resultado se puede devolver. De manera impl…cita, se puede realizar con un AsyncResult en el m•todo callback. callback. El m•todo calback se parece mucho al concepto de continuaci€n [10] en ciertos lenguajes de programaci€n (por ejemplo Scheme [11]) salvo que en Vala representa el contexto inmediatamente posterior a la sentencia yield. yield. El m•todo end() es la sintaxis que se usa para el m•todo _finishi. _finishi. Toma un AsyncResult y devuelve el resultado real o lanza una excepci€n (si el m•todo as…ncrono lo hace). La llamada se realiza en el callback del m•todo as…ncrono de una forma similar a la siguiente:

async_method.end(result)

Referencias dƒbiles La gesti€n de memoria en Vala se s e basa en el conteo autom‚tico de referencias [2]. Cada vez que un objeto se asigna a una variable su contador de referencias se incrementa en 1, cada vez que una variable, la cual referencia un objeto, sale del ‚mbito; su contador interno de referencias se decrementa en 1. Si el contador de referencias alcanza el valor 0 el objeto ser‚ liberado (el bloque de memoria que contiene ese objeto ser‚ liberado). Sin embargo, es posible formar un ciclo de referencias con las estructuras de datos que el programador defina. Por ejemplo, con una estructura de ‚rbol [12] de datos d€nde un nodo hijo mantiene una referencia a su padre y viceversa, o una lista doblemente enlazada [13] d€nde cada elemento mantiene una referencia a su predecesor y el predecesor mantiene una referencia a su sucesor. En estos casos los objetos podr…an mantenerse vivos simplemente referenci‚ndose unos a otros, a pesar de que deber…an ser liberados. Para romper este ciclo de referencias se pueden usar el modificador weak para una de las referencias: class Node : Object { public Node prev; public Node next; public Node Node (Node? (Node? prev = null) { this.prev = prev;

// ref

if (prev != null) { prev.next = this;

// ref

} } }

void main main () () { var n1 = new Node ();

// ref

var n2 = new Node (n1);

// ref


// Imprime el conteo de referencias para los dos objetos stdout.printf stdout.print f ( "%u, %u\n", %u\n" , n1.ref_count, n2.ref_count); }

// unref, unref

Los lugares d€nde se producen las referencias y los borrados de referencias se han comentado para una mejor comprensi€n del ejemplo. La siguiente figura muestra la situaci€n despu•s de que los nodos A, B y C hayan sido asignados y enlazados:

Cada flecha representa un enlace a un objeto de la lista doblemente enlazada. Se puede ver como en el ejemplo cada vez que se asigna el objeto a un enlace se aumenta el contador de referencias. Al finalizar todos las asignaciones de los objetos se deben obtener un contador de referencias de dos para cada nodo. Cuando se finalice el uso de los nodos •stos se eliminar‚ la referencia a ellos, por lo que el contador de referencias se valdr‚ 1 y no 0 por lo que la memoria que ocupan no ser‚ liberada. En este caso el programa finalizar‚ y el trabajo que no ha realizado el programa (liberar esos recursos) lo har‚ el sistema operativo. Sin embargo que pasar…a si el programa fuera algo as…: void main main () () { while (true) { var a = new Node (); var b = new Node (a); var c = new Node (b); Thread.usleep Thread.uslee p ( 1000 1000); ); } }

Para comprobarlo s€lo tienes que abrir el gestor de tareas (por ejemplo gnome-system-monitor) e iniciar el programa. Podr‚s ver que ese programa est‚ devorando la memoria. Finaliza el proceso antes de que haga que tu sistema no responda adecuadamente (la memoria ser‚ liberada inmediatamente). Un programa equivalente en C# o Java no tendr…a ning†n problema, por que el recolector de basuras puede detectar estos ciclos en las referencias en tiempo de ejecuci€n. Pero Vala esto no lo realiza (por que no hay recolector de basuras) y el programador debe tener en cuenta este tipo de problemas. La forma de romper el ciclo es mediante la definici€n de alguna de las referencias como una referencia d•bil ( weak): weak): public weak Node prev; public Node next;

Este modificador hace que la asignaci€n de esta variable no haga que su contador de referencias se incremente en 1. De esta forma uno de los nodos tendr‚ un contador de referencias de 1 en lugar de 2, por lo que cuando finalice el programa se eliminar‚ esa referencias y el contador de referencias alcanzar‚ el valor de 0, por lo que se liberar‚ la memoria que ocupaba ese nodo. Esto al provocar que todas las referencias que conten…a el nodo se eliminen, har‚ que se produzca un efecto cascada liberando de memoria todos los nodos que hab…a.

57


58

Propiedad de las referencias Referencias sin propietario Normalmente cuando se crea un objeto en Vala se devuelve una referencia que apunta a dicho objeto. Esto significa que adem‚s de haberse pasado un puntero al objeto a memoria, tambi•n se ha almacenado en el propio objeto que ese puntero existe. De forma similar, cuando otra referencia al objeto se crea, tambi•n es almacenada. De la misma forma que un objeto sabe cuantas referencias tiene, puede ser eliminado de ellas cuando lo necesite. Este es el comportamiento b‚sico de la gesti€n de memoria. Las referencias sin propietario no se almacenan en el objeto al que referencian. Esto permite al objeto ser eliminado cuando deba serlo, sin importar el hecho de que a†n haya referencias que apunten hacia •l. La forma usual de alcanzar esto es con un m•todo definido con un valor de vuelta de una referencia sin propietario, como el siguiente c€digo muestra: class Test { private Object o; public unowned Object get_unowned_ref get_unowned_ref() () { this.o = new Object(); return this.o; } }

Cuando se llame a este m•todo, para recoger una referencia al objeto devuelto, se debe esperar recibir una referencia d•bil: unowned Object o = get_unowned_ref(); get_unowned_ref();

La raz€n para este ejemplo tan complicado es debida al concepto de propiedad: ‡ Si el objeto objeto "o" no se se almacena almacena en la la clase, clase, entonces entonces cuando cuando el m•todo m•todo get_unowned_ref devuelve el valor, "o" ser…a un objeto sin propietario (por ejemplo no habr…a referencias hacia •l). Si este fuera el caso, el objeto ser…a borrado y el m•todo jam‚s devolver…a una referencia v‚lida. ‡ Si el valor valor de retorn retornoo no se se defin definee como como unowned, unowned, la propiedad pasar…a al nodo que ha realizado la llamada. El c€digo de llamada est‚, sin embargo, esperando una referencia sin propietario ( unowned), unowned), la cual no puede recibir la propiedad. Si el c€digo de llamada se escribe de la siguiente forma: Object o = get_unowned_ref();

Vala intentar‚ o bien obtener una referencia del objeto o bien una instancia duplicada a d€nde apunta la referencia. En contraste a los m•todos normales, las propiedades siempre devuelven valores sin propietario. Esto significa que no se puede devolver un objeto nuevo creado dentro de un m•todo get de una propiedad. Tambi•n significa que, no se puede usar una referencia con propietario como valor de retorno de una llamada a un m•todo. Este hecho es debido a que el valor de la propiedad est‚ asignado (es propiedad de) al objeto que tiene la propiedad. Debido a esto el siguiente c€digo devolver‚ un error: public Object property { get { return new Object Object(); ();

// MAL: La propiedad devuelve devuelve una


59

referencia sin due‚o, // el objeto nuevo ser• borrado cuando // el •mbito del m„todo 'get' finalice, finalizando el cƒdigo que // ha llamada al m„todo 'get' obteniendo una referencia a un // objeto borrado. } }

Tampoco estar…a permitido realizar una cosa similar al siguiente c€digo: public string string property property { get { return getter_method getter_method(); ();

// MAL: Por la misma raz‚n que

arriba. } }

public string getter_method () { return "some text"; text" ; // "some text" se duplica y se devuelve en este punto del cƒdigo. }

Por el contrario, el siguiente c€digo es perfectamente legal y compila sin ning†n problema: public string string property property { get { return getter_method getter_method(); ();

// BIEN: El m„todo 'getter_method'

devuelve una referencia sin propietario } }

public unowned string getter_method () { return "some text"; text" ; // No se preocupe por que el texto no sea asignado a alguna variable fuerte. // las cadenas literales son propiedad del m‚dulo del programa en Vala, // y existen mientras el programa est„ cargado en memoria. }

El modificador unowned se puede usar para hacer el almacenamiento de las propiedades sin propietario. Es decir: public unowned Object property { get; private set; }

Es id•ntico al c€digo: private unowned Object _property; public Object property {

Funcionalidades avanzadas del lenguaje get { return _property; } }

La palabra reservada owned se puede usar para pedir que una propiedad devuelva espec…ficamente una referencia al valor con propietario, por lo tanto, causando que el valor de la referencia se copie del lado del objeto. Piense dos veces antes de a„adir la palabra reservada owned. owned. ƒEs una propiedad o simplemente un m•todo get_xxx? get_xxx? Puede que tenga problemas en el dise„o. De todas formas, el c€digo que sigue es correcto y compilar‚ sin problemas: public owned Object property { owned get { return new Object(); } }

Las referencias sin propietario juegan un papel similar a los punteros que ser‚n descritos m‚s adelante. Sin embargo, es m‚s simple usar punteros, ya que pueden ser convertidos en referencias normales de forma simple. Sin embargo, no est‚ aconsejado su uso en un programa a menos que el programador sepa lo que est‚ haciendo.

Transferencia de la propiedad La palabra reservada owned se usa para realizar una transferencia de la propiedad de una referencia de las siguientes formas: ‡ Como un prefijo prefijo del tipo tipo del par‚metro, par‚metro, lo cual cual indica que que la propiedad propiedad del objeto objeto se transfier transfieree dentro del del contexto del c€digo. ‡ Como un operador operador de conversi€n, conversi€n, se puede usar usar para evitar evitar la duplicidad duplicidad de clases sin conteo conteo de referencia, referencia, lo cual es imposible en Vala. Por ejemplo: Foo foo = (owned) bar;

Este c€digo indica que bar ser• inicializada a null y que foo heredar‚ la propiedad del objeto al que bar apunta.

Listas de par„metros de longitud variable Existe la posibilidad de usar las listas de argumentos de tama„o variable para los m•todos en Vala, igual que en otros lenguajes de programaci€n, como por ejemplo C. Se declaran mediante puntos suspensivos (...) en los par‚metros del m•todo. Un m•todo que tiene una lista de par‚metros de longitud variable debe tener al menos un par‚metro fijo: void method_with_varargs (int int x, x, ...) { var l = va_list(); string s string s = l.arg(); int i int i = l.arg();

stdout.printf( "%s: %d\n", stdout.printf("%s: %d\n" , s, i);

}

En este ejemplo x es un argumento fijo para cumplir con los requisitos. La lista de argumentos se obtiene con el m•todo va_list(). va_list(). Despu•s se puede ir obteniendo argumento tras argumento mediante el m•todo arg(T) de la lista de argumentos, siendo T el tipo que deber…a ser el argumento. Si el tipo es evidente (como en el ejemplo anterior) se infiere autom‚ticamente y se puede utilizar la llamada a arg() sin argumentos. El siguiente ejemplo pasa un n†mero indeterminado de cadenas de caracteres que se convierten en n†meros reales (double): double): void method_with_varargs (int fixed , ...) { var l = va_list();

while (true) { string? key string? key = l.arg();

60

Funcionalidades avanzadas del lenguaje if (key == null) { break;

// fin de la lista y se sale del bucle infinito

} double val double val = l.arg();

stdout.printf( "%s: %g\n", stdout.printf("%s: %g\n" , key, val); }

}


method_with_varargs( 42 42, , "foo" "foo", , 0.75 0.75, , "bar" "bar", , 0.25 0.25, , "baz" "baz", , 0.32 0.32); );

}

En el ejemplo se comprueba que la cadena sea null para reconocer el final de la lista de par‚metros. Vala pasa impl…citamente el valor null como el †ltimo argumento de la lista que reciben estos m•todos. Este forma de recibir listas de par‚metros de tama„o indeterminado tiene un inconveniente que el programador debe tener en cuenta. El compilador no puede decirle al programador cuando se est‚n pasando argumentos del tipo correcto al m•todo y cuando no. Por este motivo el programador debe considerar el uso de estas listas s€lo si tiene una buena raz€n para hacerlo y es imprescindible, por ejemplo: suministrar una funci€n conveniente para los programadores de C que usen una biblioteca desarrollada en Vala. A menudo un argumento del tipo vector es una elecci€n m‚s acertada y segura. Un patr€n com†n para el uso de las listas de par‚metros es esperar parejas de argumentos del tipo propiedad y valor a menudo referidas a gobject. En este caso se puede escribir propiedad : valor, valor, como en el siguiente ejemplo: actor.animate (AnimationMode.EASE_OUT_BOUNCE, 3000 3000, , x: 100.0 100.0, , y: 200.0 200.0, , rotation_angle_z: 500.0 500.0, , opacity: 0);

Este c€digo de arriba ser…a equivalente al siguiente c€digo fuente: actor.animate (AnimationMode.EASE_OUT_BOUNCE, 3000 3000, , "x" "x", , 100.0 100.0, , "y" "y", , 200.0, 200.0 , "rotation-angle-z" , 500.0 500.0, , "opacity" "opacity", , 0);

Punteros Los punteros de Vala son una forma de permitir la gesti€n manual de la memoria en los programas. Por regla general, cuando el programador crea una instancia de un tipo se devuelve una referencia a ese objeto, y Vala se encarga de destruir la instancia cuando no haya m‚s referencias a ese objeto, y por lo tanto no sea †til. Si se pide un puntero en lugar de una referencia, ser‚ el programador el encargado de destruir la instancia cuando ya no se necesite, y por lo tanto obtendr‚ un mayor control sobre la memoria que est‚ usando el programa en desarrollo. Esta funcionalidad no se necesita en la mayor…a de las ocasiones, puesto que los ordenadores modernos son suficientemente r‚pidos para manejar las referencias (y el conteo de referencias) y tienen suficiente memoria que las peque„as problemas de eficiencia que genera la gesti€n de memoria autom‚tica no son importantes. Sin embargo pueden darse algunas situaciones en las cuales ser‚ necesario usar la gesti€n manual de la memoria. Por ejemplo: ‡ En caso de que el el programador programador quiera quiera optimizar optimizar un programa programa espec…fic espec…ficament amentee en el uso de memoria. memoria. ‡ Cuando Cuando el programa trabaja trabaja con una bibliotec bibliotecaa externa que que no implementa implementa el conteo de referenci referencias as para la gesti€n de memoria (probablemente por que no est‚ basada en g-object). Para crear una instancia de un tipo y recibir un puntero a ese nuevo objeto (en lugar de una referencia) se procede de la siguiente forma: Object* o = new Object();

61


62

Para acceder a los m•todos y los miembros en general del objeto se usa el operador ->: ->: o->method_1(); o->data_1;

Para liberar la memoria en la que se almacena el objeto (cuando •ste ya no sea †til): delete o;

Vala tiene soporte para los operadores de punteros que se usan en C, es decir, el operador direcci€n de (&) y el operador indirecci€n [14] (*). (*). El primer operador obtiene la direcci€n de memoria de un objeto y el segundo obtiene el propio objeto a partir de un puntero (se usa para acceder al contenido del objeto): int i int i = 42 42; ;

// Un entero con valor 42

int* int * i_ptr = &i;

// Obtenemos un puntero que apunta al entero i

mediante el operador direcciƒn de int j int j = *i_ptr;

// Mediante el operador indirecci‚n se obtiene el

contenido del entero 'i' 'i'. . *i_ptr = 7;

// Se modifica el valor del entero tambi„n mediante

el operador indirecciƒn.

Cuando en lugar de valores primitivos (como en el caso anterior en el que se ha usado un entero) se usan referencia a objetos se pueden omitir los operadores, ya que, en este caso se est‚n usando sobre referencias que apuntan a los objetos. Foo f = new Foo(); Foo* f_ptr = f;

// Se obtiene la direcci‚n del objeto que apunta la

referencia 'f' Foo g = f_ptr;

// Se obtiene el contenido del objeto y se apunta

mediante una nueva referencia llamada 'g' unowned Foo f_weak = f;

// Esto es equivalente a la segunda l€nea de

cƒdigo

El uso de punteros es equivalente al uso de referencias sin propietario como se puede ver en el ejemplo de arriba en la †ltima l…nea de c€digo.

Clases que no heredan de GLib.Object Las clases que no hereden en ning†n nivel de GLib.Object son tratadas como un caso especial. Estas clases derivan directamente desde el sistema de tipos de GLib y por lo tanto son m‚s ligeras (en uso de recursos). Un caso obvio de este tipo de clases son algunos de los Binding [15] a la biblioteca GLib. Puesto que la biblioteca GLib hace un trabajo a m‚s bajo nivel que GObject, la mayor…a de las clases que se definen en el binding son de este tipo. Como se ha comentado anteriormente, estas clases son m‚s ligeras, lo cual las haces †tiles en algunos casos (por ejemplo en el uso del propio compilador de Vala). Sin embargo, el uso de este tipo de clases no es muy habitual por lo que no se tratar‚ en este documento.


Referencias [1] [1] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Dise%C3%B1o_por_Contrato Dise%C3%B1o_por_Contrato [2] [2] http http:/ :/ / live.gnome. live.gnome.org/ org/ Libgee Libgee [3] [3] http http:/ :/ / www.valadoc. www.valadoc.org/ org/ gee-1.0/ gee-1.0/ Gee.ArrayList. Gee.ArrayList.html html [4] [4] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Hash Hash [5] [5] http http:/ :/ / www.valadoc. www.valadoc.org/ org/ gee-1.0/ gee-1.0/ Gee.HashMap. Gee.HashMap.html html [6] [6] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Violaci€n_de_acceso Violaci€n_de_acceso [7] [7] http http:/ :/ / www.gtk. www.gtk.org/ org/ [8] [8] http http:/ :/ / library.gnome. library.gnome.org/ org/ devel/ devel/ gtk/ gtk/ stable/ stable/ [9] [9] http http:/ :/ / valadoc.org/ valadoc.org/ gtk+-2. gtk+-2.0/ 0/ index.html index.html [10] [10] http http:/ :/ / en.wikipedia. en.wikipedia.org/ org/ wiki/ wiki/ Continuation Continuation [11] [11] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Scheme Scheme [12] [12] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ %C3%81rbol_%28inform%C3%A1tica%29 %C3%81rbol_%28inform%C3%A1tica%29 [13] [13] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Lista_%28inform%C3%A1tica%29# Lista_%28inform%C3%A1tica%29#Lista_Doblemente_En Lista_Doblemente_Enlazada lazada [14] [14] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Indirecci%C3%B3n Indirecci%C3%B3n [15] [15] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Binding Binding

Funcionalidades experimentales del lenguaje Las funcionalidades que se presentan en este cap…tulo han sido definidas como experimentales y por lo tanto no se recomienda su uso hasta que se defina completamente el est‚ndar del lenguaje, ya que podr…a cambiar su sintaxis e incluso dejar de existir en una versi€n definitiva del compilador.

Expresiones relacionales encadenadas Esta funcionalidad del lenguaje permite escribir expresiones relacionales complejas como la siguiente: if (1 (1 < a && a < 5) {} if (0 (0 < a && a < b && b < c && c < d && d < 255 255) ) { // Acciones }

De una forma m‚s simple como la siguiente: if (1 (1 < a < 5) {} if (0 (0 < a < b < c < d < 255 255) ) { // Acciones }

De esta forma se encadenan los valores y nos aseguramos que la condici€n sea cierta antes de que se ejecuten las acciones. Esta forma de escribir la expresi€n relacional es m‚s natural y semejante a como se define de forma matem‚tica la expresi€n.

63


64

Expresiones regulares en literales Las expresiones regulares [1] son una t•cnica muy potente para tratar cadenas de texto y realizar operaciones de b†squeda de patrones entre otros usos. Vala dispone de funcionalidad experimental con expresiones regulares en literales de una forma similar a como lo hace el lenguaje de programaci€n Perl [2]. Vala utiliza el operador /expresion-regular/ para definir un objeto de tipo Regex. Regex. Por ejemplo: string email string email = "[email protected]" ;

if (/^[A-Z0-9. (/^[A-Z0- 9._%+-]+@[A-Z0_%+-]+@[A-Z0- 9. 9.-]+\.[A-Z]{ -]+\.[A-Z]{ 2,4}$/i.match(email)) {

stdout.printf( "Direcciƒn de correo v€lida\n" ); stdout.printf("Direcciƒn

}

El modificador i que aparece despu•s de la definici€n de la expresi€n regular y antes de la llamada al m•todo match(email) hace que la expresi€n regular sea insensible a las may†sculas. Se puede almacenar una expresi€n regular en un objeto de tipo Regex: Regex: Regex regex = /foo/;

Las expresiones regulares son una t•cnica de una complejidad suficiente como para dedicarles un documento separado del actual por lo que si el lector desea conocer m‚s sobre el uso de expresiones regulares en Vala puede usar los siguientes enlaces para satisfaces su curiosidad: ‡ Expresi Expresione oness regul regulare aress con con GLib GLib [3]. (Esta es la sintaxis que se usa en Vala). ‡ Expresi Expresione oness regu regular lares es en Vala Vala [4]. (Documentaci€n oficial de Vala).

Modo no-nulo estricto Si se compilan programas con la opci€n --enable-experimental-non-null el compilador de Vala ejecutar‚ una serie de comprobaciones est‚ticas considerando todos los tipos como no nulos por defecto a menos que sean declarados como posibles nulos con el modificador ?. Object o1 = new Object();

// No puede ser nulo

Object? o2 = new Object();

// Puede ser nulo

El compilador realizar‚ un an‚lisis en tiempo de compilaci€n para asegurarse de que las referencias se asigna a referencias que no pueden se nulas. Por ejemplo, en este modo de compilaci€n, el siguiente c€digo no compilar…a y dar…a un error: Object o1 = new Object();

// No puede ser nulo

Object? o2 = new Object();

// Puede ser nulo

o1 = o2;

La referencia o2 ha sido marcada como una referencia que puede tener el valor nulo mientras que o1 no puede ser nulo. Sin embargo se puede evitar este comportamiento por defecto del compilador mediante el uso de la conversi€n a un tipo no nulo expl…cita, siempre que estemos seguros de que la referencia no sea nula: o1 = (!) o2;

El modo no nulo estricto ayuda a evitar errores con referencias que tienen valores nulos. Esta caracter…stica ser…a complete si la posibilidad de valor nulo de todos los valores de retorno en las librerias estuviera marcada de forma correcta, pero actualmente no siempre se hace.


Referencias [1] [1] [2] [2] [3] [3] [4] [4]

http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Expresi%C3%B3n_regular Expresi%C3%B3n_regular http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Perl#Expresiones_regulares Perl#Expresiones_regulares http http:/ :/ / library.gnome. library.gnome.org/ org/ devel/ devel/ glib/ glib/ stable/ stable/ glib-regex-syntax.html glib-regex-syntax.html http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Regex. GLib.Regex.html html

Bibliotecas del lenguaje Esta secci€n se encargar‚ de describir el uso de las principales bibliotecas que se necesitan en la mayor…a de los casos a la hora de desarrollar una aplicaci€n. Sin embargo no se tratar‚ la gran cantidad de bibliotecas que existen dentro del lenguaje de programaci€n Vala, ya que existen diversas documentaciones sobre cada biblioteca espec…fica. As… para consultar todas las bibliotecas que son accesibles desde el lenguaje en la actualidad se puede consultar la p‚gina de documentaci€n de vala [1].

Acceso a ficheros en Vala (biblioteca GIO) La biblioteca de funciones GIO [2] es similar en funcionalidad al framework IO de Java. Esta biblioteca contiene objetos para el trabajo con ficheros, tanto para lectura como para escritura. Contiene dos clases base, una para lectura y otra para escritura: InputStream y OutputStream. OutputStream. Cuando se abre un fichero para su lectura se obtiene una referencia a un objeto de la clase InputStream. InputStream. Los flujos se pueden usar con el patr€n de dise„o decorador [3] para suministrar funcionalidad adicional. Por ejemplo es posible leer el contenido de un fichero l…nea a l…nea mediante un DataInputStream. DataInputStream. O se puede aplicar un FileInputStream para realizar alg†n filtrado de datos.

Leer un fichero l‡nea a l‡nea El siguiente ejemplo lee el contenido de un fichero de texto l…nea a l…nea y escribe el texto por pantalla. static int main main ( (string string[] [] args) { // Referencia a un fichero llamado 'data.txt' var file = File.new_for_path File.new_for_path ( "data.txt" );

if (!file.query_exists ( null)) { // Se comprueba si el fichero existe o no stderr.printf stderr.print f ( "File '%s' doesn't exist.\n" , file.get_path ()); // No existe y se muestra un mensaje de error

return 1; }

try { // Se abre un fichero para lectura y se convierte el FileInputStream FileInputStream en un // DataInputStream, para que se pueda leer l€nea a l€nea var in_stream = new DataInputStream (file.read ( null )); string line; string line; // Se lee la l€nea hasta que se devuelva un null que indica que se ha llegado al final del fichero while ((line while ((line = in_stream.read_line in_stream.read_line ( null, null)) != null ) {

65

Bibliotecas del lenguaje stdout.printf ( "%s\n" "%s\n", , line); } } catch (Error e) { // Si se produce un error se muestra error ("%s" "%s", , e.message); }

return 0; }

Referencias [1] [1] http http:/ :/ / valadoc.org/ valadoc.org/ [2] [2] http http:/ :/ / library.gnome. library.gnome.org/ org/ devel/ devel/ gio/ gio/ stable/ stable/ [3] [3] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Decorator_(patr€n_de_dise„o) Decorator_(patr€n_de_dise„o)

Herramientas Las herramientas para compilar un programa escrito en Vala son muy sencillas: En primer lugar, y ante todo, el compilador Valac, y en segundo lugar un editor de texto plano, no un procesador de palabras (como GEdit, no uses programas parecidos a LibreOffice Writer). Podemos usar un IDE como Geany para mayor comodidad. Esta es decisi€n del programador. Te mostraremos las opciones a configurar y ser‚ tu decisi€n la v…a que usar‚s para desarrollar tus aplicaciones.

Instalando el compilador Valac El compilador Valac se puede instalar de dos formas: Desde los repositorios de software de tu distribuci€n GNU/Linux o bien desde el c€digo fuente descargado de la p‚gina oficial del proyecto Vala.

Desde los repositorios de software El compilador se encuentra (a veces en versiones desactualizadas) en los repositorios de software de la mayor…a de las distribuciones GNU/Linux. Lo puedes instalar si tienes Debian/Ubuntu o derivados con apt-get install valac

O bien si tu distribuci€n es basada en RPM (Fedora) con el comando yum install vala

Los usuarios de Arch Linux no tendr‚n problemas en tener el paquete actualizado, pues esta distribuci€n se caracteriza por siempre ir al corriente en cuanto a las †ltimas versiones de todos los paquetes de Software, basta instalarlo con el comando pacman -S vala

66

Herramientas

Desde el c€digo fuente Si no deseas obtener el compilador como paquete de tu distribuci€n por alguna raz€n (como lo es que el paquete est• desactualizado) siempre lo puedes descargar y compilar por ti mismo. El compilador Valac puede ser descargado del sitio web oficial de Vala [1]. Obtendr‚s un archivo nombrado como vala-x.x.x.tar.xz, vala-x.x.x.tar.xz, donde las x representan el n†mero de la versi€n descargada, como puede ser vala-0.15.0.tar.xz. vala-0.15.0.tar.xz. Descomprime el archivo desde tu terminal: tar -Jxf vala-0.15.0.tar.xz

Sustituye los n†meros de la versi€n por la versi€n del lanzamiento que hayas descargado. Luego, una vez descomprimido el archivo, mu•vete a la ruta del directorio del compilador, en este caso a la carpeta vala-0.15.0 cd vala-0.15.0

y ejecuta los comandos de construcci€n como los siguientes: ./configure --prefix=/usr

Si todo sale bien, se crear‚n los Makefiles para que puedas comenzar la compilaci€n (proceso que tarda de acuerdo a la capacidad de tu computadora, variando al rededor de 3 minutos). Pero si no tuviste •xito, revisa que tengas los archivos de desarrollo de GLib, de tener Ubuntu/Debian o alg†n derivado, instala el paquete libglib2.0-dev, libglib2.0-dev, si usas una distribuci€n basada en RPM, busca el paquete glib2-devel. glib2-devel. Cuando hayas completado lo anterior, contin†a el proceso simplemente ejecutando: make

Y si la compilaci€n tuvo •xito, puedes terminar el proceso de instalaci€n ejecutando -con privilegios administrativos- el comando make install

Y al finalizar, para asegurarte de que todo haya tenido •xito, puedes revisar la versi€n del compilador que tienes instalada en tu sistema, con el comando valac --version

Y dicho comando deber‚ devolver una salida con la versi€n que hemos instalado del compilador, en nuestro caso de ejemplo, la salida ser‚ [root@machine vala-0.15.0]# valac --version Vala 0.15.0

Y con esto nos hemos asegurado de instalar exitosamente el compilador Valac en nuestra computadora.

67

Herramientas

El editor de textos El editor de textos que usaremos para crear nuestros programas ser‚ un editor de texto plano, en el caso de la plataforma GNOME y en casi todas las distribuciones GNU/Linux tenemos por defecto el editor de texto Gedit.

Gedit Este editor nos da la caracter…stica de resaltado de palabras clave del lenguaje, puede ser configurado para resaltar parejas de corchetes (algo que es †til cuando tenemos un programa muy jerarquizado) y nos puede mostrar los n†meros de l…nea en que nos encontramos. Para usarlo, simplemente tenemos que abrirlo, crear un archivo de c€digo fuente y colocarle la extensi€n del archivo .vala para que el editor autom‚ticamente detecte el tipo de lenguaje que manejamos y nos resalte las palabras clave. La desventaja de usarlo es que tendremos que guardar los archivos de c€digo fuente cada vez que deseemos realizar una compilaci€n y abrir una terminal para hacerla. Luego en la terminal teclear el comando para la construcci€n y, si existieran errores, estos ser…an mostrados en pantalla, pero tendr…amos que buscar la l…nea de c€digo err€nea en el archivo de c€digo fuente en Gedit, no en la terminal.

GNU Nano No se recomienda el uso de este programa para usuarios novatos o sin experiencia en el uso extenso de la terminal, pero es una opci€n en caso de no disponer de alguna otra alternativa para editar textos, casi todas las distribuciones GNU/Linux, independientemente del entorno del escritorio que tengamos (GNOME, KDE, XFCE, LXDE, etc) lo traen incluido. Este es un editor de texto en modo consola, es decir que para poder usarlo tendremos que abrir una terminal y teclear el comando invocando al programa, de la forma nano archivo.vala

donde archivo.vala es el nombre del archivo de c€digo fuente que deseamos editar, ya sea que exista o que deseemos crearlo. La lista de opciones que usaremos ser‚ limitada, no existe un resaltado de sintaxis ni un conteo de n†meros de l…nea tal como lo tenemos en Gedit o en otros editores especializados. Las opciones b‚sicas que usaremos ser‚n ‡ ‡ ‡ ‡

Ctrl + o para guardar el archivo actual. Ctrl + x para salir del editor. Ctrl + w para buscar una cadena de texto en el documento.

y Ctrl + g para ver la ayuda.

Y de la misma forma en que usamos Gedit para compilar un archivo de c€digo fuente, tendremos que guardar los cambios antes de compilar, y debemos buscar manualmente las l…neas que contengan errores y corregirlas, para repetir el proceso hasta la finalizaci€n del desarrollo de nuestros programas.

68

Herramientas

Usar un IDE IDE son siglas inglesas para un entorno integrado de desarollo, y es que precisamente en un programa como Geany tenemos todas las opciones de configuraci€n que necesitamos para desarrollar (sin salir de ah…) nuestros programas escritos en varios lenguajes de programaci€n. En primer lugar, debemos instalar Geany desde nuestros repositorios de Softwawe, y cuando est• instalado simplemente tenemos que abrir nuestros archivos de c€digo fuente en Vala y el editor integrado nos dar‚ el resaltado de sintaxis y la terminal incluida debajo o bien las opciones de compilaci€n r‚pida nos dar‚n la ayuda que necesitamos para desarrollar nuestros programas de forma eficiente.

Otras tƒcnicas El compilador Valac est‚ basado en el modelo de objetos de GLib y GObject. Todos los programas que escribimos en lenguaje Vala son traducidos a lenguaje C y luego con el compilador GCC son compilados a c€digo de m‚quina. Por esto mismo, los programas en Vala escritos de esta forma void main void main () {

stdout.printf( "Programa de prueba" ); stdout.printf("Programa

}

Tienen de forma oculta un namespace sin mostrarlo, ya que es agregado autom‚ticamente al compilador, de forma que el programa anterior es equivalente al siguiente using GLib; // Aunque esta l€nea no es necesaria. void main void main () {

stdout.printf( "Programa de prueba" ); stdout.printf("Programa

}

Y es que la clase stdout es miembro de GLib, por tanto suceder‚ que si escribimos o no el namespace este se usar‚.

Namespaces de GLib Una lista de los namespaces de GLib [1] es: ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡

Math [2] Definciones num•ricas, constantes matem‚ticas y descomposici€n de puntos flotantes [3]. AtomicInt [4] Operaciones at€micas - Operaciones b‚sicas para enteros at€micos [5]. Atom Atomic icPo Poin inte terr [6] Operaciones at€micas - Operaciones b‚sicas para punteros at€micos [7] Priority [8] Timeout [9] Idle [10] ChildWatch [11] Memory [12] Slice [13] Log [14] Filename [15] Base64 [16] Codifica y decodifica datos en Base 64 [17]. Random [18] Generador de n†meros pseudo-aleatorios [19]. Env Environ ironm ment ent [20] KeyF KeyFil ileD eDes eskt ktop op [21]

69

Otras t•cnicas ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡ ‡

Bit [22] Spac SpaceedPri dPrime mess [23] Cha Charact racter erSe Sett [24] Process [25] FileUtils [26] Algunas funciones para manejo de archivos [27]. DirUtils [28] Uri [29] Shell [30] Markup [31] KeyF KeyFil ileD eDes eskt ktop op [21] Test [32] Intl [33] Win32 [34]

Y cabe decir que todos estos namespaces, cada uno con todas sus clases y funciones est‚n disponibles para su uso con el compilador Valac sin agregar otra librer…a o namespace.

Ejemplo de uso de un Namespace de GLib Como ya lo dijimos, los Namespaces de GLib pueden ser usados en cualquier momento en los programas escritos en Vala que hagamos. Para ejemplificarlo veremos una ejemplo pr‚ctico y sencillo: Dado el valor de un ‚ngulo, deseamos conocer el valor del seno matem‚tico de •ste. Para eso, recurriremos al Namespace Math de GLib, usando la funci€n Math.sin() para conocer el valor de dicha operaci€n (expresada en Radianes [35]). Dicho programa tendr…a la siguiente forma: void main void main () {

stdout.printf( "Dame el valor de un €ngulo: " ); stdout.printf("Dame string entrada string entrada = stdin.read_line(); double resultado double resultado = Math.sin( double double.parse(angu .parse(angulo) lo) );

stdout.printf( "El seno de %s es %d radianes \n", entrada, resultado); stdout.printf("El

}

Explicando el programa, tenemos que en primer lugar, se imprime la l…nea indicando la entrada de un ‚ngulo. En la siguiente l…nea se crea una cadena de texto, llamada entrada, y el valor de esa cadena de texto se asigna mediante la funci€n stdin.read_line(). Luego, se crea un flotante de precisi€n doble, llamado resultado, y el valor de dicho resultado es la salida de la funci€n Math.sin(), y como par‚metro a dicha funci€n se asigna el valor de la cadena de texto entrada. Pero como se trata de una cadena de texto (string), hacemos una conversi€n hacia un flotante de precisi€n doble con la funci€n double.parse(). Luego, se imprimen los resultados en pantalla. El indicador %s indica que se pasa una cadena de texto (string), y el indicador %d indica que se pasa un flotante de precisi€n doble(double). Y a esos par‚metros se pasan los par‚metros entrada y resultado. resultado. Este ejemplo fue algo sencillo para explicar los Namespaces de GLib, y cada uno de ellos tiene su forma de uso, pero b‚sicamente se utilizan de esa forma.

70

Otras t•cnicas

Referencias [1] [1] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.html GLib.html [2] [2] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Math. GLib.Math.html html [3] [3] http http:/ :/ / developer.gnome. developer.gnome.org/ org/ glib/ glib/ 2.28/ 2.28/ glib-Numerical-Definitions.html glib-Numerical-Definitions.html [4] [4] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.AtomicInt. GLib.AtomicInt.html html [5] [5] http http:/ :/ / developer.gnome. developer.gnome.org/ org/ glib/ glib/ 2.28/ 2.28/ glib-Atomic-Operations.html glib-Atomic-Operations.html [6] [6] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.AtomicPointer. GLib.AtomicPointer.html html [7] [7] http http:/ :/ / developer.gnome. developer.gnome.org/ org/ glib/ glib/ 2.28/ 2.28/ glib-Atomic-Operations.html glib-Atomic-Operations.html [8] [8] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Priority. GLib.Priority.html html [9] [9] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Timeout. GLib.Timeout.html html [10] [10] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Idle. GLib.Idle.html html [11] [11] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.ChildWatch. GLib.ChildWatch.html html [12] [12] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Memory. GLib.Memory.html html [13] [13] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Slice. GLib.Slice.html html [14] [14] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Log. GLib.Log.html html [15] [15] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Filename. GLib.Filename.html html [16] [16] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Base64. GLib.Base64.html html [17] [17] http http:/ :/ / developer.gnome. developer.gnome.org/ org/ glib/ glib/ 2.28/ 2.28/ [18] [18] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Random. GLib.Random.html html [19] [19] http http:/ :/ / developer.gnome. developer.gnome.org/ org/ glib/ glib/ 2.28/ 2.28/ glib-Random-Numbers.html glib-Random-Numbers.html [20] [20] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Environment. GLib.Environment.html html [21] [21] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.KeyFileDesktop. GLib.KeyFileDesktop.html html [22] [22] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Bit. GLib.Bit.html html [23] [23] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.SpacedPrimes. GLib.SpacedPrimes.html html [24] [24] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.CharacterSet. GLib.CharacterSet.html html [25] [25] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Process. GLib.Process.html html [26] [26] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.FileUtils. GLib.FileUtils.html html [27] [27] http http:/ :/ / developer.gnome. developer.gnome.org/ org/ glib/ glib/ 2.28/ 2.28/ [28] [28] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.DirUtils. GLib.DirUtils.html html [29] [29] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Uri. GLib.Uri.html html [30] [30] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Shell. GLib.Shell.html html [31] [31] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Markup. GLib.Markup.html html [32] [32] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Test. GLib.Test.html html [33] [33] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Intl. GLib.Intl.html html [34] [34] http http:/ :/ / valadoc.org/ valadoc.org/ glib-2.0/ glib-2.0/ GLib.Win32. GLib.Win32.html html [35] [35] http http:/ :/ / es.wikipedia. es.wikipedia.org/ org/ wiki/ wiki/ Radian Radian

71

Fuentes y contribuyentes del art…culo

Fuentes y contribuyentes del art‡culo http://es.wikibooks.org/w/index.php?oldid=192013 192013 Contribuyentes: Sigmar, 9 ediciones an€nimas Programaci€n en Vala Fuente: http://es.wikibooks.org/w/index.php?oldid= http://es.wikibooks.org/w/index.php?oldid=182078 =182078 Contribuyentes: Sigmar, 11 ediciones an€nimas Introducci€n Fuente: http://es.wikibooks.org/w/index.php?oldid http://es.wikibooks.org/w/index.php?oldid=154216 d=154216 Contribuyentes: Sigmar, 2 ediciones an€nimas Su primer programa en Vala Fuente: http://es.wikibooks.org/w/index.php?oldi http://es.wikibooks.org/w/index.php?oldid=190592 =190592 Contribuyentes: Sigmar, 10 ediciones an€nimas Conceptos b„sicos del lenguaje Fuente: http://es.wikibooks.org/w/index.php?oldid http://es.wikibooks.org/w/index.php?oldid=155147 =155147 Contribuyentes: Sigmar Programaci€n orientada a objetos en Vala Fuente: http://es.wikibooks.org/w/index.php?oldid http://es.wikibooks.org/w/index.php?oldid=157213 157213 Contribuyentes: Sigmar, 1 ediciones an€nimas Funcionalidades avanzadas del lenguaje Fuente: http://es.wikibooks.org/w/index.php?oldid= http://es.wikibooks.org/w/index.php?oldid=157203 157203 Contribuyentes: Sigmar Funcionalidades experimentales del lenguaje Fuente: http://es.wikibooks.org/w/index.php?oldid= http://es.wikibooks.org/w/index.php?oldid=157350 d=157350 Contribuyentes: Sigmar Bibliotecas del lenguaje Fuente: http://es.wikibooks.org/w/index.php?oldi Herramientas Fuente: http://es.wikibooks.org/w/index.php?oldid=1 http://es.wikibooks.org/w/index.php?oldid=177967 77967 Contribuyentes: TheOrlSan Otras tƒcnicas Fuente: http://es.wikibooks.org/w/index.php?oldid http://es.wikibooks.org/w/index.php?oldid=178070 =178070 Contribuyentes: TheOrlSan

72

Fuentes de imagen, Licencias y contribuyentes

Fuentes de imagen, Licencias y contribuyentes Archivo:Doubly linked list insert after.png Fuente: http://es.wikibooks.org/w/index.php?titl http://es.wikibooks.org/w/index.php?title=Archivo:Doubly_linked_li e=Archivo:Doubly_linked_list_insert_after.png st_insert_after.png Licencia: Public Domain Contribuyentes: Original uploader was Fripp at it.wikipedia

73

Licencia

Licencia Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/ //creativecommons.org/licenses/by-sa/3.0/

74

Programacion-en-Vala.pdf

Recommend Documents