symbol.h File Reference

Symbol table entry. More...

#include <iosfwd>
#include "expr.h"
#include "invariant.h"

Include dependency graph for symbol.h:

Go to the source code of this file.

Classes
class	symbolt
	Symbol table entry. More...
class	type_symbolt
	Symbol table entry describing a data typeThis is a symbol generated as part of type checking. More...
class	auxiliary_symbolt
	Internally generated symbol table entryThis is a symbol generated as part of translation to or modification of the intermediate representation. More...
class	parameter_symbolt
	Symbol table entry of function parameterThis is a symbol generated as part of type checking. More...

Functions
std::ostream &	operator<< (std::ostream &out, const symbolt &symbol)
	Overload of stream operator to work with symbols. More...

Detailed Description

Symbol table entry.

Author

Daniel Kroening kroen.nosp@m.ing@.nosp@m.kroen.nosp@m.ing..nosp@m.com

Date

Sun Jul 31 21:54:44 BST 2011

Definition in file symbol.h.

Function Documentation

operator<<()

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

Overload of stream operator to work with symbols.

Parameters

out	A given stream to dump symbol state to.
symbol	The symbol whose state is about to be dumped.

Returns

The output stream.

Definition at line 76 of file symbol.cpp.