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; }