Generated on Mon May 10 06:46:30 2010 for Gecode by doxygen 1.6.3

parser.hh

Go to the documentation of this file.
00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
00002 /*
00003  *  Main authors:
00004  *     Guido Tack <tack@gecode.org>
00005  *
00006  *  Copyright:
00007  *     Guido Tack, 2007
00008  *
00009  *  Last modified:
00010  *     $Date: 2010-04-08 11:25:15 +0200 (Thu, 08 Apr 2010) $ by $Author: tack $
00011  *     $Revision: 10682 $
00012  *
00013  *  This file is part of Gecode, the generic constraint
00014  *  development environment:
00015  *     http://www.gecode.org
00016  *
00017  *  Permission is hereby granted, free of charge, to any person obtaining
00018  *  a copy of this software and associated documentation files (the
00019  *  "Software"), to deal in the Software without restriction, including
00020  *  without limitation the rights to use, copy, modify, merge, publish,
00021  *  distribute, sublicense, and/or sell copies of the Software, and to
00022  *  permit persons to whom the Software is furnished to do so, subject to
00023  *  the following conditions:
00024  *
00025  *  The above copyright notice and this permission notice shall be
00026  *  included in all copies or substantial portions of the Software.
00027  *
00028  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00029  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00030  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00031  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
00032  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
00033  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
00034  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
00035  *
00036  */
00037 
00038 #ifndef __FLATZINC_PARSER_HH__
00039 #define __FLATZINC_PARSER_HH__
00040 
00041 #include <gecode/flatzinc.hh>
00042 
00043 // This is a workaround for a bug in flex that only shows up
00044 // with the Microsoft C++ compiler
00045 #if defined(_MSC_VER)
00046 #define YY_NO_UNISTD_H
00047 #ifdef __cplusplus
00048 extern "C" int isatty(int);
00049 #endif
00050 #endif
00051 
00052 // The Microsoft C++ compiler marks certain functions as deprecated,
00053 // so let's take the alternative definitions
00054 #if defined(_MSC_VER)
00055 #define strdup _strdup
00056 #define fileno _fileno
00057 #endif
00058 
00059 #include <string>
00060 #include <vector>
00061 #include <iostream>
00062 
00063 #include <gecode/flatzinc/option.hh>
00064 #include <gecode/flatzinc/varspec.hh>
00065 #include <gecode/flatzinc/conexpr.hh>
00066 #include <gecode/flatzinc/ast.hh>
00067 #include <gecode/flatzinc/parser.tab.hh>
00068 #include <gecode/flatzinc/symboltable.hh>
00069 
00070 namespace Gecode { namespace FlatZinc {
00071 
00072   typedef std::pair<std::string,Option<std::vector<int>* > > intvartype;
00073 
00074   class VarSpec;
00075   typedef std::pair<std::string, VarSpec*> varspec;
00076 
00078   class ParserState {
00079   public:
00080     ParserState(const std::string& b, std::ostream& err0,
00081                 Gecode::FlatZinc::FlatZincSpace* fg0)
00082     : buf(b.c_str()), pos(0), length(b.size()), fg(fg0),
00083       hadError(false), err(err0) {}
00084 
00085     ParserState(char* buf0, int length0, std::ostream& err0,
00086                 Gecode::FlatZinc::FlatZincSpace* fg0)
00087     : buf(buf0), pos(0), length(length0), fg(fg0),
00088       hadError(false), err(err0) {}
00089   
00090     void* yyscanner;
00091     const char* buf;
00092     unsigned int pos, length;
00093     Gecode::FlatZinc::FlatZincSpace* fg;
00094     std::vector<std::pair<std::string,AST::Node*> > _output;
00095 
00096     SymbolTable<int> intvarTable;
00097     SymbolTable<int> boolvarTable;
00098     SymbolTable<int> floatvarTable;
00099     SymbolTable<int> setvarTable;
00100     SymbolTable<std::vector<int> > intvararrays;
00101     SymbolTable<std::vector<int> > boolvararrays;
00102     SymbolTable<std::vector<int> > floatvararrays;
00103     SymbolTable<std::vector<int> > setvararrays;
00104     SymbolTable<std::vector<int> > intvalarrays;
00105     SymbolTable<std::vector<int> > boolvalarrays;
00106     SymbolTable<int> intvals;
00107     SymbolTable<bool> boolvals;
00108     SymbolTable<AST::SetLit> setvals;
00109     SymbolTable<std::vector<AST::SetLit> > setvalarrays;
00110 
00111     std::vector<varspec> intvars;
00112     std::vector<varspec> boolvars;
00113     std::vector<varspec> setvars;
00114 
00115     std::vector<ConExpr*> domainConstraints;
00116 
00117     bool hadError;
00118     std::ostream& err;
00119   
00120     int fillBuffer(char* lexBuf, unsigned int lexBufSize) {
00121       if (pos >= length)
00122         return 0;
00123       int num = std::min(length - pos, lexBufSize);
00124       memcpy(lexBuf,buf+pos,num);
00125       pos += num;
00126       return num;    
00127     }
00128 
00129     void output(std::string x, AST::Node* n) {
00130       _output.push_back(std::pair<std::string,AST::Node*>(x,n));
00131     }
00132   
00133     AST::Array* getOutput(void) {
00134       AST::Array* a = new AST::Array();
00135       for (unsigned int i=0; i<_output.size(); i++) {
00136         a->a.push_back(new AST::String(_output[i].first+" = "));
00137         if (_output[i].second->isArray()) {
00138           AST::Array* oa = _output[i].second->getArray();
00139           for (unsigned int j=0; j<oa->a.size(); j++) {
00140             a->a.push_back(oa->a[j]);
00141             oa->a[j] = NULL;
00142           }
00143           delete _output[i].second;
00144         } else {
00145           a->a.push_back(_output[i].second);
00146         }
00147         a->a.push_back(new AST::String(";\n"));
00148       }
00149       return a;
00150     }
00151   
00152   };
00153 
00154 }}
00155 
00156 #endif
00157 
00158 // STATISTICS: flatzinc-any