Main Page | Namespace List | Class Hierarchy | Compound List | File List | Namespace Members | Compound 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 Wed Jul 2 12:08:18 2003 for libutap by doxygen 1.3.2