specification

: [comment] definition+

: type_dcl ; [comment]

| const_dcl ; [comment]

| interface ; [comment]

| module ; [comment]

| pragma_stm

: module identifier [comment]

{ [comment] definition+ }

: interface identifier

| interface_dcl

: interface identifier [inheritance] [comment]

{ [comment] export* } [comment]

: scoped_name {, scoped_name}*

: type_dcl ; [comment]

| const_dcl ; [comment]

| attr_dcl ; [comment]

| op_dcl ; [comment]

| implementation_body ; [comment]

| pragma_stm

: identifier

| :: identifer

| scoped_name :: identifer

: const const_type identifier =

const_expr

: integer_type

| char_type

| boolean_type

| floating_pt_type

| string_type

| scoped_name

: or_expr

: xor_expr

| or_expr

| xor_expr

: and_expr|xor_expr ^ and_expr

: shift_expr

| and_expr & shift_expr

: add_expr:

| shift_expr:epv.:pk. >> add_expr

| shift_expr:epv. << add_expr

: mult_expr

| add_expr + mult_expr

| add_expr - mult_expr

: unary_expr

| mult_expr * unary_expr

| mult_expr / unary_expr

| mult_expr % unary_expr

: unary_operator primary_expr

| primary_expr

: -

| +

| ~

: scoped_name

| literal

| ( const_expr )

: integer_literal

| string_literal

| character_literal

| floating_pt_literal

| boolean_literal

: typedef type_declarator

| constr_type_spec

: type_spec declarator {, declarator}*

: simple_type_spec

| constr_type_spec

: base_type_spec

| template_type_spec

| scoped_name

: floating_pt_type

| integer_type

| char_type

| boolean_type

| octet_type

| any_type

| voidptr_type

: sequence_type

| string_type

: struct_type

| union_type

| enum_type

: [stars] std_declarator

: simple_declarator

| complex_declarator

: identifier

: array_declarator

: simple_declarator fixed_array_size+

: [ const_expr ]

: float

| double

: signed_int

| unsigned_int

: long

| short

: unsigned signed_int

: char

: boolean

: octet

: any

: void stars

: ( struct|exception) identifier

| ( struct|exception) [comment]

{ [comment] member* }

: type_declarator ; [comment]

: union identifier

| union identifier switch

( switch_type_spec ) [

comment]

{ [comment] case+ }

: integer_type

| char_type

| boolean_type

| enum_type

| scoped_name

: case_label+ element_spec ; [comment]

: case const_expr : [comment]

| default : [comment]

: type_spec declarator

: enum identifier { identifier

{, identifier}* [comment] }

: sequence < simple_type_spec , const_expr >

| sequence < simple_type_spec >

: string < const_expr >

| string

: [readonly] attribute simple_type_spec

declarator {, declarator}*

: [oneway] op_type_spec [stars] identifier

parameter_dcls [raises_expr] [context_expr]

: simple_type_spec

| void

: ( param_dcl {, param_dcl}* [comme nt] )

| ( )

: param_attribute simple_type_spec declarator

: in

| inout

: raises ( scope_name+ )

: context ( context_string{, context_string}* )

: implementation [comment]

{ [comment] implementation+ }

: modifier_stm

| pragma_stm

| passthru

| member

: #pragma modifier modifier_stm

| #pragma somtemittypes on

| #pragma somtemittypes off

: smidentifier : [modifier {, modifier}*] ;[comment]

| modifier ; [comment]

: smidentifier

| smidentifier = modifier_value

: smidentifier

| string_literal

| integer_literal

| keyword

: passthru identifier = string_literal+ ; [comment]

: identifer

| _identifier

| *+