Generated on Mon Nov 30 23:53:18 2009 for Gecode by doxygen 1.6.1

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: 2009-09-10 11:25:57 +0200 (Thu, 10 Sep 2009) $ by $Author: tack $
00011  *     $Revision: 9698 $
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     : buf(b.c_str()), pos(0), length(b.size()), fg(NULL),
00082       hadError(false), err(err0) {}
00083 
00084     ParserState(char* buf0, int length0, std::ostream& err0)
00085     : buf(buf0), pos(0), length(length0), fg(NULL),
00086       hadError(false), err(err0) {}
00087   
00088     void* yyscanner;
00089     const char* buf;
00090     unsigned int pos, length;
00091     Gecode::FlatZinc::FlatZincSpace* fg;
00092     std::vector<std::pair<std::string,AST::Node*> > _output;
00093 
00094     SymbolTable<int> intvarTable;
00095     SymbolTable<int> boolvarTable;
00096     SymbolTable<int> floatvarTable;
00097     SymbolTable<int> setvarTable;
00098     SymbolTable<std::vector<int> > intvararrays;
00099     SymbolTable<std::vector<int> > boolvararrays;
00100     SymbolTable<std::vector<int> > floatvararrays;
00101     SymbolTable<std::vector<int> > setvararrays;
00102     SymbolTable<std::vector<int> > intvalarrays;
00103     SymbolTable<std::vector<int> > boolvalarrays;
00104     SymbolTable<int> intvals;
00105     SymbolTable<bool> boolvals;
00106     SymbolTable<AST::SetLit> setvals;
00107     SymbolTable<std::vector<AST::SetLit> > setvalarrays;
00108 
00109     std::vector<varspec> intvars;
00110     std::vector<varspec> boolvars;
00111     std::vector<varspec> setvars;
00112 
00113     std::vector<ConExpr*> domainConstraints;
00114 
00115     bool hadError;
00116     std::ostream& err;
00117   
00118     int fillBuffer(char* lexBuf, unsigned int lexBufSize) {
00119       if (pos >= length)
00120         return 0;
00121       int num = std::min(length - pos, lexBufSize);
00122       memcpy(lexBuf,buf+pos,num);
00123       pos += num;
00124       return num;    
00125     }
00126   
00127     void output(std::string x, AST::Node* n) {
00128       _output.push_back(std::pair<std::string,AST::Node*>(x,n));
00129     }
00130   
00131     AST::Array* getOutput(void) {
00132       AST::Array* a = new AST::Array();
00133       for (unsigned int i=0; i<_output.size(); i++) {
00134         a->a.push_back(new AST::String(_output[i].first+" = "));
00135         if (_output[i].second->isArray()) {
00136           AST::Array* oa = _output[i].second->getArray();
00137           for (unsigned int j=0; j<oa->a.size(); j++) {
00138             a->a.push_back(oa->a[j]);
00139             oa->a[j] = NULL;
00140           }
00141           delete _output[i].second;
00142         } else {
00143           a->a.push_back(_output[i].second);
00144         }
00145         a->a.push_back(new AST::String(";\n"));
00146       }
00147       return a;
00148     }
00149   
00150   };
00151 
00152 }}
00153 
00154 #endif
00155 
00156 // STATISTICS: flatzinc-any