package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cst =
  1. | C_str of string
    (*

    String Literal

    *)
  2. | W_str of int64 list
    (*

    Wide String Literal

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

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

val str_val : cst -> Lang.F.term

The array containing the char of the constant

val str_id : cst -> int

Non-zero integer, unique for each different string literal

val char_at : cst -> Lang.F.term -> Lang.F.term
val 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