Data dictionary

Vedi filmato (compilazione del dizionario)

Data definition

Il campo Data definition può contenere:

- Il nome di un altro dato (usato come tipo)

- Un numero intero

- Una sequenza di caratteri racchiusi tra virgolette (es.: "questa è una sequenza di caratteri")

- Un enumerativo (stringa racchiusa tra apici, es. 'attivo', 'non attivo')

Regole di composizione dei tipi

+: AND (quando l'ordine degli operandi non è significativo)

&: AND (quando l'ordine degli operandi è significativo)

[ | ] : OR

l{}u: ITERATIONS-OF (ripetizioni di quanto contenuto in parentesi)

Il numero di ripetizioni può essere delimitato da un limite inferiore (l = lower) e/o superiore (u = upper)

( ) : OPTIONAL (il contenuto della parentesi è opzionale)

.. : RANGE (si applica ai numero o agli enumerativi)

Esempi

32765..32766 oppure 'a' .. 'z'

Domain definition

possono essere specificati 3 tipi di valori:

1. Enumerativi

[ON | OFF], [YES | NO], or [Taking Off | Climbing | Cruising | Descending | Landing]

2. Numeri interi

3. Numeri reali

Gli ultimi due tipi sono specificati in Backus-Naur Format:

<type> (<range-specification>)

dove:

<type> := integer | Integer | real | Real

<range-specification> := <range-list>

<range-list> := <a-range> | <a-range> <range-operator> <range-list>

<a-range> := <free-variable> <comparison-operator> <number>

<comparison-operator> := '>' | '>=' | '<' | '<=' | '='

<range-operator> := '&' | '|' *for AND or OR operators *

Esempi

Integer

Integer x > 10

Integer a > 20 | a < -20

Real

Real i > -10.0e-2 & i < 0

Real x > -20.0 & x < 20.0