Coverage report: /home/ellis/.stash/quicklisp/dists/quicklisp/software/alexandria-20241012-git/alexandria-1/control-flow.lisp
Kind | Covered | All | % |
expression | 0 | 148 | 0.0 |
branch | 0 | 20 | 0.0 |
Key
Not instrumented
Conditionalized out
Executed
Not executed
Both branches taken
One branch taken
Neither branch taken
1
(in-package :alexandria)
3
(defun extract-function-name (spec)
4
"Useful for macros that want to mimic the functional interface for functions
7
(member (first spec) '(quote function)))
11
(defun generate-switch-body (whole object clauses test key &optional default)
13
(setf test (extract-function-name test))
14
(setf key (extract-function-name key))
15
(when (and (consp default)
16
(member (first default) '(error cerror)))
17
(setf default `(,@default "No keys match in SWITCH. Testing against ~S with ~S."
19
`(let ((,value (,key ,object)))
20
(cond ,@(mapcar (lambda (clause)
21
(if (member (first clause) '(t otherwise))
24
(error "Multiple default clauses or illegal use of a default clause in ~S."
26
(setf default `(progn ,@(rest clause)))
28
(destructuring-bind (key-form &body forms) clause
29
`((,test ,value ,key-form)
34
(defmacro switch (&whole whole (object &key (test 'eql) (key 'identity))
36
"Evaluates first matching clause, returning its values, or evaluates and
37
returns the values of T or OTHERWISE if no keys match."
38
(generate-switch-body whole object clauses test key))
40
(defmacro eswitch (&whole whole (object &key (test 'eql) (key 'identity))
42
"Like SWITCH, but signals an error if no key matches."
43
(generate-switch-body whole object clauses test key '(error)))
45
(defmacro cswitch (&whole whole (object &key (test 'eql) (key 'identity))
47
"Like SWITCH, but signals a continuable error if no key matches."
48
(generate-switch-body whole object clauses test key '(cerror "Return NIL from CSWITCH.")))
50
(defmacro whichever (&rest possibilities &environment env)
51
"Evaluates exactly one of POSSIBILITIES, chosen at random."
52
(setf possibilities (mapcar (lambda (p) (macroexpand p env)) possibilities))
53
(let ((length (length possibilities)))
56
(first possibilities))
57
((every #'constantp possibilities)
58
`(svref (load-time-value (vector ,@possibilities))
61
(labels ((expand (possibilities position random-number)
62
(if (null (cdr possibilities))
64
(let* ((length (length possibilities))
65
(half (truncate length 2))
66
(second-half (nthcdr half possibilities))
67
(first-half (butlast possibilities (- length half))))
68
`(if (< ,random-number ,(+ position half))
69
,(expand first-half position random-number)
70
,(expand second-half (+ position half) random-number))))))
71
(with-gensyms (random-number)
72
`(let ((,random-number (random ,length)))
73
,(expand possibilities 0 random-number))))))))
75
(defmacro xor (&rest datums)
76
"Evaluates its arguments one at a time, from left to right. If more than one
77
argument evaluates to a true value no further DATUMS are evaluated, and NIL is
78
returned as both primary and secondary value. If exactly one argument
79
evaluates to true, its value is returned as the primary value after all the
80
arguments have been evaluated, and T is returned as the secondary value. If no
81
arguments evaluate to true NIL is returned as primary, and T as secondary
83
(with-gensyms (xor tmp true)
85
(declare (ignorable ,tmp))
87
,@(mapcar (lambda (datum)
88
`(if (setf ,tmp ,datum)
90
(return-from ,xor (values nil nil))
93
(return-from ,xor (values ,true t))))))
95
(defmacro nth-value-or (nth-value &body forms)
96
"Evaluates FORM arguments one at a time, until the NTH-VALUE returned by one
97
of the forms is true. It then returns all the values returned by evaluating
98
that form. If none of the forms return a true nth value, this form returns
100
(once-only (nth-value)
101
(with-gensyms (values)
102
`(let ((,values (multiple-value-list ,(first forms))))
103
(if (nth ,nth-value ,values)
104
(values-list ,values)
106
`(nth-value-or ,nth-value ,@(rest forms))
109
(defmacro multiple-value-prog2 (first-form second-form &body forms)
110
"Evaluates FIRST-FORM, then SECOND-FORM, and then FORMS. Yields as its value
111
all the value returned by SECOND-FORM."
112
`(progn ,first-form (multiple-value-prog1 ,second-form ,@forms)))