summaryrefslogtreecommitdiff
path: root/TAO/TAO_IDL/ast/ast_union.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'TAO/TAO_IDL/ast/ast_union.cpp')
-rw-r--r--TAO/TAO_IDL/ast/ast_union.cpp557
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)
View Lorry Controller Status