Module type MessageSig.SLICE

Contents

Instructions: Use this module in your project

In the IDE (CLion, Visual Studio Code, Xcode, etc.) you use for your DkSDK project:

  1. Add the following to your project's dependencies/CMakeLists.txt:

    Copy
    DkSDKProject_DeclareAvailable(capnp
        CONSTRAINT "= 3.5.0"
        FINDLIBS capnp capnp.unix)
    DkSDKProject_MakeAvailable(capnp)
  2. Add the Findlib::capnp library to any desired targets in src/*/CMakeLists.txt:

    Copy
    target_link_libraries(YourPackage_YourLibraryName
         # ... existing libraries, if any ...
         Findlib::capnp)
  3. Click your IDE's Build button

Not using DkSDK?

FIRST, do one or all of the following:

  1. Run:

    Copy
    opam install capnp.3.5.0
  2. Edit your dune-project and add:

    Copy
    (package
      (name YourExistingPackage)
      (depends
      ; ... existing dependenices ...
      (capnp (>= 3.5.0))))

    Then run:

    Copy
    dune build *.opam # if this fails, run: dune build
  3. Edit your <package>.opam file and add:

    Copy
    depends: [
      # ... existing dependencies ...
      "capnp" {>= "3.5.0"}
    ]

    Then run:

    Copy
    opam install . --deps-only

FINALLY, add the capnp library to any desired (library)and/or (executable) targets in your **/dune files:

Copy
(library
  (name YourLibrary)
  ; ... existing library options ...
  (libraries
    ; ... existing libraries ...
    capnp))

(executable
  (name YourExecutable)
  ; ... existing executable options ...
  (libraries
    ; ... existing libraries ...
    capnp))
type ``-'cap segment_t
type ``-'cap message_t
type ``'cap t`` = ``{
msg : 'cap message_t;

(* Identifies the message of interest

*)

segment : 'cap segment_t;

(* Segment within message housing these bytes

*)

segment_id : int;

(* Index of the segment

*)

start : int;

(* Starting byte of the slice

*)

len : int;

(* Length of the slice, in bytes

*)

}

Type t represents a contiguous range of bytes associated with a single segment of a message.

valalloc :rw message_t ->``int-> rw t

alloc m size reserves size bytes of space within message m. This may result in extending the message with an additional segment; if storage cannot be allocated for a new segment, an exception is raised. Note that the allocated slices always begin on an eight-byte boundary.

valalloc_in_segment :rw message_t ->``int->``int-> rw t option

alloc_in_segment m seg_id size attempts to reserve size bytes of space within segment seg_id of message m. Allocation will fail if the segment is full.

valget_segment :'cap t -> 'cap segment_t

get_segment slice gets the message segment associated with the slice.

valget_end :'cap t -> int

get_end slice computes slice.start + slice.len.

valreadonly :'cap t -> ro t

readonly s obtains a view of slice s which is read-only qualified.

get_uintXX s ofs reads an unsigned integer of the specified width, starting at byte offset ofs within the slice.

valget_uint8 :'cap t ->``int-> int
valget_uint16 :'cap t ->``int-> int
valget_uint32 :'cap t ->``int-> Uint32.t
valget_uint64 :'cap t ->``int-> Uint64.t

get_intXX s ofs reads a signed integer of the specified width, starting at byte offset ofs within the slice.

valget_int8 :'cap t ->``int-> int
valget_int16 :'cap t ->``int-> int
valget_int32 :'cap t ->``int-> Stdlib.Int32.t
valget_int64 :'cap t ->``int-> Stdlib.Int64.t

set_uintXX s ofs val writes the value of the width-restricted unsigned integer val into the read/write-qualified slice, starting at byte offset ofs.

valset_uint8 :rw t ->``int->``int-> unit
valset_uint16 :rw t ->``int->``int-> unit
valset_uint32 :rw t ->``int-> Uint32.t -> unit
valset_uint64 :rw t ->``int-> Uint64.t -> unit

set_intXX s ofs val writes the value of the width-restricted signed integer val into the read/write-qualified slice, starting at byte offset ofs.

valset_int8 :rw t ->``int->``int-> unit
valset_int16 :rw t ->``int->``int-> unit
valset_int32 :rw t ->``int-> Stdlib.Int32.t -> unit
valset_int64 :rw t ->``int-> Stdlib.Int64.t -> unit
val blit : ``src:'cap t ->``src_pos:int-> ``dst:rw t ->``dst_pos:int->``len:int-> unit

blit ~src ~src_pos ~dst ~dst_pos ~len copies len bytes from the source slice (beginning at src_pos) to the destination slice (beginning at dst_pos).

