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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
// $Id$
//
// Copyright (C) 2001-2013 Greg Landrum, Randal M. Henne, and Rational Discovery
// LLC
//
// @@ All Rights Reserved @@
// This file is part of the RDKit.
// The contents are covered by the terms of the BSD license
// which is included in the file license.txt, found at the root
// of the RDKit source tree.
//
#include "Invariant.h"
#include <string>
#include <iostream>
#include <boost/lexical_cast.hpp>
#include "versions.h"
#ifdef SHOW_BACKTRACES_WITH_INVARIANT_ERRORS // note: works only with
// gcc-derived compilers
#include <execinfo.h>
#endif
namespace Invar {
std::ostream &operator<<(std::ostream &s, const Invariant &inv) {
return s << inv.toString().c_str();
}
std::string Invariant::toString() const {
std::string line = std::to_string(this->getLine());
std::string stringRep = this->prefix_d + "\n" + this->getMessage() +
"\nViolation occurred on line " + line + " in file " +
this->getFile() + "\nFailed Expression: " +
this->getExpression() + "\n";
#ifdef SHOW_BACKTRACES_WITH_INVARIANT_ERRORS
void *arr[10];
size_t sz;
sz = backtrace(arr, 10);
std::cerr << " STACK TRACE\n--------------\n" << std::endl;
backtrace_symbols_fd(arr, sz, 2);
std::cerr << "\n--------------\n" << std::endl;
#endif
return stringRep;
}
std::string Invariant::toUserString() const {
std::string line = std::to_string(this->getLine());
std::string filename = this->getFile();
std::size_t pos = filename.find("Code"); // strip out build directory info
if (pos != std::string::npos) {
filename = filename.substr(pos);
}
std::string stringRep = this->prefix_d + "\n\t" + this->getMessage() +
"\n\tViolation occurred on line " + line + " in file " +
filename + "\n\tFailed Expression: " +
this->getExpression() + "\n\t" +
"RDKIT: " + RDKit::rdkitVersion + "\n\t" +
"BOOST: " + RDKit::boostVersion + "\n";
#ifdef SHOW_BACKTRACES_WITH_INVARIANT_ERRORS
void *arr[10];
size_t sz;
sz = backtrace(arr, 10);
std::cerr << " STACK TRACE\n--------------\n" << std::endl;
backtrace_symbols_fd(arr, sz, 2);
std::cerr << "\n--------------\n" << std::endl;
#endif
return stringRep;
}
};
|
