Skip to content

Commit

Permalink
Move Profuse_7_8.In signature to Profuse_signatures.
Browse files Browse the repository at this point in the history
  • Loading branch information
@yallop
yallop committed Mar 31, 2017
1 parent 29d8a87 commit 8d56cd2
Show file tree
Hide file tree
Showing 2 changed files with 391 additions and 232 deletions.
237 changes: 5 additions & 232 deletions lib/profuse_7_8.mli
View file
Original file line number Diff line number Diff line change
Expand Up @@ -85,238 +85,11 @@ module Struct : sig
end
end

module In : sig
module T = Types.In

module Opcode : sig
module T = T.Opcode

type t = T.t

val to_string : t -> string

val returns : t -> bool

val of_uint32 : Unsigned.uint32 -> t

val to_uint32 : t -> Unsigned.uint32
end

module Hdr : sig
module T = T.Hdr

val sz : int

val packet :
opcode:Opcode.t ->
unique:Unsigned.uint64 ->
nodeid:Unsigned.uint64 ->
uid:Unsigned.uint32 ->
gid:Unsigned.uint32 ->
pid:Unsigned.uint32 -> count:int -> char Ctypes.CArray.t

val make :
opcode:Opcode.t ->
unique:Unsigned.uint64 ->
nodeid:Unsigned.uint64 ->
uid:Unsigned.uint32 ->
gid:Unsigned.uint32 -> pid:Unsigned.uint32 -> 'a Ctypes.typ -> 'a

val memcpy :
dest:unit Ctypes.ptr -> src:unit Ctypes.ptr -> int -> unit

val packet_from_hdr :
T.t structure ->
count:int -> char Ctypes.CArray.t

val make_from_hdr :
T.t structure -> 'a Ctypes.typ -> 'a
end

module Init : sig
module T = T.Init
end

module Open : sig
module T = T.Open
end

module Read : sig
module T = T.Read
end

module Release : sig
module T = T.Release
end

module Access : sig
module T = T.Access
end

module Forget : sig
module T = T.Forget
end

module Flush : sig
module T = T.Flush
end

module Create : sig
module T = T.Create

val name : unit Ctypes.ptr -> string
end

module Mknod : sig
module T = T.Mknod

val name : unit Ctypes.ptr -> string
end

module Mkdir : sig
module T = T.Mkdir

val name : unit Ctypes.ptr -> string
end

module Rename : sig
module T = T.Rename

val source_destination : unit Ctypes.ptr -> string * string
end

module Link : sig
module T = T.Link

val name : unit Ctypes.ptr -> string
end

module Write : sig
module T = T.Write
end

module Fsync : sig
module T = T.Fsync
end

module Lk : sig
module T = T.Lk
end

module Interrupt : sig
module T = T.Interrupt
end

module Bmap : sig
module T = T.Bmap
end

module Setattr : sig
module T = T.Setattr

module Valid : sig
module T = T.Valid

type t = {
mode : bool;
uid : bool;
gid : bool;
size : bool;
atime : bool;
mtime : bool;
fh : bool;
unknown : int32;
(*atime_now : bool;
mtime_now : bool;
lockowner : bool;*)
}

val to_string_list : t -> string list

val of_uint32 : Unsigned.uint32 -> t

val to_uint32 : t -> Unsigned.uint32
end

val create_from_hdr :
valid:Unsigned.uint32 ->
fh:Unsigned.uint64 ->
size:Unsigned.uint64 ->
atime:Unsigned.uint64 ->
mtime:Unsigned.uint64 ->
atimensec:Unsigned.uint32 ->
mtimensec:Unsigned.uint32 ->
mode:Unsigned.uint32 ->
uid:Unsigned.uint32 ->
gid:Unsigned.uint32 ->
Hdr.T.t structure -> char Ctypes.CArray.t
end

module Getxattr : sig
module T = T.Getxattr

val create_from_hdr :
size:Unsigned.uint32 ->
Hdr.T.t structure -> char Ctypes.CArray.t
end

module Setxattr : sig
module T = T.Setxattr

val create_from_hdr :
size:Unsigned.uint32 ->
flags:Unsigned.uint32 ->
Hdr.T.t structure -> char Ctypes.CArray.t
end

module Message : sig
type t =
| Init of Init.T.t Ctypes.structure
| Getattr
| Lookup of string
| Opendir of Open.T.t Ctypes.structure
| Readdir of Read.T.t Ctypes.structure
| Releasedir of Release.T.t Ctypes.structure
| Fsyncdir of Fsync.T.t Ctypes.structure
| Rmdir of string
| Getxattr of Getxattr.T.t Ctypes.structure * string
| Setxattr of Setxattr.T.t Ctypes.structure * string
| Listxattr of Getxattr.T.t Ctypes.structure
| Removexattr of string
| Access of Access.T.t Ctypes.structure
| Forget of Forget.T.t Ctypes.structure
| Readlink
| Open of Open.T.t Ctypes.structure
| Read of Read.T.t Ctypes.structure
| Write of Write.T.t structure * char Ctypes.ptr
| Statfs
| Flush of Flush.T.t Ctypes.structure
| Release of Release.T.t Ctypes.structure
| Fsync of Fsync.T.t Ctypes.structure
| Unlink of string
| Create of Create.T.t Ctypes.structure * string
| Mknod of Mknod.T.t Ctypes.structure * string
| Mkdir of Mkdir.T.t Ctypes.structure * string
| Setattr of Setattr.T.t Ctypes.structure
| Link of Link.T.t Ctypes.structure * string
| Symlink of string * string
| Rename of Rename.T.t Ctypes.structure * string * string
| Getlk of Lk.T.t Ctypes.structure
| Setlk of Lk.T.t Ctypes.structure
| Setlkw of Lk.T.t Ctypes.structure
| Interrupt of Interrupt.T.t Ctypes.structure
| Bmap of Bmap.T.t Ctypes.structure
| Destroy
| Other of Opcode.t
| Unknown of int32

val parse :
chan -> Hdr.T.t Ctypes.structure -> int -> unit Ctypes.ptr
-> (Hdr.T.t, t) packet

val describe : (Hdr.T.t, t) packet -> string
end
end
module In : Profuse_signatures.Signatures_7_8_in
with module Struct := Types.Struct
with module T = Types.In
and type chan := chan
and type ('h, 'b) packet := ('h, 'b) packet

type 'a request = (In.Hdr.T.t, 'a) packet

Expand Down
Loading

0 comments on commit 8d56cd2

Please sign in to comment.