tv.um.es

Pues bueno, el objetivo de esta sesión, si veo que me molesta o me lo decís y le quitamos, ahí me vale el motín. El objetivo de esta sesión es un poco ver este sistema de sincronización entre la oncología o la infraestructura lógica y la arquitectura semántica. Yo os advierto que ésta va a ser bastante densa, en el sentido de que vamos a ver ya teoría, un poco profunda, y vamos a haber también código. Vale, vamos a intentar, para que no sea todo teoría, vamos a intentar, viendo cómo se mezcla esta teoría con lo que se ha desarrollado para ir identificando componentes del sistema o qué. Pues eso, como introducción, el objetivo de la estructura lógica, a al fin y al cabo, es ofrecer un modelo de dominio que la arquitectura semántica pueda consumir como el que pueda trabajar, por ejemplo, definir que un humano es un tipo de animal y lo mismo con perro, en nuestro caso lo que hacemos es trabajar ya molesta para trabajar con un componente que se llama seis respiradores, una especie de compilados que la hace, lo que hace es coger un lenguaje de alto nivel y transformarlo. En otro lenguaje de otro nivel, en este caso lo que hacemos es aprovechamos que tenemos 6, que son los test de nuestra antología y lo transformamos, a modelo de dominio. Es decir, pues generamos ojos y generamos un pequeño fichero un Jackson, que es un esquema de todo lo que lo que hemos generado, por poner un ejemplo de esto, aquí tenemos, por ejemplo, pues en sexo un esquema que nos define el esquema de persona y a la derecha. Tenemos el objeto que nos generaría este componente. Se aislan en Bale hasta aquí lo vais entendiendo no hay alguna duda la clave vale perfecto entonces cómo hacemos esto bueno pues de es una pregunta una pregunta muy genérica, o sea, no voy a usar sino de diseño, de implementación de ellos mismos. La Universidad de Murcia nadie, vale. Pues entonces lo que voy a hacer reír, deteniéndose poco a poco, y lo voy a ir juntando con el código para que veáis un poco cuál es la estructura de estándar de comillas de un compilado, vale? Bueno, pues lo primero que tenemos, ese es el fichero. Se podría ser un fichero podría ser cualquier cosa, un fichero plano de, textual donde tenemos nuestra sintaxis eso se lo pasamos a una, han analizado, léxico y léxico a su vez a través de sanciones, que es el patrón típico de diseño de filtros. Lo que hace es pasárselo a un táctico. El analizado, sin táctico lo pasa un animador semántico, y finalmente lo que hace este semántico es generar una representación intermedia o un llamado a una serie de decorados. Vamos a ver, luego que no sirve para generar código, es decir, poder generar código, vale? Estas renovaciones que os pongo aquí es más que nada porque me hubiera dicho que me íbais viendo compilado después para saber un poco hasta qué punto os va a pedir que me dijera que genera cada cosa, vale, pero ya os lo digo yo. No hace falta que me digan. Bueno, o no sé igual lo sabéis que generaba por ejemplo el lanzador léxico no nerea perfecto perfecto pues mira pues lo vamos a ir viendo así cuando nosotros pasamos el código fuente, a través del análisis léxico. Lo que se nos generan son toques, vale, son agrupaciones de caracteres que generan. Luego vamos a ir más al detalle, no os preocupéis y ahora no entendéis algo. Esto se le pasa, táctico y analizado, sin táctico lo que hace es. Nos coge todos estos toques, nos agrupa por reglas y nos genera una St, una st. Conocéis el término, es un abstracto, un árbol y táctico abstracto. Lo conoceréis de antes. Os suena? No vale. Pues nada, lo vamos a ver también vale. Estos conceptos los tenemos que ver, porque como el sistema implementado se basa en esto, si no luego hablar del sistema implementado va a ser muy abstracto y no vamos a tener por dónde cogerlo, entonces, bueno, os digo. Si alguna cosa no entendéis me paraíso y me pregunta si no hay ningún problema porque esto es también me resulta también pesado explicar, porque es complicado. Entonces estamos analizados. Si cogemos nuestros tokens, nos agrupamos por reglas y creamos una bola de este árbol. Al spee se lo pasamos a nuestro lado. El semántico ya no habla tanto de sintaxis de si las cosas están bien escritas, como si de lo que está escrito tiene sentido, por ejemplo, que no hayamos usado una variable que no está definida. Cosas así se detectan semana o vale. Una vez hacemos este análisis. Lo que producimos es un árbol sin táctico, anotado. Por ejemplo, cuando usamos una variable pues le metemos una referencia a donde se ha definido, y estas cosas las hacemos principalmente para saber el tipo de la variable o para otras cosas sencillas, para saber cuántos argumentos tienen, si los argumentos o parámetros que tiene la función se corresponden con los que está haciendo en la llamada a la función cosas. Así que en cualquier caso, tenemos nuestro árbol anotado, se lo pasamos al generador de código, que es una segunda fase de un compilados. Generalmente todas las primeras fases. Hasta este punto se les llama fases de análisis, es decir, analizamos el código fuente y a partir de este momento hablamos de Faris de síntesis. Es decir, cogemos código fuente y nos interesamos de otra forma, generamos código puede ser código máquina-código binario. Lo que sea en este caso es un modelo de dominio, un código que ese código aquí es lo que decía la parte amarilla se corresponde con la síntesis de o del, y la parte verde se se corresponde con la parte, la alerta amarilla, esta parte de análisis que creo que lo hago, es decir el revés, y la parte verde es la parte de síntesis Bale o que entonces y cómo hacemos esto, porque vale si la teoría está muy bien, pero cómo lo hagamos bueno, pues en nuestro caso la parte del léxico y sin táctico recordaremos lo que queremos obtener aquí es un a St, es decir, nuestro programa lo queremos ver representado de una forma arbórea. Pues nos vamos, es una, es una librería, un programa que lo que nos permite es dándole una gramática. Nos genera todo lo analizado o lo que sería el mal. Vamos a ir viendo decirme si véis una pantalla que no es la presentación blanca. Yo creo que si no vais a estar perfecto. Pues como decía, lo que le damos es la gramática y esa gramática. Qué forma tienen algo bueno? Pues son ficheros; puntos que cuatro vales. Es un deseo que usan una parte. Tenemos leche, que es donde perdón a los demás. Lo menos lo veo muy borroso. Ahora espera. Si se ve y se la lee la letra alguien sabe cómo se le puede dar aquí a aquí a ver si le doy aquí ahora lo mejor. Ahora se valora? Perfecto. Pues entonces lo que os decía es. Bueno. Para empezar, para que nos familiar hicimos un poco. Este es el proyecto. Es un proyecto de escala y lo tengo importado, líder de Bale esto ya lo veremos en la sesión de montaje. Simplemente para que ese país lo configure. Con los ficheros dramática el primero lo que hago es fino. Los los toques y quiero que me detecte en el texto, por ejemplo, no se acuerda. Distantes. Con Pablo visteis -un poco, la sintaxis Spies precios muy por. Encima. Vale la vamos a volver a repasar. Luego como ejemplo y teníamos. Teníamos la definición de rival todavía. Una cosa que no se quise. Se ve fuera de esos héroes acordáis? No? perfecto pues lo que le digo eres oye cuando detecte si te toquen está bueno esta serie de carácter sin código fuente, créame un toque de y esto es lo que hace que luego lo que le digo es con reglas y con toques, por ejemplo, la definición mierda. Bueno, espero no haberme cargado nada. El director, la definición lo que hace es, agrupa me toquen, es una regla y genera me arreglar dentro de mí a ese. Esto es lo que iba a tener al final en la eso. Aquí como veis, lo que hago es conjunto que fijó el identificador, que la otra cosa que teníamos después, que es opcional luego el punto de coma o perdón los dos puntos y el aire que teníamos. Vale esta se la regla para definición. De hecho yo creo que igual no podemos ver en directo. Aquí si le doy a esquema con un que tiene, lo que nos permite es meterle código fuente aquí y que nos vaya generando el spd. Aquí vale. Vamos a verlo muy rápido. Si le metimos dos puntos y una cualquiera. Proponer algo, vale, aquí lo que vemos es la forma de la St que nos está generando en primera instancia, arriba del todo, que sería la raíz de nuestro táctico. Tenemos que es un esquema, vale, dentro de esa expresión, es igual que programa esquema. Para hacernos una idea, dentro de nuestro esquema tenemos un estadio que es de tipo si prefieres definición, Bale, definición y perdón, definición estilo y dentro de definición, estáis tenemos el prefijo definición, estáis porque hay más cosas que se pueden definir dentro de un fichero dentro de esta definición, estoy a su vez, tenemos pues bueno, que tenemos el toque entre prefijo, tenemos el fallo, tenemos el toque, el punto y coma y tenemos luego un valor que es un aire. Vale? Es otra regla que aparece aquí que tenemos el valor del entonces. Bueno, así es como forma el los Spies. Esto sí por ejemplo, lo ampliaremos. Déjame, definir un prefijo o más, para poder obtener algo de juego. Dos puntos los. Mismos ante Pablo que más puntos en dos puntos. Dos puntos. Y la carnalidad os acordáis que vimos con Pablo? Vale? Perfecto, pues ahora mismo lo que está haciendo es, desde el punto de vista táctico, es decir, sólo si las cosas están bien escritas o no nos están analizando la expresión y nos creando una especie igual que tenemos allí que para la pequeña crisis, está así, el pedazo árbol que nos está generando, porque tiene muchísima información, este árbol es un árbol, sin que luego seguramente podemos y nos quedamos con la información que queramos, entonces usaba una pregunta, por ejemplo, yo aquí sí si esto lo pongo como comentario, es decir, este prefijo no lo pongo, es correcto, esto desde el punto de vista, sin táctico, le Figaro es que esté prefijo por si no os dais cuenta, lo estoy invocando aquí aquí aquí, Bale, lo vamos a llamar el prefijo vacío. Entonces es algo que no estoy definiendo y que estoy usando más abajo desde el punto de vista. Sin táctico es correcto, o sea, no hay ningún problema, porque la forma es la de siempre, es prefijo dos puntos, si prefijo dos puntos propiedad prefijo dos puntos propiedad. Vale, sin embargo, ya definido es el mayor desde ahora voy. Si es válido desde el punto de vista táctico, pero desde el punto de vista semántico tiene sentido no claro, desde el punto de vista semántico, no. Por qué? Porque estoy usando algo que no he definido como sin cualquier lenguaje de programación usa una variable que no he decidido que o el intérprete me va a lanzar un error que me hubiera la calle. Eso lo sabemos, no perfecto, pero es lo que os decía aquí no da ningún error, porque eso lo analiza a nivel táctico. Sin embargo, si yo en lugar de escribo ahora, si tengo un error sin táctico y Anglès lo detecta y me informa de él, me dice. Oye, yo aquí tengo esto, pero no sé que es; de hecho está la detecta como definición. Esto, si lo escribo bien, me lo tenga como definición, pero si lo escribo mal e interpreta que puede que sea una definición e intenta e intenta proyectar el resto de valores sobre esa forma, pero no lo es. Entonces, al final, Gasca y da un error quizás el error. De hecho, aquí el error me dice mi sin falló. El error no es mi siguiente, fallo es otro. Esto lo tenemos que ver. Luego cuando hacemos el Paseo de la gestión de errores, por cierto, escuches mucho ruido de fondo, poco, pero vamos a mí me da igual, vale, vale la solución, pero ahora estoy en la universidad. Para entonces esta parte la tenemos claro que lo que hace es analiza sin tácticamente nuestra sintaxis hasta ahí si no, sí perfecto. Entonces yo voy a ver si consigo minimizar esta ventana hay perfecto. Aquí tenía el ejemplo de una. Eso es lo que os decía, imagino este programa. Mientras que cada sea menor que siete ejecutamos la función llamada. E incrementamos esto. Si lo pasamos a tokens pues probablemente sea el que sea, igual luego la condición que pueden tener como otro toque y luego tenemos una llamada de defunción otro doping y, por último, tenemos el incremento de Kaká. Es otro incremento. Vale? Si esos toques los pasamos a árbol simpático, pues tenemos eso. Igual que teníamos arriba. Hicieron, por un lado, que tenemos cada menor y siete el cuerpo, por otro, y dentro del cuerpo. Pues tenemos diferentes expresiones: la presión puede ser, por ejemplo, una una llamada en la ficción, con un parámetro, o puede ser el segundo caso, una operación que se incrementar cada un una unidad? Vale? Creo que esto ya lo entendimos, no. El feto, entonces ahora pasamos al semántico. Os acordáis que hace un momento? Os preguntaba Holly este prefijo? No lo he definido, y lo estoy usando ya, me resulta que no hubiera ningún error, solo lo estaba analizando sin tácticamente ahora, sin embargo, en el semántico, si tenemos que detectar este tipo de errores, porque si no, luego, cuando vayamos a generar código, vamos a tener muchos más problemas, porque vamos a intentar recorrer un árbol muy mal formado. Entonces, teniendo en cuenta que estamos usando estructuras arbóreas, una sp, que como creemos que podemos recurrir, recorrer esta estructura, como podemos viajar por todos los nodos y comprobar cada uno de ellos, se os ocurra alguna idea. Las chaquetas refiere, por ejemplo, cuando cuando se habla de viajar por nodos de un árbol, os tiene que a veces saltar el patrón, os suena? Vale? Pues eso es súper importante para este punto, porque lo que queremos hacer es recorrer todos los nudos de un árbol y para cada uno de ellos ejecutará una operación, y esto y el dispar pues podemos tener un problema sin escala lo mismo bueno escala dice que lo implementa pero no lo hace lo hace mal, entonces no funciona, hay que utilizar el patrón visitó cual vamos a volver a ver código para ver cómo se hace esto, es que no sé si vosotros lo veáis, que me salen la pestaña de zoom y me cuesta ver las otras cosas, van a mover. Perfecto, vale, pues mira el visitador, seguramente también lo conozcáis, o, si habéis oído hablar de él como como Walker, como caminante lo llaman así pues, por eso precisamente porque como en saltar de un nuevo a otro es caminar por el árbol, pues se llama así lo que hacemos el visitante es así siempre, sino siempre tenemos una interfaz que nos que nos define un Visit para cada tipo de nuevo de la ley, y cuando digo cada tipo de nuevo me refiero a que en ese ánodo es distinto. Obviamente, con el polimorfismo podemos hacer que herede de una clase común en este caso es abstracta, destino vale aquí que lo usamos simplemente para saber qué posición tienen el código fuente de dónde, a dónde y qué contenido mete. Es decir, si, por ejemplo, es el método, sería todo el cuerpo del método, lo que tendrían contenido, vale? Eso se usa para dar errores y luego, de esta clase heredan logos los a ese texto, el perdón, los los nuevos concretos, por ejemplo, el prefijo de definición, no estoy buscando llevar expresión, ahora soy un crack. Es un extraño, pues prefiero que es el que estábamos viendo hasta ahora, como vemos, es un nuevo a ese simple. Bueno, tiene definición, definición de uno de ellos, lo digo yo y lo que tiene, pues es una expresión dentro y esta expresión, bueno, pues pueden ser de muchos tipos, pueden ser una lista de expresiones o cualquier otra cosa. En cualquier caso, antes de irnos por los cerros de Úbeda, lo importante aquí que estamos viendo ahora es que tenga un método, aceptar un método, aceptar que reciba un Visitors y parámetros. Por qué? Porque aquí cuando le llega este nodo un visitador, le pasamos, el visitó como parámetro el nodo, el que le pide que lo acepte, y lo devolvemos. Es decir, la llamada no se entra por aquí es un que ejecutar y al final del todo lo devolvemos. Al visitar como lo hacemos, pues bueno, vamos a buscar una implementación de un visitó estoy en visitas de éxito. Por ejemplo. Lo que hago aquí es extiendo el sector que tenía al principio e implementó los métodos. Por ejemplo, si entró por esquema, lo que decíamos esquema es un conjunto de este inmenso expresiones, pues lo que hacemos es para cada uno de los que tiene mi esquema. Vamos a aceptar este Visitors, y eso es lo que hace, es que va cada uno de los lobos. Si esos nodos tuvieran más hijos iría a los hijos de esos nodos. Ejecutaría una acción que tienen que ejecutar, irían volviendo hacia arriba. Vale. Se están teniendo más o menos estudios o nos paramos un poco más si se va recorriendo el árbol forma jerárquica? Esa tanto va volviendo hacia atrás. Una vez que ha llegado al final va volviendo a filtrar exactamente perfecto hay perfecto vale pues entonces a ver esto lo minimizó y esto lo hacemos con el visitó Bale y el semántico lo que hace es, viaja cada uno de los nuevos que pueden tener información semántica por ejemplo una definición de varias una perdón una invocación una variable si digo a igual a 4, estoy invocando para luego asignarle un valor va lo que necesito saber. Primero todo es que tipo Timea le puede asignar 4, porque igual es que su lenguaje, fuertemente equipado, dinámico, a un streaming, y le estoy intentando un 4, eso no se puede hacer, y eso lo dice el semántico para eso que hace, bueno, en ese caso va la asignación, que sería igual a 4, dentro del nuevo asignación bajaría aldea, estoy invocando una variable y en esa invocación de la variable. Intentaría buscar algunas referencias a su definición. Vamos a verlo. Estoy intentando poner ejemplos de mi oigo que conocemos, y luego los si creéis que os estoy dando más de que estoy ayudando. Me lo decís, Bale, no me haga pensar. Entonces, por ejemplo, un sitio donde estemos haciendo una llamada. Mira esto sería como la llamada a una variable. Un gol expresión es lo que teníamos antes a Quique. Ya lo lo perdía. No me parece la ventanilla de abajo, lo perdí, vale. Aquí entonces, cuando nosotros entramos por este método del visitador, que es el de expresión, lo primero que tenemos que hacer es mirar si esa expresión, si es sé si esa expresión ha sido definida; si ha sido definida. Le metemos una referencia? Vale, aquí no, porque esto lo está haciendo, es imprimirlo sea éste, no es el visitador de semántico. Si quisiéramos hacer eso, tendríamos que irnos a Chema, saber eso, perdón y mirar, por ejemplo, definición. Cheque. La definición lo que hace es ir a cada uno de los de los nodos que han sido definidos o deberían haber sido definidos previamente y comprobar que así ha sido. Para eso usan una estructura que se llama tabla de símbolos o suena la tabla de símbolos. No vale la tabla de símbolos más que algún tipo de estructura de datos, donde podemos almacenar símbolos de nuestro programa y los símbolos son variables, nombres de métodos cosas, así por ejemplo en el caso de Java para para detectar que los métodos no pueden llamarse igual y tener el mismo número de parámetros, lo que hacemos es en la tabla de símbolos, guardamos el nombre, junto a una referencia a la definición de ese método y cuando llega a otro método que se llama igual, lo que hace es esa tabla de símbolos, busca ese nombre y para este nombre y demuestra la definición del mismo método, pero bueno, tiene tres argumentos y turinés dos puede ser, pero sí tiene tres tú tienes tres dice. Oye, no, que mira que aquí no sé cómo hacer el mejor look porque tengo dos que tienen unos parámetros mismo tipo y no tengo ni idea de que un sitio eso es gracias a la tabla es colosal, pues lo que hacemos nosotros es cuando teníamos definiciones, por ejemplo, prefijos o lo guardamos en la tabla de símbolos, y cuando estamos viendo invocaciones buscamos en la tabla de símbolos. Si se ha invocado, si aquí por ejemplo no estuviera definido, fíjate, que lo que hago es sin este punto, al igual que es el nombre del estadio mal, si estoy bien, del nombre del evo, el perdón si el ayuno del Estado no está definido, no estuviera aquí. Pues entonces el prefijo no está definido. Espero, igual estoy. Estoy en la definición. Vale, perdón, acabo de cometer un error garrafal, no pasa nada en este, visitó lo que hago, es ese primer paso, es si voy a un prefijo y no está definido, lo insertó lo guardó en la tabla de símbolos, Bale, y en el col de expresión. Lo que hago es miro cuando hago una llamada, si está y si no está. Es decir, si en la tabla de símbolos ese prefijo no había sido definido por el otro, visitó que estaba hablando antes. Entonces es cuando hago un error y digo: oye, este prefijo no estaba definido. No puedo continuar, porque no sé qué hacer con las demás cosas. Bale lo entendí pese al error. Perfecto. Perfecto, entonces, una vez el semántico termina. Si hay errores nos da errores y no continúa, pero si no hay errores entonces sí que continúa y lo que nos ofrece es un anotado a ese o lo que muchas veces se conoce como lenguaje, intermedio o representación intermedia en otras, y en caso de Java, por ejemplo, es muy sencillo, porque la representación intermedia es el código que luego va a la máquina virtual, sabéis que no es binario, sino que es también un código de no alto nivel, pero sí me dio un nivel que tiene que volver a pasar otra vez todo ese proceso. En nuestro caso no vale. En nuestro caso, tenemos una st anudado, anotado perdón, que es lo que recibe la generación de código. La generación de código se encuentra, que tiene un arma que ya tiene información simpática y semántica, y tiene que recorrerlo para poder generar ficheros. Cómo creéis que lo hace esto de recorrer el árbol. Pregunta abierta a todos. Tenemos un árbol que tienen todos y tenemos que recorrer los que caminar por ellos usando el mismo patrón exactamente a cualquier adversario con la simple es que precisamente es lo que quieren desde su cuenta, que es muy muy claro, porque es la base de los compradores, en este caso hechos en Bale, porque estamos usar ese patrón -despacho entonces exactamente si usa el patrón visitó de nuevo. De hecho vamos a verlo un código. Voy a cerrar todo todo. No quiero dejar este lo uso. Me representáis son. Por ejemplo, aquí lo que tenemos es un Visitors que genera la clase, o sea, la parte de arriba en la que pone Class y además lo genera, este visitó y como lo hace. Bueno, pues bueno, aparte de que tiene cosas internas para funcionar y además eso no nos vamos a meter ahora mismo, igual vamos luego si vamos bien de tiempo, lo que hacemos es, pues definimos el método o hacemos, es redefinir el método que a nosotros nos interesa. En este caso, como solo queremos generar la clase con este, visitó porque luego lanzaremos otros por debajo, podemos lanzar uno o 200 bichitos animados. Eso da igual, ya lo veremos. Luego definimos que cada vez que entré en una definición de expresión es decir, cada vez que llega eso lo de user, corchetes y dentro lo que sea ahí es donde queremos crear una clase. Entonces, si te encuentras eso le decimos. Perfecto, añade un fichero de texto de texto o en esto de aquí y qué es esto? Aquí seguro que es buena, porque es no publicarlas, que es el nombre de la clase, y luego como ficha lo que metemos es que pueden implementar una interfaz por eso de que a veces con reflexión, quienes acceder a ellos idiomas y si tienen una interfaz común, mejor. Bueno, pues si tiene interferir como una propiedad de compilación, pues entonces me temen que implementa el y el nombre de la interfaz -y si no tuviera, interfaz va claras y abrimos corchetes. Y qué hacemos dentro del coche? Lo que decimos es que para la expresión que tiene dentro nuestro nuestra expresión que yo digo una serie, una declaración de equipos, presión aunque dentro digamos que tenga una expresión esta expresión puede ser una lista porque hereda lista de expresiones, él era de expresión un una expresión única también es una expresión, porque era vale imaginarse esta jerarquía un poco y lo que le digo es. Vale, pues tú me vas a aceptar a la expresión le acepta el visor de generación de campos propiedades tributos en el que me a decir. Bueno, pues entonces de género el String y cosas así lo va a generar. Este visitó que está aquí arriba creada, luego a continuación de esto, pues que es lo que tenemos cuando hacemos código. Tenemos eso las propiedades de atributos. Luego tenemos el constructor? Pues lo que hago es otra especializado en hacer el constructor. Lo que hace es. Me coge todos los atributos para las propiedades que tienen esa clase y genera un constructor. Uno vacío y uno con todo vale para tener siempre los 2. Luego que tengo a continuación. Pues bueno, si queremos seguir un poco la convención de de ojos de Java tendré que hacerlo porque no voy a hacer las los tributos públicos. Vale o no ser un? Entonces generó todos los líderes y todos los sets y finalmente lo cierran, cierran la clase. Entonces, como veis, con un método que no llegue a 100 haciendo líneas estoy generando a partir de proyecciones, y me refiero solo la parte del generar Bale, el análisis, y todo lo demás están otras partes, y si estoy haciendo llamadas a otras partes, pero bueno, el visitó nos ofrece esta potencia. No sé si va quedando más o menos, claro, sí si perfecto. Entonces, bueno, esto es lo que os decía, lo del patrón visitó que os decía. Nosotros vamos a tener una un nuevo encima de nuestro a un nuevo precio así raíz que en este caso es programa, vale? Aquí para dar ejemplo y programa tiene hijos dentro de esos hijos, pues estarán las definiciones, como puede ser una definición de variable, una definición de ficción, y luego están las llamadas. Lo importante, pues que esa definición tenga un método, hacer que tome como un parámetro un visitó para que para que luego yo le pueda pasar, los los vistos y me lo vayan devolviendo. Es decir, este visitó pues, por ejemplo, cuando entra por este método lo que hace es va aquí y esto lo acepta y viene aquí y lo ejecuta. Luego le dijo al hijo, lo acepta el hijo, le dice que vaya éste y lo ejecuta, y así es como vamos, moviéndonos a través del arbolado.