Exemplo de diretiva de modelo

O exemplo a seguir mostra uma produção simples.

  *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] }
        }
  }

As instâncias de constructo associadas ao modelo de host por essa produção podem conter qualquer uma das seguintes combinações:

• Nenhuma instância de DEFAULT_OPT ou GENERIC_OPTION.

• Uma ou mais instâncias de GENERIC_OPTION e nenhuma instância de DEFAULT_OPT.

• Uma ou mais instâncias de GENERIC_OPTION e uma ou mais instâncias de DEFAULT_OPT.

• As instâncias de constructo não podem ter uma ou mais instâncias de DEFAULT_OPT sem pelo menos uma instância de GENERIC_OPTION.

Se o modelo de host herdar de outros modelos, as produções definidas nos modelos herdados também serão avaliadas e também deverão ser TRUE para que a produção no modelo de host seja avaliada como TRUE.