X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fsimple-closure.cc;h=e99c8570b79079cb7f965e274c40012c432b95d6;hb=47db9a3883d726ca53e2133a3b2298f78dd6a32e;hp=22ee294f49916b9e283c19745b944eafe7bb9673;hpb=c3ff1c6cd20e15e9036ee7120012e05b1d62a46d;p=lilypond.git diff --git a/lily/simple-closure.cc b/lily/simple-closure.cc index 22ee294f49..e99c8570b7 100644 --- a/lily/simple-closure.cc +++ b/lily/simple-closure.cc @@ -1,30 +1,27 @@ /* - 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--2007 Han-Wen Nienhuys + 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. + + 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. + + 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" #include "grob.hh" -static scm_t_bits simple_closure_tag; - -bool -is_simple_closure (SCM s) -{ - return (SCM_NIMP (s) && SCM_CELL_TYPE (s) == simple_closure_tag); -} - -SCM -simple_closure_expression (SCM smob) -{ - assert (is_simple_closure (smob)); - return (SCM) SCM_CELL_WORD_1(smob); -} - SCM evaluate_args (SCM delayed_argument, SCM args, bool pure, int start, int end) { @@ -33,105 +30,94 @@ evaluate_args (SCM delayed_argument, SCM args, bool pure, int start, int end) for (SCM s = args; scm_is_pair (s); s = scm_cdr (s)) { *tail = scm_cons (evaluate_with_simple_closure (delayed_argument, scm_car (s), - pure, start, end), - SCM_EOL); + pure, start, end), + SCM_EOL); if (scm_car (*tail) == SCM_UNSPECIFIED) - return SCM_UNSPECIFIED; + return SCM_UNSPECIFIED; tail = SCM_CDRLOC (*tail); } - + return new_args; } SCM evaluate_with_simple_closure (SCM delayed_argument, - SCM expr, - bool pure, - int start, - int end) + 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); + 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)); + evaluate_args (delayed_argument, scm_cdr (inside), + pure, start, end)); if (scm_cdr (args) == SCM_UNSPECIFIED) - return SCM_UNSPECIFIED; + return SCM_UNSPECIFIED; if (pure) - return call_pure_function (scm_car (inside), args, start, end); - return scm_apply_0 (scm_car (inside), args); + 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))) { + 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; + return SCM_UNSPECIFIED; if (pure) - return call_pure_function (scm_car (expr), args, start, end); - return scm_apply_0 (scm_car (expr), args); + 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), pure, start, end); - + // 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.") -{ - return scm_from_bool (is_simple_closure (clos)); -} +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} ...)}, and will be invoked " - "as @code{(@var{func} @var{delayed-arg} @var{a1} @var{a2} ... )}.") + 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{})}.") { - SCM z; - - SCM_NEWSMOB (z, simple_closure_tag, expr); - return z; + return Simple_closure::make_smob (expr); } 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 closure with the given delayed argument. " - "If start and end are defined, evaluate it purely with those " - "start- and end-points.") + 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.") { + 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_expression (closure); + 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);