Atributos de los tipos escalares

Explicación

Llamamos atributos de los tipos escalares a determinadas operaciones especiales que permiten averiguar propiedades del tipo y que se invocan cualificadas por el nombre del tipo mediante un apóstrofe (si T es un tipo escalar y Op una operación con un parámetro, X, para ejecutar Op se escribe T'Op(X)); las hay aplicables a cualquier tipo escalar y otras que dependen de la categoría a la que pertenezca el tipo.

Atributos de los tipos discretos

T'Pos(V)Siendo V un valor de tipo T, devuelve la posición de V en el rango de valores de T
T'Val(P)Siendo P un valor entero, devuelve el valor de T que le corresponde (de no existir se produce un Constraint_Error)

Ejemplo


Véase

Créditos