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

libparser.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) 2002 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_LIBPARSER_HH 00023 #define UTAP_LIBPARSER_HH 00024 00025 #include <functional> 00026 00027 #include "utap/builder.hh" 00028 00029 #define MAXLEN 64 00030 00031 enum syntax_t { SYNTAX_OLD = 1, 00032 SYNTAX_NEW = 2, 00033 SYNTAX_PROPERTY = 4, 00034 SYNTAX_GUIDING = 8 }; 00035 00036 // type for specifying which XTA part to parse (syntax switch) 00037 typedef enum { 00038 S_XTA, // entire system 00039 S_DECLARATION, S_LOCAL_DECL, S_INST, S_SYSTEM, S_PARAMETERS, 00040 S_INVARIANT, S_GUARD, S_SYNC, S_ASSIGN 00041 } xta_part_t; 00042 00043 /*********************************************************************** 00044 * Helper for creating function objects to members 00045 */ 00046 template <typename ReturnType, typename CalleeType, typename ArgType> 00047 class other_mem_fun_t 00048 { 00049 typedef ReturnType (CalleeType::*function_t) (ArgType); 00050 CalleeType *m_callee; 00051 function_t m_pfn; 00052 00053 public: 00054 other_mem_fun_t(CalleeType *callee, function_t pfn) 00055 : m_callee(callee), m_pfn(pfn) 00056 { 00057 } 00058 00059 ReturnType operator() (ArgType arg) const 00060 { 00061 return (m_callee->*m_pfn)(arg); 00062 } 00063 }; 00064 00065 template <typename ReturnType, typename CalleeType, typename ArgType> 00066 other_mem_fun_t<ReturnType, CalleeType, ArgType> 00067 other_mem_fun(CalleeType *callee, ReturnType (CalleeType::* pfn)(ArgType)) 00068 { 00069 return other_mem_fun_t<ReturnType, CalleeType, ArgType>(callee, pfn); 00070 } 00071 00072 00073 00074 /************************************************************************* 00075 * Parse system definition in old XTA format (without C extensions) 00076 * Returns >=0 (success, ended with data specific code). 00077 * Returns -1 (failure). 00078 */ 00079 int32_t parseXTA(FILE *, UTAP::ParserBuilder *, 00080 UTAP::ErrorHandler *, 00081 bool newxta, xta_part_t part); 00082 int32_t parseXTA(const char *, UTAP::ParserBuilder *, 00083 UTAP::ErrorHandler *, bool newxta, 00084 xta_part_t part); 00085 00086 // Defined in keywords.cc 00087 extern bool isKeyword(const char *id, uint32_t syntax); 00088 00089 #endif

Generated on Sat May 15 12:33:41 2004 for libutap by doxygen 1.3.7