Next: , Previous: Service declaration, Up: Input file format


5.10 Service parameters

 (33) attribute-parameter   ::= parameter-dir parameter-variable
                                opt-initializer
 (35) service-parameter     ::= parameter-dir type-spec declarator
                                opt-initializer

 (39) parameter-dir         ::= "in"
                              | "out"
                              | "inout"
 (40) parameter-variable    ::= identifier
                              | parameter-variable "." identifier
                              | parameter-variable "[" positive-int-const "]"
 (45) opt-initializer       ::= [ "=" initializer ]
 (46) initializers          ::= [ { initializer "," } initializer ]
 (47) initializer           ::= initializer-value
                              | ":" string-literals
                              | initializer-value ":" string-literals
 (48) initializer-value     ::= const-expr
                              | "{" initializers "}"
                              | "[" positive-int-const "]" "=" const-expr
                              | "[" positive-int-const "]" "=" "{" initializers
                                "}"
                              | "[" positive-int-const "]" "="
                              | "." identifier "=" const-expr
                              | "." identifier "=" "{" initializers "}"
                              | "." identifier "="