SOM IDL Language Grammar

specification

: [comment] definition+
definition
: type_dcl ; [comment]
| const_dcl ; [comment]
| interface ; [comment]
| module ; [comment]
| pragma_stm
module
: module identifier [comment]
{ [comment] definition+ }
interface
: interface identifier
| interface_dcl
interface_dcl
: interface identifier [inheritance] [comment]
{ [comment] export* } [comment]
inheritance
: scoped_name {, scoped_name}*
export
: type_dcl ; [comment]
| const_dcl ; [comment]
| attr_dcl ; [comment]
| op_dcl ; [comment]
| implementation_body ; [comment]
| pragma_stm
scoped_name
: identifier
| :: identifer
| scoped_name :: identifer
const_dcl
: const const_type identifier =
const_expr
const_type
: integer_type
| char_type
| boolean_type
| floating_pt_type
| string_type
| scoped_name
const_expr
: or_expr
or_expr
: xor_expr
| or_expr
| xor_expr
xor_expr
: and_expr|xor_expr ^ and_expr
and_expr
: shift_expr
| and_expr & shift_expr
shift_expr
: add_expr:
| shift_expr:epv.:pk. >> add_expr
| shift_expr:epv. << add_expr
add_expr
: mult_expr
| add_expr + mult_expr
| add_expr - mult_expr
mult_expr
: unary_expr
| mult_expr * unary_expr
| mult_expr / unary_expr
| mult_expr % unary_expr
unary_expr
: unary_operator primary_expr
| primary_expr
unary_operator
: -
| +
| ~
primary_expr
: scoped_name
| literal
| ( const_expr )
literal
: integer_literal
| string_literal
| character_literal
| floating_pt_literal
| boolean_literal
type_dcl
: typedef type_declarator
| constr_type_spec
type_declarator
: type_spec declarator {, declarator}*
type_spec
: simple_type_spec
| constr_type_spec
simple_type_spec
: base_type_spec
| template_type_spec
| scoped_name
base_type_spec
: floating_pt_type
| integer_type
| char_type
| boolean_type
| octet_type
| any_type
| voidptr_type
template_type_spec
: sequence_type
| string_type
constr_type_spec
: struct_type
| union_type
| enum_type
declarator
: [stars] std_declarator
std_declarator
: simple_declarator
| complex_declarator
simple_declarator
: identifier
complex_declarator
: array_declarator
array_declarator
: simple_declarator fixed_array_size+
fixed_array_size
: [ const_expr ]
floating_pt_type
: float
| double
integer_type
: signed_int
| unsigned_int
signed_int
: long
| short
unsigned_int
: unsigned signed_int
char_type
: char
boolean_type
: boolean
octet_type
: octet
any_type
: any
voidptr_type
: void stars
struct_type
: ( struct|exception) identifier
| ( struct|exception) [comment]
{ [comment] member* }
member
: type_declarator ; [comment]
union_type
: union identifier
| union identifier switch
( switch_type_spec ) [
comment]
{ [comment] case+ }
switch_type_spec
: integer_type
| char_type
| boolean_type
| enum_type
| scoped_name
case
: case_label+ element_spec ; [comment]
case_label
: case const_expr : [comment]
| default : [comment]
element_spec
: type_spec declarator
enum_type
: enum identifier { identifier
{, identifier}* [comment] }
sequence_type
: sequence < simple_type_spec , const_expr >
| sequence < simple_type_spec >
string_type
: string < const_expr >
| string
attr_dcl
: [readonly] attribute simple_type_spec
declarator {, declarator}*
op_dcl
: [oneway] op_type_spec [stars] identifier
parameter_dcls [raises_expr] [context_expr]
op_type_spec
: simple_type_spec
| void
parameter_dcls
: ( param_dcl {, param_dcl}* [comme nt] )
| ( )
param_dcl
: param_attribute simple_type_spec declarator
param_attribute
: in
| out
| inout
raises_expr
: raises ( scope_name+ )
context_expr
: context ( context_string{, context_string}* )
implementation_body
: implementation [comment]
{ [comment] implementation+ }
implementation
: modifier_stm
| pragma_stm
| passthru
| member
pragma_stm
: #pragma modifier modifier_stm
| #pragma somtemittypes on
| #pragma somtemittypes off
modifier_stm
: smidentifier : [modifier {, modifier}*] ;[comment]
| modifier ; [comment]
modifier
: smidentifier
| smidentifier = modifier_value
modifier_value
: smidentifier
| string_literal
| integer_literal
| keyword
passthru
: passthru identifier = string_literal+ ; [comment]
smidentifier
: identifer
| _identifier
stars
| *+

---

[Back: Metaclass Framework Error Codes]
[Next: Implementing Sockets Subclasses]