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 (102 lines) | stat: -rw-r--r-- 2,221 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
(in-package #:org.shirakumo.file-attributes)

(docs:define-docs
  (function access-time
    "Accesses the last time this file was accessed.

Signals an error if retrieving or setting the information is not
possible.")
  
  (function modification-time
    "Accesses the last time this file was modified.

Signals an error if retrieving or setting the information is not
possible.")
  
  (function creation-time
    "Accesses the time this file was created.

Signals an error if retrieving or setting the information is not
possible.")
  
  (function group
    "Accesses the owning group of this file.

The group is expressed as a positive integer.

Signals an error if retrieving or setting the information is not
possible.")
  
  (function owner
    "Accesses the owning user of this file.

The user is expressed as a positive integer.

Signals an error if retrieving or setting the information is not
possible.")
  
  (function attributes
    "Accesses the attributes of this file.

The attributes are expressed as a positive integer.

Signals an error if retrieving or setting the information is not
possible.

The contents of the file attributes are highly system specific and may
contain things such as user permissions or file kind information.

See ENCODE-ATTRIBUTES
See DECODE-ATTRIBUTES")

  (variable *system*
    "The default system as recognised through feature flags.")

  (function encode-attributes
    "Encodes a plist of file attributes into an integer suitable for the requested system.

See DECODE-ATTRIBUTES
See *SYSTEM*")

  (function decode-attributes
    "Decodes an integer for attributes of the requested system into a standardised plist of file attributes.

Which flags are be produced is highly dependent on the system, but the
following may appear:

  :ARCHIVED
  :COMPRESSED
  :DEVICE
  :DIRECTORY
  :ENCRYPTED
  :FIFO
  :GROUP-EXECUTE
  :GROUP-READ
  :GROUP-WRITE
  :HIDDEN
  :INTEGRITY
  :LINK
  :NO-SCRUB
  :NORMAL
  :NOT-INDEXED
  :OFFLINE
  :OTHER-EXECUTE
  :OTHER-READ
  :OTHER-WRITE
  :OWNER-EXECUTE
  :OWNER-READ
  :OWNER-WRITE
  :READ-ONLY
  :RECALL
  :SET-GROUP
  :SET-USER
  :SOCKET
  :SPARSE
  :STICKY
  :SYSTEM-FILE
  :TEMPORARY
  :VIRTUAL

See ENCODE-ATTRIBUTES
See *SYSTEM*"))