GENERIC OPTIONS Syntax

Generic options is a set of comma separated name or name-value pairs, within an OPTIONS list.

generic-options ::=

      "{" OPTIONS ["("] generic-option-list [")"] "}"

generic-option-list ::=

      generic-option[ {"," generic-option} ... ]

generic-option ::=

      option-name [ {option-value | option-list} ]

           
option-list ::=

      "("
option-value [ {"," option-value} ... ] ")"

option-value ::=
     quoted-identifier