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