Compilador Harbour

Harbour puede hacer uso de múltiples emulaciones de terminal gráfico, incluidos los controladores de la consola, e híbridos consola/GUIs, como GTWvt, y GTWvg.

En el modo consola (ventana DOS), la ejecución de un programa en Harbour es de tipo top-down el programa avanza de arriba hacia abajo, según las directivas de programación que va encontrando.
En cambio en el modo Gráfico, se utiliza el paradigma por eventos y la ejecución no necesariamente sigue con la próxima directiva de programación.
Es muy importante tener en cuenta esto, porque el código fuente debe ser modificado según el tipo de interfaz que se elija.

Harbour soporta interfaces gráficas de usuario externas, por ejemplo:

• Libres:
  • HBQt (Forma parte de Harbour, basada en Qt_(biblioteca))
  • Qth (basada en Qt_(biblioteca))
  • MiniGUI
  • OOHG
  • Marinas-GUI
  • HwGUI (basada en GTK+)
  • xbGTK (basada en GTK+)
  • xHGTK (basada en GTK+)
  • t-gtk (basada en GTK+)

• Comerciales:
  • FiveWin
  • Xailer

HBQt es una biblioteca que proporciona enlaces a Qt. La aplicación HBIDE incluida en la distribución oficial y en el repositorio SVN es una muestra del potencial de HBQt.

Harbour es 100% compatible con Clipper[3] y soporta muchas extensiones de la sintaxis del lenguaje, incluyendo en gran medida extensiones en tiempo de ejecución, tales como bibliotecas OLE, Blat, OpenSSL, FreeImage, GD, TIP, Tpathy, PCRE, HbZip (zlib y bzip2), cURL, Cairo, su propia implementación de las librerías CA-Tools y NanFor y muchos otros. Harbour cuenta con una activa comunidad de desarrollo y con un amplio apoyo de terceros.

Cualquier lenguaje xBase proporciona una manera muy productiva para construir aplicaciones de negocios y de grandes volúmenes de datos. Harbour no es una excepción.

Una de las características más potentes de los lenguajes xBase es el operador de macro '&'. La implementación en Harbour del operador de macro permite la compilación en tiempo de ejecución de cualquier expresión válida Harbour. Una expresión compilada se puede utilizar como un VALUE, es decir, el lado derecho de una asignación (rvalue), pero es más interesante, tal expresión compilada puede utilizarse para resolver el lado izquierdo (lvalue) de una asignación, es decir, variables PRIVATE o PUBLIC, o en un campo de base de datos.

Además, el operador de macro puede compilar y ejecutar llamadas a funciones, tareas completas, o incluso la lista de argumentos, y el resultado de la macro se puede utilizar para resolver cualquiera de los contextos anteriores en la aplicación compilada. En otras palabras, cualquier aplicación Harbour puede ser extendida y modificada en tiempo de ejecución para compilar y ejecutar código adicional bajo demanda.

El compilador de macro puede compilar cualquier código Harbour válido, incluyendo el código de pre-proceso antes de la compilación.

Sintaxis:

 &( ... )

El valor del texto de la expresión '...' será compilado, y el valor resultante de la ejecución del código compilado es el resultado.

 &SomeId

es la forma corta de &( SomeId ).

 &SomeId.postfix

es la forma corta de &( SomeId + "postfix" ).

El estilo de programación orientada a objetos es un tema más amplio que el de una biblioteca específica o una interfaz específica, pero la programación orientada a objetos es algo que muchos programadores Clipper han llegado a esperar. CA-Clipper 5.2 y en especial 5.3 añadieron una serie de clases base, y una sintaxis de programación orientada a objetos correspondiente. Bibliotecas, como Class(y), FiveWin, Clip4Win y TopClass ofrecen funcionalidad de programación orientada a objetos adicionales.

Harbour tiene extensiones de programación orientada a objetos con soporte completo para las clases, incluyendo la herencia, basado en la sintaxis de Class(y). La sintaxis de programación orientada a objetos en Harbour es muy similar a la de anteriores bibliotecas de clases de Clipper por lo que debería ser posible mantener el código heredado Clipper con cambios mínimos.

Harbour cuenta con 6 tipos escalares: Nil, Cadena, Fecha, Lógico, Numérico, y 4 tipos complejos: Matriz (Array), Objeto, CodeBlock, y Hash. Un escalar tiene un valor único, como una cadena, número o referencia a cualquier otro tipo. Las matrices son listas ordenadas de escalares o tipos complejos, con un índice por número, comenzando por el 1. Hashes, o matrices asociativas, son conjuntos no ordenados de los valores de tipo indexados por la clave de su asociado, que puede ser de cualquier tipo escalar o compleja.

Representación literal (estática) de tipos escalares:

• NIL: Este valor especial es asignado a todas las variables no inicializadas, excepto las públicas, y es también pasado también como un sustituto cuando los argumentos son omitidos en el llamado a una función o procedimiento.
• Cadena de caracteres: "hola", 'hola', [hola]
• Fecha: 0d20100405
• Lógico: .T., .F.
• Numérico: 1, 1.1, −1, 0xFF

