 |
C-Breeze C Compiler Infrastructure [ Project home page] |
semcheck.h
Go to the documentation of this file.00001 // $Id: semcheck.h,v 1.9 2003/08/07 23:13:52 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_SEMCHECK_H 00039 #define CBZ_SEMCHECK_H 00040 00041 00042 00046 class semcheck_walker : public Walker 00047 { 00048 public: 00049 00050 static void check(unitNode * u, bool verbose); 00051 00052 static bool showErrors; 00053 00054 private: 00055 00056 semcheck_walker() 00057 : Walker(Postorder, Subtree) 00058 {} 00059 00060 public: 00061 00062 virtual void at_exprstmt(exprstmtNode * the_exprstmt, Order ord); 00063 virtual void at_suespec(suespecNode * the_suespec, Order ord); 00064 virtual void at_decl(declNode * the_decl, Order ord); 00065 virtual void at_return(returnNode * the_return, Order ord); 00066 virtual void at_selection(selectionNode * the_selection, Order ord); 00067 virtual void at_case(caseNode * the_case, Order ord); 00068 virtual void at_loop(loopNode * the_loop, Order ord); 00069 virtual void at_for(forNode * the_for, Order ord); 00070 }; 00071 00075 class semcheck_expr_visitor : public Visitor 00076 { 00077 public: 00078 00079 // -- Public entry points 00080 00081 static void check(exprNode * e); 00082 static void check(unitNode * u); 00083 00084 private: 00085 00086 typeNode * default_type(); 00087 typeNode * check_binary(unsigned int opid, exprNode * lhs, exprNode * rhs, 00088 exprNode ** new_lhs, exprNode ** new_rhs); 00089 typeNode * check_unary(unsigned int opid, exprNode * ex, 00090 exprNode ** new_ex); 00091 00092 semcheck_expr_visitor() 00093 : Visitor() 00094 {} 00095 00096 public: 00097 00098 virtual void at_const(constNode * the_const); 00099 virtual void at_id(idNode * the_id); 00100 virtual void at_binary(binaryNode * the_binary); 00101 virtual void at_unary(unaryNode * the_unary); 00102 virtual void at_cast(castNode * the_cast); 00103 virtual void at_comma(commaNode * the_comma); 00104 virtual void at_ternary(ternaryNode * the_ternary); 00105 virtual void at_call(callNode * the_call); 00106 virtual void at_initializer(initializerNode * the_initializer); 00107 00108 }; 00109 00110 00111 #endif // CBZ_SEMCHECK_H