{ statement }

idl-statement
| component
| interface

{ idl-statement } idl-statement

module
| const-dcl
| type-dcl

"component" component-name component-body ";"

identifier

[ "{" exports "}" ]

{ export }

idl-statement
| property
| ids
| task
| port
| attribute
| service

( "doc" string-literals
| "version" string-literals
| "lang" string-literals
| "email" string-literals
| "requires" string-list
| "codels-require" opt-private string-list
| "clock-rate" const-expr time-unit
| "provides" interface-list
| "uses" interface-list ) ";"

[ "private" ]

"throws" throw-list ";"

{ named-type "," } named-type

"interface" interface-scope component-body ";"

identifier

identifier

"extends" interface-list ";"

{ interface-name "," } interface-name

ids-name "{" member-list "}" ";"

"ids"

"task" identifier opt-properties ";"

( "period" const-expr time-unit
| "delay" const-expr time-unit
| "priority" positive-int-const
| "scheduling" "real-time"
| "stack" positive-int-const size-unit ) ";"

"port" opt-multiple port-dir type-spec identifier opt-properties ";"

"in"
| "out"

[ "multiple" ]

"attribute" identifier "(" attribute-parameters ")" opt-properties ";"

service-kind identifier "(" service-parameters ")" opt-properties ";"

"function"
| "activity"

( "task" identifier
| "interrupts" identifier-list
| "before" identifier-list
| "after" identifier-list
| "validate" codel
| "local" local-variables ) ";"

[ { attribute-parameter "," } attribute-parameter ]

parameter-dir ( parameter-variable opt-initializer
| parameter-variable "::" identifier opt-initializer
| "::" identifier opt-initializer )

[ { service-parameter "," } service-parameter ]

parameter-dir type-spec declarator opt-initializer

( type-spec
| local-variables "," ) declarator

identifier "(" codel-parameters ")"

"<" event-list ">" identifier "(" codel-parameters ")" "yields" event-list

[ "async" ]

[ "pause" "::" ] identifier

{ event-name "," } event-name

[ { codel-parameter "," } codel-parameter ]

opt-parameter-src parameter-dir ( parameter-variable
| parameter-variable "::" identifier
| "::" identifier )

opt-async "codel" ( codel ";"
| fsm-codel ";" )

[ "ids"
| "local"
| "port"
| "remote" ]

"in"
| "out"
| "inout"

identifier
| parameter-variable "." identifier
| parameter-variable "[" positive-int-const "]"

[ "=" initializer ]

[ { initializer "," } initializer ]

initializer-value
| ":" string-literals
| initializer-value ":" string-literals

const-expr
| "{" initializers "}"
| "[" positive-int-const "]" "=" const-expr
| "[" positive-int-const "]" "=" "{" initializers "}"
| "[" positive-int-const "]" "="
| "." identifier "=" const-expr
| "." identifier "=" "{" initializers "}"
| "." identifier "="

"module" module-name "{" module-body "}" ";"

identifier

[ idl-statements ]

identifier

identifier

identifier

[ [ scoped-name ] "::" ] identifier

simple-type-spec
| constructed-type-spec

base-type-spec
| template-type-spec
| named-type

"typedef" type-declarator ";"
| "native" identifier ";"
| "exception" exception-list ";"
| constructed-type ";"
| forward-dcl ";"

( type-spec
| type-declarator "," ) declarator

{ exception-dcl "," } exception-dcl

exception-name opt-member-list

[ "{" ( "}"
| member-list "}" ) ]

scoped-name

simple-declarator
| array-declarator

identifier

( simple-declarator
| array-declarator ) fixed-array-size

"[" positive-int-const "]"

"const" const-type identifier "=" const-expr ";"

integer-type
| char-type
| boolean-type
| floating-pt-type
| octet-type
| string-type
| named-type

boolean-type
| integer-type
| floating-pt-type
| char-type
| octet-type
| any-type

signed-int
| unsigned-int

signed-longlong-int
| signed-long-int
| signed-short-int

unsigned-longlong-int
| unsigned-long-int
| unsigned-short-int

"unsigned" "short"

"unsigned" "long"

"unsigned" "long" "long"

"short"

"long"

"long" "long"

float-type
| double-type

"float"

"double"

"char"

"boolean"

"octet"

"any"

sequence-type
| optional-type
| string-type
| fixed-type

"sequence" "<" simple-type-spec ( ">"
| "," positive-int-const ">" )

"optional" "<" simple-type-spec ">"

"string" [ "<" positive-int-const ">" ]

"fixed" [ "<" positive-int-const "," positive-int-const ">" ]

constructed-type

struct-type
| union-type
| enum-type

"struct" struct-name "{" member-list "}"

{ member ";" } member ";"

( type-spec
| member "," ) declarator

"union" union-name "switch" "(" switch-type-spec ")" "{" switch-body "}"

integer-type
| char-type
| boolean-type
| enum-type
| named-type

{ case } case

case-label-list type-spec declarator ";"

{ case-label } case-label

( "case" const-expr
| "default" ) ":"

"enum" identifier "{" enumerator-list "}"

{ enumerator "," } enumerator

identifier

( "struct"
| "union" ) identifier

"[A-Za-z-][A-Za-z0-9-]*"
| "s"
| "ms"
| "us"
| "k"
| "m"
| "real-time"
| "interface"
| "component"
| "ids"
| "attribute"
| "function"
| "activity"
| "version"
| "lang"
| "email"
| "requires"
| "codels-require"
| "clock-rate"
| "task"
| "task"
| "period"
| "delay"
| "priority"
| "scheduling"
| "stack"
| "codel"
| "validate"
| "yields"
| "pause"
| "throws"
| "doc"
| "interrupts"
| "before"
| "after"
| "handle"
| "port"
| "in"
| "out"
| "inout"
| "local"
| "async"
| "remote"
| "extends"
| "provides"
| "uses"
| "multiple"
| "native"
| "exception"

{ identifier "," } identifier

or-expr

const-expr

{ xor-expr "|" } xor-expr

{ and-expr "^" } and-expr

{ shift-expr "&" } shift-expr

{ add-expr ( ">>"
| "<<" ) } add-expr

{ mult-expr ( "+"
| "-" ) } mult-expr

{ unary-expr ( "*"
| "/"
| "%" ) } unary-expr

[ "-"
| "+"
| "~" ] primary-expr

literal
| "(" const-expr ")"
| named-type

"TRUE"
| "FALSE"
| integer-literal
| "<float-literal>"
| "<fixed-literal>"
| "<char-literal>"
| string-literals

{ string-literal } string-literal

{ string-literals "," } string-literals

[ "s"
| "ms"
| "us" ]

[ "k"
| "m" ]

[ "{" properties "}" ]

{ property }

component-property
| interface-property
| task-property
| service-property
| codel-property
| throw-property