virtual_machine.hpp

Go to the documentation of this file.

/*
    Copyright 2013 Adobe
    Distributed under the Boost Software License, Version 1.0.
    (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
*/
/**************************************************************************************************/
 
#ifndef ADOBE_VIRTUAL_MACHINE_HPP
#define ADOBE_VIRTUAL_MACHINE_HPP
 
#include <adobe/config.hpp>
 
#include <functional>
#include <stdexcept>
#include <string>
 
#define BOOST_FUNCTION_NO_DEPRECATED
#include <boost/operators.hpp>
 
#include <adobe/any_regular.hpp>
#include <adobe/array_fwd.hpp>
#include <adobe/dictionary_fwd.hpp>
#include <adobe/name.hpp>
 
/**************************************************************************************************/
 
namespace adobe {
 
/**************************************************************************************************/

const char* type_name(const std::type_info& type);
 
/**************************************************************************************************/

template <class T>
auto cast(adobe::any_regular_t& x) -> decltype(x.cast<T>()) {
    if constexpr (!std::is_same_v<T, adobe::any_regular_t>) {
        if (x.type_info() != typeid(promote_t<T>))
            throw std::runtime_error(std::string{"expected `"} + type_name(typeid(promote_t<T>)) +
                                     "` found `" + type_name(x.type_info()) + "`");
    }
    return x.cast<T>();
}

template <class T>
auto cast(const adobe::any_regular_t& x) -> decltype(x.cast<T>()) {
    if constexpr (!std::is_same_v<T, adobe::any_regular_t>) {
        if (x.type_info() != typeid(promote_t<T>))
            throw std::runtime_error(std::string{"expected `"} + type_name(typeid(promote_t<T>)) +
                                     "` found `" + type_name(x.type_info()) + "`");
    }
    return x.cast<T>();
}
 
/**************************************************************************************************/
/*
    Note: For all bitwise operators the numeric data type (double) will be cast down to a
          std::uint32_t for the operation.
*/
class virtual_machine_t {
public:
    typedef array_t expression_t;
 
    typedef any_regular_t(variable_lookup_signature_t)(name_t);
    typedef any_regular_t(dictionary_function_lookup_signature_t)(name_t, const dictionary_t&);
    typedef any_regular_t(array_function_lookup_signature_t)(name_t, const array_t&);
    typedef any_regular_t(named_index_lookup_signature_t)(const any_regular_t&, name_t index);
    typedef any_regular_t(numeric_index_lookup_signature_t)(const any_regular_t&,
                                                            std::size_t index);
 
    using variable_lookup_t = std::function<variable_lookup_signature_t>;
    using dictionary_function_lookup_t = std::function<dictionary_function_lookup_signature_t>;
    using array_function_lookup_t = std::function<array_function_lookup_signature_t>;
    using named_index_lookup_t = std::function<named_index_lookup_signature_t>;
    using numeric_index_lookup_t = std::function<numeric_index_lookup_signature_t>;
 
    typedef any_regular_t(binary_op_override_signature_t)(const any_regular_t&,
                                                          const any_regular_t&);
 
    using binary_op_override_t = std::function<binary_op_override_signature_t>;
 
#if !defined(ADOBE_NO_DOCUMENTATION)
    virtual_machine_t();
    virtual_machine_t(const virtual_machine_t&);
 
    virtual_machine_t& operator=(const virtual_machine_t& rhs);
 
    ~virtual_machine_t();
#endif
 
    void evaluate(const expression_t& expression);
#if 0
    void evaluate_named_arguments(const dictionary_t&);
#endif
 
    const any_regular_t& back() const;
    any_regular_t& back();
    void pop_back();
 
    void set_variable_lookup(const variable_lookup_t&);
    void set_array_function_lookup(const array_function_lookup_t&);
    void set_dictionary_function_lookup(const dictionary_function_lookup_t&);
    void set_named_index_lookup(const named_index_lookup_t&);
    void set_numeric_index_lookup(const numeric_index_lookup_t&);
 
    void override_operator(name_t, const binary_op_override_t&);
 
    class implementation_t;
 
private:
    implementation_t* object_m;
};
 
/**************************************************************************************************/
 
} // namespace adobe
 
/**************************************************************************************************/
 
#endif
 
/**************************************************************************************************/