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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
;;; "dbsyn.scm" -- Syntactic extensions for RDMS -*- scheme -*-
;; Features: within-database
;;; Copyright (C) 2002, 2003 Ivan Shmakov <ivan@theory.dcn-asu.ru>
;;
;; Permission to copy this software, to modify it, to redistribute it,
;; to distribute modified versions, and to use it for any purpose is
;; granted, subject to the following restrictions and understandings.
;;
;; 1. Any copy made of this software must include this copyright notice
;; in full.
;;
;; 2. I have made no warranty or representation that the operation of
;; this software will be error-free, and I am under no obligation to
;; provide any services, by way of maintenance, update, or otherwise.
;;
;; 3. In conjunction with products arising from the use of this
;; material, there shall be no use of my name in any advertising,
;; promotional, or sales literature without prior written consent in
;; each case.
;;; History:
;; 2002-08-01: I've tired of tracking database description elements
;; (such as `(define-tables ...)'); so I decided to use `etags'. But
;; its hard (if possible) to create regexp to match against RDMS' table
;; specs. So I wrote `within-database' syntax extension and now I can
;; simply use something like:
;; $ etags -l scheme \
;; -r '/ *(define-\(command\|table\) (\([^; \t]+\)/\2/' \
;; source1.scm ...
;; ... and get TAGS table with all of my database commands and tables.
;;; Code:
(require 'database-commands)
(require 'databases)
(require 'relational-database)
;@
(define-syntax within-database
(syntax-rules (define-table define-command define-macro)
;
((within-database database)
database)
; define-table
((within-database database
(define-table (name primary columns) row ...)
rest ...)
(begin (define-tables database '(name primary columns (row ...)))
(within-database database rest ...)))
; define-command
((within-database database
(define-command template arg-1 arg-2 ...)
rest ...)
(begin (define-*commands* database '(template arg-1 arg-2 ...))
(within-database database rest ...)))
;
((within-database database
(command arg-1 ...)
rest ...)
(begin (cond ((let ((p (database '*macro*)))
(and p (slib:eval (p 'command))))
=> (lambda (proc)
(slib:eval
(apply proc database '(arg-1 ...)))))
(else
((database 'command) arg-1 ...)))
(within-database database rest ...)))))
(define (define-*macros* rdb . specs)
(define defmac
(((rdb 'open-table) '*macros* #t) 'row:update))
(for-each (lambda (spec)
(let* ((procname (caar spec))
(args (cdar spec))
(body-1 (cdr spec))
(comment (and (string? (car body-1))
(car body-1)))
(body (if comment (cdr body-1) body-1)))
(defmac (list procname
`(lambda ,args . ,body)
(or comment "")))))
specs))
;@
(define (add-macro-support rdb)
(define-tables rdb
'(*macros*
((name symbol))
((procedure expression)
(documentation string))
((define-macro (lambda (db . args)
(define-*macros* db args)
#t) ""))))
(define-*commands* rdb
'((*macro* rdb)
(((rdb 'open-table) '*macros* #f) 'get 'procedure)))
rdb)
|
