cprover
Loading...
Searching...
No Matches
anonymous_member.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C Language Type Checking
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_ANSI_C_ANONYMOUS_MEMBER_H
13#define CPROVER_ANSI_C_ANONYMOUS_MEMBER_H
14
15#include <util/expr.h>
16
17class namespacet;
18
20 const exprt &struct_union,
21 const irep_idt &component_name,
22 const namespacet &ns);
23
25 const typet &struct_union_type,
26 const irep_idt &component_name,
27 const namespacet &ns);
28
29#endif // CPROVER_ANSI_C_ANONYMOUS_MEMBER_H
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)
Base class for all expressions.
Definition expr.h:56
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:94
The type of an expression, extends irept.
Definition type.h:29
dstringt irep_idt