package frama-c

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

Sanitizer

Keeps only alpha-numerical characters. Separator '_' is allowed, but leading, trailing and consecutive separators are removed.

type buffer
val create : ?truncate:bool -> int -> buffer
val clear : buffer -> unit
val add_sep : buffer -> unit

Adds '_' character

val add_char : buffer -> char -> unit
val add_string : buffer -> string -> unit
val add_list : buffer -> string list -> unit

Separated with '_'

val contents : buffer -> string