Macroensamblador Zero

Manual de programación en Macroensamblador Zero

El presente documento explica cómo utilizar el macroensamblador para crear programas para la máquina virtual Zero. Hay otra información que también es posible utilizar como referencia, como por ejemplo, la contenida en el manual de programación en ensamblador Zero, y, sobre todo, la documentación sobre la librería estándar.

Introducción

En esta sección se describirá la compilación de un objeto sencillo, como el que se ve a continuación:

object HolaMundo : ConsoleApplication method + doIt() parent.prepare() System.console.write("¡Hola, Mundo!") System.console.lf() return endMethod endObject

Este objeto recibe y envía información por consola, por lo que debe derivar del objeto "ConsoleApplication", que es la que prepara este tipo de E/S. El objeto HolaMundo, por su parte, sólo manda un mensaje a la consola para visualizar el mensaje "¡Hola, Mundo!".

Este código fuente puede escribirse en cualquier editor de texto, pero debe llamarse de la misma forma que el objeto principal, es decir, "HolaMundo.zm".

La compilación del objeto se realiza de la siguiente forma:

$ zm HolaMundo.zm

La ejecución de este objeto se realiza como sigue:

$ zvm HolaMundo ¡Hola, Mundo!

Descripción detallada de las macros

Las siguientes macros pueden ser empleadas en cualquier programa en Zero.

object/endObject: Permiten definir un objeto. Los métodos y atributos que se definan entre estas dos marcas serán incluidos dentro del objeto nombrado con object. También es posible indicar que un objeto hereda de otro ya existente, colocando dos puntos (':') después del nombre del objeto que se está definiendo y, a continuación, el nombre del objeto del que se hereda.
Si no se indica que un objeto hereda de algún otro, entonces, automáticamente, hereda del prototipo Object.
Sintaxis:

object <nombre_objeto> [ : <nombre_objeto_padre> ] endObject

Ejemplo:

object HolaMundo : ConsoleApplication endObject
attribute: Permite definir atributos. Debe estar entre un par object/endObject. El símbolo '+' significará público, mientras un '-' significará privado. A un atributo se le puede asignar un literal, que será de tipo cadena (encerrado entre comillas dobles), o numérico.
Sintaxis:

attribute <+/-> <nombre_atributo> [ = <literal>/<nombre_de_objeto> ]

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 endObject
method/endMethod: Permite definir métodos. Debe estar entre un par object/endObject. El símbolo '+' significará público, mientras un '-' significará privado. Un método debe terminar en al menos un return. Las instrucciones entre el primer return y el endMethod son las que se ejecutarán en caso de ocurrir alguna excepción. Si no existe gestor de excepciones (es decir, si no hay instrucciones), entonces la excepción salta al método que realizó la llamada al presente.
Una comenzado un gestor de excepciones, la excepción producida está en el registro __exc.

Sintaxis:

method <+/-> <nombre_método>([<parámetro1>, [<parámetro2>, ...]]) endMethod

Ejemplo:

object Punto ! Les damos valor 0, pero podría ser otro valor attribute + x = 0 attribute + y = 0 method + ponCoordenadas(a, b) x = a y = b return endMethod endObject
return: Devuelve una referencia como retorno del método. Debe estar entre un par object/endObject y un par method/endMethod. Un método debe terminar en al menos un return. Las instrucciones entre el primer return y el endMethod son las que se ejecutarán en caso de ocurrir alguna excepción. Si no existe gestor de excepciones (es decir, si no hay instrucciones), entonces la excepción salta al método que realizó la llamada al presente.
Sintaxis:

return <expresión>

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 method + toString() reference toret = "(" toret = toret.concat(x.toString()) toret = toret.concat(", ") toret = toret.concat(y.toString()) toret = toret.concat(")") return toret endMethod endObject
reference: Permite definir referencias locales. Debe estar entre un par object/endObject.
Sintaxis:

reference <nombre_referencia> [ = <literal>/<expresión> ]

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 method + toString() reference toret = "(" toret = toret.concat(x.toString()) toret = toret.concat(", ") toret = toret.concat(y.toString()) toret = toret.concat(")") return toret endMethod endObject
throw: Lanza una excepción. Debe estar entre un par object/endObject, y un par method/endMethod.
Sintaxis:

throw <nombre_objeto>

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 method + ponValorX(a) isInstanceOf Float, a jumpOnTrueTo fin throw ETypeMismatch :fin x = a return System.console.write("Error de asignación") endMethod endObject
isInstanceOf: Pone un True o un False en el acumulador, según un objeto herede de otro dado, o no. Debe estar entre un par object/endObject, y un par method/endMethod.
Sintaxis:

