diff options
Diffstat (limited to 'TAO/TAO_IDL/ast/ast_union.cpp')
-rw-r--r-- | TAO/TAO_IDL/ast/ast_union.cpp | 557 |
1 files changed, 0 insertions, 557 deletions
diff --git a/TAO/TAO_IDL/ast/ast_union.cpp b/TAO/TAO_IDL/ast/ast_union.cpp deleted file mode 100644 index 7cb74273141..00000000000 --- a/TAO/TAO_IDL/ast/ast_union.cpp +++ /dev/null @@ -1,557 +0,0 @@ -// $Id$ - -/* - -COPYRIGHT - -Copyright 1992, 1993, 1994 Sun Microsystems, Inc. Printed in the United -States of America. All Rights Reserved. - -This product is protected by copyright and distributed under the following -license restricting its use. - -The Interface Definition Language Compiler Front End (CFE) is made -available for your use provided that you include this license and copyright -notice on all media and documentation and the software program in which -this product is incorporated in whole or part. You may copy and extend -functionality (but may not remove functionality) of the Interface -Definition Language CFE without charge, but you are not authorized to -license or distribute it to anyone else except as part of a product or -program developed by you or with the express written consent of Sun -Microsystems, Inc. ("Sun"). - -The names of Sun Microsystems, Inc. and any of its subsidiaries or -affiliates may not be used in advertising or publicity pertaining to -distribution of Interface Definition Language CFE as permitted herein. - -This license is effective until terminated by Sun for failure to comply -with this license. Upon termination, you shall destroy or return all code -and documentation for the Interface Definition Language CFE. - -INTERFACE DEFINITION LANGUAGE CFE IS PROVIDED AS IS WITH NO WARRANTIES OF -ANY KIND INCLUDING THE WARRANTIES OF DESIGN, MERCHANTIBILITY AND FITNESS -FOR A PARTICULAR PURPOSE, NONINFRINGEMENT, OR ARISING FROM A COURSE OF -DEALING, USAGE OR TRADE PRACTICE. - -INTERFACE DEFINITION LANGUAGE CFE IS PROVIDED WITH NO SUPPORT AND WITHOUT -ANY OBLIGATION ON THE PART OF Sun OR ANY OF ITS SUBSIDIARIES OR AFFILIATES -TO ASSIST IN ITS USE, CORRECTION, MODIFICATION OR ENHANCEMENT. - -SUN OR ANY OF ITS SUBSIDIARIES OR AFFILIATES SHALL HAVE NO LIABILITY WITH -RESPECT TO THE INFRINGEMENT OF COPYRIGHTS, TRADE SECRETS OR ANY PATENTS BY -INTERFACE DEFINITION LANGUAGE CFE OR ANY PART THEREOF. - -IN NO EVENT WILL SUN OR ANY OF ITS SUBSIDIARIES OR AFFILIATES BE LIABLE FOR -ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL, INDIRECT AND CONSEQUENTIAL -DAMAGES, EVEN IF SUN HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. - -Use, duplication, or disclosure by the government is subject to -restrictions as set forth in subparagraph (c)(1)(ii) of the Rights in -Technical Data and Computer Software clause at DFARS 252.227-7013 and FAR -52.227-19. - -Sun, Sun Microsystems and the Sun logo are trademarks or registered -trademarks of Sun Microsystems, Inc. - -SunSoft, Inc. -2550 Garcia Avenue -Mountain View, California 94043 - -NOTE: - -SunOS, SunSoft, Sun, Solaris, Sun Microsystems or the Sun logo are -trademarks or registered trademarks of Sun Microsystems, Inc. - - */ - -/* - * ast_union.cc - Implementation of class AST_Union - * - * AST_Union nodes represent IDL union declarations. - * AST_Union is a subclass of AST_ConcreteType and of UTL_Scope (the - * union branches are managed in a scope). - * AST_Union nodes have a discriminator type (a subclass of AST_ConcreteType), - * a name (an UTL_ScopedName) and a field denoting the discriminator type if - * it is a primitive type (the value of this field is from the union - * AST_Expression::ExprType and serves as a cache). This field is used - * to compute coercions for labels based on the expected discriminator type. - */ - -#include "idl.h" -#include "idl_extern.h" - -ACE_RCSID(ast, ast_union, "$Id$") - -/* - * Constructor(s) and destructor - */ -AST_Union::AST_Union() -{ -} - -AST_Union::AST_Union(AST_ConcreteType *dt, UTL_ScopedName *n, UTL_StrList *p) - : AST_Decl(AST_Decl::NT_union, n, p), - UTL_Scope(AST_Decl::NT_union) -{ - AST_PredefinedType *pdt; - - if (dt == NULL) { - pd_disc_type = NULL; - pd_udisc_type = AST_Expression::EV_none; - return; - } - /* - * If the discriminator type is a predefined type - * then install the equivalent coercion target type in - * the pd_udisc_type field. - */ - if (dt->node_type() == AST_Decl::NT_pre_defined) { - pdt = AST_PredefinedType::narrow_from_decl(dt); - if (pdt == NULL) { - pd_disc_type = NULL; - pd_udisc_type = AST_Expression::EV_none; - return; - } - pd_disc_type = dt; - switch (pdt->pt()) { - case AST_PredefinedType::PT_long: - pd_udisc_type = AST_Expression::EV_long; - break; - case AST_PredefinedType::PT_ulong: - pd_udisc_type = AST_Expression::EV_ulong; - break; - case AST_PredefinedType::PT_short: - pd_udisc_type = AST_Expression::EV_short; - break; - case AST_PredefinedType::PT_ushort: - pd_udisc_type = AST_Expression::EV_ushort; - break; - case AST_PredefinedType::PT_char: - pd_udisc_type = AST_Expression::EV_char; - break; - case AST_PredefinedType::PT_octet: - pd_udisc_type = AST_Expression::EV_octet; - break; - case AST_PredefinedType::PT_boolean: - pd_udisc_type = AST_Expression::EV_bool; - break; - default: - pd_udisc_type = AST_Expression::EV_none; - pd_disc_type = NULL; - break; - } - } else if (dt->node_type() == AST_Decl::NT_enum) { - pd_udisc_type = AST_Expression::EV_any; - pd_disc_type = dt; - } else { - pd_udisc_type = AST_Expression::EV_none; - pd_disc_type = NULL; - } - - if (pd_disc_type == NULL) - idl_global->err()->error2(UTL_Error::EIDL_DISC_TYPE, this, dt); -} - -/* - * Private operations - */ - -/* - * Look up the default branch in union - */ -AST_UnionBranch * -AST_Union::lookup_default() -{ - UTL_ScopeActiveIterator *i = new UTL_ScopeActiveIterator(this, IK_both); - AST_UnionBranch *b; - AST_Decl *d; - - while (!(i->is_done())) { - d = i->item(); - if (d->node_type() == AST_Decl::NT_union_branch) { - b = AST_UnionBranch::narrow_from_decl(d); - if (b == NULL) { - i->next(); - continue; - } - if (b->label() != NULL && - b->label()->label_kind() == AST_UnionLabel::UL_default) { - idl_global->err()->error2(UTL_Error::EIDL_MULTIPLE_BRANCH, this, b); - delete i; - return b; - } - } - i->next(); - } - delete i; - return NULL; -} - -/* - * Look up a branch by label - */ -AST_UnionBranch * -AST_Union::lookup_label(AST_UnionBranch *b) -{ - AST_UnionLabel *l = b->label(); - UTL_ScopeActiveIterator *i; - AST_Decl *d; - AST_UnionBranch *fb; - - if (l->label_val() == NULL) - return b; - l->label_val()->set_ev(l->label_val()->coerce(pd_udisc_type)); - if (l->label_val()->ev() == NULL) { - idl_global->err()->eval_error(l->label_val()); - return b; - } - - i = new UTL_ScopeActiveIterator(this, IK_decls); - - while (!(i->is_done())) { - d = i->item(); - if (d->node_type() == AST_Decl::NT_union_branch) { - fb = AST_UnionBranch::narrow_from_decl(d); - if (fb == NULL) { - i->next(); - continue; - } - if (fb->label() != NULL && - fb->label()->label_kind() == AST_UnionLabel::UL_label && - fb->label()->label_val()->compare(l->label_val())) { - idl_global->err()->error2(UTL_Error::EIDL_MULTIPLE_BRANCH, this, b); - delete i; - return b; - } - } - i->next(); - } - delete i; - return NULL; -} - -/* - * Look up a branch in an enum which is the discriminator type for this - * union, based on the label value which must be an enumerator in that - * enum. - */ -AST_UnionBranch * -AST_Union::lookup_enum(AST_UnionBranch *b) -{ - AST_UnionLabel *l = b->label(); - AST_Expression *v; - AST_Enum *e = AST_Enum::narrow_from_decl(pd_disc_type); - UTL_ScopeActiveIterator *i; - AST_Decl *d; - AST_UnionBranch *fb; - - if (e == NULL) return NULL; - if (l->label_val() == NULL) - return b; - v = l->label_val(); - /* - * Expecting a symbol label - */ - if (v->ec() != AST_Expression::EC_symbol) { - idl_global->err()->enum_val_expected(this, l); - return b; - } - /* - * See if the symbol defines a constant in the discriminator enum - */ - d = e->lookup_by_name(v->n(), I_TRUE); - if (d == NULL || d->defined_in() != e) { - idl_global->err()->enum_val_lookup_failure(this, e, v->n()); - return b; - } - /* - * OK, now see if this symbol is already used as the label of - * some other branch - */ - i = new UTL_ScopeActiveIterator(this, IK_decls); - while (!(i->is_done())) { - d = i->item(); - if (d->node_type() == AST_Decl::NT_union_branch) { - fb = AST_UnionBranch::narrow_from_decl(d); - if (fb == NULL) { - i->next(); - continue; - } - if (fb->label() != NULL && - fb->label()->label_kind() == AST_UnionLabel::UL_label && - fb->label()->label_val()->compare (l->label_val())) { - idl_global->err()->error2(UTL_Error::EIDL_MULTIPLE_BRANCH, this, b); - delete i; - return b; - } - } - i->next(); - } - delete i; - return NULL; -} - -/* - * Look up a branch by value. This is the top level branch label resolution - * entry point. It dispatches to the right lookup function depending on the - * union discriminator type. - */ -AST_UnionBranch * -AST_Union::lookup_branch(AST_UnionBranch *branch) -{ - AST_UnionLabel *l = NULL; - - if (branch != NULL) - l = branch->label(); - - if (l != NULL) { - if (l->label_kind() == AST_UnionLabel::UL_default) - return lookup_default(); - if (pd_udisc_type == AST_Expression::EV_any) - /* CONVENTION: indicates enum discr */ - return lookup_enum(branch); - return lookup_label(branch); - } - return NULL; -} - -/* - * Public operations - */ - -/* - * Redefinition of inherited virtual operations - */ - -/* - * Add this AST_UnionBranch node (a node representing one branch in a - * union declaration) to this scope - */ -AST_UnionBranch *AST_Union::fe_add_union_branch(AST_UnionBranch *t) -{ - AST_Decl *d; - - /* - * If this is a malformed branch, don't do anything with it - */ - if (t == NULL || t->label() == NULL) - return NULL; - /* - * If branch with that label already exists, complain - */ - if (lookup_branch(t) != NULL) { - idl_global->err()->error2(UTL_Error::EIDL_MULTIPLE_BRANCH, this, t); - return NULL; - } - /* - * If branch with same field name exists, complain - */ - if ((d = lookup_for_add(t, I_FALSE)) != NULL) { - if (!can_be_redefined(d)) { - idl_global->err()->error3(UTL_Error::EIDL_REDEF, t, this, d); - return NULL; - } - if (referenced(d)) { - idl_global->err()->error3(UTL_Error::EIDL_DEF_USE, t, this, d); - return NULL; - } - if (t->has_ancestor(d)) { - idl_global->err()->redefinition_in_scope(t, d); - return NULL; - } - } - /* - * Add it to scope - */ - add_to_scope(t); - /* - * Add it to set of locally referenced symbols - */ - add_to_referenced(t, I_FALSE); - - return t; -} - -/* - * Add this AST_Union (manifest union type) to this scope - */ -AST_Union *AST_Union::fe_add_union(AST_Union *t) -{ - AST_Decl *d; - - /* - * Already defined and cannot be redefined? Or already used? - */ - if ((d = lookup_for_add(t, I_FALSE)) != NULL) { - if (!can_be_redefined(d)) { - idl_global->err()->error3(UTL_Error::EIDL_REDEF, t, this, d); - return NULL; - } - if (referenced(d)) { - idl_global->err()->error3(UTL_Error::EIDL_DEF_USE, t, this, d); - return NULL; - } - if (t->has_ancestor(d)) { - idl_global->err()->redefinition_in_scope(t, d); - return NULL; - } - } - /* - * Add it to local types - */ - add_to_local_types(t); - /* - * Add it to set of locally referenced symbols - */ - add_to_referenced(t, I_FALSE); - - return t; -} - -/* - * Add this AST_Structure node (manifest struct type) to this scope - */ -AST_Structure *AST_Union::fe_add_structure(AST_Structure *t) -{ - AST_Decl *d; - - /* - * Already defined and cannot be redefined? Or already used? - */ - if ((d = lookup_for_add(t, I_FALSE)) != NULL) { - if (!can_be_redefined(d)) { - idl_global->err()->error3(UTL_Error::EIDL_REDEF, t, this, d); - return NULL; - } - if (referenced(d)) { - idl_global->err()->error3(UTL_Error::EIDL_DEF_USE, t, this, d); - return NULL; - } - if (t->has_ancestor(d)) { - idl_global->err()->redefinition_in_scope(t, d); - return NULL; - } - } - /* - * Add it to local types - */ - add_to_local_types(t); - /* - * Add it to set of locally referenced symbols - */ - add_to_referenced(t, I_FALSE); - - return t; -} - -/* - * Add this AST_Enum node (manifest enum type) to this scope - */ -AST_Enum *AST_Union::fe_add_enum(AST_Enum *t) -{ - AST_Decl *d; - - /* - * Already defined and cannot be redefined? Or already used? - */ - if ((d = lookup_for_add(t, I_FALSE)) != NULL) { - if (!can_be_redefined(d)) { - idl_global->err()->error3(UTL_Error::EIDL_REDEF, t, this, d); - return NULL; - } - if (referenced(d)) { - idl_global->err()->error3(UTL_Error::EIDL_DEF_USE, t, this, d); - return NULL; - } - if (t->has_ancestor(d)) { - idl_global->err()->redefinition_in_scope(t, d); - return NULL; - } - } - /* - * Add it to local types - */ - add_to_local_types(t); - /* - * Add it to set of locally referenced symbols - */ - add_to_referenced(t, I_FALSE); - - return t; -} - -/* - * Add this AST_EnumVal node (enumerator declaration) to this scope. - * This is done to conform to the C++ scoping rules which declare - * enumerators in the enclosing scope (in addition to declaring them - * in the enum itself) - */ -AST_EnumVal *AST_Union::fe_add_enum_val(AST_EnumVal *t) -{ - AST_Decl *d; - - /* - * Already defined and cannot be redefined? Or already used? - */ - if ((d = lookup_for_add(t, I_FALSE)) != NULL) { - if (!can_be_redefined(d)) { - idl_global->err()->error3(UTL_Error::EIDL_REDEF, t, this, d); - return NULL; - } - if (referenced(d)) { - idl_global->err()->error3(UTL_Error::EIDL_DEF_USE, t, this, d); - return NULL; - } - if (t->has_ancestor(d)) { - idl_global->err()->redefinition_in_scope(t, d); - return NULL; - } - } - /* - * Add it to scope - */ - add_to_scope(t); - /* - * Add it to set of locally referenced symbols - */ - add_to_referenced(t, I_FALSE); - - return t; -} - -/* - * Dump this AST_Union node to the ostream o - */ -void -AST_Union::dump(ostream &o) -{ - o << "union "; - local_name()->dump(o); - o << " switch ("; - pd_disc_type->local_name()->dump(o); - o << ") {\n"; - UTL_Scope::dump(o); - idl_global->indent()->skip_to(o); - o << "}"; -} - -/* - * Data accessors - */ - -AST_ConcreteType * -AST_Union::disc_type() -{ - return pd_disc_type; -} - -AST_Expression::ExprType -AST_Union::udisc_type() -{ - return pd_udisc_type; -} - -// Narrowing -IMPL_NARROW_METHODS2(AST_Union, AST_ConcreteType, UTL_Scope) -IMPL_NARROW_FROM_DECL(AST_Union) -IMPL_NARROW_FROM_SCOPE(AST_Union) |