Line data Source code
1 : /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2 : /*
3 : * This file is part of the LibreOffice project.
4 : *
5 : * This Source Code Form is subject to the terms of the Mozilla Public
6 : * License, v. 2.0. If a copy of the MPL was not distributed with this
7 : * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 : *
9 : * This file incorporates work covered by the following license notice:
10 : *
11 : * Licensed to the Apache Software Foundation (ASF) under one or more
12 : * contributor license agreements. See the NOTICE file distributed
13 : * with this work for additional information regarding copyright
14 : * ownership. The ASF licenses this file to you under the Apache
15 : * License, Version 2.0 (the "License"); you may not use this file
16 : * except in compliance with the License. You may obtain a copy of
17 : * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 : */
19 :
20 : /*
21 : * parser.yy - BISON grammar for IDLC 1.0
22 : */
23 :
24 : %{
25 : #include <string.h>
26 :
27 : #include <idlc/idlc.hxx>
28 : #include <idlc/errorhandler.hxx>
29 : #include <idlc/fehelper.hxx>
30 : #include <idlc/astexpression.hxx>
31 : #include <idlc/astconstants.hxx>
32 : #include <idlc/astconstant.hxx>
33 : #include <idlc/astbasetype.hxx>
34 : #include <idlc/asttypedef.hxx>
35 : #include <idlc/astexception.hxx>
36 : #include <idlc/astmember.hxx>
37 : #include <idlc/astenum.hxx>
38 : #include <idlc/astsequence.hxx>
39 : #include <idlc/astattribute.hxx>
40 : #include <idlc/astoperation.hxx>
41 : #include <idlc/astparameter.hxx>
42 : #include <idlc/astinterfacemember.hxx>
43 : #include <idlc/astservicemember.hxx>
44 : #include <idlc/astobserves.hxx>
45 : #include <idlc/astneeds.hxx>
46 :
47 : #include "idlc/aststructinstance.hxx"
48 :
49 : #include "attributeexceptions.hxx"
50 :
51 : #include "rtl/strbuf.hxx"
52 : #include <osl/diagnose.h>
53 :
54 : #include <algorithm>
55 : #include <vector>
56 :
57 :
58 : #define YYDEBUG 1
59 : #if !(defined MACOSX && defined PPC)
60 : #define YYERROR_VERBOSE 1
61 : #endif
62 :
63 : using ::rtl::OUString;
64 : using ::rtl::OString;
65 : using ::rtl::OStringToOUString;
66 : using ::rtl::OStringBuffer;
67 :
68 : extern int yylex(void);
69 : void yyerror(char const *);
70 :
71 1636 : void checkIdentifier(::rtl::OString* id)
72 : {
73 : static short check = 0;
74 1636 : if (check == 0) {
75 327 : if (idlc()->getOptions()->isValid("-cid"))
76 0 : check = 1;
77 : else
78 327 : check = 2;
79 : }
80 :
81 1636 : if ( id->indexOf('_') >= 0 )
82 0 : if ( (id->pData->buffer[0] >= 97 && id->pData->buffer[0] <= 122)
83 0 : || id->pData->buffer[0] == '_') {
84 0 : if (check == 1) {
85 0 : ::rtl::OStringBuffer msg(25 + id->getLength());
86 0 : msg.append("mismatched identifier '");
87 0 : msg.append(*id);
88 0 : msg.append("'");
89 : ErrorHandler::syntaxError(idlc()->getParseState(),
90 0 : idlc()->getLineNumber(),
91 0 : msg.getStr());
92 : }
93 : else
94 0 : ErrorHandler::warning0(WIDL_WRONG_NAMING_CONV, id->getStr());
95 : }
96 1636 : }
97 :
98 21 : void reportDoubleMemberDeclarations(
99 : AstInterface::DoubleMemberDeclarations const & doubleMembers)
100 : {
101 87 : for (AstInterface::DoubleMemberDeclarations::const_iterator i(
102 21 : doubleMembers.begin());
103 58 : i != doubleMembers.end(); ++i)
104 : {
105 8 : ErrorHandler::error2(EIDL_DOUBLE_MEMBER, i->first, i->second);
106 : }
107 21 : }
108 :
109 273 : void addInheritedInterface(
110 : AstInterface * ifc, rtl::OString const & name, bool optional,
111 : rtl::OUString const & documentation)
112 : {
113 273 : AstDeclaration * decl = ifc->lookupByName(name);
114 273 : AstDeclaration const * resolved = resolveTypedefs(decl);
115 273 : if (resolved != 0 && resolved->getNodeType() == NT_interface) {
116 273 : if (ErrorHandler::checkPublished(decl)) {
117 271 : if (!static_cast< AstInterface const * >(resolved)->isDefined()) {
118 : ErrorHandler::inheritanceError(
119 2 : NT_interface, &ifc->getScopedName(), decl);
120 : } else {
121 : AstInterface::DoubleDeclarations doubleDecls(
122 : ifc->checkInheritedInterfaceClashes(
123 : static_cast< AstInterface const * >(resolved),
124 269 : optional));
125 538 : if (doubleDecls.interfaces.empty()
126 269 : && doubleDecls.members.empty())
127 : {
128 : ifc->addInheritedInterface(
129 : static_cast< AstType * >(decl), optional,
130 250 : documentation);
131 : } else {
132 96 : for (AstInterface::DoubleInterfaceDeclarations::iterator i(
133 19 : doubleDecls.interfaces.begin());
134 64 : i != doubleDecls.interfaces.end(); ++i)
135 : {
136 : ErrorHandler::error1(
137 13 : EIDL_DOUBLE_INHERITANCE, *i);
138 : }
139 19 : reportDoubleMemberDeclarations(doubleDecls.members);
140 269 : }
141 : }
142 : }
143 : } else {
144 : ErrorHandler::lookupError(
145 0 : EIDL_INTERFACEMEMBER_LOOKUP, name, scopeAsDecl(ifc));
146 : }
147 273 : }
148 :
149 146 : AstDeclaration const * createNamedType(
150 : rtl::OString const * scopedName, DeclList const * typeArgs)
151 : {
152 : AstDeclaration * decl = idlc()->scopes()->topNonNull()->lookupByName(
153 146 : *scopedName);
154 146 : AstDeclaration const * resolved = resolveTypedefs(decl);
155 146 : if (decl == 0) {
156 4 : ErrorHandler::lookupError(*scopedName);
157 142 : } else if (!ErrorHandler::checkPublished(decl)) {
158 20 : decl = 0;
159 122 : } else if (resolved->getNodeType() == NT_struct) {
160 132 : if (static_cast< AstStruct const * >(resolved)->getTypeParameterCount()
161 66 : != (typeArgs == 0 ? 0 : typeArgs->size()))
162 : {
163 7 : ErrorHandler::error0(EIDL_WRONG_NUMBER_OF_TYPE_ARGUMENTS);
164 7 : decl = 0;
165 59 : } else if (typeArgs != 0) {
166 47 : AstScope * global = idlc()->scopes()->bottom();
167 : AstDeclaration * inst = new AstStructInstance(
168 47 : static_cast< AstType * >(decl), typeArgs, global);
169 47 : decl = global->addDeclaration(inst);
170 47 : if (decl != inst) {
171 0 : delete inst;
172 : }
173 : }
174 56 : } else if (decl->isType()) {
175 51 : if (typeArgs != 0) {
176 0 : ErrorHandler::error0(EIDL_WRONG_NUMBER_OF_TYPE_ARGUMENTS);
177 0 : decl = 0;
178 : }
179 : } else {
180 5 : ErrorHandler::noTypeError(decl);
181 5 : decl = 0;
182 : }
183 146 : delete scopedName;
184 146 : delete typeArgs;
185 146 : return decl;
186 : }
187 :
188 85 : bool includes(AstDeclaration const * type1, AstDeclaration const * type2) {
189 : OSL_ASSERT(type2 != 0);
190 85 : if (type1 != 0) {
191 68 : if (type1->getNodeType() == NT_instantiated_struct) {
192 : AstStructInstance const * inst
193 39 : = static_cast< AstStructInstance const * >(type1);
194 39 : if (inst->getTypeTemplate() == type2) {
195 7 : return true;
196 : }
197 177 : for (DeclList::const_iterator i(inst->getTypeArgumentsBegin());
198 118 : i != inst->getTypeArgumentsEnd(); ++i)
199 : {
200 33 : if (includes(*i, type2)) {
201 6 : return true;
202 : }
203 : }
204 29 : } else if (type1 == type2) {
205 3 : return true;
206 : }
207 : }
208 69 : return false;
209 : }
210 :
211 : // Suppress any warnings from generated code:
212 : #if defined _MSC_VER
213 : #pragma warning(push, 1)
214 : #pragma warning(disable: 4273 4701 4702)
215 : #endif
216 : %}
217 : /*
218 : * Declare the type of values in the grammar
219 : */
220 : %union {
221 : ExprType etval; /* Expression type */
222 : AstDeclaration* dclval; /* Declaration */
223 : AstDeclaration const * cdclval;
224 : DeclList * dclsval;
225 : AstExpression* exval; /* expression value */
226 : FeDeclarator* fdval; /* declarator value */
227 : FeDeclList* dlval; /* declarator list value */
228 : FeInheritanceHeader* ihval; /* inheritance header value */
229 : ::rtl::OString* sval; /* OString value */
230 : std::vector< rtl::OString > * svals;
231 : sal_Char* strval; /* sal_Char* value */
232 : bool bval; /* sal_Boolean* value */
233 : sal_Int64 ival; /* sal_Int64 value */
234 : sal_uInt64 uval; /* sal_uInt64 value */
235 : sal_uInt32 ulval; /* sal_uInt32 value */
236 : double dval; /* double value */
237 : float fval; /* float value */
238 : StringList* slval; /* StringList value */
239 : AttributeExceptions::Part attexcpval;
240 : AttributeExceptions attexcval;
241 : }
242 :
243 : /*
244 : * Token types: These are returned by the lexer
245 : */
246 :
247 : %token <sval> IDL_IDENTIFIER
248 : %token IDL_ATTRIBUTE
249 : %token IDL_BOUND
250 : %token IDL_CONST
251 : %token IDL_CONSTANTS
252 : %token IDL_CONSTRAINED
253 : %token IDL_ENUM
254 : %token IDL_EXCEPTION
255 : %token IDL_INTERFACE
256 : %token IDL_MAYBEAMBIGUOUS
257 : %token IDL_MAYBEDEFAULT
258 : %token IDL_MAYBEVOID
259 : %token IDL_MODULE
260 : %token IDL_NEEDS
261 : %token IDL_OBSERVES
262 : %token IDL_OPTIONAL
263 : %token IDL_PROPERTY
264 : %token IDL_RAISES
265 : %token IDL_READONLY
266 : %token IDL_REMOVABLE
267 : %token IDL_SERVICE
268 : %token IDL_SEQUENCE
269 : %token IDL_SINGLETON
270 : %token IDL_STRUCT
271 : %token IDL_TYPEDEF
272 : %token IDL_TRANSIENT
273 :
274 : %token IDL_ANY
275 : %token IDL_CHAR
276 : %token IDL_BOOLEAN
277 : %token IDL_BYTE
278 : %token IDL_DOUBLE
279 : %token IDL_FLOAT
280 : %token IDL_HYPER
281 : %token IDL_LONG
282 : %token IDL_SHORT
283 : %token IDL_VOID
284 : %token IDL_STRING
285 : %token IDL_TYPE
286 : %token IDL_UNSIGNED
287 :
288 : %token IDL_TRUE
289 : %token IDL_FALSE
290 :
291 : %token IDL_IN
292 : %token IDL_OUT
293 : %token IDL_INOUT
294 :
295 : %token IDL_GET
296 : %token IDL_SET
297 :
298 : %token IDL_PUBLISHED
299 :
300 : %token IDL_ELLIPSIS
301 :
302 : %token <strval> IDL_LEFTSHIFT
303 : %token <strval> IDL_RIGHTSHIFT
304 : %token <strval> IDL_SCOPESEPARATOR
305 :
306 : %token <ival> IDL_INTEGER_LITERAL
307 : %token <uval> IDL_INTEGER_ULITERAL
308 : %token <dval> IDL_FLOATING_PT_LITERAL
309 :
310 : /*
311 : * These are production names:
312 : */
313 : %type <dclval> type_dcl
314 : %type <dclval> exception_name
315 : %type <cdclval> constructed_type_spec enum_type op_type_spec
316 : %type <cdclval> sequence_type_spec simple_type_spec struct_type
317 : %type <cdclval> type_spec
318 : %type <cdclval> fundamental_type type_arg type_or_parameter
319 : %type <dclsval> opt_raises raises exception_list
320 : %type <attexcpval> opt_attribute_get_raises attribute_get_raises
321 : %type <attexcpval> opt_attribute_set_raises attribute_set_raises
322 : %type <dclsval> opt_type_args type_args
323 :
324 : %type <sval> identifier
325 : %type <sval> interface_decl
326 : %type <sval> scoped_name inheritance_spec
327 : %type <slval> scoped_names at_least_one_scoped_name
328 :
329 : %type <etval> const_type integer_type char_type boolean_type
330 : %type <etval> floating_pt_type any_type signed_int string_type
331 : %type <etval> unsigned_int base_type_spec byte_type type_type
332 :
333 : %type <exval> expression const_expr or_expr xor_expr and_expr
334 : %type <exval> add_expr mult_expr unary_expr primary_expr shift_expr
335 : %type <exval> literal
336 :
337 : %type <fdval> declarator
338 : %type <dlval> declarators at_least_one_declarator
339 :
340 : %type <ihval> exception_header structure_header interfaceheader
341 :
342 : %type <ulval> flag_header opt_attrflags opt_attrflag
343 : %type <ulval> direction service_interface_header service_service_header
344 :
345 : %type <bval> optional_inherited_interface opt_rest opt_service_body
346 :
347 : %type <attexcval> opt_attribute_block attribute_block_rest opt_attribute_raises
348 :
349 : %type <svals> opt_type_params type_params
350 :
351 : %%
352 : /*
353 : * Grammar start here
354 : */
355 : start : definitions;
356 :
357 : definitions :
358 : definition definitions
359 : | /* EMPTY */
360 : ;
361 :
362 : definition :
363 : opt_published publishable_definition
364 : | module_dcl
365 : {
366 115 : idlc()->setParseState(PS_ModuleDeclSeen);
367 : }
368 115 : ';'
369 : {
370 115 : idlc()->setParseState(PS_NoState);
371 : }
372 115 : | error ';'
373 : {
374 12 : yyerror("definitions");
375 12 : yyerrok;
376 : }
377 12 : ;
378 :
379 : opt_published:
380 136 : IDL_PUBLISHED { idlc()->setPublished(true); }
381 136 : | /* empty */ { idlc()->setPublished(false); }
382 504 : ;
383 :
384 : publishable_definition:
385 : type_dcl
386 : {
387 204 : idlc()->setParseState(PS_TypeDeclSeen);
388 : }
389 204 : ';'
390 : {
391 204 : idlc()->setParseState(PS_NoState);
392 : }
393 204 : | exception_dcl
394 : {
395 40 : idlc()->setParseState(PS_ExceptionDeclSeen);
396 : }
397 40 : ';'
398 : {
399 40 : idlc()->setParseState(PS_NoState);
400 : }
401 40 : | interface
402 : {
403 255 : idlc()->setParseState(PS_InterfaceDeclSeen);
404 : }
405 255 : ';'
406 : {
407 253 : idlc()->setParseState(PS_NoState);
408 : }
409 253 : | service_dcl
410 : {
411 63 : idlc()->setParseState(PS_ServiceDeclSeen);
412 : }
413 63 : ';'
414 : {
415 63 : idlc()->setParseState(PS_NoState);
416 : }
417 63 : | singleton_dcl
418 : {
419 13 : idlc()->setParseState(PS_SingletonDeclSeen);
420 : }
421 13 : ';'
422 : {
423 12 : idlc()->setParseState(PS_NoState);
424 : }
425 12 : | constants_dcl
426 : {
427 62 : idlc()->setParseState(PS_ConstantsDeclSeen);
428 : }
429 62 : ';'
430 : {
431 62 : idlc()->setParseState(PS_NoState);
432 : }
433 62 : ;
434 :
435 : module_dcl :
436 : IDL_MODULE
437 : {
438 115 : idlc()->setParseState(PS_ModuleSeen);
439 115 : idlc()->setPublished(false);
440 : }
441 115 : identifier
442 : {
443 115 : idlc()->setParseState(PS_ModuleIDSeen);
444 115 : checkIdentifier($3);
445 :
446 115 : AstScope* pScope = idlc()->scopes()->topNonNull();
447 115 : AstModule* pModule = NULL;
448 115 : AstDeclaration* pExists = NULL;
449 :
450 115 : if ( pScope )
451 : {
452 115 : pModule = new AstModule(*$3, pScope);
453 115 : if( (pExists = pScope->lookupForAdd(pModule)) )
454 : {
455 107 : pExists->setInMainfile(idlc()->isInMainFile());
456 107 : pExists->setFileName(pModule->getFileName());
457 107 : if (pExists->isPredefined())
458 : {
459 107 : pExists->setPredefined(false);
460 214 : if (pExists->getDocumentation().getLength() == 0 &&
461 107 : pModule->getDocumentation().getLength() > 0)
462 : {
463 0 : pExists->setDocumentation(pModule->getDocumentation());
464 : }
465 : }
466 107 : delete(pModule);
467 107 : pModule = static_cast<AstModule*>(pExists);
468 : } else
469 : {
470 8 : pScope->addDeclaration(pModule);
471 : }
472 115 : idlc()->scopes()->push(pModule);
473 : }
474 115 : delete $3;
475 : }
476 115 : '{'
477 : {
478 115 : idlc()->setParseState(PS_ModuleSqSeen);
479 : }
480 115 : definitions
481 : {
482 115 : idlc()->setParseState(PS_ModuleBodySeen);
483 : }
484 115 : '}'
485 : {
486 115 : idlc()->setParseState(PS_ModuleQsSeen);
487 : /*
488 : * Finished with this module - pop it from the scope stack
489 : */
490 115 : idlc()->scopes()->pop();
491 : }
492 115 : ;
493 :
494 : interface :
495 : interface_dcl
496 : | forward_dcl
497 : ;
498 :
499 : interface_decl :
500 : IDL_INTERFACE
501 : {
502 247 : idlc()->setParseState(PS_InterfaceSeen);
503 : }
504 247 : identifier
505 : {
506 247 : idlc()->setParseState(PS_InterfaceIDSeen);
507 247 : checkIdentifier($3);
508 247 : $$ = $3;
509 : }
510 247 : ;
511 :
512 : forward_dcl :
513 : interface_decl
514 : {
515 7 : idlc()->setParseState(PS_ForwardDeclSeen);
516 :
517 7 : AstScope* pScope = idlc()->scopes()->topNonNull();
518 7 : AstInterface* pForward = NULL;
519 7 : AstDeclaration* pDecl = NULL;
520 :
521 : /*
522 : * Make a new forward interface node and add it to its enclosing scope
523 : */
524 7 : if ( pScope && $1 )
525 : {
526 7 : pForward = new AstInterface(*$1, NULL, pScope);
527 :
528 7 : pDecl = pScope->lookupByName(pForward->getScopedName());
529 7 : if ( pDecl )
530 : {
531 0 : if ( (pDecl != pForward) &&
532 0 : (pDecl->getNodeType() == NT_interface) )
533 : {
534 0 : delete pForward;
535 : } else
536 : {
537 0 : ErrorHandler::error2(EIDL_REDEF_SCOPE, scopeAsDecl(pScope), pDecl);
538 : }
539 : } else
540 : {
541 : /*
542 : * Add the interface to its definition scope
543 : */
544 7 : pScope->addDeclaration(pForward);
545 : }
546 : }
547 7 : delete $1;
548 : }
549 7 : ;
550 :
551 : interface_dcl :
552 : interfaceheader
553 : {
554 240 : idlc()->setParseState(PS_InterfaceHeadSeen);
555 :
556 240 : AstScope* pScope = idlc()->scopes()->topNonNull();
557 240 : AstInterface* pInterface = NULL;
558 240 : AstInterface* pForward = NULL;
559 240 : AstDeclaration* pDecl = NULL;
560 :
561 : /*
562 : * Make a new interface node and add it to its enclosing scope
563 : */
564 240 : if ( pScope && $1 )
565 : {
566 : pInterface = new AstInterface(
567 240 : *$1->getName(),
568 240 : static_cast< AstInterface const * >(resolveTypedefs($1->getInherits())), pScope);
569 240 : if ( (pDecl = pScope->lookupByName(pInterface->getScopedName())) )
570 : {
571 : /*
572 : * See if we're defining a forward declared interface.
573 : */
574 7 : if (pDecl->getNodeType() == NT_interface)
575 : {
576 7 : pForward = static_cast<AstInterface*>(pDecl);
577 7 : if ( !pForward->isDefined() )
578 : {
579 : /*
580 : * Check if redefining in same scope
581 : */
582 4 : if ( pForward->getScope() != pScope )
583 : {
584 0 : if ( pForward->getScopedName() != pInterface->getScopedName() )
585 : {
586 : ErrorHandler::error3(EIDL_SCOPE_CONFLICT,
587 0 : pInterface, pForward, scopeAsDecl(pScope));
588 : }
589 : }
590 8 : else if ( !pInterface->isPublished()
591 4 : && pForward->isPublished() )
592 : {
593 1 : ErrorHandler::error0(EIDL_PUBLISHED_FORWARD);
594 : }
595 : /*
596 : * All OK, set full definition
597 : */
598 : else
599 : {
600 3 : pForward->forwardDefined(*pInterface);
601 3 : delete pInterface;
602 3 : pInterface = pForward;
603 : }
604 : } else {
605 : // special handling for XInterface because it is predefined
606 6 : if ( pForward->isPredefined() &&
607 3 : pForward->getScopedName() == "com::sun::star::uno::XInterface")
608 : {
609 : /* replace the predefined XInterface */
610 3 : *pForward = *pInterface;
611 3 : delete pInterface;
612 3 : pInterface = pForward;
613 : }
614 :
615 : }
616 : }
617 : } else
618 : {
619 : /*
620 : * Add the interface to its definition scope
621 : */
622 233 : pScope->addDeclaration(pInterface);
623 : }
624 : }
625 : /*
626 : * Push it on the scope stack
627 : */
628 240 : idlc()->scopes()->push(pInterface);
629 240 : delete($1);
630 : }
631 240 : '{'
632 : {
633 240 : idlc()->setParseState(PS_InterfaceSqSeen);
634 : }
635 240 : exports
636 : {
637 : AstInterface * ifc = static_cast< AstInterface * >(
638 238 : idlc()->scopes()->topNonNull());
639 476 : if (!ifc->hasMandatoryInheritedInterfaces()
640 238 : && ifc->getScopedName() != "com::sun::star::uno::XInterface")
641 : {
642 : addInheritedInterface(
643 : ifc, rtl::OString("::com::sun::star::uno::XInterface"), false,
644 190 : rtl::OUString());
645 : }
646 238 : ifc->setDefined();
647 238 : idlc()->setParseState(PS_InterfaceBodySeen);
648 : }
649 238 : '}'
650 : {
651 238 : idlc()->setParseState(PS_InterfaceQsSeen);
652 : /*
653 : * Done with this interface - pop it off the scopes stack
654 : */
655 238 : idlc()->scopes()->pop();
656 : }
657 238 : | error '}'
658 : {
659 10 : yyerror("interface definition");
660 10 : yyerrok;
661 : }
662 10 : ;
663 :
664 : interfaceheader :
665 : interface_decl inheritance_spec
666 : {
667 240 : idlc()->setParseState(PS_InheritSpecSeen);
668 :
669 240 : $$ = new FeInheritanceHeader(NT_interface, $1, $2, 0);
670 240 : delete $2;
671 : }
672 240 : ;
673 :
674 : inheritance_spec :
675 : ':'
676 : {
677 37 : idlc()->setParseState(PS_InheritColonSeen);
678 : }
679 37 : scoped_name
680 : {
681 37 : $$ = $3;
682 : }
683 37 : | /* EMPTY */
684 : {
685 373 : $$ = NULL;
686 : }
687 373 : ;
688 :
689 : exports :
690 : exports export
691 : | /* EMPTY */
692 : ;
693 :
694 : export :
695 : attribute
696 : {
697 44 : idlc()->setParseState(PS_AttributeDeclSeen);
698 : }
699 44 : ';'
700 : {
701 44 : idlc()->setParseState(PS_NoState);
702 : }
703 44 : | operation
704 : {
705 44 : idlc()->setParseState(PS_OperationDeclSeen);
706 : }
707 44 : ';'
708 : {
709 44 : idlc()->setParseState(PS_NoState);
710 : }
711 44 : | interface_inheritance_decl
712 : {
713 83 : idlc()->setParseState(PS_InterfaceInheritanceDeclSeen);
714 : }
715 83 : ';'
716 : {
717 83 : idlc()->setParseState(PS_NoState);
718 : }
719 83 : ;
720 :
721 : attribute :
722 : flag_header
723 : simple_type_spec
724 : {
725 44 : idlc()->setParseState(PS_AttrTypeSeen);
726 : }
727 44 : declarator
728 : {
729 44 : idlc()->setParseState(PS_AttrCompleted);
730 44 : if (($1 & ~(AF_BOUND | AF_READONLY)) != AF_ATTRIBUTE) {
731 7 : ErrorHandler::flagError(EIDL_BAD_ATTRIBUTE_FLAGS, $1);
732 : }
733 : AstInterface * scope = static_cast< AstInterface * >(
734 44 : idlc()->scopes()->top());
735 : AstAttribute * attr = new AstAttribute(
736 44 : $1, $4->compose($2), $4->getName(), scope);
737 44 : delete $4;
738 : AstInterface::DoubleMemberDeclarations doubleMembers(
739 44 : scope->checkMemberClashes(attr));
740 44 : if (doubleMembers.empty()) {
741 44 : scope->addMember(attr);
742 : } else {
743 0 : reportDoubleMemberDeclarations(doubleMembers);
744 : }
745 44 : idlc()->scopes()->push(attr);
746 44 : }
747 44 : opt_attribute_block
748 : {
749 44 : static_cast< AstAttribute * >(idlc()->scopes()->top())->setExceptions(
750 : $6.get.documentation, $6.get.exceptions, $6.set.documentation,
751 88 : $6.set.exceptions);
752 44 : delete $6.get.documentation;
753 44 : delete $6.get.exceptions;
754 44 : delete $6.set.documentation;
755 44 : delete $6.set.exceptions;
756 44 : idlc()->scopes()->pop();
757 : }
758 44 : ;
759 :
760 : flag_header :
761 : '[' opt_attrflags ']'
762 : {
763 51 : idlc()->setParseState(PS_FlagHeaderSeen);
764 51 : $$ = $2;
765 : }
766 51 : ;
767 :
768 : opt_attrflags :
769 : opt_attrflags ',' opt_attrflag
770 : {
771 21 : if ( ($1 & $3) == $3 )
772 0 : ErrorHandler::flagError(EIDL_DEFINED_ATTRIBUTEFLAG, $3);
773 :
774 21 : $$ = $1 | $3;
775 : }
776 21 : | opt_attrflag
777 : {
778 53 : $$ = $1;
779 : }
780 53 : ;
781 :
782 : opt_attrflag :
783 : IDL_ATTRIBUTE
784 : {
785 45 : idlc()->setParseState(PS_AttrSeen);
786 45 : $$ = AF_ATTRIBUTE;
787 : }
788 45 : | IDL_PROPERTY
789 : {
790 6 : idlc()->setParseState(PS_PropertySeen);
791 6 : $$ = AF_PROPERTY;
792 : }
793 6 : | IDL_READONLY
794 : {
795 4 : idlc()->setParseState(PS_ReadOnlySeen);
796 4 : $$ = AF_READONLY;
797 : }
798 4 : | IDL_OPTIONAL
799 : {
800 8 : idlc()->setParseState(PS_OptionalSeen);
801 8 : $$ = AF_OPTIONAL;
802 : }
803 8 : | IDL_MAYBEVOID
804 : {
805 1 : idlc()->setParseState(PS_MayBeVoidSeen);
806 1 : $$ = AF_MAYBEVOID;
807 : }
808 1 : | IDL_BOUND
809 : {
810 4 : idlc()->setParseState(PS_BoundSeen);
811 4 : $$ = AF_BOUND;
812 : }
813 4 : | IDL_CONSTRAINED
814 : {
815 1 : idlc()->setParseState(PS_ConstrainedSeen);
816 1 : $$ = AF_CONSTRAINED;
817 : }
818 1 : | IDL_TRANSIENT
819 : {
820 1 : idlc()->setParseState(PS_TransientSeen);
821 1 : $$ = AF_TRANSIENT;
822 : }
823 1 : | IDL_MAYBEAMBIGUOUS
824 : {
825 0 : idlc()->setParseState(PS_MayBeAmbigiousSeen);
826 0 : $$ = AF_MAYBEAMBIGUOUS;
827 : }
828 0 : | IDL_MAYBEDEFAULT
829 : {
830 1 : idlc()->setParseState(PS_MayBeDefaultSeen);
831 1 : $$ = AF_MAYBEDEFAULT;
832 : }
833 1 : | IDL_REMOVABLE
834 : {
835 1 : idlc()->setParseState(PS_RemoveableSeen);
836 1 : $$ = AF_REMOVABLE;
837 : }
838 1 : | error ']'
839 : {
840 2 : yyerror("unknown property|attribute flag");
841 2 : yyerrok;
842 : }
843 2 : ;
844 :
845 : opt_attribute_block:
846 18 : '{' attribute_block_rest { $$ = $2; }
847 18 : | /* empty */
848 : {
849 26 : $$.get.documentation = 0;
850 26 : $$.get.exceptions = 0;
851 26 : $$.set.documentation = 0;
852 26 : $$.set.exceptions = 0;
853 : }
854 26 : ;
855 :
856 : attribute_block_rest:
857 : opt_attribute_raises '}'
858 : | error '}'
859 : {
860 3 : yyerror("bad attribute raises block");
861 3 : yyerrok;
862 3 : $$.get.documentation = 0;
863 3 : $$.get.exceptions = 0;
864 3 : $$.set.documentation = 0;
865 3 : $$.set.exceptions = 0;
866 : }
867 3 : ;
868 :
869 : opt_attribute_raises:
870 : attribute_get_raises
871 : opt_attribute_set_raises
872 : {
873 12 : $$.get = $1;
874 12 : $$.set = $2;
875 : }
876 12 : | attribute_set_raises
877 : opt_attribute_get_raises
878 : {
879 3 : $$.get = $2;
880 3 : $$.set = $1;
881 : }
882 3 : | /* empty */
883 : {
884 1 : $$.get.documentation = 0;
885 1 : $$.get.exceptions = 0;
886 1 : $$.set.documentation = 0;
887 1 : $$.set.exceptions = 0;
888 : }
889 1 : ;
890 :
891 : opt_attribute_get_raises:
892 : attribute_get_raises
893 2 : | /* empty */ { $$.documentation = 0; $$.exceptions = 0; }
894 2 : ;
895 :
896 : attribute_get_raises:
897 : IDL_GET raises ';'
898 : {
899 : $$.documentation = new rtl::OUString(
900 : rtl::OStringToOUString(
901 13 : idlc()->getDocumentation(), RTL_TEXTENCODING_UTF8));
902 13 : $$.exceptions = $2;
903 : }
904 13 : ;
905 :
906 : opt_attribute_set_raises:
907 : attribute_set_raises
908 10 : | /* empty */ { $$.documentation = 0; $$.exceptions = 0; }
909 10 : ;
910 :
911 : attribute_set_raises:
912 : IDL_SET
913 : {
914 12 : if (static_cast< AstAttribute * >(idlc()->scopes()->top())->
915 6 : isReadonly())
916 : {
917 1 : ErrorHandler::error0(EIDL_READONLY_ATTRIBUTE_SET_EXCEPTIONS);
918 : }
919 : }
920 6 : raises ';'
921 : {
922 : $$.documentation = new rtl::OUString(
923 : rtl::OStringToOUString(
924 5 : idlc()->getDocumentation(), RTL_TEXTENCODING_UTF8));
925 5 : $$.exceptions = $3;
926 : }
927 5 : ;
928 :
929 : operation :
930 : op_type_spec
931 : {
932 44 : idlc()->setParseState(PS_OpTypeSeen);
933 : }
934 44 : identifier
935 : {
936 44 : idlc()->setParseState(PS_OpIDSeen);
937 44 : checkIdentifier($3);
938 :
939 : AstInterface * pScope = static_cast< AstInterface * >(
940 44 : idlc()->scopes()->top());
941 44 : AstOperation* pOp = NULL;
942 :
943 : /*
944 : * Create a node representing an operation on an interface
945 : * and add it to its enclosing scope
946 : */
947 44 : if ( pScope && $1 )
948 : {
949 43 : AstType const *pType = static_cast<AstType const *>($1);
950 43 : if ( !pType || (pType->getNodeType() == NT_exception) )
951 : {
952 : // type ERROR
953 : } else
954 : {
955 43 : pOp = new AstOperation(pType, *$3, pScope);
956 :
957 : AstInterface::DoubleMemberDeclarations doubleMembers(
958 43 : pScope->checkMemberClashes(pOp));
959 43 : if (doubleMembers.empty()) {
960 41 : pScope->addMember(pOp);
961 : } else {
962 2 : reportDoubleMemberDeclarations(doubleMembers);
963 43 : }
964 : }
965 : }
966 44 : delete $3;
967 : /*
968 : * Push the operation scope onto the scopes stack
969 : */
970 44 : idlc()->scopes()->push(pOp);
971 : }
972 44 : '('
973 : {
974 44 : idlc()->setParseState(PS_OpSqSeen);
975 : }
976 44 : parameters
977 : {
978 44 : idlc()->setParseState(PS_OpParsCompleted);
979 : }
980 44 : ')'
981 : {
982 44 : idlc()->setParseState(PS_OpQsSeen);
983 : }
984 44 : opt_raises
985 : {
986 44 : AstScope* pScope = idlc()->scopes()->topNonNull();
987 44 : AstOperation* pOp = NULL;
988 : /*
989 : * Add exceptions and context to the operation
990 : */
991 44 : if ( pScope && pScope->getScopeNodeType() == NT_operation)
992 : {
993 43 : pOp = static_cast<AstOperation*>(pScope);
994 :
995 43 : if ( pOp )
996 43 : pOp->setExceptions($11);
997 : }
998 44 : delete $11;
999 : /*
1000 : * Done with this operation. Pop its scope from the scopes stack
1001 : */
1002 44 : idlc()->scopes()->pop();
1003 : }
1004 44 : ;
1005 :
1006 : op_type_spec :
1007 : simple_type_spec
1008 : | IDL_VOID
1009 : {
1010 40 : $$ = idlc()->scopes()->bottom()->lookupPrimitiveType(ET_void);
1011 : }
1012 40 : ;
1013 :
1014 : parameters :
1015 : parameter
1016 : | parameters
1017 : ','
1018 : {
1019 9 : idlc()->setParseState(PS_OpParCommaSeen);
1020 : }
1021 9 : parameter
1022 : | /* EMPTY */
1023 : | error ','
1024 : {
1025 0 : yyerror("parameter definition");
1026 0 : yyerrok;
1027 : }
1028 0 : ;
1029 :
1030 : parameter :
1031 : '['
1032 : direction
1033 : ']'
1034 : {
1035 42 : idlc()->setParseState(PS_OpParDirSeen);
1036 : }
1037 42 : simple_type_spec
1038 : {
1039 42 : idlc()->setParseState(PS_OpParTypeSeen);
1040 : }
1041 42 : opt_rest
1042 : declarator
1043 : {
1044 42 : idlc()->setParseState(PS_OpParDeclSeen);
1045 :
1046 : AstOperation * pScope = static_cast< AstOperation * >(
1047 42 : idlc()->scopes()->top());
1048 42 : AstParameter* pParam = NULL;
1049 :
1050 : /*
1051 : * Create a node representing an argument to an operation
1052 : * Add it to the enclosing scope (the operation scope)
1053 : */
1054 42 : if ( pScope && $5 && $8 )
1055 : {
1056 40 : AstType const * pType = $8->compose($5);
1057 40 : if ( pType )
1058 : {
1059 40 : if (pScope->isConstructor() && $2 != DIR_IN) {
1060 2 : ErrorHandler::error0(EIDL_CONSTRUCTOR_PARAMETER_NOT_IN);
1061 : }
1062 40 : if (pScope->isVariadic()) {
1063 1 : ErrorHandler::error0(EIDL_REST_PARAMETER_NOT_LAST);
1064 : }
1065 40 : if ($7) {
1066 12 : AstDeclaration const * type = resolveTypedefs(pType);
1067 24 : if (type->getNodeType() != NT_predefined
1068 24 : || (static_cast< AstBaseType const * >(type)->
1069 12 : getExprType() != ET_any))
1070 : {
1071 1 : ErrorHandler::error0(EIDL_REST_PARAMETER_NOT_ANY);
1072 : }
1073 12 : if (pScope->isConstructor()) {
1074 30 : if (pScope->getIteratorBegin()
1075 30 : != pScope->getIteratorEnd())
1076 : {
1077 : ErrorHandler::error0(
1078 2 : EIDL_CONSTRUCTOR_REST_PARAMETER_NOT_FIRST);
1079 : }
1080 : } else {
1081 2 : ErrorHandler::error0(EIDL_METHOD_HAS_REST_PARAMETER);
1082 : }
1083 : }
1084 :
1085 : pParam = new AstParameter(
1086 120 : static_cast< Direction >($2), $7, pType, $8->getName(),
1087 120 : pScope);
1088 :
1089 40 : if ( !$8->checkType($5) )
1090 : {
1091 : // WARNING
1092 : }
1093 :
1094 40 : pScope->addDeclaration(pParam);
1095 : }
1096 : }
1097 : }
1098 42 : | error
1099 : simple_type_spec
1100 : {
1101 0 : idlc()->setParseState(PS_NoState);
1102 0 : yyerrok;
1103 : }
1104 0 : ;
1105 :
1106 : direction :
1107 : IDL_IN
1108 : {
1109 39 : $$ = DIR_IN;
1110 : }
1111 39 : | IDL_OUT
1112 : {
1113 3 : $$ = DIR_OUT;
1114 : }
1115 3 : | IDL_INOUT
1116 : {
1117 0 : $$ = DIR_INOUT;
1118 : }
1119 0 : ;
1120 :
1121 : opt_rest:
1122 : IDL_ELLIPSIS
1123 : {
1124 12 : $$ = true;
1125 : }
1126 12 : | /* empty */
1127 : {
1128 30 : $$ = false;
1129 : }
1130 30 : ;
1131 :
1132 : opt_raises:
1133 : raises
1134 : | /* empty */
1135 : {
1136 69 : $$ = 0;
1137 : }
1138 69 : ;
1139 :
1140 : raises:
1141 : IDL_RAISES
1142 : {
1143 28 : idlc()->setParseState(PS_RaiseSeen);
1144 : }
1145 28 : '('
1146 : {
1147 28 : idlc()->setParseState(PS_RaiseSqSeen);
1148 : }
1149 28 : exception_list
1150 : ')'
1151 : {
1152 26 : idlc()->setParseState(PS_RaiseQsSeen);
1153 26 : $$ = $5;
1154 : }
1155 26 : ;
1156 :
1157 : exception_list:
1158 : exception_name
1159 : {
1160 26 : $$ = new DeclList;
1161 26 : $$->push_back($1);
1162 : }
1163 26 : | exception_list ',' exception_name
1164 : {
1165 1 : $1->push_back($3);
1166 1 : $$ = $1;
1167 : }
1168 1 : ;
1169 :
1170 : exception_name:
1171 : scoped_name
1172 : {
1173 : // The topmost scope is either an AstOperation (for interface methods
1174 : // and service constructors) or an AstAttribute (for interface
1175 : // attributes), so look up exception names in the next-to-topmost scope:
1176 : AstDeclaration * decl = idlc()->scopes()->nextToTop()->lookupByName(
1177 27 : *$1);
1178 27 : if (decl == 0) {
1179 0 : ErrorHandler::lookupError(*$1);
1180 27 : } else if (!ErrorHandler::checkPublished(decl)) {
1181 3 : decl = 0;
1182 24 : } else if (decl->getNodeType() != NT_exception) {
1183 2 : ErrorHandler::error1(EIDL_ILLEGAL_RAISES, decl);
1184 2 : decl = 0;
1185 : }
1186 27 : delete $1;
1187 27 : $$ = decl;
1188 : }
1189 27 : ;
1190 :
1191 : interface_inheritance_decl:
1192 : optional_inherited_interface
1193 : IDL_INTERFACE
1194 : {
1195 83 : idlc()->setParseState(PS_ServiceIFHeadSeen);
1196 : }
1197 83 : scoped_name
1198 : {
1199 : AstInterface * ifc = static_cast< AstInterface * >(
1200 83 : idlc()->scopes()->top());
1201 83 : if (ifc->usesSingleInheritance()) {
1202 0 : ErrorHandler::error0(EIDL_MIXED_INHERITANCE);
1203 : } else {
1204 : addInheritedInterface(
1205 83 : ifc, *$4, $1,
1206 : rtl::OStringToOUString(
1207 166 : idlc()->getDocumentation(), RTL_TEXTENCODING_UTF8));
1208 : }
1209 83 : delete $4;
1210 : }
1211 83 : ;
1212 :
1213 : optional_inherited_interface:
1214 42 : '[' IDL_OPTIONAL ']' { $$ = true; }
1215 42 : | /* EMPTY */ { $$ = false; }
1216 41 : ;
1217 :
1218 : constants_exports :
1219 : constants_export constants_exports
1220 : | /* EMPTY */
1221 : ;
1222 :
1223 : constants_export :
1224 : IDL_CONST
1225 : {
1226 113 : idlc()->setParseState(PS_ConstSeen);
1227 : }
1228 113 : const_type
1229 : {
1230 111 : idlc()->setParseState(PS_ConstTypeSeen);
1231 : }
1232 111 : identifier
1233 : {
1234 111 : idlc()->setParseState(PS_ConstIDSeen);
1235 111 : checkIdentifier($5);
1236 : }
1237 111 : '='
1238 : {
1239 111 : idlc()->setParseState(PS_ConstAssignSeen);
1240 : }
1241 111 : expression
1242 : {
1243 111 : idlc()->setParseState(PS_ConstExprSeen);
1244 :
1245 111 : AstScope* pScope = idlc()->scopes()->topNonNull();
1246 111 : AstConstant* pConstant = NULL;
1247 :
1248 111 : if ( $9 && pScope )
1249 : {
1250 111 : if ( !$9->coerce($3) )
1251 : {
1252 38 : ErrorHandler::coercionError($9, $3);
1253 : } else
1254 : {
1255 73 : pConstant = new AstConstant($3, $9, *$5, pScope);
1256 73 : pScope->addDeclaration(pConstant);
1257 : }
1258 : }
1259 111 : delete $5;
1260 :
1261 111 : idlc()->setParseState(PS_ConstantDeclSeen);
1262 : }
1263 111 : ';' {};
1264 111 : ;
1265 :
1266 : constants_dcl :
1267 : IDL_CONSTANTS
1268 : {
1269 66 : idlc()->setParseState(PS_ConstantsSeen);
1270 : }
1271 66 : identifier
1272 : {
1273 66 : idlc()->setParseState(PS_ConstantsIDSeen);
1274 66 : checkIdentifier($3);
1275 : }
1276 66 : '{'
1277 : {
1278 66 : idlc()->setParseState(PS_ConstantsSqSeen);
1279 :
1280 66 : AstScope* pScope = idlc()->scopes()->topNonNull();
1281 66 : AstConstants* pConstants = NULL;
1282 66 : AstDeclaration* pExists = NULL;
1283 :
1284 66 : if ( pScope )
1285 : {
1286 66 : pConstants = new AstConstants(*$3, pScope);
1287 66 : if( (pExists = pScope->lookupForAdd(pConstants)) )
1288 : {
1289 0 : pExists->setInMainfile(idlc()->isInMainFile());
1290 0 : delete(pConstants);
1291 0 : pConstants = static_cast<AstConstants*>(pExists);
1292 : } else
1293 : {
1294 66 : pScope->addDeclaration(pConstants);
1295 : }
1296 66 : idlc()->scopes()->push(pConstants);
1297 : }
1298 66 : delete $3;
1299 : }
1300 66 : constants_exports
1301 : {
1302 64 : idlc()->setParseState(PS_ConstantsBodySeen);
1303 : }
1304 64 : '}'
1305 : {
1306 62 : idlc()->setParseState(PS_ConstantsQsSeen);
1307 : /*
1308 : * Finished with this constants - pop it from the scope stack
1309 : */
1310 62 : idlc()->scopes()->pop();
1311 : }
1312 62 : ;
1313 :
1314 : expression : const_expr ;
1315 :
1316 : const_expr : or_expr ;
1317 :
1318 : or_expr :
1319 : xor_expr
1320 : | or_expr '|' xor_expr
1321 : {
1322 0 : $$ = new AstExpression(EC_or, $1, $3);
1323 : }
1324 0 : ;
1325 :
1326 : xor_expr :
1327 : and_expr
1328 : | xor_expr '^' and_expr
1329 : {
1330 0 : $$ = new AstExpression(EC_xor, $1, $3);
1331 : }
1332 0 : ;
1333 :
1334 : and_expr :
1335 : shift_expr
1336 : | and_expr '&' shift_expr
1337 : {
1338 0 : $$ = new AstExpression(EC_and, $1, $3);
1339 : }
1340 0 : ;
1341 :
1342 : shift_expr :
1343 : add_expr
1344 : | shift_expr IDL_LEFTSHIFT add_expr
1345 : {
1346 0 : $$ = new AstExpression(EC_left, $1, $3);
1347 : }
1348 0 : | shift_expr IDL_RIGHTSHIFT add_expr
1349 : {
1350 0 : $$ = new AstExpression(EC_right, $1, $3);
1351 : }
1352 0 : ;
1353 :
1354 : add_expr :
1355 : mult_expr
1356 : | add_expr '+' mult_expr
1357 : {
1358 6 : $$ = new AstExpression(EC_add, $1, $3);
1359 : }
1360 6 : | add_expr '-' mult_expr
1361 : {
1362 0 : $$ = new AstExpression(EC_minus, $1, $3);
1363 : }
1364 0 : ;
1365 :
1366 : mult_expr :
1367 : unary_expr
1368 : | mult_expr '*' unary_expr
1369 : {
1370 0 : $$ = new AstExpression(EC_mul, $1, $3);
1371 : }
1372 0 : | mult_expr '/' unary_expr
1373 : {
1374 0 : $$ = new AstExpression(EC_div, $1, $3);
1375 : }
1376 0 : | mult_expr '%' unary_expr
1377 : {
1378 0 : $$ = new AstExpression(EC_mod, $1, $3);
1379 : }
1380 0 : ;
1381 :
1382 : unary_expr :
1383 : primary_expr
1384 : | '+' primary_expr
1385 : {
1386 0 : $$ = new AstExpression(EC_u_plus, $2, NULL);
1387 : }
1388 0 : | '-' primary_expr
1389 : {
1390 0 : $$ = new AstExpression(EC_u_minus, $2, NULL);
1391 : }
1392 0 : | '~' primary_expr
1393 : {
1394 : }
1395 0 : ;
1396 :
1397 : primary_expr :
1398 : scoped_name
1399 : {
1400 : /*
1401 : * An expression which is a scoped name is not resolved now,
1402 : * but only when it is evaluated (such as when it is assigned
1403 : * as a constant value)
1404 : */
1405 6 : $$ = new AstExpression($1);
1406 : }
1407 6 : | literal
1408 : | '(' const_expr ')'
1409 : {
1410 0 : $$ = $2;
1411 : }
1412 0 : ;
1413 :
1414 : literal :
1415 : IDL_INTEGER_LITERAL
1416 : {
1417 102 : $$ = new AstExpression($1);
1418 : }
1419 102 : | IDL_INTEGER_ULITERAL
1420 : {
1421 6 : $$ = new AstExpression($1);
1422 : }
1423 6 : | IDL_FLOATING_PT_LITERAL
1424 : {
1425 2 : $$ = new AstExpression($1);
1426 : }
1427 2 : | IDL_TRUE
1428 : {
1429 0 : $$ = new AstExpression((sal_Int32)1, ET_boolean);
1430 : }
1431 0 : | IDL_FALSE
1432 : {
1433 1 : $$ = new AstExpression((sal_Int32)0, ET_boolean);
1434 : }
1435 1 : ;
1436 :
1437 : const_type :
1438 : integer_type
1439 : | byte_type
1440 : | boolean_type
1441 : | floating_pt_type
1442 : | scoped_name
1443 : {
1444 4 : AstScope* pScope = idlc()->scopes()->topNonNull();
1445 4 : AstDeclaration const * type = 0;
1446 :
1447 : /*
1448 : * If the constant's type is a scoped name, it must resolve
1449 : * to a scalar constant type
1450 : */
1451 4 : if ( pScope && (type = pScope->lookupByName(*$1)) ) {
1452 4 : if (!ErrorHandler::checkPublished(type))
1453 : {
1454 1 : type = 0;
1455 1 : $$ = ET_none;
1456 : }
1457 : else
1458 : {
1459 3 : type = resolveTypedefs(type);
1460 3 : if (type->getNodeType() == NT_predefined)
1461 : {
1462 : $$ = static_cast< AstBaseType const * >(type)->
1463 3 : getExprType();
1464 : } else
1465 0 : $$ = ET_any;
1466 : }
1467 : } else
1468 0 : $$ = ET_any;
1469 : }
1470 4 : ;
1471 :
1472 : exception_header :
1473 : IDL_EXCEPTION
1474 : {
1475 40 : idlc()->setParseState(PS_ExceptSeen);
1476 : }
1477 40 : identifier
1478 : {
1479 40 : idlc()->setParseState(PS_ExceptIDSeen);
1480 40 : checkIdentifier($3);
1481 : }
1482 40 : inheritance_spec
1483 : {
1484 40 : idlc()->setParseState(PS_InheritSpecSeen);
1485 :
1486 40 : $$ = new FeInheritanceHeader(NT_exception, $3, $5, 0);
1487 40 : delete $5;
1488 : }
1489 40 : ;
1490 :
1491 : exception_dcl :
1492 : exception_header
1493 : {
1494 40 : idlc()->setParseState(PS_ExceptHeaderSeen);
1495 :
1496 40 : AstScope* pScope = idlc()->scopes()->topNonNull();
1497 40 : AstException* pExcept = NULL;
1498 :
1499 40 : if ( pScope )
1500 : {
1501 : AstException* pBase = static_cast< AstException* >(
1502 40 : $1->getInherits());
1503 40 : pExcept = new AstException(*$1->getName(), pBase, pScope);
1504 40 : pScope->addDeclaration(pExcept);
1505 : }
1506 : /*
1507 : * Push the scope of the exception on the scopes stack
1508 : */
1509 40 : idlc()->scopes()->push(pExcept);
1510 40 : delete $1;
1511 : }
1512 40 : '{'
1513 : {
1514 40 : idlc()->setParseState(PS_ExceptSqSeen);
1515 : }
1516 40 : members
1517 : {
1518 40 : idlc()->setParseState(PS_ExceptBodySeen);
1519 : }
1520 40 : '}'
1521 : {
1522 40 : idlc()->setParseState(PS_ExceptQsSeen);
1523 : /* this exception is finished, pop its scope from the stack */
1524 40 : idlc()->scopes()->pop();
1525 : }
1526 40 : ;
1527 :
1528 : property :
1529 : flag_header
1530 : simple_type_spec
1531 : {
1532 5 : idlc()->setParseState(PS_PropertyTypeSeen);
1533 : }
1534 5 : at_least_one_declarator
1535 : {
1536 5 : idlc()->setParseState(PS_PropertyCompleted);
1537 :
1538 5 : AstScope* pScope = idlc()->scopes()->topNonNull();
1539 5 : AstAttribute* pAttr = NULL;
1540 5 : FeDeclList* pList = $4;
1541 5 : FeDeclarator* pDecl = NULL;
1542 5 : AstType const * pType = NULL;
1543 :
1544 5 : if ( pScope->getScopeNodeType() == NT_singleton )
1545 : {
1546 0 : ErrorHandler::error0(EIDL_ILLEGAL_ADD);
1547 : } else
1548 : {
1549 5 : if ( ($1 & AF_ATTRIBUTE) == AF_ATTRIBUTE )
1550 0 : ErrorHandler::flagError(EIDL_WRONGATTRIBUTEKEYWORD, AF_ATTRIBUTE);
1551 :
1552 5 : if ( ($1 & AF_PROPERTY) != AF_PROPERTY )
1553 0 : ErrorHandler::flagError(EIDL_MISSINGATTRIBUTEKEYWORD, AF_PROPERTY);
1554 :
1555 : /*
1556 : * Create nodes representing attributes and add them to the
1557 : * enclosing scope
1558 : */
1559 5 : if ( pScope && $2 && pList )
1560 : {
1561 1 : FeDeclList::iterator iter = pList->begin();
1562 1 : FeDeclList::iterator end = pList->end();
1563 :
1564 3 : while (iter != end)
1565 : {
1566 1 : pDecl = (*iter);
1567 1 : if ( !pDecl )
1568 : {
1569 0 : iter++;
1570 0 : continue;
1571 : }
1572 :
1573 1 : pType = pDecl->compose($2);
1574 :
1575 1 : if ( !pType )
1576 : {
1577 0 : iter++;
1578 0 : continue;
1579 : }
1580 :
1581 1 : pAttr = new AstAttribute(NT_property, $1, pType, pDecl->getName(), pScope);
1582 :
1583 1 : pScope->addDeclaration(pAttr);
1584 1 : iter++;
1585 1 : delete pDecl;
1586 : }
1587 : }
1588 : }
1589 :
1590 5 : if ( pList )
1591 5 : delete pList;
1592 : }
1593 5 : | error ';'
1594 : {
1595 0 : yyerror("property");
1596 0 : yyerrok;
1597 : }
1598 0 : ;
1599 :
1600 : service_exports :
1601 : service_exports service_export
1602 : | /* EMPTY */
1603 : ;
1604 :
1605 : service_export :
1606 : service_interface_header
1607 : at_least_one_scoped_name
1608 : ';'
1609 : {
1610 6 : idlc()->setParseState(PS_ServiceMemberSeen);
1611 :
1612 6 : AstScope* pScope = idlc()->scopes()->topNonNull();
1613 6 : AstDeclaration* pDecl = NULL;
1614 6 : AstInterfaceMember* pIMember = NULL;
1615 :
1616 6 : if ( pScope->getScopeNodeType() == NT_singleton )
1617 : {
1618 0 : ErrorHandler::error0(EIDL_ILLEGAL_ADD);
1619 : } else
1620 : {
1621 : /*
1622 : * Create a node representing a class member.
1623 : * Store it in the enclosing scope
1624 : */
1625 6 : if ( pScope && $2 )
1626 : {
1627 6 : StringList::iterator iter = $2->begin();
1628 6 : StringList::iterator end = $2->end();
1629 :
1630 18 : while ( iter != end )
1631 : {
1632 6 : pDecl = pScope->lookupByName(*iter);
1633 6 : if ( pDecl && (pDecl->getNodeType() == NT_interface) )
1634 : {
1635 : /* we relax the strict published check and allow to add new
1636 : * interfaces if they are optional
1637 : */
1638 6 : bool bOptional = (($1 & AF_OPTIONAL) == AF_OPTIONAL);
1639 6 : if ( ErrorHandler::checkPublished(pDecl, bOptional) )
1640 : {
1641 : pIMember = new AstInterfaceMember(
1642 5 : $1, static_cast<AstInterface*>(pDecl), *iter, pScope);
1643 5 : pScope->addDeclaration(pIMember);
1644 : }
1645 : } else
1646 : {
1647 0 : ErrorHandler::lookupError(EIDL_INTERFACEMEMBER_LOOKUP, *iter, scopeAsDecl(pScope));
1648 : }
1649 6 : iter++;
1650 : }
1651 : }
1652 : }
1653 6 : delete $2;
1654 : }
1655 6 : | service_service_header
1656 : at_least_one_scoped_name
1657 : ';'
1658 : {
1659 14 : idlc()->setParseState(PS_ServiceMemberSeen);
1660 :
1661 14 : AstScope* pScope = idlc()->scopes()->topNonNull();
1662 14 : AstDeclaration* pDecl = NULL;
1663 14 : AstServiceMember* pSMember = NULL;
1664 :
1665 : /*
1666 : * Create a node representing a class member.
1667 : * Store it in the enclosing scope
1668 : */
1669 14 : if ( pScope && $2 )
1670 : {
1671 14 : StringList::iterator iter = $2->begin();
1672 14 : StringList::iterator end = $2->end();
1673 :
1674 42 : while ( iter != end )
1675 : {
1676 14 : pDecl = pScope->lookupByName(*iter);
1677 14 : if ( pDecl && (pDecl->getNodeType() == NT_service) )
1678 : {
1679 14 : if ( static_cast< AstService * >(pDecl)->isSingleInterfaceBasedService() || (pScope->getScopeNodeType() == NT_singleton && pScope->nMembers() > 0) )
1680 2 : ErrorHandler::error0(EIDL_ILLEGAL_ADD);
1681 12 : else if ( ErrorHandler::checkPublished(pDecl) )
1682 : {
1683 : pSMember = new AstServiceMember(
1684 9 : $1, static_cast<AstService*>(pDecl), *iter, pScope);
1685 9 : pScope->addDeclaration(pSMember);
1686 : }
1687 : } else
1688 : {
1689 0 : ErrorHandler::lookupError(EIDL_SERVICEMEMBER_LOOKUP, *iter, scopeAsDecl(pScope));
1690 : }
1691 14 : iter++;
1692 : }
1693 : }
1694 14 : delete $2;
1695 : }
1696 14 : | IDL_OBSERVES
1697 : at_least_one_scoped_name
1698 : ';'
1699 : {
1700 0 : idlc()->setParseState(PS_ServiceMemberSeen);
1701 :
1702 0 : AstScope* pScope = idlc()->scopes()->topNonNull();
1703 0 : AstDeclaration* pDecl = NULL;
1704 0 : AstObserves* pObserves = NULL;
1705 :
1706 0 : if ( pScope->getScopeNodeType() == NT_singleton )
1707 : {
1708 0 : ErrorHandler::error0(EIDL_ILLEGAL_ADD);
1709 : } else
1710 : {
1711 : /*
1712 : * Create a node representing a class member.
1713 : * Store it in the enclosing scope
1714 : */
1715 0 : if ( pScope && $2 )
1716 : {
1717 0 : StringList::iterator iter = $2->begin();
1718 0 : StringList::iterator end = $2->end();
1719 :
1720 0 : while ( iter != end )
1721 : {
1722 0 : pDecl = pScope->lookupByName(*iter);
1723 0 : if ( pDecl && (pDecl->getNodeType() == NT_interface) )
1724 : {
1725 0 : pObserves = new AstObserves(static_cast<AstInterface*>(pDecl), *iter, pScope);
1726 0 : pScope->addDeclaration(pObserves);
1727 : } else
1728 : {
1729 0 : ErrorHandler::lookupError(EIDL_INTERFACEMEMBER_LOOKUP, *iter, scopeAsDecl(pScope));
1730 : }
1731 0 : iter++;
1732 : }
1733 : }
1734 : }
1735 0 : delete $2;
1736 : }
1737 0 : | IDL_NEEDS
1738 : at_least_one_scoped_name
1739 : ';'
1740 : {
1741 0 : idlc()->setParseState(PS_ServiceMemberSeen);
1742 :
1743 0 : AstScope* pScope = idlc()->scopes()->topNonNull();
1744 0 : AstDeclaration* pDecl = NULL;
1745 0 : AstNeeds* pNeeds = NULL;
1746 :
1747 0 : if ( pScope->getScopeNodeType() == NT_singleton )
1748 : {
1749 0 : ErrorHandler::error0(EIDL_ILLEGAL_ADD);
1750 : } else
1751 : {
1752 : /*
1753 : * Create a node representing a class member.
1754 : * Store it in the enclosing scope
1755 : */
1756 0 : if ( pScope && $2 )
1757 : {
1758 0 : StringList::iterator iter = $2->begin();
1759 0 : StringList::iterator end = $2->end();
1760 :
1761 0 : while ( iter != end )
1762 : {
1763 0 : pDecl = pScope->lookupByName(*iter);
1764 0 : if ( pDecl && (pDecl->getNodeType() == NT_service) )
1765 : {
1766 0 : pNeeds = new AstNeeds(static_cast<AstService*>(pDecl), *iter, pScope);
1767 0 : pScope->addDeclaration(pNeeds);
1768 : } else
1769 : {
1770 0 : ErrorHandler::lookupError(EIDL_SERVICEMEMBER_LOOKUP, *iter, scopeAsDecl(pScope));
1771 : }
1772 0 : iter++;
1773 : }
1774 : }
1775 : }
1776 0 : delete $2;
1777 : }
1778 0 : | property
1779 : ';'
1780 : {
1781 5 : idlc()->setParseState(PS_PropertyDeclSeen);
1782 : }
1783 5 : ;
1784 :
1785 : service_interface_header :
1786 : IDL_INTERFACE
1787 : {
1788 5 : idlc()->setParseState(PS_ServiceIFHeadSeen);
1789 5 : $$ = AF_INVALID;
1790 : }
1791 5 : | flag_header
1792 : IDL_INTERFACE
1793 : {
1794 1 : idlc()->setParseState(PS_ServiceIFHeadSeen);
1795 1 : if ( (AF_OPTIONAL != $1) && ( AF_INVALID != $1) )
1796 0 : ErrorHandler::flagError(EIDL_OPTIONALEXPECTED, $1);
1797 1 : $$ = $1;
1798 : }
1799 1 : ;
1800 :
1801 : service_service_header :
1802 : IDL_SERVICE
1803 : {
1804 13 : idlc()->setParseState(PS_ServiceSHeadSeen);
1805 13 : $$ = AF_INVALID;
1806 : }
1807 13 : | flag_header
1808 : IDL_SERVICE
1809 : {
1810 1 : idlc()->setParseState(PS_ServiceSHeadSeen);
1811 1 : if ( (AF_OPTIONAL != $1) && ( AF_INVALID != $1) )
1812 0 : ErrorHandler::flagError(EIDL_OPTIONALEXPECTED, $1);
1813 1 : $$ = $1;
1814 : }
1815 1 : ;
1816 :
1817 : service_dcl :
1818 : IDL_SERVICE
1819 : {
1820 63 : idlc()->setParseState(PS_ServiceSeen);
1821 : }
1822 63 : identifier
1823 : {
1824 63 : idlc()->setParseState(PS_ServiceIDSeen);
1825 63 : checkIdentifier($3);
1826 :
1827 63 : AstScope* pScope = idlc()->scopes()->topNonNull();
1828 63 : AstService* pService = NULL;
1829 :
1830 : /*
1831 : * Make a new service and add it to the enclosing scope
1832 : */
1833 63 : if (pScope != NULL)
1834 : {
1835 63 : pService = new AstService(*$3, pScope);
1836 63 : pScope->addDeclaration(pService);
1837 : }
1838 63 : delete $3;
1839 : /*
1840 : * Push it on the stack
1841 : */
1842 63 : idlc()->scopes()->push(pService);
1843 : }
1844 63 : service_dfn
1845 : {
1846 : /* this service is finished, pop its scope from the stack */
1847 63 : idlc()->scopes()->pop();
1848 : }
1849 63 : ;
1850 :
1851 : service_dfn:
1852 : service_interface_dfn
1853 : | service_obsolete_dfn
1854 : ;
1855 :
1856 : service_interface_dfn:
1857 : ':' scoped_name
1858 : {
1859 34 : AstScope * scope = idlc()->scopes()->nextToTop();
1860 : // skip the scope pushed by service_dcl
1861 34 : AstDeclaration * decl = scope->lookupByName(*$2);
1862 34 : if (decl != 0 && resolveTypedefs(decl)->getNodeType() == NT_interface) {
1863 34 : if (ErrorHandler::checkPublished(decl)) {
1864 33 : idlc()->scopes()->top()->addDeclaration(decl);
1865 : }
1866 : } else {
1867 : ErrorHandler::lookupError(
1868 0 : EIDL_INTERFACEMEMBER_LOOKUP, *$2, scopeAsDecl(scope));
1869 : }
1870 34 : delete $2;
1871 : }
1872 34 : opt_service_body
1873 : {
1874 34 : AstService * s = static_cast< AstService * >(idlc()->scopes()->top());
1875 34 : if (s != 0) {
1876 34 : s->setSingleInterfaceBasedService();
1877 34 : s->setDefaultConstructor(!$4);
1878 : }
1879 : }
1880 34 : ;
1881 :
1882 : opt_service_body:
1883 27 : service_body { $$ = true; }
1884 27 : | /* empty */ { $$ = false; }
1885 7 : ;
1886 :
1887 : service_body:
1888 : '{'
1889 : constructors
1890 : '}'
1891 : ;
1892 :
1893 : constructors:
1894 : constructors constructor
1895 : | /* empty */
1896 : ;
1897 :
1898 : constructor:
1899 : identifier
1900 : {
1901 33 : checkIdentifier($1);
1902 33 : AstScope * scope = idlc()->scopes()->top();
1903 33 : AstOperation * ctor = new AstOperation(0, *$1, scope);
1904 33 : delete $1;
1905 33 : scope->addDeclaration(ctor);
1906 33 : idlc()->scopes()->push(ctor);
1907 : }
1908 33 : '('
1909 : parameters
1910 : ')'
1911 : opt_raises
1912 : {
1913 33 : static_cast< AstOperation * >(idlc()->scopes()->top())->setExceptions(
1914 66 : $6);
1915 33 : delete $6;
1916 33 : idlc()->scopes()->pop();
1917 66 : if (static_cast< AstService * >(idlc()->scopes()->top())->
1918 33 : checkLastConstructor())
1919 : {
1920 3 : ErrorHandler::error0(EIDL_SIMILAR_CONSTRUCTORS);
1921 : }
1922 : }
1923 33 : ';'
1924 : ;
1925 :
1926 : singleton_dcl :
1927 : IDL_SINGLETON
1928 : {
1929 13 : idlc()->setParseState(PS_SingletonSeen);
1930 : }
1931 13 : identifier
1932 : {
1933 13 : idlc()->setParseState(PS_SingletonIDSeen);
1934 13 : checkIdentifier($3);
1935 :
1936 13 : AstScope* pScope = idlc()->scopes()->topNonNull();
1937 13 : AstService* pService = NULL;
1938 :
1939 : /*
1940 : * Make a new service and add it to the enclosing scope
1941 : */
1942 13 : if (pScope != NULL)
1943 : {
1944 13 : pService = new AstService(NT_singleton, *$3, pScope);
1945 13 : pScope->addDeclaration(pService);
1946 : }
1947 13 : delete $3;
1948 : /*
1949 : * Push it on the stack
1950 : */
1951 13 : idlc()->scopes()->push(pService);
1952 : }
1953 13 : singleton_dfn
1954 : {
1955 : /* this singelton is finished, pop its scope from the stack */
1956 13 : idlc()->scopes()->pop();
1957 : }
1958 13 : ;
1959 :
1960 : singleton_dfn:
1961 : singleton_interface_dfn
1962 : | service_obsolete_dfn
1963 : ;
1964 :
1965 : singleton_interface_dfn:
1966 : ':' scoped_name
1967 : {
1968 6 : AstScope * scope = idlc()->scopes()->nextToTop();
1969 : // skip the scope (needlessly) pushed by singleton_dcl
1970 6 : AstDeclaration * decl = scope->lookupByName(*$2);
1971 6 : if (decl != 0 && resolveTypedefs(decl)->getNodeType() == NT_interface) {
1972 6 : if (ErrorHandler::checkPublished(decl)) {
1973 5 : idlc()->scopes()->top()->addDeclaration(decl);
1974 : }
1975 : } else {
1976 : ErrorHandler::lookupError(
1977 0 : EIDL_INTERFACEMEMBER_LOOKUP, *$2, scopeAsDecl(scope));
1978 : }
1979 6 : delete $2;
1980 : }
1981 6 : ;
1982 :
1983 : service_obsolete_dfn:
1984 : '{'
1985 : {
1986 : idlc()->setParseState(
1987 36 : idlc()->scopes()->top()->getScopeNodeType() == NT_service
1988 36 : ? PS_ServiceSqSeen : PS_SingletonSqSeen);
1989 : }
1990 36 : service_exports
1991 : {
1992 : idlc()->setParseState(
1993 36 : idlc()->scopes()->top()->getScopeNodeType() == NT_service
1994 36 : ? PS_ServiceBodySeen : PS_SingletonBodySeen);
1995 : }
1996 36 : '}'
1997 : {
1998 : idlc()->setParseState(
1999 36 : idlc()->scopes()->top()->getScopeNodeType() == NT_service
2000 36 : ? PS_ServiceQsSeen : PS_SingletonQsSeen);
2001 : }
2002 36 : ;
2003 :
2004 : type_dcl :
2005 : IDL_TYPEDEF
2006 : {
2007 39 : idlc()->setParseState(PS_TypedefSeen);
2008 : }
2009 39 : type_declarator {}
2010 38 : | struct_type {}
2011 125 : | enum_type {}
2012 41 : ;
2013 :
2014 : type_declarator :
2015 : type_spec
2016 : {
2017 38 : idlc()->setParseState(PS_TypeSpecSeen);
2018 38 : if ($1 != 0 && $1->getNodeType() == NT_instantiated_struct) {
2019 1 : ErrorHandler::error0(EIDL_INSTANTIATED_STRUCT_TYPE_TYPEDEF);
2020 : }
2021 : }
2022 38 : at_least_one_declarator
2023 : {
2024 38 : idlc()->setParseState(PS_DeclaratorsSeen);
2025 :
2026 38 : AstScope* pScope = idlc()->scopes()->topNonNull();
2027 38 : AstTypeDef* pTypeDef = NULL;
2028 38 : FeDeclList* pList = $3;
2029 38 : FeDeclarator* pDecl = NULL;
2030 38 : AstType const * pType = NULL;
2031 :
2032 : /*
2033 : * Create nodes representing typedefs and add them to the
2034 : * enclosing scope
2035 : */
2036 38 : if ( pScope && $1 && pList )
2037 : {
2038 32 : FeDeclList::iterator iter = pList->begin();
2039 32 : FeDeclList::iterator end = pList->end();
2040 :
2041 96 : while (iter != end)
2042 : {
2043 32 : pDecl = (*iter);
2044 32 : if ( !pDecl )
2045 : {
2046 0 : iter++;
2047 0 : continue;
2048 : }
2049 :
2050 32 : pType = pDecl->compose($1);
2051 :
2052 32 : if ( !pType )
2053 : {
2054 0 : iter++;
2055 0 : continue;
2056 : }
2057 :
2058 32 : pTypeDef = new AstTypeDef(pType, pDecl->getName(), pScope);
2059 :
2060 32 : pScope->addDeclaration(pTypeDef);
2061 32 : iter++;
2062 32 : delete pDecl;
2063 : }
2064 32 : delete pList;
2065 : }
2066 : }
2067 38 : ;
2068 :
2069 : at_least_one_declarator :
2070 : declarator declarators
2071 : {
2072 171 : if ( $2 )
2073 : {
2074 0 : $2->push_back($1);
2075 0 : $$ = $2;
2076 : } else
2077 : {
2078 171 : FeDeclList* pList = new FeDeclList();
2079 171 : pList->push_back($1);
2080 171 : $$ = pList;
2081 : }
2082 : }
2083 171 : ;
2084 :
2085 : declarators :
2086 : declarators
2087 : ','
2088 : {
2089 0 : idlc()->setParseState(PS_DeclsCommaSeen);
2090 : }
2091 0 : declarator
2092 : {
2093 0 : idlc()->setParseState(PS_DeclsDeclSeen);
2094 0 : if ( $1 )
2095 : {
2096 0 : $1->push_back($4);
2097 0 : $$ = $1;
2098 : } else
2099 : {
2100 0 : FeDeclList* pList = new FeDeclList();
2101 0 : pList->push_back($4);
2102 0 : $$ = pList;
2103 : }
2104 : }
2105 0 : | /* EMPTY */
2106 : {
2107 171 : $$ = NULL;
2108 : }
2109 171 : ;
2110 :
2111 : declarator :
2112 : identifier
2113 : {
2114 : // For historic reasons, the struct com.sun.star.uno.Uik contains
2115 : // members with illegal names (of the form "m_DataN"); avoid useless
2116 : // warnings about them:
2117 257 : AstScope * scope = idlc()->scopes()->top();
2118 514 : if (scope == 0 || scope->getScopeNodeType() != NT_struct
2119 505 : || (scopeAsDecl(scope)->getScopedName()
2120 124 : != "com::sun::star::uno::Uik"))
2121 : {
2122 257 : checkIdentifier($1);
2123 : }
2124 :
2125 257 : $$ = new FeDeclarator(*$1, FeDeclarator::FD_simple, NULL);
2126 257 : delete $1;
2127 : }
2128 257 : ;
2129 :
2130 : at_least_one_scoped_name :
2131 : scoped_name scoped_names
2132 : {
2133 20 : if ($2)
2134 : {
2135 0 : $2->push_front(*$1);
2136 0 : $$ = $2;
2137 : } else
2138 : {
2139 20 : StringList* pScopedNames = new StringList();
2140 : // coverity [copy_paste_error]
2141 20 : pScopedNames->push_back(*$1);
2142 20 : $$ = pScopedNames;
2143 : }
2144 20 : delete($1);
2145 : }
2146 20 : ;
2147 :
2148 : scoped_names :
2149 : scoped_names
2150 : ','
2151 : {
2152 0 : idlc()->setParseState(PS_SNListCommaSeen);
2153 : }
2154 0 : scoped_name
2155 : {
2156 0 : idlc()->setParseState(PS_ScopedNameSeen);
2157 0 : if ($1)
2158 : {
2159 0 : $1->push_back(*$4);
2160 0 : $$ = $1;
2161 : } else
2162 : {
2163 0 : StringList* pNames = new StringList();
2164 0 : pNames->push_back(*$4);
2165 0 : $$ = pNames;
2166 : }
2167 0 : delete($4);
2168 : }
2169 0 : | /* EMPTY */
2170 : {
2171 20 : $$ = NULL;
2172 : }
2173 20 : ;
2174 :
2175 : scoped_name :
2176 : identifier
2177 : {
2178 388 : idlc()->setParseState(PS_SN_IDSeen);
2179 388 : checkIdentifier($1);
2180 388 : $$ = $1;
2181 : }
2182 388 : | IDL_SCOPESEPARATOR
2183 : {
2184 3 : idlc()->setParseState(PS_ScopeDelimSeen);
2185 : }
2186 3 : identifier
2187 : {
2188 3 : checkIdentifier($3);
2189 3 : OString* pName = new OString("::");
2190 3 : *pName += *$3;
2191 3 : delete $3;
2192 3 : $$ = pName;
2193 : }
2194 3 : | scoped_name
2195 : IDL_SCOPESEPARATOR
2196 : {
2197 : }
2198 44 : identifier
2199 : {
2200 44 : checkIdentifier($4);
2201 44 : *$1 += ::rtl::OString("::");
2202 44 : *$1 += *$4;
2203 44 : delete $4;
2204 44 : $$ = $1;
2205 : }
2206 44 : ;
2207 :
2208 : type_spec :
2209 : simple_type_spec
2210 : | constructed_type_spec
2211 : ;
2212 :
2213 : simple_type_spec :
2214 : fundamental_type
2215 : | scoped_name opt_type_args
2216 : {
2217 94 : $$ = createNamedType($1, $2);
2218 : }
2219 94 : ;
2220 :
2221 : fundamental_type:
2222 : base_type_spec
2223 : {
2224 144 : $$ = idlc()->scopes()->bottom()->lookupPrimitiveType($1);
2225 : }
2226 144 : | sequence_type_spec
2227 : ;
2228 :
2229 : opt_type_args:
2230 53 : '<' type_args '>' { $$ = $2; }
2231 53 : | /* empty */ { $$ = 0; }
2232 119 : ;
2233 :
2234 : type_args:
2235 : type_arg
2236 : {
2237 55 : $$ = new DeclList;
2238 55 : $$->push_back(const_cast< AstDeclaration * >($1)); //TODO: const_cast
2239 : }
2240 55 : | type_args ',' type_arg
2241 : {
2242 2 : $1->push_back(const_cast< AstDeclaration * >($3)); //TODO: const_cast
2243 2 : $$ = $1;
2244 : }
2245 2 : ;
2246 :
2247 : type_arg:
2248 : simple_type_spec
2249 : {
2250 57 : if ($1 != 0 && static_cast< AstType const * >($1)->isUnsigned()) {
2251 7 : ErrorHandler::error0(EIDL_UNSIGNED_TYPE_ARGUMENT);
2252 : }
2253 57 : $$ = $1;
2254 : }
2255 57 : ;
2256 :
2257 : base_type_spec :
2258 : integer_type
2259 : | floating_pt_type
2260 : | char_type
2261 : | boolean_type
2262 : | byte_type
2263 : | any_type
2264 : | type_type
2265 : | string_type
2266 : ;
2267 :
2268 : integer_type :
2269 : signed_int
2270 : | unsigned_int
2271 : ;
2272 :
2273 : signed_int :
2274 : IDL_LONG
2275 : {
2276 146 : $$ = ET_long;
2277 : }
2278 146 : | IDL_HYPER
2279 : {
2280 13 : $$ = ET_hyper;
2281 : }
2282 13 : | IDL_SHORT
2283 : {
2284 16 : $$ = ET_short;
2285 : }
2286 16 : ;
2287 :
2288 : unsigned_int :
2289 : IDL_UNSIGNED IDL_LONG
2290 : {
2291 13 : $$ = ET_ulong;
2292 : }
2293 13 : | IDL_UNSIGNED IDL_HYPER
2294 : {
2295 13 : $$ = ET_uhyper;
2296 : }
2297 13 : | IDL_UNSIGNED IDL_SHORT
2298 : {
2299 17 : $$ = ET_ushort;
2300 : }
2301 17 : ;
2302 :
2303 : floating_pt_type :
2304 : IDL_DOUBLE
2305 : {
2306 1 : $$ = ET_double;
2307 : }
2308 1 : | IDL_FLOAT
2309 : {
2310 1 : $$ = ET_float;
2311 : }
2312 1 : ;
2313 :
2314 : char_type :
2315 : IDL_CHAR
2316 : {
2317 1 : $$ = ET_char;
2318 : }
2319 1 : ;
2320 :
2321 : byte_type :
2322 : IDL_BYTE
2323 : {
2324 16 : $$ = ET_byte;
2325 : }
2326 16 : ;
2327 :
2328 : boolean_type :
2329 : IDL_BOOLEAN
2330 : {
2331 1 : $$ = ET_boolean;
2332 : }
2333 1 : ;
2334 :
2335 : any_type :
2336 : IDL_ANY
2337 : {
2338 12 : $$ = ET_any;
2339 : }
2340 12 : ;
2341 :
2342 : type_type :
2343 : IDL_TYPE
2344 : {
2345 0 : $$ = ET_type;
2346 : }
2347 0 : ;
2348 :
2349 : string_type :
2350 : IDL_STRING
2351 : {
2352 1 : $$ = ET_string;
2353 : }
2354 1 : ;
2355 :
2356 : constructed_type_spec :
2357 : struct_type
2358 : | enum_type
2359 : ;
2360 :
2361 : sequence_type_spec :
2362 : IDL_SEQUENCE
2363 : {
2364 21 : idlc()->setParseState(PS_SequenceSeen);
2365 : /*
2366 : * Push a sequence marker on scopes stack
2367 : */
2368 21 : idlc()->scopes()->push(NULL);
2369 : }
2370 21 : '<'
2371 : {
2372 21 : idlc()->setParseState(PS_SequenceSqSeen);
2373 : }
2374 21 : simple_type_spec
2375 : {
2376 21 : idlc()->setParseState(PS_SequenceTypeSeen);
2377 : }
2378 21 : '>'
2379 : {
2380 20 : idlc()->setParseState(PS_SequenceQsSeen);
2381 : /*
2382 : * Remove sequence marker from scopes stack
2383 : */
2384 20 : if (idlc()->scopes()->top() == NULL)
2385 20 : idlc()->scopes()->pop();
2386 : /*
2387 : * Create a node representing a sequence
2388 : */
2389 20 : AstScope* pScope = idlc()->scopes()->bottom();
2390 20 : AstDeclaration* pDecl = NULL;
2391 20 : AstDeclaration* pSeq = NULL;
2392 :
2393 20 : if ( $5 )
2394 : {
2395 18 : AstType const *pType = static_cast<AstType const *>($5);
2396 18 : if ( pType )
2397 : {
2398 18 : pSeq = new AstSequence(pType, pScope);
2399 : /*
2400 : * Add this AstSequence to the types defined in the global scope
2401 : */
2402 18 : pDecl = pScope->addDeclaration(pSeq);
2403 18 : if ( pSeq != pDecl )
2404 : {
2405 : // if sequence type already defined then use it
2406 0 : delete pSeq;
2407 0 : pSeq = pDecl;
2408 : }
2409 : }
2410 : }
2411 20 : $$ = pSeq;
2412 : }
2413 20 : | error '>'
2414 : {
2415 3 : yyerror("sequence declaration");
2416 3 : yyerrok;
2417 3 : $$ = 0;
2418 : }
2419 3 : ;
2420 :
2421 : struct_type :
2422 : structure_header
2423 : {
2424 130 : idlc()->setParseState(PS_StructHeaderSeen);
2425 :
2426 130 : AstScope* pScope = idlc()->scopes()->topNonNull();
2427 130 : AstStruct* pStruct = NULL;
2428 :
2429 130 : if ( pScope )
2430 : {
2431 130 : AstStruct const* pBase= static_cast< AstStruct const* >(resolveTypedefs($1->getInherits()));
2432 : pStruct = new AstStruct(
2433 130 : *$1->getName(), $1->getTypeParameters(), pBase, pScope);
2434 130 : pScope->addDeclaration(pStruct);
2435 : }
2436 : /*
2437 : * Push the scope of the struct on the scopes stack
2438 : */
2439 130 : idlc()->scopes()->push(pStruct);
2440 130 : delete $1;
2441 : }
2442 130 : '{'
2443 : {
2444 128 : idlc()->setParseState(PS_StructSqSeen);
2445 : }
2446 128 : at_least_one_member
2447 : {
2448 125 : idlc()->setParseState(PS_StructBodySeen);
2449 : }
2450 125 : '}'
2451 : {
2452 125 : idlc()->setParseState(PS_StructQsSeen);
2453 : /* this exception is finished, pop its scope from the stack */
2454 125 : idlc()->scopes()->pop();
2455 : }
2456 125 : ;
2457 :
2458 : structure_header :
2459 : IDL_STRUCT
2460 : {
2461 130 : idlc()->setParseState(PS_StructSeen);
2462 : }
2463 130 : identifier
2464 : {
2465 130 : idlc()->setParseState(PS_StructIDSeen);
2466 130 : checkIdentifier($3);
2467 : }
2468 130 : opt_type_params
2469 : inheritance_spec
2470 : {
2471 130 : idlc()->setParseState(PS_InheritSpecSeen);
2472 :
2473 : // Polymorphic struct type templates with base types would cause various
2474 : // problems in language bindings, so forbid them here. For example,
2475 : // GCC prior to version 3.4 fails with code like
2476 : //
2477 : // struct Base { ... };
2478 : // template< typename typeparam_T > struct Derived: public Base {
2479 : // int member1 CPPU_GCC3_ALIGN(Base);
2480 : // ... };
2481 : //
2482 : // (Note that plain struct types with instantiated polymorphic struct
2483 : // type bases, which might also cause problems in language bindings, are
2484 : // already rejected on a syntactic level.)
2485 130 : if ($5 != 0 && $6 != 0) {
2486 2 : ErrorHandler::error0(EIDL_STRUCT_TYPE_TEMPLATE_WITH_BASE);
2487 : }
2488 :
2489 130 : $$ = new FeInheritanceHeader(NT_struct, $3, $6, $5);
2490 130 : delete $5;
2491 130 : delete $6;
2492 : }
2493 130 : ;
2494 :
2495 : opt_type_params:
2496 71 : '<' type_params '>' { $$ = $2; }
2497 71 : | /* empty */ { $$ = 0; }
2498 59 : ;
2499 :
2500 : type_params:
2501 : identifier
2502 : {
2503 71 : $$ = new std::vector< rtl::OString >;
2504 71 : $$->push_back(*$1);
2505 71 : delete $1;
2506 : }
2507 71 : | type_params ',' identifier
2508 : {
2509 4 : if (std::find($1->begin(), $1->end(), *$3) != $1->end()) {
2510 1 : ErrorHandler::error0(EIDL_IDENTICAL_TYPE_PARAMETERS);
2511 : }
2512 4 : $1->push_back(*$3);
2513 4 : delete $3;
2514 4 : $$ = $1;
2515 : }
2516 4 : ;
2517 :
2518 : at_least_one_member : member members ;
2519 :
2520 : members :
2521 : members member
2522 : | /* EMPTY */
2523 : ;
2524 :
2525 : member :
2526 : type_or_parameter
2527 : {
2528 128 : idlc()->setParseState(PS_MemberTypeSeen);
2529 : }
2530 128 : at_least_one_declarator
2531 : {
2532 128 : idlc()->setParseState(PS_MemberDeclsSeen);
2533 : }
2534 128 : ';'
2535 : {
2536 128 : idlc()->setParseState(PS_MemberDeclsCompleted);
2537 :
2538 128 : AstScope* pScope = idlc()->scopes()->topNonNull();
2539 128 : AstMember* pMember = NULL;
2540 128 : FeDeclList* pList = $3;
2541 128 : FeDeclarator* pDecl = NULL;
2542 128 : AstType const * pType = NULL;
2543 :
2544 : // !!! check recursive type
2545 :
2546 128 : if ( pScope && pList && $1 )
2547 : {
2548 105 : FeDeclList::iterator iter = pList->begin();
2549 105 : FeDeclList::iterator end = pList->end();
2550 315 : while (iter != end)
2551 : {
2552 105 : pDecl = (*iter);
2553 105 : if ( !pDecl )
2554 : {
2555 0 : iter++;
2556 0 : continue;
2557 : }
2558 :
2559 105 : pType = pDecl->compose($1);
2560 :
2561 105 : if ( !pType )
2562 : {
2563 0 : iter++;
2564 0 : continue;
2565 : }
2566 :
2567 105 : pMember = new AstMember(pType, pDecl->getName(), pScope);
2568 :
2569 105 : if ( !pDecl->checkType($1) )
2570 : {
2571 : // WARNING
2572 : }
2573 :
2574 105 : pScope->addDeclaration(pMember);
2575 105 : iter++;
2576 105 : delete pDecl;
2577 : }
2578 105 : delete pList;
2579 : }
2580 : }
2581 128 : | error ';'
2582 : {
2583 1 : yyerror("member definition");
2584 1 : yyerrok;
2585 : }
2586 1 : ;
2587 :
2588 : type_or_parameter:
2589 : fundamental_type
2590 : | scoped_name opt_type_args
2591 : {
2592 78 : AstDeclaration const * decl = 0;
2593 78 : AstStruct * scope = static_cast< AstStruct * >(idlc()->scopes()->top());
2594 78 : if (scope != 0 && $2 == 0) {
2595 42 : decl = scope->findTypeParameter(*$1);
2596 : }
2597 78 : if (decl != 0) {
2598 26 : delete $1;
2599 26 : delete $2;
2600 : } else {
2601 52 : decl = createNamedType($1, $2);
2602 52 : if (scope != 0 && includes(decl, scopeAsDecl(scope))) {
2603 : ErrorHandler::error1(
2604 10 : EIDL_RECURSIVE_TYPE, scopeAsDecl(scope));
2605 10 : decl = 0;
2606 : }
2607 : }
2608 78 : $$ = decl;
2609 : }
2610 78 : ;
2611 :
2612 : enum_type :
2613 : IDL_ENUM
2614 : {
2615 41 : idlc()->setParseState(PS_EnumSeen);
2616 : }
2617 41 : identifier
2618 : {
2619 41 : idlc()->setParseState(PS_EnumIDSeen);
2620 41 : checkIdentifier($3);
2621 :
2622 41 : AstScope* pScope = idlc()->scopes()->topNonNull();
2623 41 : AstEnum* pEnum = NULL;
2624 :
2625 : /*
2626 : * Create a node representing an enum and add it to its
2627 : * enclosing scope
2628 : */
2629 41 : if (pScope != NULL)
2630 : {
2631 41 : pEnum = new AstEnum(*$3, pScope);
2632 : /*
2633 : * Add it to its defining scope
2634 : */
2635 41 : pScope->addDeclaration(pEnum);
2636 : }
2637 41 : delete $3;
2638 : /*
2639 : * Push the enum scope on the scopes stack
2640 : */
2641 41 : idlc()->scopes()->push(pEnum);
2642 :
2643 : }
2644 41 : '{'
2645 : {
2646 41 : idlc()->setParseState(PS_EnumSqSeen);
2647 : }
2648 41 : at_least_one_enumerator
2649 : {
2650 41 : idlc()->setParseState(PS_EnumBodySeen);
2651 : }
2652 41 : '}'
2653 : {
2654 41 : idlc()->setParseState(PS_EnumQsSeen);
2655 : /*
2656 : * Done with this enum. Pop its scope from the scopes stack
2657 : */
2658 41 : if (idlc()->scopes()->top() == NULL)
2659 0 : $$ = NULL;
2660 : else
2661 : {
2662 41 : $$ = static_cast<AstEnum*>(idlc()->scopes()->topNonNull());
2663 41 : idlc()->scopes()->pop();
2664 : }
2665 : }
2666 41 : ;
2667 :
2668 : at_least_one_enumerator : enumerator enumerators ;
2669 :
2670 : enumerators :
2671 : enumerators
2672 : ','
2673 : {
2674 0 : idlc()->setParseState(PS_EnumCommaSeen);
2675 : }
2676 0 : enumerator
2677 : | /* EMPTY */
2678 : | error ','
2679 : {
2680 0 : yyerror("enumerator definition");
2681 0 : yyerrok;
2682 : }
2683 0 : ;
2684 :
2685 : enumerator :
2686 : identifier
2687 : {
2688 41 : checkIdentifier($1);
2689 :
2690 41 : AstScope* pScope = idlc()->scopes()->topNonNull();
2691 41 : AstEnum* pEnum = NULL;
2692 41 : AstConstant* pEnumVal = NULL;
2693 :
2694 41 : if ( pScope && pScope->getScopeNodeType() == NT_enum)
2695 : {
2696 41 : pEnum = static_cast<AstEnum*>(pScope);
2697 41 : if (pEnum && $1)
2698 : {
2699 41 : AstExpression* pExpr = new AstExpression(pEnum->getEnumValueCount());
2700 : pEnumVal = new AstConstant(ET_long , NT_enum_val,
2701 41 : pExpr, *$1, pScope);
2702 : }
2703 41 : if ( pEnum->checkValue(pEnumVal->getConstValue()) )
2704 0 : ErrorHandler::error1(EIDL_EVAL_ERROR, pEnum);
2705 :
2706 41 : pScope->addDeclaration(pEnumVal);
2707 : }
2708 41 : delete $1;
2709 : }
2710 41 : | identifier
2711 : '='
2712 : const_expr
2713 : {
2714 0 : checkIdentifier($1);
2715 :
2716 0 : AstScope* pScope = idlc()->scopes()->topNonNull();
2717 0 : AstEnum* pEnum = NULL;
2718 0 : AstConstant* pEnumVal = NULL;
2719 :
2720 0 : if ( $3 && pScope && pScope->getScopeNodeType() == NT_enum)
2721 : {
2722 0 : $3->evaluate(EK_const);
2723 0 : if ( $3->coerce(ET_long) )
2724 : {
2725 0 : pEnum = static_cast<AstEnum*>(pScope);
2726 0 : if (pEnum)
2727 : {
2728 : pEnumVal = new AstConstant(ET_long , NT_enum_val,
2729 0 : $3, *$1, pScope);
2730 : }
2731 0 : if ( pEnum->checkValue(pEnumVal->getConstValue()) )
2732 0 : ErrorHandler::error1(EIDL_EVAL_ERROR, pEnum);
2733 :
2734 0 : pScope->addDeclaration(pEnumVal);
2735 : } else
2736 : {
2737 0 : ErrorHandler::coercionError($3, ET_long);
2738 0 : delete $3;
2739 : }
2740 : }
2741 0 : delete $1;
2742 : }
2743 0 : ;
2744 :
2745 : identifier:
2746 : IDL_IDENTIFIER
2747 0 : | IDL_GET { $$ = new OString("get"); }
2748 0 : | IDL_SET { $$ = new OString("set"); }
2749 0 : | IDL_PUBLISHED { $$ = new OString("published"); }
2750 0 : ;
2751 :
2752 : %%
2753 :
2754 : /*
2755 : * Report an error situation discovered in a production
2756 : */
2757 68 : void yyerror(char const *errmsg)
2758 : {
2759 68 : ErrorHandler::syntaxError(idlc()->getParseState(), idlc()->getLineNumber(), errmsg);
2760 68 : idlc()->setParseState(PS_NoState);
2761 68 : }
2762 :
2763 : /* vim:set shiftwidth=4 softtabstop=4 expandtab: */
|