val blit_to_bytes : ``src:'cap t ->``src_pos:int-> ``dst:Stdlib.Bytes.t ->``dst_pos:int->``len:int-> unit

As blit, but the destination is a bytes buffer.

valblit_from_string : ``src:string->``src_pos:int-> ``dst:rw t ->``dst_pos:int->``len:int-> unit

As blit, but the source is a string buffer.

valzero_out :rw t ->``pos:int->``len:int-> unit

zero_out ~pos ~len slice sets len bytes of the slice to zero, beginning at byte offset pos.

More from the DkSDK Book

    1. DkSDK
      1. Package capnp
        1. Module Capnp
          1. Module Capnp.Array
          1. Module Capnp.BytesStorage
          1. Module Capnp.Codecs
            1. Module Codecs.FramedStream
            1. Module Codecs.FramingError
          1. Module Capnp.Message
            1. Module Message.BytesMessage
              1. Module BytesMessage.ListStorage
              1. Module BytesMessage.Message
              1. Module BytesMessage.Object
              1. Module BytesMessage.Segment
              1. Module BytesMessage.Slice
              1. Module BytesMessage.StructStorage
            1. Module Message.Make
              1. Module Make.ListStorage
              1. Module Make.Message
              1. Module Make.Object
              1. Module Make.Segment
              1. Module Make.Slice
              1. Module Make.StructStorage
          1. Module Capnp.MessageSig
            1. ...
            1. Module type MessageSig.SLICE
            1. ...
          1. Module Capnp.RPC
            1. Module RPC.MethodID
            1. Module RPC.None
              1. Module M.ListStorage
              1. Module M.Message
              1. Module M.Object
              1. Module M.Segment
              1. Module M.Slice
              1. Module M.StructStorage
              1. ...
            1. Module RPC.Registry
          1. Module Capnp.Runtime
            1. Module Runtime.BuilderInc
              1. Module BuilderInc.Make
                1. Module NM.Capability
                1. Module NM.ListStorage
                1. Module NM.Message
                1. Module NM.Object
                1. Module NM.Segment
                1. Module NM.Service
                1. Module NM.Slice
                1. Module NM.StructRef
                1. Module NM.StructStorage
                1. Module NM.Untyped
                1. ...
            1. Module Runtime.BuilderOps
              1. Module BuilderOps.Make
                1. Module ROM.ListStorage
                1. Module ROM.Message
                1. Module ROM.Object
                1. Module ROM.Segment
                1. Module ROM.Slice
                1. Module ROM.StructStorage
                1. Module RWM.Capability
                1. Module RWM.ListStorage
                1. Module RWM.Message
                1. Module RWM.Object
                1. Module RWM.Segment
                1. Module RWM.Service
                1. Module RWM.Slice
                1. Module RWM.StructRef
                1. Module RWM.StructStorage
                1. Module RWM.Untyped
                1. ...
              1. Module BuilderOps.StructSizes
            1. Module Runtime.FarPointer
            1. Module Runtime.FragmentBuffer
            1. Module Runtime.InnerArray
            1. Module Runtime.ListPointer
            1. Module Runtime.ListStorageType
            1. Module Runtime.OtherPointer
            1. Module Runtime.Packing
              1. Module Packing.MixedContext
            1. Module Runtime.Pointer
              1. Module Pointer.Bitfield
            1. Module Runtime.ReaderInc
              1. Module ReaderInc.Make
                1. Module MessageWrapper.Capability
                1. Module MessageWrapper.ListStorage
                1. Module MessageWrapper.Message
                1. Module MessageWrapper.Object
                1. Module MessageWrapper.Segment
                1. Module MessageWrapper.Service
                1. Module MessageWrapper.Slice
                1. Module MessageWrapper.StructRef
                1. Module MessageWrapper.StructStorage
                1. Module MessageWrapper.Untyped
                1. ...
            1. Module Runtime.StructPointer
            1. Module Runtime.Util
        1. Module Capnp_unix
          1. Module Capnp_unix.IO
            1. Module IO.ReadContext
            1. Module IO.WriteContext
      1. Package cmdliner
        1. Module Cmdliner
          1. Module Cmdliner.Arg
          1. Module Cmdliner.Cmd
            1. Module Cmd.Env
            1. Module Cmd.Exit
          1. Module Cmdliner.Manpage
          1. Module Cmdliner.Term
        1. Module Cmdliner_arg
        1. Module Cmdliner_base
        1. Module Cmdliner_cline
        1. Module Cmdliner_cmd
        1. Module Cmdliner_docgen
        1. Module Cmdliner_eval
        1. Module Cmdliner_info
          1. Module Cmdliner_info.Arg
            1. Module Arg.Set
          1. Module Cmdliner_info.Cmd
          1. Module Cmdliner_info.Env
            1. Module Env.Set
          1. Module Cmdliner_info.Eval
          1. Module Cmdliner_info.Exit
        1. Module Cmdliner_manpage
        1. Module Cmdliner_msg
        1. Module Cmdliner_term
        1. Module Cmdliner_term_deprecated
        1. Module Cmdliner_trie
      1. Package fmt
        1. Module Fmt
          1. Module Fmt.Dump
        1. Module Fmt_cli
        1. Module Fmt_tty
      1. Package logs
        1. Module Logs
          1. Module type Logs.LOG
          1. ...
        1. Module Logs_cli
        1. Module Logs_fmt
        1. Module Logs_lwt
          1. Module type Logs_lwt.LOG
        1. Module Logs_threaded
      1. Package lwt
        1. Module Lwt
          1. Module Lwt.Infix
            1. Module Infix.Let_syntax
          1. Module Lwt.Let_syntax
            1. Module Let_syntax.Let_syntax
          1. Module Lwt.Syntax
        1. Module Lwt_bytes
        1. Module Lwt_condition
        1. Module Lwt_config
        1. Module Lwt_engine
          1. Module Lwt_engine.Ev_backend
          1. Module Lwt_engine.Versioned
        1. Module Lwt_features
        1. Module Lwt_fmt
        1. Module Lwt_gc
        1. Module Lwt_io
          1. Module Lwt_io.BE
          1. Module Lwt_io.LE
            1. Module type Lwt_io.NumberIO
          1. Module Lwt_io.Versioned
        1. Module Lwt_list
        1. Module Lwt_main
          1. Module Lwt_main.Enter_iter_hooks
          1. Module Lwt_main.Exit_hooks
          1. Module Lwt_main.Leave_iter_hooks
            1. Module type Lwt_main.Hooks
        1. Module Lwt_mutex
        1. Module Lwt_mvar
        1. Module Lwt_pool
        1. Module Lwt_pqueue
          1. Module Lwt_pqueue.Make
            1. Module type Lwt_pqueue.OrderedType
            1. Module type Lwt_pqueue.S
        1. Module Lwt_preemptive
        1. Module Lwt_process
        1. Module Lwt_result
          1. Module Lwt_result.Infix
          1. Module Lwt_result.Let_syntax
            1. Module Let_syntax.Let_syntax
          1. Module Lwt_result.Syntax
        1. Module Lwt_seq
        1. Module Lwt_sequence
        1. Module Lwt_stream
        1. Module Lwt_switch
        1. Module Lwt_sys
        1. Module Lwt_throttle
          1. Module Lwt_throttle.Make
            1. Module type Lwt_throttle.S
        1. Module Lwt_timeout
        1. Module Lwt_unix
          1. Module Lwt_unix.IO_vectors
          1. Module Lwt_unix.LargeFile
          1. Module Lwt_unix.Versioned
      1. Package mtime
        1. Module Mtime
          1. Module Mtime.Span
        1. Module Mtime_clock
      1. Package ocaml
        1. Module Bigarray
        1. Module Condition
        1. Module Dynlink
        1. Module Event
        1. Module Mutex
        1. Module Profiling
        1. Module Semaphore
          1. Module Semaphore.Binary
          1. Module Semaphore.Counting
        1. Module Stdlib
          1. Module Stdlib.Arg
          1. Module Stdlib.Array
          1. Module Stdlib.ArrayLabels
          1. Module Stdlib.Atomic
          1. Module Stdlib.Bigarray
            1. Module Bigarray.Array0
            1. Module Bigarray.Array1
            1. Module Bigarray.Array2
            1. Module Bigarray.Array3
            1. Module Bigarray.Genarray
          1. Module Stdlib.Bool
          1. Module Stdlib.Buffer
          1. Module Stdlib.Bytes
          1. Module Stdlib.BytesLabels
          1. Module Stdlib.Callback
          1. Module Stdlib.Char
          1. Module Stdlib.Complex
          1. Module Stdlib.Digest
          1. Module Stdlib.Either
          1. Module Stdlib.Ephemeron
            1. Module Ephemeron.GenHashTable
              1. Module GenHashTable.MakeSeeded
            1. Module Ephemeron.K1
              1. Module K1.Bucket
              1. Module K1.Make
              1. Module K1.MakeSeeded
            1. Module Ephemeron.K2
              1. Module K2.Bucket
              1. Module K2.Make
              1. Module K2.MakeSeeded
            1. Module Ephemeron.Kn
              1. Module Kn.Bucket
              1. Module Kn.Make
              1. Module Kn.MakeSeeded
          1. Module Stdlib.Filename
          1. Module Stdlib.Float
            1. Module Float.Array
            1. Module Float.ArrayLabels
          1. Module Stdlib.Format
          1. Module Stdlib.Fun
          1. Module Stdlib.Gc
            1. Module Gc.Memprof
          1. Module Stdlib.Genlex
          1. Module Stdlib.Hashtbl
            1. Module Hashtbl.Make
            1. Module Hashtbl.MakeSeeded
          1. Module Stdlib.In_channel
          1. Module Stdlib.Int
          1. Module Stdlib.Int32
          1. Module Stdlib.Int64
          1. Module Stdlib.LargeFile
          1. Module Stdlib.Lazy
          1. Module Stdlib.Lexing
          1. Module Stdlib.List
          1. Module Stdlib.ListLabels
          1. Module Stdlib.Map
            1. Module Map.Make
          1. Module Stdlib.Marshal
          1. Module Stdlib.MoreLabels
            1. Module MoreLabels.Hashtbl
              1. Module Hashtbl.Make
              1. Module Hashtbl.MakeSeeded
            1. Module MoreLabels.Map
              1. Module Map.Make
            1. Module MoreLabels.Set
              1. Module Set.Make
          1. Module Stdlib.Nativeint
          1. Module Stdlib.Obj
            1. Module Obj.Closure
            1. Module Obj.Ephemeron
            1. Module Obj.Extension_constructor
          1. Module Stdlib.Oo
          1. Module Stdlib.Option
          1. Module Stdlib.Out_channel
          1. Module Stdlib.Parsing
          1. Module Stdlib.Pervasives
          1. Module Stdlib.Printexc
            1. Module Printexc.Slot
          1. Module Stdlib.Printf
          1. Module Stdlib.Queue
          1. Module Stdlib.Random
            1. Module Random.State
          1. Module Stdlib.Result
          1. Module Stdlib.Scanf
            1. Module Scanf.Scanning
          1. Module Stdlib.Seq
          1. Module Stdlib.Set
            1. Module Set.Make
          1. Module Stdlib.Stack
          1. Module Stdlib.StdLabels
          1. Module Stdlib.Stream
          1. Module Stdlib.String
          1. Module Stdlib.StringLabels
          1. Module Stdlib.Sys
            1. Module Sys.Immediate64
              1. Module Immediate64.Make
          1. Module Stdlib.Uchar
          1. Module Stdlib.Unit
          1. Module Stdlib.Weak
            1. Module Weak.Make
        1. Module Str
        1. Module Thread
        1. Module ThreadUnix
        1. Module Topdirs
        1. Module Unix
          1. Module Unix.LargeFile
        1. Module UnixLabels
          1. Module UnixLabels.LargeFile
          1. Module EndianBigstring
            1. Module EndianBigstring.BigEndian
            1. Module EndianBigstring.BigEndian_unsafe
            1. Module EndianBigstring.LittleEndian
            1. Module EndianBigstring.LittleEndian_unsafe
            1. Module EndianBigstring.NativeEndian
            1. Module EndianBigstring.NativeEndian_unsafe
          1. Module EndianBytes
            1. Module EndianBytes.BigEndian
            1. Module EndianBytes.BigEndian_unsafe
            1. Module EndianBytes.LittleEndian
            1. Module EndianBytes.LittleEndian_unsafe
            1. Module EndianBytes.NativeEndian
            1. Module EndianBytes.NativeEndian_unsafe
          1. Module EndianString
            1. Module EndianString.BigEndian
            1. Module EndianString.BigEndian_unsafe
            1. Module EndianString.LittleEndian
            1. Module EndianString.LittleEndian_unsafe
            1. Module EndianString.NativeEndian
            1. Module EndianString.NativeEndian_unsafe
      1. Package
      1. Package result
        1. Module Result
      1. Package stdint
        1. Module Stdint
          1. Module Stdint.Int128
          1. Module Stdint.Int16
          1. Module Stdint.Int24
          1. Module Stdint.Int32
          1. Module Stdint.Int40
          1. Module Stdint.Int48
          1. Module Stdint.Int56
          1. Module Stdint.Int64
          1. Module Stdint.Int8
            1. Module type Stdint.Int
          1. Module Stdint.Uint128
          1. Module Stdint.Uint16
          1. Module Stdint.Uint24
          1. Module Stdint.Uint32
          1. Module Stdint.Uint40
          1. Module Stdint.Uint48
          1. Module Stdint.Uint56
          1. Module Stdint.Uint64
          1. Module Stdint.Uint8