Commit | Line | Data |
---|---|---|
0f2d19dd JB |
1 | ;;; installed-scm-file |
2 | ||
1a179b03 | 3 | ;;;; Copyright (C) 1996, 2001 Free Software Foundation, Inc. |
0f2d19dd JB |
4 | ;;;; |
5 | ;;;; This program is free software; you can redistribute it and/or modify | |
6 | ;;;; it under the terms of the GNU General Public License as published by | |
7 | ;;;; the Free Software Foundation; either version 2, or (at your option) | |
8 | ;;;; any later version. | |
9 | ;;;; | |
10 | ;;;; This program is distributed in the hope that it will be useful, | |
11 | ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | ;;;; GNU General Public License for more details. | |
14 | ;;;; | |
15 | ;;;; You should have received a copy of the GNU General Public License | |
16 | ;;;; along with this software; see the file COPYING. If not, write to | |
15328041 JB |
17 | ;;;; the Free Software Foundation, Inc., 59 Temple Place, Suite 330, |
18 | ;;;; Boston, MA 02111-1307 USA | |
a482f2cc MV |
19 | ;;;; |
20 | ;;;; As a special exception, the Free Software Foundation gives permission | |
21 | ;;;; for additional uses of the text contained in its release of GUILE. | |
22 | ;;;; | |
23 | ;;;; The exception is that, if you link the GUILE library with other files | |
24 | ;;;; to produce an executable, this does not by itself cause the | |
25 | ;;;; resulting executable to be covered by the GNU General Public License. | |
26 | ;;;; Your use of that executable is in no way restricted on account of | |
27 | ;;;; linking the GUILE library code into it. | |
28 | ;;;; | |
29 | ;;;; This exception does not however invalidate any other reasons why | |
30 | ;;;; the executable file might be covered by the GNU General Public License. | |
31 | ;;;; | |
32 | ;;;; This exception applies only to the code released by the | |
33 | ;;;; Free Software Foundation under the name GUILE. If you copy | |
34 | ;;;; code from other Free Software Foundation releases into a copy of | |
35 | ;;;; GUILE, as the General Public License permits, the exception does | |
36 | ;;;; not apply to the code that you add in this way. To avoid misleading | |
37 | ;;;; anyone as to the status of such modified files, you must delete | |
38 | ;;;; this exception notice from them. | |
39 | ;;;; | |
40 | ;;;; If you write modifications of your own for GUILE, it is your choice | |
41 | ;;;; whether to permit this exception to apply to your modifications. | |
42 | ;;;; If you do not wish that, delete this exception notice. | |
0f2d19dd JB |
43 | ;;;; |
44 | ||
45 | \f | |
46 | ||
8bb7330c | 47 | (define-module (ice-9 mapping) |
1a179b03 MD |
48 | :use-module (ice-9 poe) |
49 | :export (mapping-hooks-type make-mapping-hooks mapping-hooks? | |
50 | mapping-hooks-get-handle mapping-hooks-create-handle | |
51 | mapping-hooks-remove mapping-type make-mapping mapping? | |
52 | mapping-hooks mapping-data set-mapping-hooks! set-mapping-data! | |
53 | mapping-get-handle mapping-create-handle! mapping-remove! | |
54 | mapping-ref mapping-set! hash-table-mapping-hooks | |
55 | make-hash-table-mapping hash-table-mapping)) | |
56 | ||
57 | (define mapping-hooks-type (make-record-type 'mapping-hooks '(get-handle | |
58 | create-handle | |
59 | remove))) | |
60 | ||
61 | ||
62 | (define make-mapping-hooks (perfect-funcq 17 (record-constructor mapping-hooks-type))) | |
63 | (define mapping-hooks? (record-predicate mapping-hooks-type)) | |
64 | (define mapping-hooks-get-handle (record-accessor mapping-hooks-type 'get-handle)) | |
65 | (define mapping-hooks-create-handle (record-accessor mapping-hooks-type 'create-handle)) | |
66 | (define mapping-hooks-remove (record-accessor mapping-hooks-type 'remove)) | |
67 | ||
68 | (define mapping-type (make-record-type 'mapping '(hooks data))) | |
69 | (define make-mapping (record-constructor mapping-type)) | |
70 | (define mapping? (record-predicate mapping-type)) | |
71 | (define mapping-hooks (record-accessor mapping-type 'hooks)) | |
72 | (define mapping-data (record-accessor mapping-type 'data)) | |
73 | (define set-mapping-hooks! (record-modifier mapping-type 'hooks)) | |
74 | (define set-mapping-data! (record-modifier mapping-type 'data)) | |
75 | ||
76 | (define (mapping-get-handle map key) | |
0f2d19dd | 77 | ((mapping-hooks-get-handle (mapping-hooks map)) map key)) |
1a179b03 | 78 | (define (mapping-create-handle! map key . opts) |
0f2d19dd | 79 | (apply (mapping-hooks-create-handle (mapping-hooks map)) map key opts)) |
1a179b03 | 80 | (define (mapping-remove! map key) |
0f2d19dd JB |
81 | ((mapping-hooks-remove (mapping-hooks map)) map key)) |
82 | ||
1a179b03 | 83 | (define (mapping-ref map key . dflt) |
0f2d19dd JB |
84 | (cond |
85 | ((mapping-get-handle map key) => cdr) | |
86 | (dflt => car) | |
87 | (else #f))) | |
88 | ||
1a179b03 | 89 | (define (mapping-set! map key val) |
0f2d19dd JB |
90 | (set-cdr! (mapping-create-handle! map key #f) val)) |
91 | ||
92 | \f | |
93 | ||
1a179b03 | 94 | (define hash-table-mapping-hooks |
0f2d19dd JB |
95 | (let ((wrap (lambda (proc) (lambda (1st . rest) (apply proc (mapping-data 1st) rest))))) |
96 | ||
97 | (perfect-funcq 17 | |
98 | (lambda (hash-proc assoc-proc delete-proc) | |
99 | (let ((procs (list hash-proc assoc-proc delete-proc))) | |
100 | (cond | |
101 | ((equal? procs `(,hashq ,assq ,delq!)) | |
102 | (make-mapping-hooks (wrap hashq-get-handle) | |
103 | (wrap hashq-create-handle!) | |
104 | (wrap hashq-remove!))) | |
105 | ((equal? procs `(,hashv ,assv ,delv!)) | |
106 | (make-mapping-hooks (wrap hashv-get-handle) | |
107 | (wrap hashv-create-handle!) | |
108 | (wrap hashv-remove!))) | |
109 | ((equal? procs `(,hash ,assoc ,delete!)) | |
110 | (make-mapping-hooks (wrap hash-get-handle) | |
111 | (wrap hash-create-handle!) | |
112 | (wrap hash-remove!))) | |
113 | (else | |
114 | (make-mapping-hooks (wrap | |
115 | (lambda (table key) | |
116 | (hashx-get-handle hash-proc assoc-proc table key))) | |
117 | (wrap | |
118 | (lambda (table key) | |
119 | (hashx-create-handle hash-proc assoc-proc table key))) | |
120 | (wrap | |
121 | (lambda (table key) | |
122 | (hashx-get-handle hash-proc assoc-proc delete-proc table key))))))))))) | |
123 | ||
1a179b03 | 124 | (define (make-hash-table-mapping table hash-proc assoc-proc delete-proc) |
0f2d19dd JB |
125 | (make-mapping (hash-table-mapping-hooks hash-proc assoc-proc delete-proc) table)) |
126 | ||
1a179b03 | 127 | (define (hash-table-mapping . options) |
0f2d19dd JB |
128 | (let* ((size (or (and options (number? (car options)) (car options)) |
129 | 71)) | |
130 | (hash-proc (or (kw-arg-ref options :hash-proc) hash)) | |
131 | (assoc-proc (or (kw-arg-ref options :assoc-proc) | |
132 | (cond | |
133 | ((eq? hash-proc hash) assoc) | |
134 | ((eq? hash-proc hashv) assv) | |
135 | ((eq? hash-proc hashq) assq) | |
136 | (else (error 'hash-table-mapping | |
137 | "Hash-procedure specified with no known assoc function." | |
138 | hash-proc))))) | |
139 | (delete-proc (or (kw-arg-ref options :delete-proc) | |
140 | (cond | |
141 | ((eq? hash-proc hash) delete!) | |
142 | ((eq? hash-proc hashv) delv!) | |
143 | ((eq? hash-proc hashq) delq!) | |
144 | (else (error 'hash-table-mapping | |
145 | "Hash-procedure specified with no known delete function." | |
146 | hash-proc))))) | |
95b6af86 JB |
147 | (table-constructor (or (kw-arg-ref options :table-constructor) |
148 | (lambda (len) (make-vector len '()))))) | |
0f2d19dd JB |
149 | (make-hash-table-mapping (table-constructor size) |
150 | hash-proc | |
151 | assoc-proc | |
152 | delete-proc))) | |
153 |