anonymous_member.cpp File Reference

ANSI-C Language Type Checking. More...

#include "anonymous_member.h"
#include <util/namespace.h>
#include <util/std_expr.h>

Include dependency graph for anonymous_member.cpp:

Go to the source code of this file.

Functions
static member_exprt	make_member_expr (const exprt &struct_union, const struct_union_typet::componentt &component, const namespacet &ns)
exprt	get_component_rec (const exprt &struct_union, const irep_idt &component_name, const namespacet &ns)
bool	has_component_rec (const typet &type, const irep_idt &component_name, const namespacet &ns)

Detailed Description

ANSI-C Language Type Checking.

Definition in file anonymous_member.cpp.

Function Documentation

get_component_rec()

exprt get_component_rec	(	const exprt &	struct_union,
		const irep_idt &	component_name,
		const namespacet &	ns
	)

Definition at line 40 of file anonymous_member.cpp.

has_component_rec()

bool has_component_rec	(	const typet &	type,
		const irep_idt &	component_name,
		const namespacet &	ns
	)

Definition at line 69 of file anonymous_member.cpp.

make_member_expr()

static member_exprt make_member_expr ( const exprt &  struct_union, const struct_union_typet::componentt &  component, const namespacet &  ns  )

static

Definition at line 17 of file anonymous_member.cpp.