167 lines
7.1 KiB
C++
167 lines
7.1 KiB
C++
/* @file pyexpression.cpp */
|
|
|
|
#include "pyexpression.hpp"
|
|
#include "xo/pyreflect/pyreflect.hpp"
|
|
#include "xo/expression/Expression.hpp"
|
|
#include "xo/expression/Apply.hpp"
|
|
#include "xo/expression/PrimitiveInterface.hpp"
|
|
#include "xo/expression/Primitive.hpp"
|
|
#include "xo/expression/ConstantInterface.hpp"
|
|
#include "xo/expression/Constant.hpp"
|
|
#include "xo/expression/Variable.hpp"
|
|
#include "xo/expression/Lambda.hpp"
|
|
#include "xo/expression/IfExpr.hpp"
|
|
#include "xo/pyutil/pyutil.hpp"
|
|
#include <pybind11/functional.h>
|
|
#include <pybind11/stl.h>
|
|
#include <cmath>
|
|
|
|
namespace xo {
|
|
namespace ast {
|
|
using xo::ast::exprtype;
|
|
using xo::ast::Expression;
|
|
using xo::ast::make_apply;
|
|
using xo::ast::PrimitiveInterface;
|
|
using xo::ast::Primitive;
|
|
using xo::ast::make_primitive;
|
|
using xo::ast::ConstantInterface;
|
|
using xo::ast::Constant;
|
|
using xo::ast::Variable;
|
|
using xo::ast::make_var;
|
|
using xo::ast::Lambda;
|
|
using xo::ast::make_lambda;
|
|
using xo::ast::IfExpr;
|
|
using xo::ast::make_ifexpr;
|
|
using xo::reflect::TaggedPtr;
|
|
using xo::ref::rp;
|
|
namespace py = pybind11;
|
|
|
|
PYBIND11_MODULE(XO_PYEXPRESSION_MODULE_NAME(), m) {
|
|
// e.g. for xo::reflect::TypeDescr
|
|
PYREFLECT_IMPORT_MODULE(); // py::module_::import("pyreflect");
|
|
|
|
m.doc() = "pybind11 plugin for xo-expression";
|
|
|
|
py::enum_<exprtype>(m, "exprtype")
|
|
.value("invalid", exprtype::invalid)
|
|
.value("constant", exprtype::constant)
|
|
.value("primitive", exprtype::primitive)
|
|
.value("apply", exprtype::apply)
|
|
.value("lambda", exprtype::lambda)
|
|
.value("variable", exprtype::variable)
|
|
.value("ifexpr", exprtype::ifexpr)
|
|
;
|
|
|
|
py::class_<Expression,
|
|
rp<Expression>>(m, "Expression")
|
|
.def_property_readonly("extype", &Expression::extype)
|
|
.def("__repr__", &Expression::display_string);
|
|
;
|
|
|
|
// ----- Constants -----
|
|
|
|
py::class_<ConstantInterface,
|
|
Expression,
|
|
rp<ConstantInterface>>(m, "ConstantInterface")
|
|
.def("value_td", &ConstantInterface::value_td,
|
|
py::doc("type description for literal value represented by this Constant"))
|
|
.def("value",
|
|
[](const ConstantInterface & expr) {
|
|
TaggedPtr tp = expr.value_tp();
|
|
|
|
auto * p = tp.recover_native<double>();
|
|
|
|
/* TODO: promote to pyobject, so we can do polymorphism */
|
|
if (p)
|
|
return *p;
|
|
else
|
|
return std::numeric_limits<double>::quiet_NaN();
|
|
},
|
|
py::doc("recover constant expression's wrapped value [wip - only works for double]"))
|
|
;
|
|
|
|
py::class_<Constant<double>, ConstantInterface, rp<Constant<double>>>(m, "Constant_double")
|
|
;
|
|
|
|
m.def("make_constant",
|
|
[](double x) {
|
|
return make_constant(x);
|
|
},
|
|
py::arg("x"),
|
|
py::doc("make_constant(x) creates constant expression holding x [wip - only works for double"))
|
|
;
|
|
|
|
// ----- Primitives -----
|
|
|
|
py::class_<PrimitiveInterface,
|
|
Expression,
|
|
rp<PrimitiveInterface>>(m, "PrimitiveInterface")
|
|
.def("name", &PrimitiveInterface::name,
|
|
py::doc("name of this primitive function; use this name to invoke the function"))
|
|
.def("n_arg", &PrimitiveInterface::n_arg,
|
|
py::doc("number of arguments to this function (not counting return value)"))
|
|
;
|
|
|
|
using Fn_dbl_dbl_type = double (*)(double);
|
|
|
|
m.def("make_sqrt_pm", []() { return make_primitive<Fn_dbl_dbl_type>("sqrt", sqrt); },
|
|
py::doc("create primitive representing the ::sqrt() function"));
|
|
m.def("make_sin_pm", []() { return make_primitive<Fn_dbl_dbl_type>("sin", ::sin); },
|
|
py::doc("create primitive representing the ::sin() function"));
|
|
m.def("make_cos_pm", []() { return make_primitive<Fn_dbl_dbl_type>("cos", ::cos); },
|
|
py::doc("create primitive representing the ::cos() function"));
|
|
m.def("make_pow_pm", []() { return make_primitive<double (*)(double, double)>("pow", ::pow); },
|
|
py::doc("create primitive representing the ::pow() function"));
|
|
|
|
py::class_<Primitive<double (*)(double)>,
|
|
PrimitiveInterface,
|
|
rp<Primitive<double (*)(double)>>>(m, "Primitive_double_double")
|
|
;
|
|
py::class_<Primitive<double (*)(double, double)>,
|
|
PrimitiveInterface,
|
|
rp<Primitive<double (*)(double, double)>>>(m, "Primitive_double_double_double")
|
|
;
|
|
|
|
// ----- Apply -----
|
|
|
|
py::class_<Apply, Expression, rp<Apply>>(m, "Apply")
|
|
.def_property_readonly("fn", &Apply::fn, py::doc("function to be invoked"))
|
|
.def_property_readonly("argv", &Apply::argv, py::doc("expressions (in position order) for function arguments"))
|
|
;
|
|
|
|
m.def("make_apply", &Apply::make);
|
|
|
|
// ----- Variables -----
|
|
|
|
py::class_<Variable, Expression, rp<Variable>>(m, "Variable")
|
|
.def_property_readonly("name", &Variable::name, py::doc("variable name"))
|
|
;
|
|
|
|
m.def("make_var", &make_var);
|
|
|
|
// ----- Lambdas -----
|
|
|
|
py::class_<Lambda, Expression, rp<Lambda>>(m, "Lambda")
|
|
.def_property_readonly("name", &Lambda::name, py::doc("lambda name (maybe automatically generated?)"))
|
|
.def_property_readonly("type_str", &Lambda::type_str, py::doc("string specifying lambda type. e.g. \"double(double,double)\""))
|
|
.def_property_readonly("argv", &Lambda::argv, py::doc("lambda formal parameters"))
|
|
.def_property_readonly("body", &Lambda::body, py::doc("lambda body expression"))
|
|
.def_property_readonly("n_arg", &Lambda::n_arg, py::doc("number of format parameters to this lambda function"))
|
|
;
|
|
|
|
m.def("make_lambda", &make_lambda);
|
|
|
|
// ----- IfExpr -----
|
|
|
|
py::class_<IfExpr, Expression, rp<IfExpr>>(m, "IfExpr")
|
|
.def_property_readonly("test", &IfExpr::test, py::doc("test expression"))
|
|
.def_property_readonly("when_true", &IfExpr::when_true, py::doc("execute this expression when (and only when) test succeeds"))
|
|
.def_property_readonly("when_false", &IfExpr::when_false, py::doc("execute this expression when (and only when) test fails"))
|
|
;
|
|
|
|
m.def("make_ifexpr", &make_ifexpr);
|
|
} /*pyexpresion*/
|
|
} /*namespace ast*/
|
|
} /*namespace xo*/
|
|
|
|
/* end pyexpression.cpp */
|