query-util.hpp

Go to the documentation of this file.

/*
  QUERY-UTIL.hpp  -  support for working with terms and queries

   Copyright (C)
     2008, 2012       Hermann Vosseler <Ichthyostega@web.de>

  **Lumiera** is free software; you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by the
  Free Software Foundation; either version 2 of the License, or (at your
  option) any later version. See the file COPYING for further details.

*/


#ifndef LIB_QUERY_UTIL_H
#define LIB_QUERY_UTIL_H


#include "lib/symbol.hpp"
#include "lib/meta/util.hpp"

#include <typeinfo>
#include <string>


namespace lib {
  
  using lib::Symbol;
  using lib::Literal;
  using std::string;
  
  
  
  
  
  
  namespace query {
    
    void normaliseID (string& id);
    
    
    uint countPred (const string&);
    
    
    string extractID (Symbol, string const& termString);
    
    string removeTerm (Symbol, string& queryString);
    bool hasTerm (Symbol sym, string const& queryString);
    
    string appendTerms (string const& pred1, string const& pred2);
    
    
    template<typename TY>
    const string
    buildTypeID()
    {
      string typeID {util::typeStr<TY>()};
      normaliseID (typeID);
      return typeID;
    }
    
    
    
  }} // namespace lib::query
#endif