Los tipos complejos también pueden presentarse como valores literales:

• Array: { "Cadena"", 1, { "Matriz Anidada" }, .T., FunctionCall(), @FunctionPointer() }
• CodeBlock: { |Arg1, ArgN| Arg1 := ArgN + OuterVar + FunctionCall() }
• Hash: { "Nombre" => "Juan", 1 => "Clave numérica", { "Anidado" => "Hash" } }

Los valores hash puede utilizar cualquier tipo incluyendo otros hashes como la Clave para cualquier elemento. Hashes y arrays pueden contener cualquier tipo como el valor de cualquier miembro, incluidas las matrices de anidación, y hashes.

Los Codeblocks pueden tener referencias a variables del Procedimiento/Función/Método en el que se ha definido. Estos Codeblocks pueden ser devueltos como un valor, o por medio de un argumento pasado por referencia, en tal caso el bloque de código va a "sobrevivir" a la rutina en la que se definió, y las variables de las que hace referencia, será una variable INDEPENDIENTE.

Las variables independientes mantendrán su valor durante el tiempo que un bloque de código (Codeblock) hace referencia a ellos aún exista. Estos valores serán compartidos con cualquier otro bloque de código que puede tener acceso a esas mismas variables. Si el bloque de código no sobrevive a la rutina que contiene, y será evaluado durante la vida de la rutina en la que se define, los cambios en sus variables independientes por medio de su evaluación, se reflejan de vuelta en la rutina de los padres.

Los Codeblocks se pueden evaluar cualquier número de veces, por medio de la función Eval( BlockExp ).

Todos los tipos se pueden asignar a las variables declaradas. El nombre de una variable tiene de 1 a 63 caracteres de largo, comienza por [A-Z|_] y además constará de caracteres [A-Z|0–9|_] hasta el máximo de 63 caracteres. Los nombres de las variables no distinguen entre mayúsculas y minúsculas.

Las variables tienen uno de los siguientes ámbitos:

• LOCAL: Visible solo dentro de la rutina, que lo declaró. El valor se pierde al salir de la rutina.
• STATIC: Visible solo dentro de la rutina, que lo declaró. El valor es preservado para las siguientes llamadas a la rutina. Si una variable STATIC (estática) se declara antes de que cualquier procedimiento/función/método se defina, tiene un alcance de MODULE (módulo), y es visible dentro de cualquier rutina definida dentro de ese mismo archivo de origen, que mantendrá su vida durante toda la duración de la aplicación.
• PRIVATE: Visible dentro de la rutina que lo declaró, y todas las rutinas llamadas por esa rutina.
• PUBLIC: Visible por todas las rutinas en la misma aplicación.

LOCAL y STATIC se resuelven en tiempo de compilación, y por lo tanto son mucho más rápidas que las variables PRIVATE y PUBLIC que son entidades dinámicas a las que se accede en tiempo de ejecución por medio de la tabla de símbolos. Por esta misma razón, las variables LOCAL y STATIC no están disponibles para el compilador de macros, y cualquier código de macro que intenta hacer referencia a ellos va a generar un error de ejecución.

Debido a la naturaleza dinámica de las variables PRIVATE y PUBLIC, que pueden ser creados y destruidos en tiempo de ejecución, se puede acceder y modificar por medio de macros en tiempo de ejecución, y pueden ser consultados y modificados por Codeblocks creados sobre la marcha.

Las variables de los campos de las bases de datos están limitados a: Carácter, Numérico, Fecha, Lógico y un tipo especial llamado 'MEMO' que es tratado como una Cadena de caracteres (con algunos caracteres especiales de control).

Las estructuras de control básicas incluyen todas las estructuras de control estándar de dBase y Clipper, así como otras adicionales inspirados en las de los lenguajes de programación C o Java :

[DO] WHILE ConditionExp
   ...
   [LOOP]
   [EXIT]
END[DO]

FOR Var := InitExp TO EndExp [STEP StepExp]
   ...
   [LOOP]
   [EXIT]
NEXT

FOR EACH Var IN CollectionExp
   ...
   [HB_EnumIndex()]
   [LOOP]
   [EXIT]
NEXT

• ... es una secuencia de una o más expresiones Harbour statements, y los corchetes [] indican la sintaxis opcional.
• HB_EnumIndex() puede ser utilizado opcionalmente para recuperar el índice de iteración actual (basado en 1).
• La sentencia LOOP reinicia la iteración actual de la estructura de bucle a que pertenece, y si el circuito de cierre es un bucle FOR o FOR EACH, incrementa el contador, pasando a la siguiente iteración del bucle.
• La sentencia EXIT termina inmediatamente la ejecución de la estructura de bucle a que pertenece.
• La sentencia NEXT cierra la estructura de control y se traslada a la siguiente iteración de la estructura de bucle.

En la sentencia FOR, la expresión de asignación se evalúa antes de la repetición del bucle en primer lugar. La expresiónTO se evalúa y se compara con el valor de la variable de control, antes de cada iteración, y el bucle se termina si se evalúa como un valor numérico mayor que el valor numérico de la variable de control. La expresión opcional STEP se evalúa después de cada iteración, antes de decidir si se debe realizar la siguiente iteración.

En FOR EACH, la variable Var tendrá el valor (escalar, o complejo) del elemento respectivo en el valor de la colección. La expresión de la colección, puede ser una matriz (de cualquier tipo o una combinación de tipos), una tabla hash, o un Objeto.

IF CondExp
   ...
[ELSEIF] CondExp
   ...
[ELSE]
   ...
END[IF]

... representa 0 o más sentencias.

Las expresiones de condición tiene que evaluar a un valor LOGICAL (lógico).

Harbour admite el constructor SWITCH inspirado en la implementación en C de switch().

SWITCH SwitchExp
   CASE LiteralExp
      ...
      [EXIT]

   [CASE LiteralExp]
      ...
      [EXIT]

   [DEFAULT]
      ...
END

• La LiteralExp debe ser una expresión numérica que pueda resolverse en tiempo de compilación, y puede involucrar operadores, siempre y cuando los operadores en cuestión afectan a un valor en tiempo de compilación estática.
• La sentencia opcional EXIT es el equivalente de la declaración break en C, y si está presente, la ejecución de la estructura SWITCH termina al alcanzar la sentencia EXIT, de lo contrario se continuará con la primera declaración CASE siguiente (fall through).

BEGIN SEQUENCE
   ...
   [BREAK]
   [Break([Exp])]
RECOVER [USING Var]
   ...
END[SEQUENCE]

o:

BEGIN SEQUENCE
   ...
   [BREAK]
   [Break()]
END[SEQUENCE]

La estructura BEGIN SEQUENCE permite un aborto ordenado de cualquier secuencia, incluso cuando se utilizan procedimientos y funciones anidadas. Esto significa que un procedimiento/función llamado, puede emitir una sentencia BREAK, o una expresión Break(), para forzar el retorno de cualquier procedimiento/función anidadas, todo el camino de regreso a la primera estructura externa BEGIN SEQUENCE, incluso después de su respectiva declaración END, o a una cláusula RECOVER si está presente. La sentencia Break puede pasar opcionalmente cualquier tipo de expresión, que puede ser aceptado por la sentencia RECOVER para permitir su entrega y posterior recuperación.

Además, el Error Object (objeto de error) de Harbour soporta las propiedades canDefault, canRetry y canSubstitute, que permiten a los controladores de errores llevar a cabo algunos preparativos, y luego solicitar una Retry Operation (operación de reintento), un Resume, o devolver un Valor para sustituir la expresión que dispara la condición de error.

Alternativamente las declaraciones TRY [CATCH] [FINALLY] están disponibles en la biblioteca xHB trabajando como el constructor SEQUENCE.

[STATIC] PROCEDURE SomeProcedureName
[STATIC] PROCEDURE SomeProcedureName()
[STATIC] PROCEDURE SomeProcedureName( Param1' [, ParamsN] )

INIT PROCEDURE SomeProcedureName
EXIT PROCEDURE SomeProcedureName

[STATIC] FUNCTION SomeProcedureName
[STATIC] FUNCTION SomeProcedureName()
[STATIC] FUNCTION SomeProcedureName( Param1' [, ParamsN] )

Procedimientos y Funciones en Harbour puede ser especificadas con la palabra clave PROCEDURE, o FUNCTION. Las reglas de asignación de nombres son los mismos que para las variables (hasta 63 caracteres que mayúsculas y minúsculas). Procedimientos y funciones pueden ser calificados por el calificador de ámbito STATIC para restringir su uso al ámbito de aplicación del módulo donde se define.

Los calificadores opcionales INIT or EXIT, marcarán el procedimiento que se invoca automáticamente justo antes de llamar al procedimiento de inicio de la aplicación, o justo después de salir de la aplicación, respectivamente. Los parámetros que se pasan a una procedure/function aparecen en la subrutina como variables locales, y puede aceptar cualquier tipo, incluyendo las referencias.

Los cambios en las variables de parámetros no se reflejan en las variables respectivas pasadas en la llamada al procedimiento/función/método a menos que pasen explícitamente BY REFERENCE (por referencia) usando el prefijo @.

Un PROCEDURE no tienen valor de retorno, y si se utiliza en un contexto de expresión va a producir un valor Nulo.

Una FUNCTION puede devolver cualquier tipo por medio de la instrucción RETURN, en cualquier parte del cuerpo de su definición.

A continuación, una llamada a una FUNCTION y la definición de dicha FUNCTION :

 x := Cube( 2 )

 FUNCTION Cube( n )
 RETURN n ** 3

El típico programa hola mundo puede implementarse como:

 
  ? "¡Hola, mundo!"

O:

  QOut( "¡Hola, mundo!" )

O:

  Alert( "¡Hola, mundo!" )

O, dentro de un procedimiento explícito:

 PROCEDURE Main()
 
    ? "¡Hola, mundo!"

 RETURN