ansi_c_declaration.h File Reference

ANSI-CC Language Type Checking. More...

#include <cassert>
#include <util/std_expr.h>
#include <util/symbol.h>

Include dependency graph for ansi_c_declaration.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ansi_c_declaratort
class	ansi_c_declarationt

Functions
ansi_c_declaratort &	to_ansi_c_declarator (exprt &expr)
const ansi_c_declaratort &	to_ansi_c_declarator (const exprt &expr)
ansi_c_declarationt &	to_ansi_c_declaration (exprt &expr)
const ansi_c_declarationt &	to_ansi_c_declaration (const exprt &expr)

Detailed Description

ANSI-CC Language Type Checking.

Definition in file ansi_c_declaration.h.

Function Documentation

to_ansi_c_declaration() [1/2]

ansi_c_declarationt& to_ansi_c_declaration ( exprt &  expr )

inline

Definition at line 249 of file ansi_c_declaration.h.

to_ansi_c_declaration() [2/2]

const ansi_c_declarationt& to_ansi_c_declaration ( const exprt &  expr )

inline

Definition at line 255 of file ansi_c_declaration.h.

to_ansi_c_declarator() [1/2]

ansi_c_declaratort& to_ansi_c_declarator ( exprt &  expr )

inline

Definition at line 60 of file ansi_c_declaration.h.

to_ansi_c_declarator() [2/2]

const ansi_c_declaratort& to_ansi_c_declarator ( const exprt &  expr )

inline

Definition at line 66 of file ansi_c_declaration.h.