blob: 690a15616cec7b18c4d370fe1aee773ba6dabedf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
/* Copyright 2005 Sun Microsystems, Inc. */
#include "FileLoggerImpl.hxx"
#include <iostream>
using namespace std;
namespace util
{
FileLoggerImpl::FileLoggerImpl(const string& fileName) :
file_(fileName.c_str())
{
if (!file_)
throw "Cannot open file";
}
void FileLoggerImpl::beginTree()
{
file_ << "digraph {" << endl;
}
void FileLoggerImpl::endTree()
{
file_ << "}" << endl;
}
void FileLoggerImpl::beginNode(const std::string& nodeId, const std::string& value, const std::string& refersToNodeId, bool inUse)
{
if (!nodeStack_.empty())
{
if (inUse)
file_ << nodeId << " [ label=\"(" << value << ")\", shape=box, color=grey, style=filled ];"<< endl;
else
file_ << nodeId << " [ label=\"(" << value << ")\" ];"<< endl;
file_ << nodeStack_.top() << " -> " << nodeId << ";" << endl;
if (!refersToNodeId.empty())
file_ << nodeId << " -> " << refersToNodeId << " [ color=grey, weight=0 ];" << endl;
}
else
{
file_ << nodeId << " [ label=\"(" << value << ")\", shape=diamond ];"<< endl;
}
nodeStack_.push(nodeId);
}
void FileLoggerImpl::endNode(const std::string& nodeId)
{
nodeStack_.pop();
}
} // namespace util
|
