cprover
symbol.h File Reference

Symbol table entry. More...

#include <iosfwd>
#include "expr.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
 Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet. 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)
 

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 
)

Definition at line 69 of file symbol.cpp.

References symbolt::show().

Referenced by symbolt::is_procedure_local().