Method astStringZ3

lib/token.cpp:1739–1746

cppcheck-suppress unusedFunction // used in test

// cppcheck-suppress unusedFunction // used in test
std::string Token::astStringZ3() const
{
    if (!astOperand1())
        return str();
    if (!astOperand2())
        return "(" + str() + " " + astOperand1()->astStringZ3() + ")";
    return "(" + str() + " " + astOperand1()->astStringZ3() + " " + astOperand2()->astStringZ3() + ")";
}

void Token::printValueFlow(const std::vector<std::string>& files, bool xml, std::ostream &out) const
{