LMCAS::property_detail 命名空间参考

函数
template<typename F>
PropertyStoreResult	checked_property_update (PropertyStore &store, const std::string &symbol, const std::string &operation, F &&update)
std::string	domain_str (Domain domain)
PropertyStoreResult	invalid_empty_symbol (const std::string &operation)

函数说明

checked_property_update()

template<typename F>

PropertyStoreResult LMCAS::property_detail::checked_property_update	(	PropertyStore &	store,
		const std::string &	symbol,
		const std::string &	operation,
		F &&	update )

在文件 property_store_support.hpp 第 11 行定义.

                                                        {
    if (symbol.empty()) {
        return invalid_empty_symbol(operation);
    }
    try {
        PropertyStore candidate = store;
        update(candidate);
        store = std::move(candidate);
    } catch (const std::bad_alloc&) {
        return PropertyStoreResult::failure(
            CasErrc::ResourceLimit, "property-store allocation failed", operation);
    } catch (const std::invalid_argument& ex) {
        return PropertyStoreResult::failure(CasErrc::InvalidArgument, ex.what(), operation);
    } catch (const std::exception& ex) {
        return PropertyStoreResult::failure(CasErrc::InternalInvariant, ex.what(), operation);
    }
    return PropertyStoreResult::success();
}

引用了 checked_property_update(), LMCAS::Result< void >::failure(), LMCAS::InternalInvariant, invalid_empty_symbol(), LMCAS::InvalidArgument, LMCAS::ResourceLimit , 以及 LMCAS::Result< void >::success().

被这些函数引用 checked_property_update().

函数调用图:

这是这个函数的调用关系图:

domain_str()

std::string LMCAS::property_detail::domain_str

(

Domain

domain

)

在文件 property_store_support.cpp 第 5 行定义.

                                    {
    static const std::pair<Domain, const char*> names[] = {
        {Domain::Complex, "Complex"},
        {Domain::Real, "Real"},
        {Domain::Algebraic, "Algebraic"},
        {Domain::Rational, "Rational"},
        {Domain::Integer, "Integer"},
        {Domain::Natural, "Natural"},
        {Domain::PositiveInt, "PositiveInt"}
    };
    for (const auto& name : names) {
        if (domain == name.first) return name.second;
    }
    return "Complex";
}

引用了 LMCAS::Algebraic, LMCAS::Complex, LMCAS::domain, domain_str(), LMCAS::Integer, LMCAS::name, LMCAS::Natural, LMCAS::PositiveInt, LMCAS::Rational , 以及 LMCAS::Real.

被这些函数引用 domain_str() , 以及 LMCAS::anonymous_namespace{assumption_serialization.cpp}::serialize_symbol_properties().

函数调用图:

这是这个函数的调用关系图:

invalid_empty_symbol()

PropertyStoreResult LMCAS::property_detail::invalid_empty_symbol

(

const std::string &

operation

)

在文件 property_store_support.cpp 第 20 行定义.

                                                                     {
    return PropertyStoreResult::failure(
        CasErrc::InvalidArgument, "symbol name must not be empty", operation);
}

引用了 LMCAS::Result< void >::failure(), invalid_empty_symbol() , 以及 LMCAS::InvalidArgument.

被这些函数引用 checked_property_update() , 以及 invalid_empty_symbol().

函数调用图:

这是这个函数的调用关系图: