package frama-clang

add a global c definition to the list of translated items. The ghost status of the definition is given by the env itself (see Convert_env.is_ghost)

get the list of translated global definitions, in the order in which they were added.

temp_name env prefix returns a fresh name based on prefix.

enter a new, inner namespace

Sets the namespace to the one enclosing the corresponding symbol

given the fully qualified name of a class, set the namespace to the inner of it

give the names of the nammespaces currently opened. Newest is last.

close the most recently opened namespace.

add_global_var env name is_extern_c typ

• raises AbortFatal

  if not found

unscope current old returns the same environment as current except for local vars, that are reset to the ones of old.

returns the type and whether the variable is an extern C one or not.

• raises AbortFatal

  if not found

set the current function name. Might also change the namespace if the function is fully qualified.

also reset the namespace if needed

also performs a set_namespace_from_class

also reset the namespace

• raises AbortFatal

  if not found

adds a definition of wchar_t if not already present. Used when encountering wchar_t on the C++ side.

indicates that the given struct has some virtual member functions.

changes only the template parameters in the qualification. This function should be used for mangling.

adds the given constructor as the default constructor for the appropriate class. Does nothing if such a constructor already exists.

adds the given constructor as the default constructor for the appropriate class when used as a base class of a parent. Does nothing if such a constructor already exists. The distinction is only meaningful for classes that have virtual bases.

given a class name, returns the name and signature of its default constructor if it exists.

• raises AbortFatal

  if no default constructor has been set for this class.

given a class name, returns the name and signature of its default constructor if it exists or None if no default constructor has been set for this class.

given a class name, returns the name and signature of its default constructor when used as a base class of a parent, if it exists, or None if no default constructor has been set for this class.

add a copy constructor for the class when it is used as a base class called from a parent. Only useful when the current class has virtual base classes.

gets the copy constructor for the given class when used as a base class of a parent. Only used if the current class has virtual base classes.

adds an aggregate type of the given kind. The boolean flag indicates whether the aggregate is an extern C type.

• raises AbortFatal

  if not found

@ raise AbortFatal if not found.

returns the corresponding C++ typ, namely Struct name t or Union name t. name must be an aggregate

• raises AbortFatal

  if not found

whether current class/union is anonymous

returns the name of the class bound to the given typ, which can be either a class or a typedef.

get_class_name_from_pointer env ty returns the name of the class ty points to, unrolling typedefs if needed.

get_class_name_from_reference env ty returns the name of the class ty is bound to, either directly (returned boolean flag is false or through a reference (returned flag is true). Typedefs are unrolled as needed.

get the name of the given aggregate (or pointer/ref to aggregate) type unfold typedef if needed.

get the signature of the given functional type.

get the name of the aggregate type of the given object.

gets the dynamic type of the given expression.

Some is_ref if the given string (that may be "this") is a captured identifier, where is_ref is true iff the capture is done by reference. None otherwise.

remove information about captured identifiers.

Associates the given identifiers to the appropriate closure kind.

iterates a function that might change the environment over a list, and returns the final environment together with the list of results

env_opt f env opt applies f if opt has a value, and None, without changing the environment otherwise.