package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Wp.CstringSource

Sourcetype cst =
  1. | C_str of string
    (*

    String Literal

    *)
  2. | W_str of int64 list
    (*

    Wide String Literal

    *)
Sourceval pretty : Format.formatter -> cst -> unit
Sourceval str_len : cst -> Lang.F.term -> Lang.F.pred

Property defining the size of the string in bytes, with \0 terminator included.

Sourceval str_val : cst -> Lang.F.term

The array containing the char of the constant

Sourceval str_id : cst -> int

Non-zero integer, unique for each different string literal

Sourceval char_at : cst -> Lang.F.term -> Lang.F.term
Sourceval cluster : unit -> Definitions.cluster

The cluster where all strings are defined.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct