1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
;; -*-theme-*-
;; Copyright (C) 2015 Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.
(define-interface (examples hash-table)
(import (standard-library core)
(standard-library singleton))
(define-param-class :hash-table
(parameters %key %value)
(constructor-access module)
(construct
((v-l-contents1 (:mutable-vector
(:uniform-list (:pair %key (:singleton %value)))))
(i-size1 <integer>)
(hash1 (:procedure (%key <integer>) <integer> pure))
(eq-pred1? (:procedure (%key %key) <boolean> pure))))
(fields
(v-l-contents (:mutable-vector
(:uniform-list (:pair %key (:singleton %value))))
module module v-l-contents1)
(i-size <integer> module module i-size1)
(hash (:procedure (%key <integer>) <integer> pure) module module hash1)
(eq-pred? (:procedure (%key %key) <boolean> pure) module module
eq-pred1?)))
(declare-method make-hash-table
(:param-proc (%key %value)
((:procedure (%key <integer>) <integer> pure)
(:procedure (%key %key) <boolean> pure)
<integer>
%value)
(:hash-table %key %value) pure))
(declare-static-virtual-method gen-assoc
(:param-proc (%key %value)
((:hash-table %key %value) %key)
(:maybe %value)
pure))
(declare-static-virtual-method gen-assoc-set!
(:param-proc (%key %value)
((:hash-table %key %value) %key %value)
<none>
nonpure)))
|
