package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

Dune Dependency

gitlab.com Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

mopsa-analyzer-v1.0.tar.gz

md5=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

doc/utils_core/Utils_core/LineEdit/UBuf/index.html

Module `LineEdit.UBuf`Source

Buffers backed by byte sequences that grow automatically. Support insertion and deletion at any position within the buffer. Include some support for UTF-8 encoding.

Sourcetype t = {

mutable buf : Stdlib.Bytes.t;
mutable len : int;

}

Sourceval ensure : t -> int -> unit

Sourceval create : unit -> t

Create an empty buffer.

Sourceval copy : t -> t

Creates a copy of a buffer.

Sourceval contents : t -> string

Buffer contents, as a string.

Sourceval byte_length : t -> int

Buffer size in bytes.

Sourceval uchar_length : t -> int

Buffer size in utf-8 chars.

Sourceval index_of_uchar : t -> int -> int

Byte index of the nb-th utf-8 char.

Sourceval nth : t -> int -> char

Get the byte at the specified byte index.

Sourceval sub : t -> int -> int -> string

Get the substring from the specified byte index.

Sourceval add_char : t -> char -> unit

Append a byte at the end of the buffer.

Sourceval add_substring : t -> string -> int -> int -> unit

Append a part of a string at the end of the buffer.

Sourceval add_string : t -> string -> unit

Append a string at the end of the buffer.

Sourceval insert_char : t -> int -> char -> unit

Insert a byte at the specified byte index.

Sourceval insert_substring : t -> int -> string -> int -> int -> unit

Insert a substring at the specified byte index.

Sourceval insert_string : t -> int -> string -> unit

Insert a string at the specified byte index.

Sourceval delete : t -> int -> int -> unit

Delete some bytes at the specified byte index.

Sourceval clear : t -> unit

Reset the buffer to 0 length.

Sourceval output : Stdlib.out_channel -> t -> unit

Print to buffer.