package frama-c

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

Manipulate the type of numbers.

type strnum =
  1. | Str_Z
  2. | Str_R
  3. | C_number

Type of a string that represents a number. Used when a string is required to encode a constant number because it is not representable in any C type

add_cast ~loc ?name env kf ctx sty t_opt e convert number expression e in a way that it is compatible with the given typing context ctx. sty indicates if the expression is a string representing a number (integer or real) or directly a C number type. t_opt is the term that is represented by the expression e.