Changeset 37470 in project


Ignore:
Timestamp:
03/26/19 18:30:43 (18 months ago)
Author:
juergen
Message:

skiplists docu

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/5/skiplists

    r37468 r37470  
    4343=== Documentation
    4444
    45 ;;;;;
    46 In this implementation skiplists are implemented in the Design by
    47 Contract style, i.e. using the dbc module. A corollary of this is, that
    48 the documentation is included in one of the two modules in form of a
    49 procedure with the module's name. Apart from this documentation
    50 procedure the two modules, %skiplists and skiplists, have the same
    51 interface. The first module contains the raw implementations of the
    52 procedures, the second imports the first with prefix % and wraps those
    53 prefixed routines with contracts.
     45In this implementation skiplists are implemented in two modules,
     46%skiplists and skiplists. They both have the same interface.
     47The former implements all routines without any checks, the latter
     48imports the former with routines prefixed with % and calling those
     49routines with checked arguments. This way you can trade security against
     50speed ...
    5451
    5552==== skiplists
Note: See TracChangeset for help on using the changeset viewer.