aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis
diff options
context:
space:
mode:
Diffstat (limited to 'libsolidity/analysis')
-rw-r--r--libsolidity/analysis/DocStringAnalyser.cpp12
-rw-r--r--libsolidity/analysis/DocStringAnalyser.h2
2 files changed, 1 insertions, 13 deletions
diff --git a/libsolidity/analysis/DocStringAnalyser.cpp b/libsolidity/analysis/DocStringAnalyser.cpp
index 6a8fa08e..9a846b31 100644
--- a/libsolidity/analysis/DocStringAnalyser.cpp
+++ b/libsolidity/analysis/DocStringAnalyser.cpp
@@ -40,7 +40,7 @@ bool DocStringAnalyser::analyseDocStrings(SourceUnit const& _sourceUnit)
bool DocStringAnalyser::visit(ContractDefinition const& _node)
{
- static const set<string> validTags = set<string>{"author", "title", "dev", "notice", "why3"};
+ static const set<string> validTags = set<string>{"author", "title", "dev", "notice"};
parseDocStrings(_node, _node.annotation(), validTags, "contracts");
return true;
@@ -66,16 +66,6 @@ bool DocStringAnalyser::visit(EventDefinition const& _node)
return true;
}
-bool DocStringAnalyser::visitNode(ASTNode const& _node)
-{
- if (auto node = dynamic_cast<Statement const*>(&_node))
- {
- static const set<string> validTags = {"why3"};
- parseDocStrings(*node, node->annotation(), validTags, "statements");
- }
- return true;
-}
-
void DocStringAnalyser::handleCallable(
CallableDeclaration const& _callable,
Documented const& _node,
diff --git a/libsolidity/analysis/DocStringAnalyser.h b/libsolidity/analysis/DocStringAnalyser.h
index e871cb60..158b4060 100644
--- a/libsolidity/analysis/DocStringAnalyser.h
+++ b/libsolidity/analysis/DocStringAnalyser.h
@@ -48,8 +48,6 @@ private:
virtual bool visit(ModifierDefinition const& _modifier) override;
virtual bool visit(EventDefinition const& _event) override;
- virtual bool visitNode(ASTNode const&) override;
-
void handleCallable(
CallableDeclaration const& _callable,
Documented const& _node,