Source file `pkcs11_CK_OBJECT_CLASS.ml`

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
type t = P11_ulong.t

let typ = Ctypes.ulong

let with_value x = Unsigned.ULong.of_string @@ Int64.to_string x

let _CKO_DATA              = with_value 0x00000000L
let _CKO_CERTIFICATE       = with_value 0x00000001L
let _CKO_PUBLIC_KEY        = with_value 0x00000002L
let _CKO_PRIVATE_KEY       = with_value 0x00000003L
let _CKO_SECRET_KEY        = with_value 0x00000004L
let _CKO_HW_FEATURE        = with_value 0x00000005L
let _CKO_DOMAIN_PARAMETERS = with_value 0x00000006L
let _CKO_MECHANISM         = with_value 0x00000007L
let _CKO_OTP_KEY           = with_value 0x00000008L
let _CKO_VENDOR_DEFINED    = with_value 0x80000000L

let make =
  let open P11_object_class in
  function
    | CKO_DATA  -> _CKO_DATA
    | CKO_CERTIFICATE  -> _CKO_CERTIFICATE
    | CKO_PUBLIC_KEY  -> _CKO_PUBLIC_KEY
    | CKO_PRIVATE_KEY  -> _CKO_PRIVATE_KEY
    | CKO_SECRET_KEY  -> _CKO_SECRET_KEY
    | CKO_HW_FEATURE  -> _CKO_HW_FEATURE
    | CKO_DOMAIN_PARAMETERS  -> _CKO_DOMAIN_PARAMETERS
    | CKO_MECHANISM  -> _CKO_MECHANISM
    | CKO_OTP_KEY  -> _CKO_OTP_KEY
    | CKO_VENDOR_DEFINED  -> _CKO_VENDOR_DEFINED
    | CKO_CS_UNKNOWN x -> x

let view t =
  let open P11_object_class in
  let is value = Unsigned.ULong.compare t value = 0 in
  match () with
    | _ when is _CKO_DATA -> CKO_DATA
    | _ when is _CKO_CERTIFICATE -> CKO_CERTIFICATE
    | _ when is _CKO_PUBLIC_KEY -> CKO_PUBLIC_KEY
    | _ when is _CKO_PRIVATE_KEY -> CKO_PRIVATE_KEY
    | _ when is _CKO_SECRET_KEY -> CKO_SECRET_KEY
    | _ when is _CKO_HW_FEATURE -> CKO_HW_FEATURE
    | _ when is _CKO_DOMAIN_PARAMETERS -> CKO_DOMAIN_PARAMETERS
    | _ when is _CKO_MECHANISM -> CKO_MECHANISM
    | _ when is _CKO_OTP_KEY -> CKO_OTP_KEY
    | _ when is _CKO_VENDOR_DEFINED -> CKO_VENDOR_DEFINED
    | _ -> CKO_CS_UNKNOWN t