map_triple_crtpb.hpp

Go to the documentation of this file.

#ifndef MAP_TRIPLE_CRTPB_HPP_
#define MAP_TRIPLE_CRTPB_HPP_
#include "boost/assert.hpp"
#include "boost/concept/assert.hpp"

#include "owlcpp/detail/map_traits.hpp"

namespace owlcpp{

template<class Super> class Map_triple_crtpb {
   typedef detail::Map_traits<Super> traits;
   typedef typename traits::map_triple_type map_triple_type;

   map_triple_type const& _map_triple() const {
      return static_cast<Super const&>(*this).map_triple_;
   }

   map_triple_type& _map_triple() {
      return static_cast<Super&>(*this).map_triple_;
   }

public:

   template<class Subj, class Pred, class Obj, class Doc> struct result
   : public map_triple_type::template result<Subj,Pred,Obj,Doc>{};

   template<bool Subj, bool Pred, bool Obj, bool Doc>struct result_b
   : public map_triple_type::template result_b<Subj,Pred,Obj,Doc>{};

   template<class Subj, class Pred, class Obj, class Doc>
   typename result<Subj,Pred,Obj,Doc>::type
   find_triple(const Subj subj, const Pred pred, const Obj obj, const Doc doc) const {
      return _map_triple().find(subj, pred, obj, doc);
   }

   void insert_triple(
            const Node_id subj,
            const Node_id pred,
            const Node_id obj,
            const Doc_id doc
   ) {
      BOOST_CONCEPT_ASSERT((Node_store<Super>));
      BOOST_ASSERT(
            static_cast<Super const&>(*this).find(subj) &&
            "invalid subject ID"
      );
      BOOST_ASSERT(
            static_cast<Super const&>(*this).find(pred) &&
            "invalid predicate ID"
      );
      BOOST_ASSERT(
            static_cast<Super const&>(*this).find(obj) &&
            "invalid object ID"
      );
      BOOST_ASSERT( static_cast<Super const&>(*this).find(doc) &&
            "invalid document ID"
      );
      _map_triple().insert(subj, pred, obj, doc);
   }

};

}//namespace owlcpp
#endif /* MAP_TRIPLE_CRTPB_HPP_ */