libparser.h

Go to the documentation of this file.
00001 // -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-
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.h"
00028 
00029 #define MAXLEN 64
00030 
00031 enum syntax_t { SYNTAX_OLD      = (1 << 0),
00032                 SYNTAX_NEW      = (1 << 1),
00033                 SYNTAX_PROPERTY = (1 << 2),
00034                 SYNTAX_GUIDING  = (1 << 3),
00035                 SYNTAX_TIGA     = (1 << 4),
00036                 SYNTAX_SSQL     = (1 << 5)
00037 };
00038 
00039 // Defined in keywords.cc
00040 extern bool isKeyword(const char *id, uint32_t syntax);
00041 
00042 namespace UTAP
00043 {
00048     class PositionTracker
00049     {
00050     public:
00051         static uint32_t line;
00052         static uint32_t offset;
00053         static uint32_t position;
00054         static std::string path;
00055         
00057         static void reset();
00058 
00067         static void setPath(ParserBuilder *builder, std::string s);
00068 
00073         static int  increment(ParserBuilder *builder, int n);
00074 
00079         static void newline(ParserBuilder *builder, int n);
00080     };
00081 }
00082 
00083 #endif

Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7