file_caps.pony

 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
use "collections"

primitive FileCreate
  fun value(): U32 => 1 << 0

primitive FileChmod
  fun value(): U32 => 1 << 1

primitive FileChown
  fun value(): U32 => 1 << 2

primitive FileLink
  fun value(): U32 => 1 << 3

primitive FileLookup
  fun value(): U32 => 1 << 4

primitive FileMkdir
  fun value(): U32 => 1 << 5

primitive FileRead
  fun value(): U32 => 1 << 6

primitive FileRemove
  fun value(): U32 => 1 << 7

primitive FileRename
  fun value(): U32 => 1 << 8

primitive FileSeek
  fun value(): U32 => 1 << 9

primitive FileStat
  fun value(): U32 => 1 << 10

primitive FileSync
  fun value(): U32 => 1 << 11

primitive FileTime
  fun value(): U32 => 1 << 12

primitive FileTruncate
  fun value(): U32 => 1 << 13

primitive FileWrite
  fun value(): U32 => 1 << 14

primitive FileExec
  fun value(): U32 => 1 << 15    

type FileCaps is Flags[
  ( FileCreate
  | FileChmod
  | FileChown
  | FileLink
  | FileLookup
  | FileMkdir
  | FileRead
  | FileRemove
  | FileRename
  | FileSeek
  | FileStat
  | FileSync
  | FileTime
  | FileTruncate
  | FileWrite
  | FileExec
  ),
  U32 ]