Exemplo n.º 1
0
bool DocStringAnalyser::visit(ContractDefinition const& _node)
{
	static const set<string> validTags = set<string>{"author", "title", "dev", "notice", "why3"};
	parseDocStrings(_node, _node.annotation(), validTags, "contracts");

	return true;
}