Main Page | Namespace List | Class Hierarchy | Compound List | File List | Namespace Members | Compound Members | File Members

rangechecker.hh

Go to the documentation of this file.
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.hh"
00029 #include "utap/common.hh"
00030 
00031 namespace UTAP
00032 {
00033     class UndefinedRangeException : public std::exception {
00034     public:
00035         const char *what() const throw() {
00036             return "UndefinedRangeException"; 
00037         }
00038     };
00039 
00054     class RangeChecker
00055     {
00056     private:
00057         TimedAutomataSystem *system;
00058         Interpreter interpreter;
00059     protected:
00060         range_t getRange(symbol_t symbol) const;
00061         range_t rangeOfBinary(expression_t, uint32_t op, expression_t) const;
00062 //      void checkRange(expression_t expr);
00063         bool evaluate(expression_t expr, int32_t &value) const;
00064 
00065     public:    
00066         RangeChecker(TimedAutomataSystem *);
00067         RangeChecker(TimedAutomataSystem *, const process_t &);
00068         
00069         range_t getRange(expression_t) const;
00070         
00071         range_t getDeclaredRange(expression_t expr) const;
00072         range_t getDeclaredRange(symbol_t symbol) const;
00073     };
00074 }
00075 
00076 #endif

Generated on Wed Jul 2 12:08:18 2003 for libutap by doxygen 1.3.2