TAO/TAO_IDL/ast/ast_interface_fwd.cpp

   1 /*
   2
   3 COPYRIGHT
   4
   5 Copyright 1992, 1993, 1994 Sun Microsystems, Inc.  Printed in the United
   6 States of America.  All Rights Reserved.
   7
   8 This product is protected by copyright and distributed under the following
   9 license restricting its use.
  10
  11 The Interface Definition Language Compiler Front End (CFE) is made
  12 available for your use provided that you include this license and copyright
  13 notice on all media and documentation and the software program in which
  14 this product is incorporated in whole or part. You may copy and extend
  15 functionality (but may not remove functionality) of the Interface
  16 Definition Language CFE without charge, but you are not authorized to
  17 license or distribute it to anyone else except as part of a product or
  18 program developed by you or with the express written consent of Sun
  19 Microsystems, Inc. ("Sun").
  20
  21 The names of Sun Microsystems, Inc. and any of its subsidiaries or
  22 affiliates may not be used in advertising or publicity pertaining to
  23 distribution of Interface Definition Language CFE as permitted herein.
  24
  25 This license is effective until terminated by Sun for failure to comply
  26 with this license.  Upon termination, you shall destroy or return all code
  27 and documentation for the Interface Definition Language CFE.
  28
  29 INTERFACE DEFINITION LANGUAGE CFE IS PROVIDED AS IS WITH NO WARRANTIES OF
  30 ANY KIND INCLUDING THE WARRANTIES OF DESIGN, MERCHANTIBILITY AND FITNESS
  31 FOR A PARTICULAR PURPOSE, NONINFRINGEMENT, OR ARISING FROM A COURSE OF
  32 DEALING, USAGE OR TRADE PRACTICE.
  33
  34 INTERFACE DEFINITION LANGUAGE CFE IS PROVIDED WITH NO SUPPORT AND WITHOUT
  35 ANY OBLIGATION ON THE PART OF Sun OR ANY OF ITS SUBSIDIARIES OR AFFILIATES
  36 TO ASSIST IN ITS USE, CORRECTION, MODIFICATION OR ENHANCEMENT.
  37
  38 SUN OR ANY OF ITS SUBSIDIARIES OR AFFILIATES SHALL HAVE NO LIABILITY WITH
  39 RESPECT TO THE INFRINGEMENT OF COPYRIGHTS, TRADE SECRETS OR ANY PATENTS BY
  40 INTERFACE DEFINITION LANGUAGE CFE OR ANY PART THEREOF.
  41
  42 IN NO EVENT WILL SUN OR ANY OF ITS SUBSIDIARIES OR AFFILIATES BE LIABLE FOR
  43 ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL, INDIRECT AND CONSEQUENTIAL
  44 DAMAGES, EVEN IF SUN HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
  45
  46 Use, duplication, or disclosure by the government is subject to
  47 restrictions as set forth in subparagraph (c)(1)(ii) of the Rights in
  48 Technical Data and Computer Software clause at DFARS 252.227-7013 and FAR
  49 52.227-19.
  50
  51 Sun, Sun Microsystems and the Sun logo are trademarks or registered
  52 trademarks of Sun Microsystems, Inc.
  53
  54 SunSoft, Inc.
  55 2550 Garcia Avenue
  56 Mountain View, California  94043
  57
  58 NOTE:
  59
  60 SunOS, SunSoft, Sun, Solaris, Sun Microsystems or the Sun logo are
  61 trademarks or registered trademarks of Sun Microsystems, Inc.
  62
  63 */
  64
  65 // AST_InterfaceFwd nodes denote forward declarations of IDL interfaces.
  66 // AST_InterfaceFwd nodes have a field containing the full declaration
  67 // of the interface, which is initialized when that declaration is
  68 // encountered.
  69
  70 #include "ast_interface_fwd.h"
  71 #include "ast_interface.h"
  72 #include "ast_module.h"
  73 #include "ast_visitor.h"
  74 #include "utl_identifier.h"
  75
  76 AST_Decl::NodeType const
  77 AST_InterfaceFwd::NT = AST_Decl::NT_interface_fwd;
  78
  79 AST_InterfaceFwd::AST_InterfaceFwd (AST_Interface *dummy,
  80                                     UTL_ScopedName *n)
  81   : COMMON_Base (dummy->is_local (),
  82                  dummy->is_abstract ()),
  83     AST_Decl (AST_Decl::NT_interface_fwd,
  84               n),
  85     AST_Type (AST_Decl::NT_interface_fwd,
  86               n),
  87     is_defined_ (false),
  88     has_ownership_ (true)
  89 {
  90   // Create a dummy placeholder for the forward declared interface. This
  91   // interface node is not yet defined (n_inherits < 0), so some operations
  92   // will fail.
  93   this->pd_full_definition = dummy;
  94
  95   if (! dummy->is_local ())
  96     {
  97       idl_global->non_local_fwd_iface_seen_ = true;
  98     }
  99 }
 100
 101 AST_InterfaceFwd::~AST_InterfaceFwd (void)
 102 {
 103 }
 104
 105 // Private operations.
 106
 107 bool
 108 AST_InterfaceFwd::is_local (void)
 109 {
 110   return this->full_definition ()->is_local ();
 111 }
 112
 113 bool
 114 AST_InterfaceFwd::is_valuetype (void)
 115 {
 116   AST_Decl::NodeType nt = this->full_definition ()->node_type ();
 117   return nt == AST_Decl::NT_valuetype || nt == AST_Decl::NT_eventtype;
 118 }
 119
 120 bool
 121 AST_InterfaceFwd::is_abstract_valuetype (void)
 122 {
 123   return (this->full_definition ()->is_abstract ()
 124           && this->is_valuetype ());
 125 }
 126
 127 bool
 128 AST_InterfaceFwd::full_def_seen (void)
 129 {
 130   UTL_Scope *s = this->defined_in ();
 131   AST_Interface *i = 0;
 132
 133   // If a full definition is seen in a previous module opening
 134   // or anywhere in the current scope (before or after our
 135   // declaration, reture TRUE.
 136
 137   if (AST_Decl::NT_module == s->scope_node_type ())
 138     {
 139       AST_Module *m = dynamic_cast<AST_Module*> (s);
 140       AST_Decl *d =
 141         m->look_in_prev_mods_local (this->local_name (),
 142                                     false);
 143
 144       if (0 != d)
 145         {
 146           i = dynamic_cast<AST_Interface*> (d);
 147
 148           if (0 != i && i->is_defined ())
 149             {
 150               return true;
 151             }
 152         }
 153     }
 154
 155   for (UTL_ScopeActiveIterator iter (s, UTL_Scope::IK_decls);
 156         !iter.is_done ();
 157         iter.next ())
 158     {
 159       i = dynamic_cast<AST_Interface*> (iter.item ());
 160
 161       if (0 != i && this->local_name ()->compare (i->local_name ()))
 162         {
 163           if (i->is_defined ())
 164             {
 165               return true;
 166             }
 167         }
 168     }
 169
 170   return false;
 171 }
 172
 173 // Redefinition of inherited virtual operations.
 174
 175 // Dump this AST_InterfaceFwd node to the ostream o.
 176 void
 177 AST_InterfaceFwd::dump (ACE_OSTREAM_TYPE &o)
 178 {
 179   if (this->is_abstract ())
 180     {
 181       this->dump_i (o, "abstract ");
 182     }
 183   else if (this->is_local ())
 184     {
 185       this->dump_i (o, "local ");
 186     }
 187
 188   this->dump_i (o, "interface ");
 189
 190   this->local_name ()->dump (o);
 191 }
 192
 193 int
 194 AST_InterfaceFwd::ast_accept (ast_visitor *visitor)
 195 {
 196   return visitor->visit_interface_fwd (this);
 197 }
 198
 199 // Data accessors.
 200
 201 AST_Interface *
 202 AST_InterfaceFwd::full_definition (void)
 203 {
 204   return this->pd_full_definition;
 205 }
 206
 207 void
 208 AST_InterfaceFwd::set_full_definition (AST_Interface *nfd)
 209 {
 210   if (pd_full_definition && has_ownership_)
 211     {
 212       pd_full_definition->destroy ();
 213       delete pd_full_definition;
 214     }
 215   pd_full_definition = nfd;
 216   has_ownership_ = false;
 217 }
 218
 219 bool
 220 AST_InterfaceFwd::is_defined (void)
 221 {
 222   // Look for the one instance of the fwd decl
 223   // that may have a full definition.
 224   if (!this->is_defined_)
 225     {
 226       AST_Module *m = dynamic_cast<AST_Module*> (this->defined_in ());
 227
 228       if (0 != m)
 229         {
 230           AST_Decl *d =
 231             m->look_in_prev_mods_local (this->local_name ());
 232
 233           if (0 != d)
 234             {
 235               // We could be looking at a superfluous forward decl
 236               // of an interface already defined.
 237               AST_Interface *full = dynamic_cast<AST_Interface *> (d);
 238               if (0 != full)
 239                 {
 240                   set_as_defined ();
 241                 }
 242
 243               AST_InterfaceFwd *fwd = dynamic_cast<AST_InterfaceFwd*> (d);
 244
 245               // Since fwd_redefinition_helper() is called
 246               // before fe_add_interface(), we can't check
 247               // n_inherits() or is_defined(), but added()
 248               // is a sufficient way to tell if our full
 249               // definition has already gone through the
 250               // add_to_scope process.
 251               if (0 != fwd && fwd->is_defined ())
 252                 {
 253                   set_as_defined ();
 254                 }
 255             }
 256         }
 257     }
 258
 259   return this->is_defined_;
 260 }
 261
 262 void
 263 AST_InterfaceFwd::set_as_defined ()
 264 {
 265   is_defined_ = true;
 266 }
 267
 268 void
 269 AST_InterfaceFwd::disown_full_definition ()
 270 {
 271   has_ownership_ = false;
 272 }
 273
 274 void
 275 AST_InterfaceFwd::destroy (void)
 276 {
 277   if (has_ownership_)
 278     {
 279       set_full_definition (0);
 280     }
 281
 282   this->AST_Type::destroy ();
 283 }
 284
 285 bool
 286 AST_InterfaceFwd::is_fwd (void)
 287 {
 288   return true; // This is a fwd declared type
 289 }
 290
 291 // We don't actually want the forward declaration,
 292 // but want to return the full definition member,
 293 // whether defined yet or not.
 294 AST_Decl *
 295 AST_InterfaceFwd::adjust_found (
 296   bool ignore_fwd,
 297   bool full_def_only)
 298 {
 299   if (ignore_fwd)
 300     {
 301       AST_Interface *i = this->full_definition ();
 302       return (full_def_only && !i->is_defined () ? 0 : i);
 303     }
 304
 305   return this;
 306 }
 307
 308 IMPL_NARROW_FROM_DECL (AST_InterfaceFwd)