CBMC
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
outA given stream to dump symbol state to.
symbolThe symbol whose state is about to be dumped.
Returns
The output stream.

Definition at line 76 of file symbol.cpp.