1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#ifndef GOOSE_EIR_TOSTRING_H
#define GOOSE_EIR_TOSTRING_H
namespace goose::eir
{
class Vector;
enum class Delimiter;
extern ostream& ToString( ostream& out, const Term& t );
extern ostream& ToString( ostream& out, const uint32_t& x );
extern ostream& ToString( ostream& out, const LocationId& x );
extern ostream& ToString( ostream& out, const string& x );
extern ostream& ToString( ostream& out, const StringId& x );
extern ostream& ToString( ostream& out, const Delimiter& x );
extern ostream& ToString( ostream& out, const Hole& x );
extern ostream& ToString( ostream& out, const ptr< void >& x );
extern ostream& ToString( ostream& out, const void* x );
extern ostream& ToString( ostream& out, const ptr< Vector >& v );
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#ifndef GOOSE_EIR_TOSTRING_H
#define GOOSE_EIR_TOSTRING_H
namespace goose::eir
{
class Vector;
enum class Delimiter;
extern ostream& ToString( ostream& out, const Term& t );
extern ostream& ToString( ostream& out, const uint32_t& x );
extern ostream& ToString( ostream& out, const LocationId& x );
extern ostream& ToString( ostream& out, const string& x, char delim = '\'' );
extern ostream& ToString( ostream& out, const StringId& x );
extern ostream& ToString( ostream& out, const Delimiter& x );
extern ostream& ToString( ostream& out, const Hole& x );
extern ostream& ToString( ostream& out, const ptr< void >& x );
extern ostream& ToString( ostream& out, const void* x );
extern ostream& ToString( ostream& out, const ptr< Vector >& v );
|