cbmc/anonymous__member_8h_source.html

/*******************************************************************\


Module: C Language Type Checking


Author: Daniel Kroening, kroening@kroening.com


\*******************************************************************/


#ifndef CPROVER_ANSI_C_ANONYMOUS_MEMBER_H

#define CPROVER_ANSI_C_ANONYMOUS_MEMBER_H


#include <util/expr.h>


class namespacet;


exprt get_component_rec(

  const exprt &struct_union,

  const irep_idt &component_name,

  const namespacet &ns);


bool has_component_rec(

  const typet &struct_union_type,

  const irep_idt &component_name,

  const namespacet &ns);


#endif // CPROVER_ANSI_C_ANONYMOUS_MEMBER_H

get_component_rec
exprt get_component_rec(const exprt &struct_union, const irep_idt &component_name, const namespacet &ns)
Definition anonymous_member.cpp:40

has_component_rec
bool has_component_rec(const typet &struct_union_type, const irep_idt &component_name, const namespacet &ns)
Definition anonymous_member.cpp:69

ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562

dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38

exprt
Base class for all expressions.
Definition expr.h:56

namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91

typet
The type of an expression, extends irept.
Definition type.h:29

expr.h