X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fsimple-closure.cc;h=e99c8570b79079cb7f965e274c40012c432b95d6;hb=47db9a3883d726ca53e2133a3b2298f78dd6a32e;hp=122b1f2a78d62f97cf4d2747e7a5de4ef8028bb9;hpb=f01b62400572ea7fe1b4f7511a2b3a33d8e42cdb;p=lilypond.git diff --git a/lily/simple-closure.cc b/lily/simple-closure.cc index 122b1f2a78..e99c8570b7 100644 --- a/lily/simple-closure.cc +++ b/lily/simple-closure.cc @@ -1,110 +1,123 @@ /* - closure.cc -- chained closures. + This file is part of LilyPond, the GNU music typesetter. - source file of the GNU LilyPond music typesetter + Copyright (C) 2005--2015 Han-Wen Nienhuys - (c) 2005 Han-Wen Nienhuys -*/ - -#include "lily-guile.hh" - -static scm_t_bits simple_closure_tag; + LilyPond is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. -bool -is_simple_closure (SCM s) -{ - return (SCM_NIMP (s) && SCM_CELL_TYPE (s) == simple_closure_tag); -} + LilyPond 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 General Public License for more details. -SCM -simple_closure_expression (SCM smob) -{ - assert (is_simple_closure (smob)); - return (SCM) SCM_CELL_WORD_1(smob); -} + You should have received a copy of the GNU General Public License + along with LilyPond. If not, see . +*/ +#include "simple-closure.hh" +#include "unpure-pure-container.hh" -SCM evaluate_with_simple_closure (SCM delayed_argument, SCM expr); +#include "grob.hh" SCM -evaluate_args (SCM delayed_argument, SCM args) +evaluate_args (SCM delayed_argument, SCM args, bool pure, int start, int end) { SCM new_args = SCM_EOL; SCM *tail = &new_args; for (SCM s = args; scm_is_pair (s); s = scm_cdr (s)) { - *tail = scm_cons (evaluate_with_simple_closure (delayed_argument, scm_car (s)), - SCM_EOL); + *tail = scm_cons (evaluate_with_simple_closure (delayed_argument, scm_car (s), + pure, start, end), + SCM_EOL); + if (scm_car (*tail) == SCM_UNSPECIFIED) + return SCM_UNSPECIFIED; tail = SCM_CDRLOC (*tail); } - + return new_args; } SCM evaluate_with_simple_closure (SCM delayed_argument, - SCM expr) + SCM expr, + bool pure, + int start, + int end) { - if (is_simple_closure (expr)) + if (Simple_closure *sc = Simple_closure::unsmob (expr)) { - SCM inside = simple_closure_expression (expr); - return scm_apply_1 (scm_car (inside), - delayed_argument, - evaluate_args (delayed_argument, scm_cdr (inside))); + SCM inside = sc->expression (); + SCM proc = !pure && Unpure_pure_container::is_smob (scm_car (inside)) + ? Unpure_pure_container::unsmob (scm_car (inside))->unpure_part () + : scm_car (inside); + SCM args = scm_cons (delayed_argument, + evaluate_args (delayed_argument, scm_cdr (inside), + pure, start, end)); + if (scm_cdr (args) == SCM_UNSPECIFIED) + return SCM_UNSPECIFIED; + if (pure) + return call_pure_function (proc, args, start, end); + return scm_apply_0 (proc, args); } else if (!scm_is_pair (expr)) return expr; else if (scm_car (expr) == ly_symbol2scm ("quote")) return scm_cadr (expr); - else if (ly_is_procedure (scm_car (expr))) + else if (Unpure_pure_container::is_smob (scm_car (expr)) + || ly_is_procedure (scm_car (expr))) { - return scm_apply_0 (scm_car (expr), - evaluate_args (delayed_argument, scm_cdr (expr))); + SCM proc = !pure && Unpure_pure_container::is_smob (scm_car (expr)) + ? Unpure_pure_container::unsmob (scm_car (expr))->unpure_part () + : scm_car (expr); + SCM args = evaluate_args (delayed_argument, scm_cdr (expr), pure, start, end); + if (args == SCM_UNSPECIFIED) + return SCM_UNSPECIFIED; + if (pure) + return call_pure_function (proc, args, start, end); + return scm_apply_0 (proc, args); } else - // ugh. deviation from standard. Should print error? - return evaluate_args (delayed_argument, scm_cdr (expr)); - + // ugh. deviation from standard. Should print error? + return evaluate_args (delayed_argument, scm_cdr (expr), pure, start, end); + assert (false); return SCM_EOL; } -LY_DEFINE(ly_simple_closure_p, "ly:simple-closure?", - 1,0,0, (SCM clos), - "Type predicate.") +const char Simple_closure::type_p_name_[] = "ly:simple-closure?"; + +LY_DEFINE (ly_make_simple_closure, "ly:make-simple-closure", + 1, 0, 0, (SCM expr), + "Make a simple closure. @var{expr} should be form of" + " @code{(@var{func} @var{a1} @var{a2} @dots{})}, and will be" + " invoked as @code{(@var{func} @var{delayed-arg} @var{a1}" + " @var{a2} @dots{})}.") { - return scm_from_bool (is_simple_closure (clos)); + return Simple_closure::make_smob (expr); } -LY_DEFINE(ly_make_simple_closure, "ly:make-simple-closure", - 1, 0, 0, (SCM expr), - "Make a simple closure. @var{expr} should be form of " - "@code{(@var{func} @var{a1} @var{A2} ...)}, and will be invoked " - "as @code{(@var{func} @var{delayed-arg} @var{a1} @var{a2} ... )}.") +LY_DEFINE (ly_eval_simple_closure, "ly:eval-simple-closure", + 2, 2, 0, (SCM delayed, SCM closure, SCM scm_start, SCM scm_end), + "Evaluate a simple @var{closure} with the given @var{delayed}" + " argument. If @var{scm-start} and @var{scm-end} are defined," + " evaluate it purely with those start and end points.") { - SCM z; - - SCM_NEWSMOB(z, simple_closure_tag, expr); - return z; + LY_ASSERT_SMOB (Simple_closure, closure, 2); + bool pure = (scm_is_number (scm_start) && scm_is_number (scm_end)); + int start = robust_scm2int (scm_start, 0); + int end = robust_scm2int (scm_end, 0); + SCM expr = Simple_closure::unsmob (closure)->expression (); + return evaluate_with_simple_closure (delayed, expr, pure, start, end); } - + int -print_simple_closure (SCM s, SCM port, scm_print_state *) +Simple_closure::print_smob (SCM port, scm_print_state *) { scm_puts ("#", port); return 1; } - - -void init_simple_closure () -{ - simple_closure_tag = scm_make_smob_type ("simple-closure", 0); - scm_set_smob_mark (simple_closure_tag, scm_markcdr); - scm_set_smob_print (simple_closure_tag, print_simple_closure); -}; - - - -ADD_SCM_INIT_FUNC(simple_closure, init_simple_closure);