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

Dependency

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

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

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

Module `Frama_c_kernel.Channel`

type input

The type of input channel.

type output

The type of output channel.

val open_in_bin : string -> input

Open the given file for reading in binary mode, and return a new input channel on that file, positioned at the beginning of the file.

val close_in : input -> unit

Close the given channel.

val input_value : input -> 'a

Read the representation of a structured value, as produced by output_value, and return the corresponding value.

val input_char : input -> char

Read one character from the given input channel.

raises End_of_file
if there are no more characters to read.

val unsafe_really_input : input -> bytes -> int -> int -> unit

unsafe_really_input ic buf pos len reads len characters from channel ic, storing them in byte sequence buf, starting at character number pos. The function is unsafe as no verification is done that 0 <= pos, 0 <= len or Bytes.length buf > pos + len.

val open_out_bin : ?compress:bool -> string -> output

Open the given file for writing in binary mode, and return a new output channel on that file, positioned at the beginning of the file. If compress is true then the content of the file will be compressed by Compression.

val close_out : output -> unit

Close the given channel.

val output_value : output -> 'a -> unit

Write the representation of a structured value of any type to a channel. The object can be read back by input_value.