Get-io-pairs
Return a list of verified input-output pairs
See show-io-pairs for a more user-friendly display of the
current I/O pairs. See add-io-pairs for relevant background.
Get-io-pairs returns all evaluated I/O pairs for the specified
function symbols.
General Form:
(get-io-pairs :all)
(get-io-pairs fn1 ... fnk)
where the arguments are not evaluated. The use of :all specifies that
all I/O pairs are to be returned; otherwise, all I/O pairs are returned only
for the specified functions, and a warning is printed for those that do not
currently have any I/O pairs.
A single value is returned, which is a list representing all evaluated I/O
pairs for the indicated function symbols. Each member of the list has the
form ((fn j_1 ... j_k) v), where v results from the application of
fn to the input list (j_1 ... j_k) — where in the case that
fn returns multiple values v_1, ..., v_n, then v is
actually the list (mv v_1 .. v_n), and otherwise v is just the
result.
A warning is printed for each fni that has no associated I/O
pairs.
Note that unlike show-io-pairs, the form (get-io-pairs) simply
returns nil, i.e., :all is not implicit when no arguments are
supplied. The reason is that get-io-pairs is intended primarily for use
in programs, where the list of function symbols might be computed.
