Function expressionToString

libsolidity/formal/ExpressionFormatter.cpp:245–352

}

std::optional<std::string> expressionToString(smtutil::Expression const& _expr, frontend::Type const* _type)
{
	if (smt::isNumber(*_type))
	{
		solAssert(_expr.sort->kind == Kind::Int);
		solAssert(_expr.arguments.empty() || _expr.name == "-");
		if (_expr.name == "-")
		{
			solAssert(_expr.arguments.size() == 1);
			smtutil::Expression const& val = _expr.arguments[0];
			solAssert(val.sort->kind == Kind::Int && val.arguments.empty());
			return "(- " + val.name + ")";
		}

		if (
			_type->category() == frontend::Type::Category::Address ||
			_type->category() == frontend::Type::Category::FixedBytes
		)
		{
			try
			{
				if (_expr.name == "0")
					return "0x0";
				// For some reason the code below returns "0x" for "0".
				return util::toHex(toCompactBigEndian(bigint(_expr.name)), util::HexPrefix::Add, util::HexCase::Lower);
			}
			catch (std::out_of_range const&)
			{
			}
			catch (std::invalid_argument const&)
			{
			}
		}

		return _expr.name;
	}
	if (smt::isBool(*_type))
	{
		solAssert(_expr.sort->kind == Kind::Bool);
		solAssert(_expr.arguments.empty());
		solAssert(_expr.name == "true" || _expr.name == "false");
		return _expr.name;
	}
	if (smt::isFunction(*_type))
	{
		solAssert(_expr.arguments.empty());
		return _expr.name;
	}
	if (smt::isArray(*_type))
	{
		auto const& arrayType = dynamic_cast<ArrayType const&>(*_type);
		if (_expr.name != "tuple_constructor")
			return {};

		auto const& tupleSort = dynamic_cast<TupleSort const&>(*_expr.sort);
		solAssert(tupleSort.components.size() == 2);

		unsigned long length;