Variables Ligadas

Existen dos formas de asignarles valores a una variable.

El binding consiste en asignarle un valor literal a una variable. Es el más simple

declare X
X = 5
{Browse X} % 5

El variable binding consiste en ligar el valor de una variable a partir de otra. No es necesario que la otra variable esté definida, es simplemente una declaración.

declare X Y
X = Y
X = 5
{Browse Y} % 5

Asignaciones en Registros

El partial value se da cuando una característica registro tiene una variable no ligada asignada a una característica. Esta variable puede ser ligada posteriormente.

declare X Y
X = rec(10 Y)
Y = 5
{Browse X} % rec(10, 5)

Cuando realizamos un variable binding entre registros con valores parciales, el programa hará su mayor esfuerzo para igualarlos. Si no puede, fallará.

declare X Y A B in
X = rec(10 B)
Y = rec(A 40)
X = Y
{Browse A} % 10
{Browse B} % 40

Si los registros no comparten la misma estructura, entonces el programa fallará.