| /* Simple iterators for GDB/Scheme. |
| |
| Copyright (C) 2014-2021 Free Software Foundation, Inc. |
| |
| This file is part of GDB. |
| |
| This program 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. |
| |
| This program 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 this program. If not, see <http://www.gnu.org/licenses/>. */ |
| |
| /* See README file in this directory for implementation notes, coding |
| conventions, et.al. */ |
| |
| /* These are *simple* iterators, used to implement iterating over a collection |
| of objects. They are implemented as a smob containing three objects: |
| |
| 1) the object being iterated over, |
| 2) an object to record the progress of the iteration, |
| 3) a procedure of one argument (the iterator object) that returns the next |
| object in the iteration or a pre-determined end marker. |
| |
| Simple example: |
| |
| (define-public (make-list-iterator l end-marker) |
| "Return a <gdb:iterator> object for a list." |
| (let ((next! (lambda (iter) |
| (let ((l (iterator-progress iter))) |
| (if (eq? l '()) |
| end-marker |
| (begin |
| (set-iterator-progress! iter (cdr l)) |
| (car l))))))) |
| (make-iterator l l next!))) |
| |
| (define l '(1 2)) |
| (define i (make-list-iterator l #:eoi)) |
| (iterator-next! i) -> 1 |
| (iterator-next! i) -> 2 |
| (iterator-next! i) -> #:eoi |
| |
| There is SRFI 41, Streams. We might support that too eventually (not with |
| this interface of course). */ |
| |
| #include "defs.h" |
| #include "guile-internal.h" |
| |
| /* A smob for iterating over something. |
| Typically this is used when computing a list of everything is |
| too expensive. */ |
| |
| struct iterator_smob |
| { |
| /* This always appears first. */ |
| gdb_smob base; |
| |
| /* The object being iterated over. */ |
| SCM object; |
| |
| /* An arbitrary object describing the progress of the iteration. |
| This is used by next_x to track progress. */ |
| SCM progress; |
| |
| /* A procedure of one argument, the iterator. |
| It returns the next object in the iteration. |
| How to signal "end of iteration" is up to next_x. */ |
| SCM next_x; |
| }; |
| |
| static const char iterator_smob_name[] = "gdb:iterator"; |
| |
| /* The tag Guile knows the iterator smob by. */ |
| static scm_t_bits iterator_smob_tag; |
| |
| /* A unique-enough marker to denote "end of iteration". */ |
| static SCM end_of_iteration; |
| |
| const char * |
| itscm_iterator_smob_name (void) |
| { |
| return iterator_smob_name; |
| } |
| |
| SCM |
| itscm_iterator_smob_object (iterator_smob *i_smob) |
| { |
| return i_smob->object; |
| } |
| |
| SCM |
| itscm_iterator_smob_progress (iterator_smob *i_smob) |
| { |
| return i_smob->progress; |
| } |
| |
| void |
| itscm_set_iterator_smob_progress_x (iterator_smob *i_smob, SCM progress) |
| { |
| i_smob->progress = progress; |
| } |
| |
| /* Administrivia for iterator smobs. */ |
| |
| /* The smob "print" function for <gdb:iterator>. */ |
| |
| static int |
| itscm_print_iterator_smob (SCM self, SCM port, scm_print_state *pstate) |
| { |
| iterator_smob *i_smob = (iterator_smob *) SCM_SMOB_DATA (self); |
| |
| gdbscm_printf (port, "#<%s ", iterator_smob_name); |
| scm_write (i_smob->object, port); |
| scm_puts (" ", port); |
| scm_write (i_smob->progress, port); |
| scm_puts (" ", port); |
| scm_write (i_smob->next_x, port); |
| scm_puts (">", port); |
| |
| scm_remember_upto_here_1 (self); |
| |
| /* Non-zero means success. */ |
| return 1; |
| } |
| |
| /* Low level routine to make a <gdb:iterator> object. |
| Caller must verify correctness of arguments. |
| No exceptions are thrown. */ |
| |
| static SCM |
| itscm_make_iterator_smob (SCM object, SCM progress, SCM next) |
| { |
| iterator_smob *i_smob = (iterator_smob *) |
| scm_gc_malloc (sizeof (iterator_smob), iterator_smob_name); |
| SCM i_scm; |
| |
| i_smob->object = object; |
| i_smob->progress = progress; |
| i_smob->next_x = next; |
| i_scm = scm_new_smob (iterator_smob_tag, (scm_t_bits) i_smob); |
| gdbscm_init_gsmob (&i_smob->base); |
| |
| return i_scm; |
| } |
| |
| /* (make-iterator object object procedure) -> <gdb:iterator> */ |
| |
| SCM |
| gdbscm_make_iterator (SCM object, SCM progress, SCM next) |
| { |
| SCM i_scm; |
| |
| SCM_ASSERT_TYPE (gdbscm_is_procedure (next), next, SCM_ARG3, FUNC_NAME, |
| _("procedure")); |
| |
| i_scm = itscm_make_iterator_smob (object, progress, next); |
| |
| return i_scm; |
| } |
| |
| /* Return non-zero if SCM is a <gdb:iterator> object. */ |
| |
| int |
| itscm_is_iterator (SCM scm) |
| { |
| return SCM_SMOB_PREDICATE (iterator_smob_tag, scm); |
| } |
| |
| /* (iterator? object) -> boolean */ |
| |
| static SCM |
| gdbscm_iterator_p (SCM scm) |
| { |
| return scm_from_bool (itscm_is_iterator (scm)); |
| } |
| |
| /* (end-of-iteration) -> an "end-of-iteration" marker |
| We rely on this not being used as a data result of an iterator. */ |
| |
| SCM |
| gdbscm_end_of_iteration (void) |
| { |
| return end_of_iteration; |
| } |
| |
| /* Return non-zero if OBJ is the end-of-iteration marker. */ |
| |
| int |
| itscm_is_end_of_iteration (SCM obj) |
| { |
| return scm_is_eq (obj, end_of_iteration); |
| } |
| |
| /* (end-of-iteration? obj) -> boolean */ |
| |
| static SCM |
| gdbscm_end_of_iteration_p (SCM obj) |
| { |
| return scm_from_bool (itscm_is_end_of_iteration (obj)); |
| } |
| |
| /* Call the next! method on ITER, which must be a <gdb:iterator> object. |
| Returns a <gdb:exception> object if an exception is thrown. |
| OK_EXCPS is passed to gdbscm_safe_call_1. */ |
| |
| SCM |
| itscm_safe_call_next_x (SCM iter, excp_matcher_func *ok_excps) |
| { |
| iterator_smob *i_smob; |
| |
| gdb_assert (itscm_is_iterator (iter)); |
| |
| i_smob = (iterator_smob *) SCM_SMOB_DATA (iter); |
| return gdbscm_safe_call_1 (i_smob->next_x, iter, ok_excps); |
| } |
| |
| /* Iterator methods. */ |
| |
| /* Returns the <gdb:iterator> smob in SELF. |
| Throws an exception if SELF is not an iterator smob. */ |
| |
| SCM |
| itscm_get_iterator_arg_unsafe (SCM self, int arg_pos, const char *func_name) |
| { |
| SCM_ASSERT_TYPE (itscm_is_iterator (self), self, arg_pos, func_name, |
| iterator_smob_name); |
| |
| return self; |
| } |
| |
| /* (iterator-object <gdb:iterator>) -> object */ |
| |
| static SCM |
| gdbscm_iterator_object (SCM self) |
| { |
| SCM i_scm; |
| iterator_smob *i_smob; |
| |
| i_scm = itscm_get_iterator_arg_unsafe (self, SCM_ARG1, FUNC_NAME); |
| i_smob = (iterator_smob *) SCM_SMOB_DATA (i_scm); |
| |
| return i_smob->object; |
| } |
| |
| /* (iterator-progress <gdb:iterator>) -> object */ |
| |
| static SCM |
| gdbscm_iterator_progress (SCM self) |
| { |
| SCM i_scm; |
| iterator_smob *i_smob; |
| |
| i_scm = itscm_get_iterator_arg_unsafe (self, SCM_ARG1, FUNC_NAME); |
| i_smob = (iterator_smob *) SCM_SMOB_DATA (i_scm); |
| |
| return i_smob->progress; |
| } |
| |
| /* (set-iterator-progress! <gdb:iterator> object) -> unspecified */ |
| |
| static SCM |
| gdbscm_set_iterator_progress_x (SCM self, SCM value) |
| { |
| SCM i_scm; |
| iterator_smob *i_smob; |
| |
| i_scm = itscm_get_iterator_arg_unsafe (self, SCM_ARG1, FUNC_NAME); |
| i_smob = (iterator_smob *) SCM_SMOB_DATA (i_scm); |
| |
| i_smob->progress = value; |
| return SCM_UNSPECIFIED; |
| } |
| |
| /* (iterator-next! <gdb:iterator>) -> object |
| The result is the next value in the iteration or some "end" marker. |
| It is up to each iterator's next! function to specify what its end |
| marker is. */ |
| |
| static SCM |
| gdbscm_iterator_next_x (SCM self) |
| { |
| SCM i_scm; |
| iterator_smob *i_smob; |
| |
| i_scm = itscm_get_iterator_arg_unsafe (self, SCM_ARG1, FUNC_NAME); |
| i_smob = (iterator_smob *) SCM_SMOB_DATA (i_scm); |
| /* We leave type-checking of the procedure to gdbscm_safe_call_1. */ |
| |
| return gdbscm_safe_call_1 (i_smob->next_x, self, NULL); |
| } |
| |
| /* Initialize the Scheme iterator code. */ |
| |
| static const scheme_function iterator_functions[] = |
| { |
| { "make-iterator", 3, 0, 0, as_a_scm_t_subr (gdbscm_make_iterator), |
| "\ |
| Create a <gdb:iterator> object.\n\ |
| \n\ |
| Arguments: object progress next!\n\ |
| object: The object to iterate over.\n\ |
| progress: An object to use to track progress of the iteration.\n\ |
| next!: A procedure of one argument, the iterator.\n\ |
| Returns the next element in the iteration or an implementation-chosen\n\ |
| value to signify iteration is complete.\n\ |
| By convention end-of-iteration should be marked with (end-of-iteration)\n\ |
| from module (gdb iterator)." }, |
| |
| { "iterator?", 1, 0, 0, as_a_scm_t_subr (gdbscm_iterator_p), |
| "\ |
| Return #t if the object is a <gdb:iterator> object." }, |
| |
| { "iterator-object", 1, 0, 0, as_a_scm_t_subr (gdbscm_iterator_object), |
| "\ |
| Return the object being iterated over." }, |
| |
| { "iterator-progress", 1, 0, 0, as_a_scm_t_subr (gdbscm_iterator_progress), |
| "\ |
| Return the progress object of the iterator." }, |
| |
| { "set-iterator-progress!", 2, 0, 0, |
| as_a_scm_t_subr (gdbscm_set_iterator_progress_x), |
| "\ |
| Set the progress object of the iterator." }, |
| |
| { "iterator-next!", 1, 0, 0, as_a_scm_t_subr (gdbscm_iterator_next_x), |
| "\ |
| Invoke the next! procedure of the iterator and return its result." }, |
| |
| { "end-of-iteration", 0, 0, 0, as_a_scm_t_subr (gdbscm_end_of_iteration), |
| "\ |
| Return the end-of-iteration marker." }, |
| |
| { "end-of-iteration?", 1, 0, 0, as_a_scm_t_subr (gdbscm_end_of_iteration_p), |
| "\ |
| Return #t if the object is the end-of-iteration marker." }, |
| |
| END_FUNCTIONS |
| }; |
| |
| void |
| gdbscm_initialize_iterators (void) |
| { |
| iterator_smob_tag = gdbscm_make_smob_type (iterator_smob_name, |
| sizeof (iterator_smob)); |
| scm_set_smob_print (iterator_smob_tag, itscm_print_iterator_smob); |
| |
| gdbscm_define_functions (iterator_functions, 1); |
| |
| /* We can make this more unique if it's necessary, |
| but this is good enough for now. */ |
| end_of_iteration = scm_from_latin1_keyword ("end-of-iteration"); |
| } |