#include "symbol.h"
#include <ostream>
#include "source_location.h"
#include "std_expr.h"
#include "suffix.h"
Go to the source code of this file.
|
std::ostream & | operator<< (std::ostream &out, const symbolt &symbol) |
| Overload of stream operator to work with symbols.
|
◆ SYM_SWAP1
◆ SYM_SWAP2
◆ 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.