本文整理汇总了C++中SolutionPtr::findSymbol方法的典型用法代码示例。如果您正苦于以下问题：C++ SolutionPtr::findSymbol方法的具体用法？C++ SolutionPtr::findSymbol怎么用？C++ SolutionPtr::findSymbol使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类SolutionPtr的用法示例。
在下文中一共展示了SolutionPtr::findSymbol方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: printSolution
// TODO: Merge with ConcolicRuntime::printSolution and put somewhere accessible by both.
void ConcolicTargetGenerator::printSolution(const SolutionPtr solution) const
{
QStringList symbols = solution->symbols();
foreach (QString var, symbols) {
Symbolvalue value = solution->findSymbol(var);
assert(value.found);
// TODO: Only object type should be seen here?
switch (value.kind) {
case Symbolic::INT:
Log::debug(QString(" %1 = %2").arg(var).arg(value.u.integer).toStdString());
break;
case Symbolic::BOOL:
Log::debug(QString(" %1 = %2").arg(var).arg(value.u.boolean ? "true" : "false").toStdString());
break;
case Symbolic::STRING:
if (value.string.empty()) {
Log::debug(QString(" %1 = \"\"").arg(var).toStdString());
} else {
Log::debug(QString(" %1 = \"%2\"").arg(var).arg(value.string.c_str()).toStdString());
}
break;
case Symbolic::OBJECT:
Log::debug(QString(" %1 -> %2").arg(var).arg(value.string.c_str()).toStdString());
break;
default:
Log::fatal(QString("Unimplemented value type encountered for variable %1 (%2)").arg(var).arg(value.kind).toStdString());
exit(1);
}
}