Enumerados

¿Qué es un enumerado?

Un enumerado es un recurso de ODL que permite obtener una lista de valores. Hay dos formas de obtener estos valores: insertándolos directamente en el código ODL, o bien, obteniéndolos de un fichero .csv.

Existen dos formas de definir un enumerado:

• Definición de tipo: se realiza para derivar nuevas definiciones de enumerados o definiciones de tipo enumerado. Estas definiciones son siempre abstractas:

tipo [Nombre] es enumerado
    ...
    ...
fin

• Definición de enumerado: se crea la lista de valores que se utilizará posteriormente para asignar valores a un campo. Un usuario nunca podrá crear enumerados:

[Nombre] es enumerado
    ...
    ...
fin