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-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

doc/frama-c.kernel/Frama_c_kernel/Filesystem/Compressed/index.html

Module `Filesystem.Compressed`

val with_open_in_exn : Filepath.t -> (Channel.input, 'a) exn_processor

with_open_in_exn path f calls f with a new input channel on the file path opened for reading in binary mode. If the file is compressed, then the input channel is uncompressed. The file is closed when f returns or whenever an exception is thrown by f.

Note: this function should be merged with existing with_open_in... functions at some point.

val with_open_out_exn : 
  ?compress:bool ->
  Filepath.t ->
  (Channel.output, 'a) exn_processor

with_open_out_bin_exn ?compress path f calls f with a new output channel on the file path opened for writing in binary mode. If compress is true then then content of the file will be compressed by Compression. The file is closed when f returns or whenever an exception is thrown by f.

Note: this function should be merged with existing with_open_out... functions at some point.