Condividi tramite

Esempio di direttiva template

  • Articolo

Nell'esempio seguente viene illustrata una semplice produzione.

  *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 di 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 del 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, anche le produzioni definite nei modelli ereditati vengono valutate e devono essere TRUE per l'ambiente di produzione nel modello host per restituire TRUE.