Changeset 29122 in project


Ignore:
Timestamp:
06/18/13 14:11:42 (8 years ago)
Author:
juergen
Message:

query-checker in methods changed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/4/multi-methods

    r29108 r29122  
    8686==== query-checker
    8787
    88 <macro>(query-checker (name0 check0 . checks0) (name1 check1 . checks1) ...)</macro>
    89 
    90 returns a procedure, which checks the results result0 result1 ...
    91 of its only argument, a function. (conjoin checki . checksi) is the
    92 predicate, which checks resulti.
     88<macro>(query-checker check0 check1 ...)</macro>
     89
     90returns a procedure, which checks the return values of its only
     91argument, a query, by means of check0 check1 ..., returning its argument
     92after having checked the effects. The checks are procedures of the same
     93arguments as query returning two values, a predicate, checking the
     94result and documentation. 'The number of checks must be equal to the
     95number of the queries return values.
    9396
    9497==== method?
     
    198201== Last update
    199202
    200 June 16, 2013
     203June 18, 2013
    201204
    202205== Author
     
    237240== Version History
    238241
     242: 0.3 : syntax and implementation of query-checker changed
     243
    239244: 0.2 : no-checker added
    240245; 0.1 : initial import
Note: See TracChangeset for help on using the changeset viewer.