1 files changed, 123 insertions, 0 deletions

diff --git a/TAO/TAO_IDL/include/ast_visitor_reifying.h b/TAO/TAO_IDL/include/ast_visitor_reifying.h
new file mode 100644
index 00000000000..a57b1e2532a
--- /dev/null
+++ b/TAO/TAO_IDL/include/ast_visitor_reifying.h
@@ -0,0 +1,123 @@
+//
+// $Id$
+//
+
+/* -*- c++ -*- */
+// ============================================================================
+//
+// = LIBRARY
+//    TAO IDL
+//
+// = FILENAME
+//    ast_visitor_reifying.h
+//
+// = DESCRIPTION
+//    This visitor visits an AST_Param_Holder, finds the corresponding
+//    template argument, looks up or creates the type, and stores
+//    it for retrieval and use in the template module
+//    instantiation visitor
+//
+// = AUTHOR
+//    Jeff Parsons
+//
+// ============================================================================
+
+#ifndef TAO_AST_VISITOR_REIFYING_H
+#define TAO_AST_VISITOR_REIFYING_H
+
+#include "ast_visitor.h"
+
+#include "utl_scoped_name.h"
+
+class AST_Decl;
+class AST_Param_Holder;
+class ast_visitor_context;
+
+class ast_visitor_reifying : public ast_visitor
+{
+  //
+  // = TITLE
+  //   ast_visitor_reifying
+  //
+  // = DESCRIPTION
+  //   Reifies a template argument that has been substituted for
+  //   a template parameter reference. Complete reification may
+  //   include further reification, for example of array
+  //   dimensions, sequence bound or (w)string bound
+  //   for addition to the scope of the template module
+  //   instantiation.
+  //
+public:
+  ast_visitor_reifying (ast_visitor_context *ctx);
+
+  virtual ~ast_visitor_reifying (void);
+
+  AST_Decl *reified_node (void) const;
+
+  virtual int visit_decl (AST_Decl *d);
+  virtual int visit_scope (UTL_Scope *node);
+  virtual int visit_type (AST_Type *node);
+  virtual int visit_module (AST_Module *node);
+  virtual int visit_interface_fwd (AST_InterfaceFwd *node);
+  virtual int visit_valuetype_fwd (AST_ValueTypeFwd *node);
+  virtual int visit_home (AST_Home *node);
+  virtual int visit_component_fwd (AST_ComponentFwd *node);
+  virtual int visit_template_module (AST_Template_Module *node);
+  virtual int visit_template_module_inst (AST_Template_Module_Inst *node);
+  virtual int visit_template_module_ref (AST_Template_Module_Ref *node);
+  virtual int visit_porttype (AST_PortType *node);
+  virtual int visit_provides (AST_Provides *node);
+  virtual int visit_uses (AST_Uses *node);
+  virtual int visit_publishes (AST_Publishes *node);
+  virtual int visit_emits (AST_Emits *node);
+  virtual int visit_consumes (AST_Consumes *node);
+  virtual int visit_extended_port (AST_Extended_Port *node);
+  virtual int visit_mirror_port (AST_Mirror_Port *node);
+  virtual int visit_connector (AST_Connector *node);
+  virtual int visit_eventtype_fwd (AST_EventTypeFwd *node);
+  virtual int visit_factory (AST_Factory *node);
+  virtual int visit_structure (AST_Structure *node);
+  virtual int visit_structure_fwd (AST_StructureFwd *node);
+  virtual int visit_expression (AST_Expression *node);
+  virtual int visit_enum (AST_Enum *node);
+  virtual int visit_operation (AST_Operation *node);
+  virtual int visit_field (AST_Field *node);
+  virtual int visit_argument (AST_Argument *node);
+  virtual int visit_attribute (AST_Attribute *node);
+  virtual int visit_union (AST_Union *node);
+  virtual int visit_union_fwd (AST_UnionFwd *node);
+  virtual int visit_union_branch (AST_UnionBranch *node);
+  virtual int visit_union_label (AST_UnionLabel *node);
+  virtual int visit_enum_val (AST_EnumVal *node);
+  virtual int visit_root (AST_Root *node);
+  virtual int visit_native (AST_Native *node);
+  virtual int visit_valuebox (AST_ValueBox *node);
+  virtual int visit_interface (AST_Interface *node);
+  virtual int visit_valuetype (AST_ValueType *node);
+  virtual int visit_eventtype (AST_EventType *node);
+  virtual int visit_component (AST_Component *node);
+  virtual int visit_exception (AST_Exception *node);
+  virtual int visit_typedef (AST_Typedef *node);
+  virtual int visit_array (AST_Array *node);
+  virtual int visit_sequence (AST_Sequence *node);
+  virtual int visit_predefined_type (AST_PredefinedType *node);
+  virtual int visit_string (AST_String *node);
+  virtual int visit_constant (AST_Constant *node);
+  virtual int visit_param_holder (AST_Param_Holder *node);
+
+private:
+  // Check if arg is declared at some level in the scope of a
+  // template module. If so, look up the corresponding node in
+  // the corresponding instantiation, and store that instead.
+  void check_and_store (AST_Decl *node);
+
+  // Returns a relative scoped name allocated on the heap if the
+  // arg is declared inside a template module, otherwise 0.
+  UTL_ScopedName *template_module_rel_name (AST_Decl *d);
+
+private:
+  ast_visitor_context *ctx_;
+  AST_Decl *reified_node_;
+};
+
+#endif // TAO_AST_VISITOR_REIFYING_H