C-Breeze
C Compiler Infrastructure

[ Project home page]
Main Page   Modules   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages  

ptrnode.cc

Go to the documentation of this file.
00001 // $Id: ptrnode.cc,v 1.4 2003/08/07 23:13:11 pnav Exp $
00002 // ----------------------------------------------------------------------
00003 //
00004 //  C-Breeze
00005 //  C Compiler Framework
00006 // 
00007 //  Copyright (c) 2000 University of Texas at Austin
00008 // 
00009 //  Samuel Z. Guyer
00010 //  Daniel A. Jimenez
00011 //  Calvin Lin
00012 // 
00013 //  Permission is hereby granted, free of charge, to any person
00014 //  obtaining a copy of this software and associated documentation
00015 //  files (the "Software"), to deal in the Software without
00016 //  restriction, including without limitation the rights to use, copy,
00017 //  modify, merge, publish, distribute, sublicense, and/or sell copies
00018 //  of the Software, and to permit persons to whom the Software is
00019 //  furnished to do so, subject to the following conditions:
00020 //  
00021 //  The above copyright notice and this permission notice shall be
00022 //  included in all copies or substantial portions of the Software.
00023 //  
00024 //  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00025 //  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00026 //  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00027 //  NONINFRINGEMENT.  IN NO EVENT SHALL THE UNIVERSITY OF TEXAS AT
00028 //  AUSTIN BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
00029 //  IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF
00030 //  OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
00031 //  THE SOFTWARE.
00032 //
00033 //  We acknowledge the C-to-C Translator from MIT Laboratory for
00034 //  Computer Science for inspiring parts of the C-Breeze design.
00035 //
00036 // ----------------------------------------------------------------------
00037 
00038 #include "c_breeze.h"
00039 
00040 // --------------------------------------------------------------------
00041 // Constructors
00042 // --------------------------------------------------------------------
00043 
00044 ptrNode::ptrNode(Type_qualifiers tq, typeNode * the_type, const Coord coord)
00045   : typeNode(Ptr, tq, the_type, coord)
00046 {}
00047 
00048 // ------------------------------------------------------------
00049 //  Type Equal
00050 // ------------------------------------------------------------
00051 
00052 bool ptrNode::qualified_equal_to(typeNode * node2, bool strict_toplevel, bool strict_recursive)
00053 {
00054   // pnav
00055   // don't cast to ptrNode, since node2 may be an Array
00056   // just check underlying type
00057   return equal_to(type(), node2->type(),
00058                   strict_recursive, strict_recursive);
00059 }
00060 
00061 // ------------------------------------------------------------
00062 //  Walker
00063 // ------------------------------------------------------------
00064 
00065 void ptrNode::visit(Visitor * the_visitor) 
00066 {
00067   the_visitor->at_ptr(this);
00068 }
00069 
00070 void ptrNode::walk(Walker & the_walker)
00071 {
00072   Walker::Order ord = the_walker.order(); 
00073 
00074   if (ord == Walker::Preorder || ord == Walker::Both)
00075     the_walker.at_ptr(this, Walker::Preorder);
00076 
00077   if (the_walker.depth() == Walker::Subtree) {
00078     // -- Visit the children 
00079     if (type())
00080       type()->walk(the_walker);
00081   }
00082 
00083   if (ord == Walker::Postorder || ord == Walker::Both)
00084     the_walker.at_ptr(this, Walker::Postorder);
00085 }
00086 
00087 // ------------------------------------------------------------
00088 // Output
00089 // ------------------------------------------------------------
00090 
00091 void ptrNode::output_type(output_context & ct, Node * parent,
00092                           Assoc context, Type_qualifiers q)
00093 {
00094   typeNode * t = type();
00095 
00096   bool f_or_a = (t->typ() == Array) || (t->typ() == Func);
00097 
00098   if (context == Left) {
00099 
00100     t->output_type(ct, this, Left, q);
00101 
00102     ct.space();
00103 
00104     if (f_or_a) {
00105       ct << '(';
00106     }
00107 
00108     ct << '*';
00109 
00110     ct << type_qualifiers_name();
00111   }
00112   else {
00113     if (f_or_a)
00114       ct << ')';
00115 
00116     t->output_type(ct, this, Right, q);
00117   }    
00118 }
00119 
00120 // ------------------------------------------------------------
00121 //  Changer
00122 // ------------------------------------------------------------
00123 
00124 Node * ptrNode::change(Changer & the_changer, bool redispatch)
00125 {
00126   Changer::Order ord = the_changer.order(); 
00127   ptrNode * the_ptr = this;
00128 
00129   if ((ord == Changer::Preorder || ord == Changer::Both) && ! redispatch)
00130     the_ptr = (ptrNode *) the_changer.at_ptr(the_ptr, Changer::Preorder);
00131 
00132   if (the_ptr) {
00133 
00134     if (the_ptr != this)
00135       return the_ptr->change(the_changer, true);
00136 
00137     typeNode * old_type = the_ptr->type();
00138     if (old_type) {
00139       typeNode * new_type = (typeNode *) old_type->change(the_changer);
00140       if (old_type != new_type) {
00141         //if (the_changer.delete_old())
00142           //delete old_type;
00143         the_ptr->type(new_type);
00144       }
00145     }
00146 
00147   }
00148 
00149   if ((ord == Changer::Postorder || ord == Changer::Both) && ! redispatch)
00150     the_ptr = (ptrNode *) the_changer.at_ptr(the_ptr, Changer::Postorder);
00151 
00152   return the_ptr;
00153 }
00154 
00155 
00156 // ------------------------------------------------------------
00157 // Destructor
00158 // ------------------------------------------------------------
00159 
00160 ptrNode::~ptrNode()
00161 {
00162 }

Generated on August 27, 2003
Back to the C-Breeze home page