00001 // -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; -*- 00002 00003 /* libutap - Uppaal Timed Automata Parser. 00004 Copyright (C) 2003 Uppsala University and Aalborg University. 00005 00006 This library is free software; you can redistribute it and/or 00007 modify it under the terms of the GNU Lesser General Public License 00008 as published by the Free Software Foundation; either version 2.1 of 00009 the License, or (at your option) any later version. 00010 00011 This library is distributed in the hope that it will be useful, but 00012 WITHOUT ANY WARRANTY; without even the implied warranty of 00013 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00014 Lesser General Public License for more details. 00015 00016 You should have received a copy of the GNU Lesser General Public 00017 License along with this library; if not, write to the Free Software 00018 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 00019 USA 00020 */ 00021 00022 #ifndef UTAP_RANGECHECKER_HH 00023 #define UTAP_RANGECHECKER_HH 00024 00025 #include <exception> 00026 #include <map> 00027 #include <list> 00028 #include "utap/system.h" 00029 #include "utap/common.h" 00030 00031 namespace UTAP 00032 { 00033 class UndefinedRangeException : public std::exception 00034 { 00035 public: 00036 const char *what() const throw() 00037 { 00038 return "UndefinedRangeException"; 00039 } 00040 }; 00041 00056 class RangeChecker 00057 { 00058 private: 00059 Interpreter interpreter; 00060 protected: 00061 bool isInteger(expression_t) const; 00062 range_t rangeOfBinary(expression_t, uint32_t op, expression_t) const; 00063 // void checkRange(expression_t expr); 00064 bool evaluate(expression_t expr, int32_t &value) const; 00065 00066 public: 00067 RangeChecker(const std::map<symbol_t, expression_t> &); 00068 RangeChecker(TimedAutomataSystem *); 00069 RangeChecker(TimedAutomataSystem *, const process_t &); 00070 00071 range_t getRange(expression_t) const; 00072 range_t getRange(type_t) const; 00073 00074 range_t getDeclaredRange(expression_t expr) const; 00075 range_t getDeclaredRange(symbol_t symbol) const; 00076 }; 00077 } 00078 00079 #endif