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
19exprt get_component_rec(
20 const exprt &struct_union,
21 const irep_idt &component_name,
22 const namespacet &ns);
23
24bool has_component_rec(
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
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
exprt
Base class for all expressions.
Definition expr.h:57
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
irep_idt
dstringt irep_idt
Definition verification_result.h:16