C++ (Cpp) Decl::is_none示例

inline Decl check_seq_declaration(Range& r, Triple_store const& ts) {
   boost::sub_range<Range> bsr(r);
   if( ! bsr ) BOOST_THROW_EXCEPTION(
            Logic_err()
            << Logic_err::msg_t("empty sequence")
   );
   const Decl d = declaration<Decl>(bsr.front(), ts);
   if( d.is_none() ) BOOST_THROW_EXCEPTION(
            Logic_err()
            << Logic_err::msg_t("node " + Decl::name() + " declaration not found")
            << Logic_err::str1_t(to_string(bsr.front(), ts))
   );
   bsr.advance_begin(1);
   check_seq_declaration(bsr, d, ts);
   return d;
}

示例#2

显示文件

文件： find_node_declaration.hpp 项目： ethz-asl/libowlcpp

/**@brief
*******************************************************************************/
template<class Decl> inline Decl
check_same_declaration(const Node_id n1, const Node_id n2, Triple_store const& ts) {
   const Decl d1 = declaration<Decl>(n1, ts);
   if( d1.is_none() ) BOOST_THROW_EXCEPTION(
            Logic_err()
            << Logic_err::msg_t("node " + Decl::name() + " declaration not found")
            << Logic_err::str1_t(to_string(n1, ts))
   );
   const Decl d2 = declaration<Decl>(n2, ts);
   if( d1 != d2 ) BOOST_THROW_EXCEPTION(
               Logic_err()
               << Logic_err::msg_t("node type mismatch")
               << Logic_err::str1_t(d1.to_string())
               << Logic_err::str2_t(d2.to_string())
   );
   return d1;
}