Esempio di direttiva template

Nell'esempio seguente viene illustrata una produzione semplice.

  *Production: EXACTLY_ONE
  {
        *Production: SATISFY_ALL
        {
            *Member: GENERIC_OPTION {*Occurs: [1-*] }
            *Member: DEFAULT_OPT {*Occurs: [0-*] }
        }
        *Production: SATISFY_ALL
        {
            *Member: GENERIC_OPTION {*Occurs: [0] }
            *Member: DEFAULT_OPT {*Occurs: [0] }
        }
  }

Le istanze di costrutto associate al modello host da questa produzione possono contenere una delle combinazioni seguenti:

• Nessuna istanza di DEFAULT_OPT o GENERIC_OPTION.

• Una o più istanze di GENERIC_OPTION e nessuna istanza di DEFAULT_OPT.

• Una o più istanze di GENERIC_OPTION e una o più istanze di DEFAULT_OPT.

• Le istanze di costrutto non possono avere una o più istanze di DEFAULT_OPT senza almeno un'istanza di GENERIC_OPTION.

Se il modello host eredita da altri modelli, le produzioni definite nei modelli ereditati vengono valutate e devono essere TRUE affinché la produzione nel modello host risulti TRUE.