 |
C-Breeze C Compiler Infrastructure [ Project home page] |
sue_complete_walker.h
Go to the documentation of this file.00001 // $Id: sue_complete_walker.h,v 1.5 2003/08/07 23:13:54 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 #ifndef CBZ_SUE_COMPLETE_WALKER_H 00039 #define CBZ_SUE_COMPLETE_WALKER_H 00040 00041 00042 00046 class sue_complete_walker : public Walker 00047 { 00048 00049 public: 00050 00051 static void check(Node * n) 00052 { 00053 sue_complete_walker w; 00054 n->walk(w); 00055 } 00056 00057 private: 00058 00059 public: 00060 00061 sue_complete_walker() 00062 : Walker(Preorder, Subtree) 00063 { } 00064 00066 virtual void at_node(Node * the_node, Order ord) 00067 { } 00068 00070 virtual void at_suespec(suespecNode * the_suespec, Order ord) 00071 { 00072 // if (the_suespec->typ() != Edcl) { 00073 // -- incomplete enums are always illegal and are 00074 // caught by BuildEnum (K&R2 A8.4, p215) 00075 // -- ...not anymore 00076 00077 if (! the_suespec->complete()) { 00078 string ty; 00079 00080 switch (the_suespec->owner()) { 00081 case Struct: 00082 ty = string("structure"); 00083 break; 00084 case Union: 00085 ty = string("union"); 00086 break; 00087 case Enum: 00088 ty = string("enum"); 00089 break; 00090 default: 00091 break; 00092 } 00093 00094 if (the_suespec->name().empty()) 00095 CBZ::SyntaxError("incomplete unnamed " + ty); 00096 else 00097 CBZ::SyntaxError("incomplete" + ty + " `" + the_suespec->name() + "'"); 00098 } 00099 } 00100 }; 00101 00102 00103 00104 #endif // CBZ_SUE_COMPLETE_WALKER_H