Module M.Segment

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))

include MessageSig.SEGMENT

type storage_t

storage_t is the type of the underlying storage associated with this segment (e.g. "bytes").

type ``-'cap t

'cap t is the type of a message segment. The 'cap annotation is type ro for read-only segments, and type rw for read/write segments.

valalloc : ``int-> MessageSig.rw t

alloc size allocates a new zero-filled message segment of at least size bytes, raising an exception if storage cannot be allocated.

valrelease :'cap t -> unit

release s immediately releases the storage associated with message segment s, potentially making the storage available for future allocations. After releasing a storage segment, the behavior of the accessor functions is undefined.

vallength :'cap t -> int

length s determines the length of this message segment.

valreadonly :'cap t -> MessageSig.ro t

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

valof_storage :storage_t -> MessageSig.rw t

of_storage storage constructs a read/write segment which uses the given storage for the underlying storage media.

valto_storage :'cap t -> storage_t

to_storage s retrieves the underlying storage media associated with segment s.

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

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

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

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 read/write-qualified message segment s, starting at byte offset ofs.

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

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

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

blit ~src ~src_pos ~dst ~dst_pos ~len transfers len bytes from position dst_pos in dst to position src_pos in pos. The blit operation shall work correctly even for the case of overlapping buffers.

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:MessageSig.rw t ->``dst_pos:int->``len:int-> unit

As blit, but the source is a string buffer.

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

zero_out segment ~pos ~len sets len bytes of the segment 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. Module type MessageSig.MESSAGE
            1. Module type MessageSig.S
              1. Module S.ListStorage
              1. Module S.Message
              1. Module S.Object
              1. Module S.Segment
              1. Module S.Slice
              1. Module S.StructStorage
            1. Module type MessageSig.SEGMENT
            1. Module type MessageSig.SLICE
          1. Module Capnp.RPC
            1. Module RPC.MethodID
              1. Module type RPC.S
                1. Module S.Capability
                1. Module S.ListStorage
                1. Module S.Message
                1. Module S.Object
                1. Module S.Segment
                1. Module S.Service
                1. Module S.Slice
                1. Module S.StructRef
                1. Module S.StructStorage
                1. Module S.Untyped
            1. Module RPC.None
              1. ...
              1. Module M.Segment
              1. ...
              1. ...
            1. Module RPC.Registry
          1. Module Capnp.Runtime
            1. Module Runtime.BuilderInc
              1. Module BuilderInc.Make
            1. Module Runtime.BuilderOps
              1. Module BuilderOps.Make
              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 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 type Ephemeron.S
                1. Module type Ephemeron.SeededS
          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 type Hashtbl.HashedType
              1. Module type Hashtbl.S
              1. Module type Hashtbl.SeededHashedType
              1. Module type Hashtbl.SeededS
          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 type Map.OrderedType
              1. Module type Map.S
          1. Module Stdlib.Marshal
          1. Module Stdlib.MoreLabels
            1. Module MoreLabels.Hashtbl
              1. Module Hashtbl.Make
              1. Module Hashtbl.MakeSeeded
                1. Module type Hashtbl.HashedType
                1. Module type Hashtbl.S
                1. Module type Hashtbl.SeededHashedType
                1. Module type Hashtbl.SeededS
            1. Module MoreLabels.Map
              1. Module Map.Make
                1. Module type Map.OrderedType
                1. Module type Map.S
            1. Module MoreLabels.Set
              1. Module Set.Make
                1. Module type Set.OrderedType
                1. Module type Set.S
          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 type Set.OrderedType
              1. Module type Set.S
          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 type Immediate64.Immediate
                1. Module type Immediate64.Non_immediate
          1. Module Stdlib.Uchar
          1. Module Stdlib.Unit
          1. Module Stdlib.Weak
            1. Module Weak.Make
              1. Module type Weak.S
        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 type EndianBigstring.EndianBigstringSig
            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 type EndianBytes.EndianBytesSig
            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 type EndianString.EndianStringSig
            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