isInstanceOf <referencia>, [<expresión>]

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 method + ponValorX(a) isInstanceOf Float, a jumpOnTrueTo fin throw ETypeMismatch :fin x = a return System.console.write("Error de asignación") endMethod endObject
jumpTo: Realiza un salto a una etiqueta. Debe estar entre un par object/endObject, y un par method/endMethod.
Sintaxis:

jump <nombre_etiqueta>

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 method + ponValorX(a) isInstanceOf Float, a jumpOnTrueTo fin throw ETypeMismatch ! En realidad, lo siguiente nunca se ejecuta ... jumpTo fin :fin x = a return System.console.write("Error de asignación") endMethod endObject
jumpOnTrueTo: Salto condicional. Si el contenido del acumulador es True, entonces realiza un salto a la etiqueta indicada. Debe estar entre un par object/endObject, y un par method/endMethod.
Sintaxis:

jumpOnTrueTo <nombre_etiqueta>

Ejemplo:

object Punto attribute + x = 0 attribute + y = 0 method + ponValorX(a) isInstanceOf Float, a jumpOnTrueTo fin throw ETypeMismatch :fin x = a return System.console.write("Error de asignación") endMethod endObject
jumpOnFalseTo: Salto condicional. Si el contenido del acumulador es False, entonces realiza un salto a la etiqueta indicada. Debe estar entre un par object/endObject, y un par method/endMethod.
Sintaxis:

jumpOnFalseTo <nombre_etiqueta>

Ejemplo:

object Punto attribute + x =0 attribute + y = 0 method + ponValorX(a) isInstanceOf Float, a jumpOnFalseTo excepcion jumpTo fin :excepcion throw ETypeMismatch :fin x = a return System.console.write("Error de asignación") endMethod endObject

Otros conceptos

Los siguientes conceptos son empleados en la programación con este macroensamblador Zero:

Expresiones

Existen dos tipos de expresiones: las que asignan la referencia devuelta por un mensaje a un método a una referencia local declarada previamente (o a un atributo del objeto), y las que no realizan ésto último, siendo, símplemente, mensajes a objetos.
Nótese que el tipo de expresiones que pueden pasarse como parámetro a un método son del segundo tipo.
Nótese que las referencias son siempre, el nombre del objeto, seguido de un número variable de nombres de atributos. Todos ellos están separados por puntos.
Por último, las asignaciones de los atributos no son expresiones, sino que son o bien literales o bien referencias.

[<nombre_referencia_local>|<nombre_atributo> = ] <referencia>.<método>(<literal1>|<expresión1> [, <literal2>|<expresión2> [, ...] ])

Un ejemplo de expresiones:

! Éste objeto representa a una personaobject Persona attribute + nombre = "Juan nadie" attribute + edad = 40 method + putNombre(nom) nombre = nom return endMethod endObject

Literales

Los literales se indican, bien con un número con la notación habitual, bien como una cadena encerrada entre comillas dobles ("). Un literal sólo puede ocupar una línea, si bien ésta es ilimitada.
Sólo hay tres "tipos" de literales, los números reales, que son objetos derivados de Float, los números enteros, objetos derivados de Int, y las cadenas, que derivan de String. En estos prototipos se definen todas las operaciones que pueden realizarse sobre estos dos tipos de items de información

NOTA: Una secuencia de caracteres entre comillas será tomada como de tipo cadena. Un número que contenga parte decimal será identificado como flotante, meintras un número sin parte decimal será tomado como entero.

Un ejemplo de literales:

! Éste objeto representa a una personaobject Persona attribute + nombre = "Juan nadie" attribute + edad = 40 attribute + sueldo = 1300.5 endObject

Comentarios

Los comentarios se indican con una admiración '!', y sólo pueden ser puestos al comienzo de una línea. En ningún caso podrán afectar sólo a una parte de una línea. Es decir, "object Punto ! Punto es un objeto" no será aceptado.

! Éste objeto representa a un puntoobject Punto attribute + x = 0 attribute + y = 0 endObject

Etiquetas

Las etiquetas se representan anteponiendo el símbolo ':'. Sirven para saltar a ellas (cambiando el flujo de ejecución) mediante jumpTo, jumpOnTrueTo y jumpOnFalseTo.

object Punto attribute + x = 0 attribute + y = 0 method + ponValorX(a) isInstanceOf Float, a jumpOnTrueTo fin throw ETypeMismatch :fin x = a return System.console.write("Error de asignación") endMethod endObject

J. Baltasar García Perez-Schofield jbgarcia@uvigo.es