File: documentation.lisp

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (537 lines) | stat: -rw-r--r-- 17,184 bytes parent folder | download | duplicates (2)
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
(in-package #:org.shirakumo.pathname-utils)

(defun checkdocs (&optional (package *package*))
  "Check that all functions, classes, and variables have docstrings."
  (do-symbols (symb package)
    (when (eql (symbol-package symb) package)
      (when (and (fboundp symb) (not (documentation symb 'function)))
        (warn "No documentation for function ~s." symb))
      (when (and (boundp symb) (not (documentation symb 'variable)))
        (warn "No documentation for variable ~s." symb))
      (when (and (find-class symb NIL) (not (documentation symb 'type)))
        (warn "No documentation for class ~s." symb)))))

(defmacro setdocs (&body pairs)
  "Easily set the documentation."
  `(progn
     ,@(loop for (var doc) in pairs
             collect (destructuring-bind (var &optional (type 'function))
                         (if (listp var) var (list var))
                       `(setf (documentation ',var ',type) ,doc)))))

(setdocs
  ((*wild-component* variable)
   "The proper value to use for a wild pathname component.")

  ((*wild-inferiors-component* variable)
   "The proper value to use for a wild inferiors pathname component.")
  
  ((*wild-file* variable)
   "A pathname that is wild in its file spec (can match any file).")
  
  ((*wild-directory* variable)
   "A pathname that is wild in its directory spec (can match any directory).")
  
  ((*wild-inferiors* variable)
   "A pathname that has wild inferiors (can match any number of subdirectories).")
  
  ((*wild-path* variable)
   "A pathname that is wild in both its file and its directory.")
  
  (clean-directory-spec
   "Removes superfluous components from the directory spec.

Specifically, if the encountered part is UNSPECIFIC or the
string \".\", it is omitted. If the part is :BACK, the
preceding component is omitted if possible. If not possible,
an equivalent amount of :UP specs are inserted instead.

If RESOLVE-HOME is T then the :HOME part, if present, is
replaced by the actual directory components of
USER-HOMEDIR-PATHNAME")
  
  (normalize-directory-spec
   "Attempts to normalize the directory specification into one as specified by CLHS.

Also cleans the directory spec.

See CLEAN-DIRECTORY-SPEC.")
  
  (normalize-pathname
   "Returns a normalised form of the given pathname.

More specifically, the given object is ensured to be a pathname
using CL:PATHNAME, then turned into a new pathname with the
following properties: an unspecific component is turned into
NIL and the directory component is normalised through
NORMALIZE-DIRECTORY-SPEC.

See UNSPECIFIC-P
See NORMALIZE-DIRECTORY-SPEC")
  
  (pathname*
   "Ensures that the argument is a pathname.

If a pathname is passed, it is returned verbatim.
If it is anything else, the value is coerced to a pathname using
NORMALIZE-PATHNAME.

See NORMALIZE-PATHNAME")
  
  (unspecific-p
   "Returns true if the given component is unspecific.

This includes :UNSPECIFIC, NIL, and the empty string.")
  
  (relative-p
   "Returns the pathname if it is a relative pathname.

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (absolute-p
   "Returns the pathname if it is an absolute pathname.

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (logical-p
   "Returns the pathname if it is a logical pathname.

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (physical-p
   "Returns the pathname if it is a physical pathname.

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (root-p
   "Returns the pathname if it denotes an absolute root directory.

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (directory-p
   "Returns the pathname if it denotes a directory (not a file).

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (file-p
   "Returns the pathname if it denotes a file (not a directory).

The pathname is coerced using PATHNAME*

See PATHNAME*")
  
  (subpath-p
   "Returns true if SUBPATH denotes a path on a lower level than BASE.

A pathname is considered a subpath of a base pathname if all of
the following are true:
- Their hosts match
- Their devices match
- The base's name is null or their names match
- The base's type is null or their types match
- The directory component of the subpath denotes a subdirectory
  of the directory component of the base.

If the subpath or base are relative pathnames, they are made
absolute by merging them with the root pathname. If the root
pathname is relative, an error is signalled.

The actually returned value is the coerced value of SUBPATH by
NORMALIZE-PATHNAME.

See NORMALIZE-PATHNAME")
  
  (pathname=
   "Returns T if the two pathnames are the same.

Note that this comparison is purely based on the pathnames itself
and does not check whether the two might resolve to the same file
on the system.

Relative pathnames are turned into absolute ones by merging them
with *default-pathname-defaults* before being compared.

Each component of the pathnames are compared using EQUAL, but
treating parts that are UNSPECIFIC-P as the same, regardless
of the way in which they might be unspecific.

If IGNORE-VERSION is non-NIL (the default), then the version
component of the pathnames is not compared. This is useful, as it
can be different for pathnames that appear to be the same on some
implementations.

See UNSPECIFIC-P")

  (pathname-equal
   "Returns T if the two pathnames denote the same file.

Note that this comparison has to access the file system and might
therefore be costly.

First the two pathnames are turned into truenames using TRUENAME
and then compared using PATHNAME=. This should result in a
comparison that returns true in any situation where the two
pathnames really do refer to the same file, but might not look
the same due to symbolic links or similar effects in the file
system.

See CL:TRUENAME
See PATHNAME=")
  
  (to-root
   "Returns the absolute root of the pathname.")
  
  (to-physical
   "Turns the pathname into a physical one if it is not already one.

The pathname is coerced using PATHNAME*

See LOGICAL-P
See CL:TRANSLATE-LOGICAL-PATHNAME
See PATHNAME*")
  
  (to-directory
   "Turns the pathname into a pathname-directory if it is not already one.

If the argument is :UP or :BACK, it is turned into a relative
pathname with the argument as its only pathname-directory-component.
If the argument is :HOME, it is turned into an absolute pathname
pointing to the home directory.
Otherwise the pathname is coerced using PATHNAME*

See PATHNAME*
See FORCE-DIRECTORY")

  (to-file
   "Turns the pathname into a file pathname.

This means stripping the device, host, and directory components
of the pathname. The given pathname is coerced using PATHNAME*

See PATHNAME*")

  (to-relative
   "Turns the pathname into a relative pathname.

The given pathname is coerced using PATHNAME*

See PATHNAME*")

  (to-absolute
   "Turns the pathname into an absolute pathname.

The given pathname is coerced using PATHNAME*

See PATHNAME*")

  (force-directory
   "Forces the pathname into a directory, including its file namestring.

Meaning: #p\"a\" => #p\"a/\"

The pathname is first coerced using PATHNAME*

See PATHNAME*
See TO-DIRECTORY")
  
  (subdirectory
   "Returns a directory-pathname with the given subdirectories appended.

For example, appending \"bar\" and \"baz\" to \"foo/\" will
result in \"foo/bar/baz/\".

The PATHNAME is coerced using TO-DIRECTORY. For any of the
subdirs, if it is a pathname, stream, or keyword, it is coerced
to a pathname using TO-DIRECTORY. If it is a string, it is
coerced using TO-DIRECTORY but with a trailing slash appended.

If you need to preserve the pathname's file component, consider
using DOWNWARDS instead.

See TO-DIRECTORY")
  
  (pop-directory
   "Pops the last component off the pathname-directory part.

The pathname is coerced using PATHNAME*.
Note that this will probably not behave as expected for
pathnames containing :back and :up. For the \"intuitive\"
behaviour to ascend pathnames, see PARENT or UPWARDS.

See PATHNAME*")
  
  (parent
   "Returns the parent of the pathname.

If the pathname is a directory-pathname, it returns a pathname
that points to the parent thereof, if possible. Specifically,
if the directory is relative and empty, :up is inserted. If
it is absolute and empty, the same pathname is returned. If
it is not empty, then the last component of the directory is
removed. If the pathname is a file pathname, this is equivalent
to TO-DIRECTORY.

The pathname is coerced using PATHNAME*.

If you need to preserve the pathname's file component, consider
using UPWARDS instead.

See PATHNAME*
See TO-DIRECTORY")
  
  (upwards
   "Moves the topmost pathname component a level upwards.

Specifically, if we have a file \"foo/bar/baz.jpg\", and move
it upwards by one, the resulting pathname will be 
\"foo/baz.jpg\". If the pathname is a directory-pathname then
the last directory is moved upwards by one.

See PARENT")
  
  (downwards
   "Moves the topmost pathname component a level downwards.

Specifically, if we have a file \"foo/bar.jpg\", and move it
downwards by \"baz\", the resulting pathname will be
\"foo/baz/bar.jpg\". If the pathname is a directory-pathname
then the last directory is moved downwards by one.

See SUBDIRECTORY")
  
  (enough-pathname
   "Like ENOUGH-NAMESTRING but returns an actual pathname.

The pathname is coerced using PATHNAME*

See PATHNAME*")

  (relative-pathname
   "Computes a relative pathname from one place to another.

The pathnames are first turned into absolute ones by 
MERGE-PATHNAMES. Then, the common directory components are
eliminated, leftover directory components on the from path
are converted into :up, and finally the remaining components
of the to path are appended, producing the final directory
component. The name, type, and version are taken from the to
pathname.

If the two pathnames differ in device or host, an error is
signalled instead.

The pathnames are coerced using NORMALIZE-PATHNAME after the
merge.

See NORMALIZE-PATHNAME")

  (file-in
   "Returns a pathname to the given file but in the given directory.

This is useful when carrying over a file to another directory.
Essentially this constructs a pathname with the name and type
of FILE, but the rest of DIR.")
  
  (file-type
   "Returns the actual file type.

This is different from PATHNAME-TYPE in the following manner:
If PATHNAME-TYPE is specific, but contains a dot, only the part
after the last dot is used as it would indicate the actual file-type
on any recent system. If PATHNAME-TYPE is unspecific, the
PATHNAME-NAME is specific, and it contains a dot in any position but
the first, then that last part is used instead. Otherwise NIL is
returned.

If the pathname is wild in its type or name component, an error is
signalled.")
  
  (file-name
   "Returns the complete file name as it would be used by the OS, if any.

If the pathname is wild in its name or type component, an error is
signalled.")
  
  (directory-name
   "Returns the name of the topmost directory in the pathname, if any.

The pathname is coerced using TO-DIRECTORY

See TO-DIRECTORY")
  
  (directory-separator
   "Returns the namestring separator between directories as a string.")

  (components
   "Returns a plist containing all the components making up the given pathname.

The plist contains the following keys:
  :namestring
  :truename
  :host
  :device
  :name
  :type
  :version
  :directory

If the pathname has no truename, its value in the plist is NIL.")

  (parse-native-namestring
   "Parse a namestring appropriate for the current platform.

This avoids pitfalls with parsing namestrings with the default common
lisp functions where possible, as they treat certain characters
specially to allow for wild pathnames.

You may also pass :AS :DIRECTORY to force the namestring to be turned
into a directory-pathname even if it does not end in a directory
separator.

If the namestring contains illegal characters or components, a
continuable error is signalled unless :JUNK-ALLOWED T is passed.

See NATIVE-NAMESTRING
See PARSE-UNIX-NAMESTRING
See PARSE-DOS-NAMESTRING")

  (parse-unix-namestring
   "Parse a namestring according to Unix rules.

Specifically:

- A path with a leading slash is an absolute path.
- Any subsequent slash is used as a directory separator.
- A path with a tilde as the first directory component points to the
  home directory.
- A directory component that is empty is ignored.
- A directory component that is a single dot is ignored.
- A directory component that is two dots is converted to :BACK.
- If the namestring is a file namestring:
  - If the file namestring starts with a dot, the entire file
    namestring is used as the pathname's name, including the dot.
  - If the file namestring contains one or more dots not in the
    leading position, the part after the last dot is used as the
    pathname type, and the rest as the name.

You may also pass :AS :DIRECTORY to force the namestring to be turned
into a directory-pathname even if it does not end in a directory
separator.

If the namestring contains illegal characters or components, a
continuable error is signalled unless :JUNK-ALLOWED T is passed. If
the error is continued or :JUNK-ALLOWED T is passed, the component or
character is ignored. The following characters are illegal:
  Nul

See PARSE-NATIVE-NAMESTRING")

  (parse-dos-namestring
   "Parse a namestring according to DOS rules.

Specifically:

- A path starting with a character followed by a colon is an absolute
  path.
- Any subsequent slash or backslash is used as a directory separator.
- A path starting with a directory component that starts and ends with
  a percentage is denoting a environment-variable-relative pathname
  and is parsed by merging the rest of the parsed pathname with the
  pathname resulting from parsing the environment variable of the
  indicated name. If the variable is empty or does not exist, it is
  ignored.
- A directory component that is empty is ignored.
- A directory component that is a single dot is ignored.
- A directory component that is two dots is converted to :BACK.
- If the namestring is a file namestring:
  - If the file namestring starts with a dot, the entire file
    namestring is used as the pathname's name, including the dot.
  - If the file namestring contains one or more dots not in the
    leading position, the part after the last dot is used as the
    pathname type, and the rest as the name.

You may also pass :AS :DIRECTORY to force the namestring to be turned
into a directory-pathname even if it does not end in a directory
separator.

If the namestring contains illegal characters or components, a
continuable error is signalled unless :JUNK-ALLOWED T is passed. If
the error is continued or :JUNK-ALLOWED T is passed, the component or
character is ignored. The following characters are illegal:
  < > : \" | ? * Nul

See PARSE-NATIVE-NAMESTRING")

  (native-namestring
   "Produce a namestring appropriate for the current platform.

This avoids pitfalls with printing namestrings with the default common
lisp functions, as they may contain unsuitable characters, or syntax
not known to other native applications.

If the pathname contains illegal characters or components, a
continuable error is signalled unless :JUNK-ALLOWED T is passed.

If STREAM is NIL, the namestring is printed to a string and returned.

See PARSE-NATIVE-NAMESTRING
See UNIX-NAMESTRING
See DOS-NAMESTRING")

  (unix-namestring
   "Produce a namestring according to Unix rules.

- If the pathname is absolute:
  - If the first directory component is :HOME, ~/ is emitted
  - Otherwise / is emitted
- For every directory component, the component followed by a slash is
  emitted. In the case of :UP or :BACK, they are emitted as two dots.
- The pathname name, if any, is emitted
- The pathname type, if any, is emitted following a dot.

If the pathname contains illegal characters or components, a
continuable error is signalled unless :JUNK-ALLOWED T is passed. If
the error is continued or :JUNK-ALLOWED T is passed, the component or
character is ignored. The following characters are illegal:
  / Nul

If STREAM is NIL, the namestring is printed to a string and returned.

See NATIVE-NAMESTRING")
  
  (dos-namestring
   "Produce a namestring according to DOS rules.

- If the pathname is absolute:
  - If the first directory component is :HOME, the
    (USER-HOMEDIR-PATHNAME) is emitted.
  - If the pathname has a device, the device name followed by a colon
    and a backslash is emitted.
  - Otherwise a backslash is emitted.
- For every directory component, the component followed by a backslash
  is emitted. In the case of :UP or :BACK, they are emitted as two
  dots.
- The pathname name, if any, is emitted
- The pathname type, if any, is emitted following a dot.

If the pathname contains illegal characters or components, a
continuable error is signalled unless :JUNK-ALLOWED T is passed. If
the error is continued or :JUNK-ALLOWED T is passed, the component or
character is ignored. The following characters are illegal:
  \\ / < > : \" | ? * Nul

If STREAM is NIL, the namestring is printed to a string and returned.

See NATIVE-NAMESTRING"))