Frama-C API - Ast_types

Returns all the attributes contained in a type. This requires a traversal of the type structure, in case of composite, enumeration and named types

• deprecated Use Ast_types.C.get_attributes instead.

Add some attributes to a type. push_qualifiers determines if type qualifiers are pushed to the elements type. It defaults to true and should not be set to false unless you known what you are doing. In Frama-C this is useful for formals (see C11 6.7.6.3#7), so push_qualifiers is turned off when typing array formals before they are changed into pointers.

• before 31.0-Gallium

  In Cil push_qualifiers was not present, which caused a bug in cabs2cil. Also combine was present and allowed to chose the function used to combine attributes, now it only uses Ast_attributes.add_list.

• deprecated Use Ast_types.C.add_attributes instead.

Does the type have the given attribute. Does not recurse through pointer types, nor inside function prototypes.

• deprecated Use Ast_types.C.has_attribute instead.

Does the type have the given qualifier. Handles the case of arrays, for which the qualifiers are actually carried by the type of the elements. It is always correct to call this function instead of has_attribute. For l-values, both functions return the same results, as l-values cannot have array type.

• deprecated Use Ast_types.C.has_qualifier instead.

has_attribute_memory_block attr t is true iff at least one component of an object of type t has attribute attr. In other words, it searches for attr under aggregates, but not under pointers.

• deprecated Use Ast_types.C.has_attribute_memory_block instead.

Remove all attributes with the given names from a type. Note that this does not remove attributes from typedef and tag definitions, just from their uses (unfolding the type definition when needed). It only removes attributes of topmost type, i.e. does not recurse under pointers, arrays, ...

• deprecated Use Ast_types.C.remove_attributes instead.

Same as remove_attributes, but remove any existing attribute from the type.

• deprecated Use Ast_types.C.remove_all_attributes instead.

Same as remove_attributes, but recursively removes the given attributes from inner types as well. Mainly useful to check whether two types are equal modulo some attributes. See also Cil.typeDeepDropAllAttributes, which will strip every single attribute from a type.

• deprecated Use Ast_types.C.remove_attributes_deep instead.

Remove all attributes relative to const, volatile and restrict attributes.

• deprecated Use Ast_types.C.remove_qualifiers instead.

Remove also qualifiers under Ptr and Arrays.

• deprecated Use Ast_types.C.remove_qualifiers_deep instead.

Remove all attributes relative to const, volatile and restrict attributes when building a C cast

• deprecated Use Ast_types.C.remove_attributes_for_c_cast instead.

Remove all attributes relative to const, volatile and restrict attributes when building a logic cast

• deprecated Use Ast_types.C.remove_attributes_for_logic_type instead.

Unroll a type until it exposes a non TNamed. Will collect all attributes appearing in TNamed and add them to the final type using add_attributes.

• deprecated Use Ast_types.C.unroll instead.

Same than unroll but discard the final type attributes and only return its node.

• deprecated Use Ast_types.C.unroll_node instead.

Unroll typedefs, discarding all intermediate attribute. To be used only when one is interested in the shape of the type

• deprecated Use Ast_types.C.unroll_skel instead.

Unroll all the TNamed in a type (even under type constructors such as TPtr, TFun or TArray. Does not unroll the types of fields in TComp types. Will collect all attributes

• deprecated Use Ast_types.C.unroll_deep instead.

Same than unroll_deep but discard the final type attributes and only return its node.

• deprecated Use Ast_types.C.unroll_deep_node instead.

Check for "const" qualifier from the type of an l-value using has_attribute_memory_block.

• deprecated Use Ast_types.C.is_const instead.

Check for "volatile" qualifier from the type of an l-value using has_attribute_memory_block.

• deprecated Use Ast_types.C.is_volatile instead.

Add the ghost attribute to a type (does nothing if the type is already ghost).

• deprecated Use Ast_types.C.add_ghost instead.

Check for "ghost" qualifier from the type of an l-value (do not follow pointer)

• deprecated Use Ast_types.C.is_ghost instead.

Check if the received type is well-formed according to \ghost semantics, that is once the type is not ghost anymore, \ghost cannot appear again.

• deprecated Use Ast_types.C.is_wellformed_ghost instead.

is the given type "void"?

• deprecated Use Ast_types.C.is_void instead.

is the given type "void *"?

• deprecated Use Ast_types.C.is_void_ptr instead.

True if the argument is _Bool.

• deprecated Use Ast_types.C.is_bool instead.

True if the argument is a plain character type (but neither signed char nor unsigned char).

• deprecated Use Ast_types.C.is_char instead.

True if the argument is a character type (i.e. plain, signed or unsigned).

• deprecated Use Ast_types.C.is_any_char instead.

True if the argument is a pointer to a plain character type (but neither signed char nor unsigned char).

• deprecated Use Ast_types.C.is_char_ptr instead.

True if the argument is a pointer to a character type (i.e. plain, signed or unsigned).

• deprecated Use Ast_types.C.is_any_char_ptr instead.

True if the argument is a pointer to a constant character type, e.g. a string literal.

• deprecated Use Ast_types.C.is_char_const_ptr instead.

True if the argument is a short type (i.e. signed or unsigned).

• deprecated Use Ast_types.C.is_short instead.

True if the argument is an integral type (i.e. integer or enum).

• deprecated Use Ast_types.C.is_integral instead.

True if the argument is intptr_t (but _not_ its underlying integer type).

• deprecated Use Ast_types.C.is_intptr_t instead.

True if the argument is uintptr_t (but _not_ its underlying integer type).

• deprecated Use Ast_types.C.is_uintptr_t instead.

True if the argument is a floating point type.

• deprecated Use Ast_types.C.is_float instead.

True if the argument is a long double type.

• deprecated Use Ast_types.C.is_long_double instead.

True if the argument is an arithmetic type (i.e. integer, enum or floating point.

• deprecated Use Ast_types.C.is_arithmetic instead.

True if the argument is a pointer type.

• deprecated Use Ast_types.C.is_ptr instead.

True if the argument is an integral or pointer type.

• deprecated Use Ast_types.C.is_integral_or_pointer instead.

True if the argument is an array type.

• deprecated Use Ast_types.C.is_array instead.

True if the argument is an array type without size.

• deprecated Use Ast_types.C.is_unsized_array instead.

True if the argument is a sized array type.

• deprecated Use Ast_types.C.is_sized_array instead.

True if the argument is an array of a character type (i.e. plain, signed or unsigned).

• deprecated Use Ast_types.C.is_char_array instead.

True if the argument is an array of a character type (i.e. plain, signed or unsigned).

• deprecated Use Ast_types.C.is_any_char_array instead.

True if the argument is an array of wchar_t. Can only be used after Machdep has been set.

• since 32.0-Germanium

• deprecated Use Ast_types.C.is_wchar_array instead.

True if the argument is a function type.

• deprecated Use Ast_types.C.is_fun instead.

True if the argument is a variadic function type.

• since 33.0-Arsenic

• deprecated Use Ast_types.C.is_variadic instead.

True if the argument is a function pointer type.

• deprecated Use Ast_types.C.is_fun_ptr instead.

True if the argument is a pointer or a function type.

• since 33.0-Arsenic

• deprecated Use Ast_types.C.is_fun_or_ptr instead.

True if the argument is a scalar type (i.e. integral, enum, floating point or pointer.

• deprecated Use Ast_types.C.is_scalar instead.

True if the argument is an object type (i.e. not a function type).

• deprecated Use Ast_types.C.is_object instead.

True if the argument is an object pointer type.

• since 33.0-Arsenic

• deprecated Use Ast_types.C.is_object_ptr instead.

True if the argument is a struct.

• deprecated Use Ast_types.C.is_struct instead.

True if the argument is a type that directly (modulo name) contains a bitfield.

• since 32.0-Germanium

• deprecated Use Ast_types.C.has_bitfield instead.

True if the argument is a union type.

• deprecated Use Ast_types.C.is_union instead.

True if the argument is a struct or union type.

• deprecated Use Ast_types.C.is_struct_or_union instead.

Check if a type is a transparent union, and return the first field.

• deprecated Use Ast_types.C.is_transparent_union instead.

True if the argument denotes the type of ... in a variadic function.

• deprecated Use Ast_types.C.is_variadic_list instead.

Returns the type of the array elements of the given type.

• raises AbortFatal

  if argument is not an array type.

• deprecated Use Ast_types.C.direct_array_element instead.

Returns the elements type using direct_element_type, but if the resulting type is an array, recursively call element_type.

• deprecated Use Ast_types.C.array_element instead.

Returns the type directly pointed by the given type.

• raises AbortFatal

  it is not a pointer type.

• deprecated Use Ast_types.C.direct_pointed instead.

Returns the pointed type using direct_pointed, but if the resulting type is an array, returns the element type instead using element_type

• deprecated Use Ast_types.C.pointed instead.

Returns the type of the array elements of the given type, and the size of the array, if any.

• raises AbortFatal

  it is not an array type.

• before 31.0-Gallium

  In Cil this function applied Cil.constFoldToInt on array's size and returned a Z.t option.

• deprecated Use Ast_types.C.array_elem_type_and_size instead.

This module contains all functions related to logic types. Most of these functions where moved from Logic_const or Logic_utils and renamed for better consistency.

Expands logic type definitions. If the unroll_typedef flag is set to true (this is the default), C typedef will be expanded as well using Ast_types.Acsl.unroll_ltdef.

• deprecated Use Ast_types.Acsl.unroll instead

Check for "volatile" qualifier from a logic type using is_volatile.

• deprecated Use Ast_types.Acsl.is_plain_volatile instead

True if the argument is the type for reified C types.

• deprecated Use Ast_types.Acsl.is_plain_typetag instead

True if the argument is a boolean type, either integral C type or mathematical boolean one.

• deprecated Use Ast_types.Acsl.is_plain_boolean instead

True if the argument is _Bool or Lboolean.

• deprecated Use Ast_types.Acsl.is_plain_pure_boolean instead

True if the argument is an integral type (i.e. integer or enum), either C or mathematical one.

• deprecated Use Ast_types.Acsl.is_plain_integral instead

True if the argument is a floating point type.

• deprecated Use Ast_types.Acsl.is_plain_float instead

True if the argument is the logic 'real' type.

• deprecated Use Ast_types.Acsl.is_plain_real instead

True if the argument is a C floating point type or logic 'real' type.

• deprecated Use Ast_types.Acsl.is_plain_real_or_float instead

True if the argument is a logic arithmetic type (i.e. integer, enum or floating point, either C or mathematical one.

• deprecated Use Ast_types.Acsl.is_plain_arithmetic instead

True if the argument is a pointer type. Expands the logic type definition if necessary.

• since 33.0-Arsenic

• deprecated Use Ast_types.Acsl.is_plain_ptr instead

True if the argument is the logic function type. Expands the logic type definition if necessary.

• deprecated Use Ast_types.Acsl.is_plain_fun instead

True if the argument is the logic function pointer type. Expands the logic type definition if necessary.

• deprecated Use Ast_types.Acsl.is_plain_fun_ptr instead

True if the argument is a pointer or function type. Expands the logic type definition if necessary.

• since 33.0-Arsenic

• deprecated Use Ast_types.Acsl.is_plain_fun_or_ptr instead