Página man de mocka
SINOPSIS
mocka [-s módulo | -c módulo | -p módulo]
[-d dir] ... [-index] [-noindex] [-range] [-norange] [-static] [-nos-
tatic] [-elf] [-noelf] [-g] [-nog] [-gc] [-nogc] [-ge] [-noge] [-S]
[-noS]
[-D directorio] [-link script] [-edit script] [-list script] [-asm
script] [-syslib directorio]
DESCRIPCIÓN
mocka se usa para compilar y enlazar programas escritos en Modula-2.
mocka -s módulo traduce el módulo de DEFINICIÓN módulo a un fichero de
símbolos. Este tiene que estar presente al compilar el módulo de
IMPLEMENTACIÓN módulo o un fichero que importe módulo
mocka -c módulo traduce el módulo de [IMPLEMENTACIÓN] .I módulo a un
fichero de código objeto. Este tiene que estar presente cuando se vaya
a crear un programa que contenga módulo.
mocka -p módulo crea un programa ejecutable para el módulo módulo.
Si no se especifica ninguna de las opciones -s , -c o -p , mocka entera
en el modo de sesión .
En este modo el usuario no tiene que preocuparse de la consistencia de
la configuración de los módulos ni del correcto orden de compilación;
las compilaciones que sean necesarias se efectúan automáticamente.
Esto se basa en la gráfica de las dependencias que se derivan de las
fuentes y se actualiza cuando fuere necesario.
El modo de sesión, además, facilita la corrección de errores: Al detec-
tarse un error se crea un listado y el editor es invocado de forma
automática. Los errores pueden ser corregidos en este listado.
Después de abandonar el editor, el listado (sin los mensajes de error)
se escribe de nuevo en el fichero fuente.
INSTALACIÓN EN DEBIAN/SUSE/REDHAT
El nombre original del ejecutable del compilador mocka es mc. En otras
distribuciones ya existe este ejecutable y pertenece al programa Mid-
night Commander, así que se ha renombrado como mocka, mc2 u otro. Más
documentación en el directorio /usr/share/doc/mocka.
OPCIONES
-s módulo Crear fichero de símbolos para módulo, p.ej. compi-
lar el módulo de DEFINICIÓN módulo del fichero
módulo.md .
-index (-noindex) Generar (o no) código para el análisis de índices.
-range (-norange) Generar (o no) código para el análisis de rango.
-static (-nostatic) Enlace estático (o no).
-elf (-noelf) Produce código ensamblador necesario para el for-
mato binario ELF. La opción -elf se le pasa al
script de ensamblado y enlazado.
-g (-nog) Produce (o no) información de depurado en formato
stabs. GDB puede trabajar con esta información de
depuración. Por favor, lee el fichero
README-MOCKA-DEBUGGING en el directorio de docu-
mentación de mocka.
-gc (-nogc) Produce (o no) información de depuración constante.
GDB puede usarla, pero DBX actualmente no trabaja
con ella.
-ge (-noge) Produce (o no) información de depuración de enu-
meración. Usa -noge si tienes un GDB con fallos
como gdb-4.15.1.
-S (-noS) El código máquina simbólico se escribe en un
fichero módulo.s
Las siguientes opciones pueden usarse para saltarse los parámetros de
la instalación:
-D directorio Especifica un directorio donde meter los resultados
de la compilación (los ficheros *.[dmiros]). La
opción por defecto es el directorio actual.
-link script Usar script para invocar ld. cuando se especifica
-p módulo mocka mocka reune todos los módulos
importados, analiza su consistencia, crea un módulo
raíz y seguidamente invoca
script módulo ficheros_de_código
-edit script Usa script para invocar al editor. Si uno de los
comandos d módulo o i módulo se pasa durante el
modo de sesión, se llama a script fichero_fuente
-list script Usa script para invocar el listador. Cuando se
detecta un error en el modo de sesión se llama a
script fichero_fuente fichero_de_errores.
-asm script Usa script para invocar al ensamblador. El compi-
lador produce código ensamblador, este script lla-
maría al ensamblador para que este produjera código
que falte o que esté desfasado.
c módulo Crea un fichero de código objeto para módulo y
ficheros de símbolos para módulo y todos los
módulos importados (transitoriamente) si hay alguno
que falte o que esté desfasado.
p módulo Crea un fichero de código objeto para módulo y
ficheros de código y símbolos para todos los
módulos importados (transitoriamente) si hay alguno
que falte o que esté desfasado. Crea el programa
módulo si este falta o está desfasado. (Puede omi-
tirse módulo. En ese caso se usará el módulo de
una orden p anterior .)
<vacío> La orden vacía se usa para retomar un proceso
después de editar un fichero es equivalente a repe-
tir la última orden s , c o p
-flag (donde flag significa index, noindex, range, nor-
ange static, nostatic , g , nog , gc , nogc , S ,
noS , elf , noelf ) tiene el mismo significado que
el correspondiente argumento para mocka.
-info Muestra las opciones activas actuales del compi-
lador.
q Terminar.
comandounix Las órdenes que no se encuentren el la lista ante-
rior se suponen comandos Unix.
ESPECIAL
Se puede acceder a procedimientos escritos en otros lenguajes desde
Modula-2. El compilador sigue el mapeo de tipos y las convenciones de
nombre de C. Las entidades externas deben definirse en módulos exter-
nos. Se trata de módulos en los cuales la palabra clave DEFINITION se
ha reemplazado por FOREIGN. Para este tipo de módulos el compilador no
insistirá sobre un módulo de implementación. Al enlazar un programa se
le pasa a ld un argumento "M.o" por cada módulo externo. (Así pues,
cuando la implementación de un módulo externo haga uso de un fichero
adicional N.o, deberá importarse el correspondiente módulo externo
(vacío) N.)
FICHEROS
módulo.md Fichero fuente del módulo de DEFINICIÓN módulo.
módulo.mi Fichero fuente del módulo [IMPLEMENTACIÓN] módulo.
módulo.d Fichero de símbolos del módulo DEFINICIÓN módulo
(usado para verificaciones entre módulos).
FALLOS
Sólo puede ejecutarse un único proceso de mocka en el directorio
actual. Solamente se tendrán en cuenta los módulos contenidos en el
directorio actual para determinar el orden de compilación en el modo
sesión.
GMD-Karlsruhe mocka(1)
Salida de man(1) convertida con
man2html 3.0.1