iframe-proxy | Sunbelt Computer Software

181 lines (143 loc) · 6.29 KB
/******************************************************************************\
 *          \//\ \  /\_\ \ \____    ___   _____   _____      __               *
 *            \ \ \ \/\ \ \ '__`\  /'___\/\ '__`\/\ '__`\  /'__`\             *
 *             \_\ \_\ \ \ \ \L\ \/\ \__/\ \ \L\ \ \ \L\ \/\ \L\.\_           *
 *             /\____\\ \_\ \_,__/\ \____\\ \ ,__/\ \ ,__/\ \__/.\_\          *
 *             \/____/ \/_/\/___/  \/____/ \ \ \/  \ \ \/  \/__/\/_/          *
 * Dominik Charousset <dominik.charousset@haw-hamburg.de>                     *
 * This file is part of libcppa.                                              *
 * libcppa is free software: you can redistribute it and/or modify it under   *
 * the terms of the GNU Lesser General Public License as published by the     *
 * Free Software Foundation; either version 2.1 of the License,               *
 * or (at your option) any later version.                                     *
 * libcppa is distributed in the hope that it will be useful,                 *
 * but WITHOUT ANY WARRANTY; without even the implied warranty of             *
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                       *
 * See the GNU Lesser General Public License for more details.                *
 * You should have received a copy of the GNU Lesser General Public License   *
 * along with libcppa. If not, see <http://www.gnu.org/licenses/>.            *
\******************************************************************************/
#ifndef CPPA_PARTIAL_FUNCTION_HPP
#define CPPA_PARTIAL_FUNCTION_HPP
#include <list>
#include <vector>
#include <memory>
#include <utility>
#include <type_traits>
#include "cppa/behavior.hpp"
#include "cppa/any_tuple.hpp"
#include "cppa/ref_counted.hpp"
#include "cppa/intrusive_ptr.hpp"
#include "cppa/timeout_definition.hpp"
#include "cppa/util/duration.hpp"
#include "cppa/detail/behavior_impl.hpp"
namespace cppa {
class behavior;
 * @brief A partial function implementation
 *        for {@link cppa::any_tuple any_tuples}.
class partial_function {
    friend class behavior;
    /** @cond PRIVATE */
    typedef intrusive_ptr<detail::behavior_impl> impl_ptr;
    inline auto as_behavior_impl() const -> const impl_ptr&;
    partial_function(impl_ptr ptr);
    static constexpr bool may_have_timeout = false;
    /** @endcond */
    partial_function() = default;
    partial_function(partial_function&&) = default;
    partial_function(const partial_function&) = default;
    partial_function& operator=(partial_function&&) = default;
    partial_function& operator=(const partial_function&) = default;
    template<typename... Cs>
    partial_function(const match_expr<Cs...>& arg);
    template<typename... Cs, typename T, typename... Ts>
    partial_function(const match_expr<Cs...>& arg0, const T& arg1, const Ts&... args);
     * @brief Returns @p true if this partial function is defined for the
     *        types of @p value, false otherwise.
    inline bool defined_at(const any_tuple& value);
     * @brief Returns @p true if this partial function was applied to
     *        @p args, false otherwise.
     * @note This member function can return @p false even if
     *       {@link defined_at()} returns @p true, because {@link defined_at()}
     *       does <b>not</b> evaluate guards.
    template<typename T>
    inline bool operator()(T&& arg);
     * @brief Adds a fallback which is used where
     *        this partial function is not defined.
    template<typename... Ts>
    typename std::conditional<
        util::disjunction<util::rm_ref<Ts>::type::may_have_timeout...>::value,
        behavior,
        partial_function
    >::type
    or_else(Ts&&... args) const;
    impl_ptr m_impl;
template<typename T>
typename std::conditional<T::may_have_timeout,behavior,partial_function>::type
match_expr_convert(const T& arg) {
    return {arg};
template<typename T0, typename T1, typename... Ts>
typename std::conditional<
    util::disjunction<
        T0::may_have_timeout,
        T1::may_have_timeout,
        Ts::may_have_timeout...
    >::value,
    behavior,
    partial_function
match_expr_convert(const T0& arg0, const T1& arg1, const Ts&... args) {
    return detail::match_expr_concat(arg0, arg1, args...);
/******************************************************************************
 *             inline and template member function implementations            *
 ******************************************************************************/
template<typename... Cs>
partial_function::partial_function(const match_expr<Cs...>& arg)
: m_impl(arg.as_behavior_impl()) { }
template<typename... Cs, typename T, typename... Ts>
partial_function::partial_function(const match_expr<Cs...>& arg0, const T& arg1, const Ts&... args)
: m_impl(detail::match_expr_concat(arg0, arg1, args...)) { }
inline bool partial_function::defined_at(const any_tuple& value) {
    return (m_impl) && m_impl->defined_at(value);
template<typename T>
inline bool partial_function::operator()(T&& arg) {
    return (m_impl) && m_impl->invoke(std::forward<T>(arg));
template<typename... Ts>
typename std::conditional<
    util::disjunction<util::rm_ref<Ts>::type::may_have_timeout...>::value,
    behavior,
    partial_function
partial_function::or_else(Ts&&... args) const {
    auto tmp = match_expr_convert(std::forward<Ts>(args)...);
    return m_impl->or_else(tmp.as_behavior_impl());
inline auto partial_function::as_behavior_impl() const -> const impl_ptr& {
    return m_impl;
} // namespace cppa
#endif // CPPA_PARTIAL_FUNCTION_HPP
Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sunbelt Computer Software

PL/B Language Development and Support

FilesExpand file tree

partial_function.hpp

Latest commit

History

partial_function.hpp

File metadata and controls
