package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-27.1-Cobalt.tar.gz

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

doc/frama-c.kernel/Frama_c_kernel/Vector/index.html

Module `Frama_c_kernel.Vector`

Extensible Arrays

type 'a t

val create : unit -> 'a t

val length : 'a t -> int

val size : 'a t -> int

Same as length

val get : 'a t -> int -> 'a

Raise Not_found if out-of-bounds.

val set : 'a t -> int -> 'a -> unit

Raise Not_found if out-of-bounds.

val add : 'a t -> 'a -> unit

Element will be added at index size. After addition, it is at index size-1.

val addi : 'a t -> 'a -> int

Return index of added (last) element.

val clear : 'a t -> unit

Do not modify actual capacity.

val iter : ('a -> unit) -> 'a t -> unit

val iteri : (int -> 'a -> unit) -> 'a t -> unit

val map : ('a -> 'b) -> 'a t -> 'b t

Result is shrunk.

val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t

Result is shrunk.

val find : 'a t -> ?default:'a -> ?exn:exn -> int -> 'a

Default exception is Not_found. If a default value is provided, no exception is raised.

val update : 'a t -> ?default:'a -> int -> 'a -> unit

Set value at index. If the updated index is greater of equal to the vector size, empty cells are inserted with the default value.

raises Invalid_argument
if the index is negative or when it exceeds the the vector size but the default value is not provided.

val to_array : 'a t -> 'a array

Makes a copy.

val of_array : 'a array -> 'a t

Makes a copy.

val capacity : 'a t -> int

Low-level interface. Internal capacity.

val resize : 'a t -> int -> unit

Low-level interface. Sets internal capacity. Extra elements are removed.

val shrink : 'a t -> unit

Low-level interface. Sets capacity to content.