Method typeToString

libsolidity/experimental/ast/TypeSystemHelper.cpp:377–442

}

std::string TypeEnvironmentHelpers::typeToString(Type const& _type) const
{
	std::map<TypeConstructor, std::function<std::string(std::vector<Type>)>> formatters{
		{env.typeSystem().constructor(PrimitiveType::Function), [&](auto const& _args) {
			solAssert(_args.size() == 2);
			return fmt::format("{} -> {}", typeToString(_args.front()), typeToString(_args.back()));
		}},
		{env.typeSystem().constructor(PrimitiveType::Unit), [&](auto const& _args) {
			solAssert(_args.size() == 0);
			return "()";
		}},
		{env.typeSystem().constructor(PrimitiveType::Pair), [&](auto const& _arguments) {
			auto tupleTypes = TypeSystemHelpers{env.typeSystem()}.destTupleType(_arguments.back());
			std::string result = "(";
			result += typeToString(_arguments.front());
			for (auto type: tupleTypes)
				result += ", " + typeToString(type);
			result += ")";
			return result;
		}},
	};
	return std::visit(util::GenericVisitor{
		[&](TypeConstant const& _type) {
			if (auto* formatter = util::valueOrNullptr(formatters, _type.constructor))
				return (*formatter)(_type.arguments);
			std::stringstream stream;
			stream << env.typeSystem().constructorInfo(_type.constructor).name;
			if (!_type.arguments.empty())
			{
				stream << "(";
				for (auto type: _type.arguments | ranges::views::drop_last(1))
					stream << typeToString(type) << ", ";
				stream << typeToString(_type.arguments.back());
				stream << ")";
			}
			return stream.str();
		},
		[&](TypeVariable const& _type) {
			std::stringstream stream;
			std::string varName;
			size_t index = _type.index();
			varName += static_cast<char>('a' + (index%26));
			while (index /= 26)
				varName += static_cast<char>('a' + (index%26));
			reverse(varName.begin(), varName.end());
			stream << (env.isFixedTypeVar(_type) ? "'" : "?") << varName;
			switch (_type.sort().classes.size())
			{
			case 0:
				break;
			case 1:
				stream << ":" << env.typeSystem().typeClassName(*_type.sort().classes.begin());
				break;
			default:
				stream << ":(";
				for (auto typeClass: _type.sort().classes | ranges::views::drop_last(1))
					stream << env.typeSystem().typeClassName(typeClass) << ", ";
				stream << env.typeSystem().typeClassName(*_type.sort().classes.rbegin());