123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365 |
- /* Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2006,
- * 2008, 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
- *
- * This library is free software; you can redistribute it and/or
- * modify it under the terms of the GNU Lesser General Public License
- * as published by the Free Software Foundation; either version 3 of
- * the License, or (at your option) any later version.
- *
- * This library 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
- * Lesser General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public
- * License along with this library; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
- * 02110-1301 USA
- */
- #ifdef HAVE_CONFIG_H
- # include <config.h>
- #endif
- #include <errno.h>
- #include "libguile/_scm.h"
- #include "libguile/async.h"
- #include "libguile/smob.h"
- #include "libguile/alist.h"
- #include "libguile/debug.h"
- #include "libguile/hashtab.h"
- #include "libguile/hash.h"
- #include "libguile/ports.h"
- #include "libguile/root.h"
- #include "libguile/gc.h"
- #include "libguile/validate.h"
- #include "libguile/srcprop.h"
- #include "libguile/private-options.h"
- /* {Source Properties}
- *
- * Properties of source list expressions.
- * Four of these have special meaning:
- *
- * filename string The name of the source file.
- * copy list A copy of the list expression.
- * line integer The source code line number.
- * column integer The source code column number.
- *
- * Most properties above can be set by the reader.
- *
- */
- SCM_GLOBAL_SYMBOL (scm_sym_filename, "filename");
- SCM_GLOBAL_SYMBOL (scm_sym_copy, "copy");
- SCM_GLOBAL_SYMBOL (scm_sym_line, "line");
- SCM_GLOBAL_SYMBOL (scm_sym_column, "column");
- static SCM scm_source_whash;
- /*
- * Source properties are stored as double cells with the
- * following layout:
-
- * car = tag
- * cbr = pos
- * ccr = copy
- * cdr = alist
- */
- #define SRCPROPSP(p) (SCM_SMOB_PREDICATE (scm_tc16_srcprops, (p)))
- #define SRCPROPPOS(p) (SCM_SMOB_DATA(p))
- #define SRCPROPLINE(p) (SRCPROPPOS(p) >> 12)
- #define SRCPROPCOL(p) (SRCPROPPOS(p) & 0x0fffL)
- #define SRCPROPCOPY(p) (SCM_SMOB_OBJECT_2(p))
- #define SRCPROPALIST(p) (SCM_SMOB_OBJECT_3(p))
- #define SRCPROPMAKPOS(l, c) (((l) << 12) + (c))
- #define SETSRCPROPPOS(p, l, c) (SCM_SET_SMOB_DATA_1 (p, SRCPROPMAKPOS (l, c)))
- #define SETSRCPROPLINE(p, l) SETSRCPROPPOS (p, l, SRCPROPCOL (p))
- #define SETSRCPROPCOL(p, c) SETSRCPROPPOS (p, SRCPROPLINE (p), c)
- #define SETSRCPROPCOPY(p, c) (SCM_SET_SMOB_OBJECT_2 (p, c))
- #define SETSRCPROPALIST(p, l) (SCM_SET_SMOB_OBJECT_3 (p, l))
- static SCM scm_srcprops_to_alist (SCM obj);
- scm_t_bits scm_tc16_srcprops;
- static int
- supports_source_props (SCM obj)
- {
- return SCM_NIMP (obj) && !scm_is_symbol (obj) && !scm_is_keyword (obj);
- }
- static int
- srcprops_print (SCM obj, SCM port, scm_print_state *pstate)
- {
- int writingp = SCM_WRITINGP (pstate);
- scm_puts_unlocked ("#<srcprops ", port);
- SCM_SET_WRITINGP (pstate, 1);
- scm_iprin1 (scm_srcprops_to_alist (obj), port, pstate);
- SCM_SET_WRITINGP (pstate, writingp);
- scm_putc_unlocked ('>', port);
- return 1;
- }
- /*
- * We remember the last file name settings, so we can share that alist
- * entry. This works because scm_set_source_property_x does not use
- * assoc-set! for modifying the alist.
- *
- * This variable contains a protected cons, whose cdr is the cached
- * alist
- */
- static SCM scm_last_alist_filename;
- SCM
- scm_make_srcprops (long line, int col, SCM filename, SCM copy, SCM alist)
- {
- if (!SCM_UNBNDP (filename))
- {
- SCM old_alist = alist;
- /*
- have to extract the acons, and operate on that, for
- thread safety.
- */
- SCM last_acons = SCM_CDR (scm_last_alist_filename);
- if (scm_is_null (old_alist)
- && scm_is_eq (SCM_CDAR (last_acons), filename))
- {
- alist = last_acons;
- }
- else
- {
- alist = scm_acons (scm_sym_filename, filename, alist);
- if (scm_is_null (old_alist))
- SCM_SETCDR (scm_last_alist_filename, alist);
- }
- }
-
- SCM_RETURN_NEWSMOB3 (scm_tc16_srcprops,
- SRCPROPMAKPOS (line, col),
- SCM_UNPACK (copy),
- SCM_UNPACK (alist));
- }
- static SCM
- scm_srcprops_to_alist (SCM obj)
- {
- SCM alist = SRCPROPALIST (obj);
- if (!SCM_UNBNDP (SRCPROPCOPY (obj)))
- alist = scm_acons (scm_sym_copy, SRCPROPCOPY (obj), alist);
- alist = scm_acons (scm_sym_column, scm_from_int (SRCPROPCOL (obj)), alist);
- alist = scm_acons (scm_sym_line, scm_from_int (SRCPROPLINE (obj)), alist);
- return alist;
- }
- SCM_DEFINE (scm_supports_source_properties_p, "supports-source-properties?", 1, 0, 0,
- (SCM obj),
- "Return #t if @var{obj} supports adding source properties,\n"
- "otherwise return #f.")
- #define FUNC_NAME s_scm_supports_source_properties_p
- {
- return scm_from_bool (supports_source_props (obj));
- }
- #undef FUNC_NAME
- SCM_DEFINE (scm_source_properties, "source-properties", 1, 0, 0,
- (SCM obj),
- "Return the source property association list of @var{obj}.")
- #define FUNC_NAME s_scm_source_properties
- {
- if (SCM_IMP (obj))
- return SCM_EOL;
- else
- {
- SCM p = scm_weak_table_refq (scm_source_whash, obj, SCM_EOL);
- if (SRCPROPSP (p))
- return scm_srcprops_to_alist (p);
- else
- /* list from set-source-properties!, or SCM_EOL for not found */
- return p;
- }
- }
- #undef FUNC_NAME
- /* Perhaps this procedure should look through an alist
- and try to make a srcprops-object...? */
- SCM_DEFINE (scm_set_source_properties_x, "set-source-properties!", 2, 0, 0,
- (SCM obj, SCM alist),
- "Install the association list @var{alist} as the source property\n"
- "list for @var{obj}.")
- #define FUNC_NAME s_scm_set_source_properties_x
- {
- SCM_VALIDATE_NIM (1, obj);
- scm_weak_table_putq_x (scm_source_whash, obj, alist);
- return alist;
- }
- #undef FUNC_NAME
- int
- scm_i_has_source_properties (SCM obj)
- #define FUNC_NAME "%set-source-properties"
- {
- if (SCM_IMP (obj))
- return 0;
- else
- return scm_is_true (scm_weak_table_refq (scm_source_whash, obj, SCM_BOOL_F));
- }
- #undef FUNC_NAME
-
- void
- scm_i_set_source_properties_x (SCM obj, long line, int col, SCM fname)
- #define FUNC_NAME "%set-source-properties"
- {
- SCM_VALIDATE_NIM (1, obj);
- scm_weak_table_putq_x (scm_source_whash, obj,
- scm_make_srcprops (line, col, fname,
- SCM_COPY_SOURCE_P
- ? scm_copy_tree (obj)
- : SCM_UNDEFINED,
- SCM_EOL));
- }
- #undef FUNC_NAME
- SCM_DEFINE (scm_source_property, "source-property", 2, 0, 0,
- (SCM obj, SCM key),
- "Return the source property specified by @var{key} from\n"
- "@var{obj}'s source property list.")
- #define FUNC_NAME s_scm_source_property
- {
- SCM p;
- if (SCM_IMP (obj))
- return SCM_BOOL_F;
- p = scm_weak_table_refq (scm_source_whash, obj, SCM_EOL);
- if (!SRCPROPSP (p))
- goto alist;
- if (scm_is_eq (scm_sym_line, key))
- return scm_from_int (SRCPROPLINE (p));
- else if (scm_is_eq (scm_sym_column, key))
- return scm_from_int (SRCPROPCOL (p));
- else if (scm_is_eq (scm_sym_copy, key))
- return SRCPROPCOPY (p);
- else
- {
- p = SRCPROPALIST (p);
- alist:
- p = scm_assoc (key, p);
- return (scm_is_pair (p) ? SCM_CDR (p) : SCM_BOOL_F);
- }
- }
- #undef FUNC_NAME
- SCM_DEFINE (scm_set_source_property_x, "set-source-property!", 3, 0, 0,
- (SCM obj, SCM key, SCM datum),
- "Set the source property of object @var{obj}, which is specified by\n"
- "@var{key} to @var{datum}. Normally, the key will be a symbol.")
- #define FUNC_NAME s_scm_set_source_property_x
- {
- SCM p;
- SCM_VALIDATE_NIM (1, obj);
- scm_i_pthread_mutex_lock (&scm_i_misc_mutex);
- p = scm_weak_table_refq (scm_source_whash, obj, SCM_EOL);
- if (scm_is_eq (scm_sym_line, key))
- {
- if (SRCPROPSP (p))
- SETSRCPROPLINE (p, scm_to_int (datum));
- else
- scm_weak_table_putq_x (scm_source_whash, obj,
- scm_make_srcprops (scm_to_int (datum), 0,
- SCM_UNDEFINED, SCM_UNDEFINED, p));
- }
- else if (scm_is_eq (scm_sym_column, key))
- {
- if (SRCPROPSP (p))
- SETSRCPROPCOL (p, scm_to_int (datum));
- else
- scm_weak_table_putq_x (scm_source_whash, obj,
- scm_make_srcprops (0, scm_to_int (datum),
- SCM_UNDEFINED, SCM_UNDEFINED, p));
- }
- else if (scm_is_eq (scm_sym_copy, key))
- {
- if (SRCPROPSP (p))
- SETSRCPROPCOPY (p, datum);
- else
- scm_weak_table_putq_x (scm_source_whash, obj,
- scm_make_srcprops (0, 0, SCM_UNDEFINED, datum, p));
- }
- else
- {
- if (SRCPROPSP (p))
- SETSRCPROPALIST (p, scm_acons (key, datum, SRCPROPALIST (p)));
- else
- scm_weak_table_putq_x (scm_source_whash, obj,
- scm_acons (key, datum, p));
- }
- scm_i_pthread_mutex_unlock (&scm_i_misc_mutex);
- return SCM_UNSPECIFIED;
- }
- #undef FUNC_NAME
- SCM_DEFINE (scm_cons_source, "cons-source", 3, 0, 0,
- (SCM xorig, SCM x, SCM y),
- "Create and return a new pair whose car and cdr are @var{x} and @var{y}.\n"
- "Any source properties associated with @var{xorig} are also associated\n"
- "with the new pair.")
- #define FUNC_NAME s_scm_cons_source
- {
- SCM p, z;
- z = scm_cons (x, y);
- /* Copy source properties possibly associated with xorig. */
- p = scm_weak_table_refq (scm_source_whash, xorig, SCM_BOOL_F);
- if (scm_is_true (p))
- scm_weak_table_putq_x (scm_source_whash, z, p);
- return z;
- }
- #undef FUNC_NAME
- void
- scm_init_srcprop ()
- {
- scm_tc16_srcprops = scm_make_smob_type ("srcprops", 0);
- scm_set_smob_print (scm_tc16_srcprops, srcprops_print);
- scm_source_whash = scm_c_make_weak_table (0, SCM_WEAK_TABLE_KIND_KEY);
- scm_c_define ("source-whash", scm_source_whash);
- scm_last_alist_filename = scm_cons (SCM_EOL,
- scm_acons (SCM_EOL, SCM_EOL, SCM_EOL));
- #include "libguile/srcprop.x"
- }
- /*
- Local Variables:
- c-file-style: "gnu"
- End:
- */
|