1 /*
2 * Copyright (c) 1999, 2009, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
25
26 /*
27 * COMPONENT_NAME: idl.parser
28 *
29 * ORIGINS: 27
30 *
31 * 5639-D57, (C) COPYRIGHT International Business Machines Corp., 1997, 1998
32 *
33 */
34
35 CORBA 2.3 IDL
36 ---------------
37
38 (1) <specification> <definition><specification'>
39
40 (1) <specification'> e
41 <definition><specification'>
42
43 (2) <definition> <type_dcl> ";"
44 <const_dcl> ";"
45 <except_dcl> ";"
46 <interface> ";"
47 <module> ";"
48 <value> ";"
49
50 (3) <module> "module" <id> "{" <module'> "}"
51
52 (3) <module'> <definition><module''>
53
54 (3) <module''> <definition><module''>
55 e
56
57 (4) <interface> <interface_dcl>
58 <forward_dcl>
59
60 (5) <interface_dcl> <interface_header> "{" <interface_body> "}"
61
62 (6) <forward_dcl> "abstract" "interface" <id>
63 "interface" <id>
64
65 (7) <interface_header> "abstract" "interface" <id> <interface_header'>
66 "interface" <id> <interface_header'>
67
68 (7) <interface_header'> e
69 <interface_inheritance_spec>
70
71 (8) <interface_body> <export><interface_body'>
72
73 (8) <interface_body'> e
74 <export><interface_body'>
75
76 (9) <export> <type_dcl> ";"
77 <const_dcl> ";"
78 <except_dcl> ";"
79 <attr_dcl> ";"
80 <op_dcl> ";"
81
82
83
84 (10) <interface_inheritance_spec> ":" <scoped_name> <inheritance_spec'>
85
86 (10) <interface_inheritance_spec'> e
87 "," <scoped_name> <inheritance_spec'>
88
89 (12) <scoped_name> <id> <scoped_name'>
90 "::" <id> <scoped_name'>
91
92 (12) <scoped_name'> e
93 "::" <id> <scoped_name'>
94
95 (13) <value> <value_dcl>
96 <value_abs_dcl>
97 <value_box_dcl>
98 <value_forward_dcl>
99
100 (14) <value_forward_dcl> "abstract" "valuetype" <id>
101 "valuetype" <id>
102
103 (15) <value_box_dcl> "valuetype" <id> <type_spec>
104
105 (16) <value_abs_dcl> "abstract" "valuetype" <id> <value_inheritance_spec> "{" <export> <vad> "}"
106 "abstract" "valuetype" <id> "{" <export> <vad> "}"
107
108 (16) <vad> e
109 <export> <vad>
110
111 (17) <value_dcl> <value_header> "{" <value_element> <ve> "}"
112
113 (17) <ve> e
114 <value_element> <ve>
115
116 (18) <value_header> "custom" "valuetype" <id> <value_inheritance_spec>
117 "valuetype" <id> <value_inheritance_spec>
118 "custom" "valuetype" <id>
119 "valuetype" <id>
120
121 (19) <value_inheritance_spec> <opt_inherits> <opt_supports>
122
123 (19) <opt_inherits> e
124 ":" "truncatable" <value_name> <value_name_list>
125 ":" <value_name> <value_name_list>
126
127 (19) <value_name_list> e
128 "," <value_name> <value_name_list>
129
130 (19) <opt_supports> e
131 "supports" <interface_name> <interface_name_list>
132
133 (19) <interface_name_list> e
134 "," <interface_name> <interface_name_list>
135
136 (20) <value_name> <scoped_name>
137
138 (21) <value_element> <export>
139 <state_member>
140 <init_dcl>
141
142 (22) <state_member> "public" <type_spec> <declarators> ";"
143 "private" <type_spec> <declarators> ";"
144
145 (23) <init_dcl> "factory" <id> "(" ")"
146 "factory" <id> "(" <init_param_dcls> ")"
147
148 (24) <init_param_dcls> <init_param_decl>
149 <init_param_decl> "," <init_param_dcls>
150
151 (25) <init_param_dcl> <init_param_attribute> <param_type_spec> <simple_declarator>
152
153 (26) <init_param_attribute> "in"
154
155 (27) <const_dcl> "const" <const_type> <id> "=" <const_exp>
156
157 (28) <const_type> <integer_type>
158 <char_type>
159 <wide_char_type>
160 <boolean_type>
161 <floating_pt_type>
162 <string_type>
163 <wide_string_type>
164 <scoped_name>
165 <octet_type>
166
167 (29) <const_exp> <or_expr>
168
169 (30) <or_expr> <xor_expr> <or_expr'>
170
171 (30) <or_expr'> e
172 "|" <xor_expr> <or_expr'>
173
174 (31) <xor_expr> <and_expr> <xor_expr'>
175
176 (31) <xor_expr'> e
177 "^" <and_expr> <xor_expr'>
178
179 (32) <and_expr> <shift_expr><and_expr'>
180
181 (32) <and_expr'> e
182 "&" <shift_expr> <and_expr'>
183
184 (33) <shift_expr> <add_expr> <shift_expr'>
185
186 (33) <shift_expr'> e
187 ">>" <add_expr> <shift_expr'>
188 "<<" <add_expr> <shift_expr'>
189
190 (34) <add_expr> <mult_expr> <add_expr'>
191
192 (34) <add_expr'> e
193 "+" <mult_expr> <add_expr'>
194 "-" <mult_expr> <add_expr'>
195
196 (35) <mult_expr> <unary_expr> <mult_expr'>
197
198 (35) <mult_expr'> e
199 "*" <unary_expr> <mult_expr'>
200 "/" <unary_expr> <mult_expr'>
201 "%" <unary_expr> <mult_expr'>
202
203 (36) <unary_expr> <unary_operator> <primary_expr>
204 <primary_expr>
205
206 (37) <unary_operator> "-"
207 "+"
208 "~"
209
210 (38) <primary_expr> <scoped_name>
211 <literal>
212 "(" <const_exp> ")"
213
214 (39) <literal> <<integer_literal>>
215 <<string_literal>>>
216 <<wide_string_literal>>>
217 <<character_literal>>
218 <<wide_character_literal>>
219 <<fixed_pt_literal>>
220 <<floating_pt_literal>>
221 <<boolean_literal>>
222
223 (40) <boolean_literal> "TRUE"
224 "FALSE"
225
226 (41) <positive_int_const> <const_exp>
227
228 (42) <type_dcl> "typedef" <type_declarator>
229 <struct_type>
230 <union_type>
231 <enum_type>
232 "native" <simple_declarator>
233
234 (43) <type_declarator> <type_spec> <declarators>
235
236 (44) <type_spec> <simple_type_spec>
237 <constr_type_spec>
238
239 (45) <simple_type_spec> <base_type_spec>
240 <template_type_spec>
241 <scoped_name>
242
243 (46) <base_type_spec> <floating_pt_type>
244 <integer_type>
245 <char_type>
246 <wide_char_type>
247 <boolean_type>
248 <octet_type>
249 <any_type>
250 <object_type>
251 <value_base_type>
252
253 (47) <template_type_spec> <sequence_type>
254 <string_type>
255 <wide_string_type>
256 <fixed_pt_type>
257
258 (48) <constr_type_spec> <struct_type>
259 <union_type>
260 <enum_type>
261
262 (49) <declarators> <declarator> <declarators'>
263
264 (49) <declarators'> e
265 "," <declarator> <declarators'>
266
267 (50) <declarator> <simple_declarator>
268 <complex_declarator>
269
270 (51) <simple_declarator> <id>
271
272 (52) <complex_declarator> <array_declarator>
273
274 (53) <floating_pt_type> "float"
275 "double"
276 "long" "double"
277
278 (54) <integer_type> <signed_int>
279 <unsigned_int>
280
281 (55) <signed_int> "long"
282 "short"
283 "long" "long"
284
285 // 56-58 omitted
286
287 (59) <unsigned_int> "unsigned" <signed_int>
288
289 // 60-62 omitted
290
291 (63) <char_type> "char"
292
293 (64) <wide_char_type> "wchar"
294
295 (65) <boolean_type> "boolean"
296
297 (66) <octet_type> "octet"
298
299 (67) <any_type> "any"
300
301 (68) <object_type> "Object"
302
303 (69) <struct_type> "struct" <id> "{" <member_list> "}"
304
305 (70) <member_list> <member> <member_list'>
306
307 (70) <member_list'> e
308 <member> <member_list'>
309
310 (71) <member> <type_spec> <declarators> ";"
311
312 (72) <union_type> "union" <id> "switch" "(" <switch_type_spec> ")" "{" <switch_body> "}"
313
314 (73) <switch_type_spec> <integer_type>
315 <char_type>
316 <boolean_type>
317 <enum_type>
318 <scoped_name>
319
320 (74) <switch_body> <case> <switch_body'>
321
322 (74) <switch_body'> e
323 <case> <switch_body'>
324
325 (75) <case> <case_label> <case'> <element_spec> ";"
326
327 (75) <case'> e
328 <case_label> <case'>
329
330 (76) <case_label> "case" <const_exp> ":"
331 "default" ":"
332
333 (77) <element_spec> <type_spec> <declarator>
334
335 (78) <enum_type> "enum" <id> "{" <id> <enum_type'> "}"
336
337 (78) <enum_type'> e
338 "," <id> <enum_type'>
339
340 // 79 omitted
341
342 (80) <sequence_type> "sequence" "<" <simple_type_spec> <sequence_type'>
343
344 (80) <sequence_type'> "," <positive_int_const> ">"
345 ">"
346
347 (81) <string_type> "string"
348 "string" "<" <positive_int_const> ">"
349
350 (82) <wide_string_type> "wstring"
351 "wstring" "<" <positive_int_const> ">"
352
353 (83) <array_declarator> <id> <fixed_array_size>
354
355 (84) <fixed_array_size> "[" <positive_int_const> "]"
356
357 (85) <attr_dcl> "readonly" "attribute" <param_type_spec> <id> <attr_dcl'>
358 "attribute" <param_type_spec> <id> <attr_dcl'>
359
360 (85) <attr_dcl'> e
361 "," <id> <attr_dcl'>
362
363 (86) <except_dcl> "exception" <id> "{" <except_dcl'> "}"
364
365 (86) <except_dcl'> e
366 <member> <except_dcl'>
367
368 (87) <op_dcl> <op_attribute> <op_type_spec> <op_dcl'>
369 <op_type_spec> <op_dcl'>
370
371 (87) <op_dcl'> <id> <parameter_dcls> <op_dcl''>
372 <macroID> <parameter_dcls'> <op_dcl''>
373
374 (87) <op_dcl''> e
375 <context_expr>
376 <raises_expr>
377 <raises_expr> <context_expr>
378
379 (88) <op_attribute> "oneway"
380
381 (89) <op_type_spec> <param_type_spec>
382 "void"
383
384 (90) <parameter_dcls> "(" <parameter_dcls'>
385
386 (90) <parameter_dcls'> <param_dcl> <parameter_dcls''> ")"
387 ")"
388
389 (90) <parameter_dcls''> e
390 "," <param_dcl> <parameter_dcls''>
391
392 (91) <param_dcl> <param_attribute> <param_type_spec> <id>
393
394 (92) <param_attribute> "in"
395 "out"
396 "inout"
397
398 (93) <raises_expr> "raises" "(" <scoped_name> <raises_expr'> ")"
399
400 (93) <raises_expr'> e
401 "," <scoped_name> <raises_expr'>
402
403 (94) <context_expr> "context" "(" <string_literal> <context_expr'> ")"
404
405 (94) <context_expr'> e
406 "," <string_literal> <context_expr'>
407
408 (95) <param_type_spec> <base_type_spec>
409 <string_type>
410 <wide_string_type>
411 <scoped_name>
412
413 (96) <fixed_pt_type> "fixed" "<" <positive_int_const> "," <positive_int_const> ">"
414
415 (97) <fixed_pt_const_type> "fixed"
416
417 (98) <value_base_type> "ValueBase"
418
419 NOTES:
420
421 - #define id(id, id, ...) token-string is a macro definition. There can be no space between the first id and the left paren. Since id( must be treated as a token and id( can also appear in op_dcl, see that production for the effect of this token.
422