symbol.h File Reference

#include <list>
#include <vector>
#include <irep2/irep2.h>
#include <util/config/config.h>
#include <util/irep/expr.h>
#include <util/irep/location.h>

Include dependency graph for symbol.h:

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

Go to the source code of this file.

Classes
class	symbolt

Macros
#define	forall_symbol_list(it, expr)
#define	Forall_symbol_list(it, expr)
#define	forall_symbolptr_list(it, list)
#define	Forall_symbolptr_list(it, list)

Typedefs
typedef std::list< symbolt * >	symbol_listt
typedef std::list< const symbolt * >	symbolptr_listt

Functions
std::ostream &	operator<< (std::ostream &out, const symbolt &symbol)

Macro Definition Documentation

Forall_symbol_list

#define Forall_symbol_list	(		it,
			expr )

Value:

  for (symbol_listt::iterator it = (expr).begin(); it != (expr).end(); it++)

forall_symbol_list

#define forall_symbol_list	(		it,
			expr )

Value:

  for (symbol_listt::const_iterator it = (expr).begin(); it != (expr).end();   \
       it++)

Forall_symbolptr_list

#define Forall_symbolptr_list	(		it,
			list )

Value:

  for (symbolptr_listt::iterator it = (list).begin(); it != (list).end(); it++)

forall_symbolptr_list

#define forall_symbolptr_list	(		it,
			list )

Value:

  for (symbolptr_listt::const_iterator it = (list).begin();                    \
       it != (list).end();                                                     \
       it++)

Typedef Documentation

symbol_listt

typedef std::list<symbolt *> symbol_listt

symbolptr_listt

typedef std::list<const symbolt *> symbolptr_listt

Function Documentation

operator<<()

std::ostream & operator<<	(	std::ostream &	out,
		const symbolt &	symbol )