diff options
| author | mordax <maya@mordax.io> | 2018-11-16 09:09:04 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-11-21 22:37:32 +0800 |
| commit | ea8b7d803ebd151401be7479f48afb0ad19f5f74 (patch) | |
| tree | be363297661531057296c468c15c5003510540d5 /libsolidity/formal | |
| parent | d3f66ca0fab130e801b012bd192e1e8e97fb3761 (diff) | |
| download | dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.tar dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.tar.gz dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.tar.bz2 dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.tar.lz dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.tar.xz dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.tar.zst dexon-solidity-ea8b7d803ebd151401be7479f48afb0ad19f5f74.zip | |
Removing redundant virtual from override function declaration
Remove trailing whitespace
Remove changelog change
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/SMTChecker.h | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h index 869c9c50..4a5974aa 100644 --- a/libsolidity/formal/SMTChecker.h +++ b/libsolidity/formal/SMTChecker.h @@ -51,24 +51,24 @@ private: // because the order of expression evaluation is undefined // TODO: or just force a certain order, but people might have a different idea about that. - virtual bool visit(ContractDefinition const& _node) override; - virtual void endVisit(ContractDefinition const& _node) override; - virtual void endVisit(VariableDeclaration const& _node) override; - virtual bool visit(FunctionDefinition const& _node) override; - virtual void endVisit(FunctionDefinition const& _node) override; - virtual bool visit(IfStatement const& _node) override; - virtual bool visit(WhileStatement const& _node) override; - virtual bool visit(ForStatement const& _node) override; - virtual void endVisit(VariableDeclarationStatement const& _node) override; - virtual void endVisit(Assignment const& _node) override; - virtual void endVisit(TupleExpression const& _node) override; - virtual void endVisit(UnaryOperation const& _node) override; - virtual void endVisit(BinaryOperation const& _node) override; - virtual void endVisit(FunctionCall const& _node) override; - virtual void endVisit(Identifier const& _node) override; - virtual void endVisit(Literal const& _node) override; - virtual void endVisit(Return const& _node) override; - virtual bool visit(MemberAccess const& _node) override; + bool visit(ContractDefinition const& _node) override; + void endVisit(ContractDefinition const& _node) override; + void endVisit(VariableDeclaration const& _node) override; + bool visit(FunctionDefinition const& _node) override; + void endVisit(FunctionDefinition const& _node) override; + bool visit(IfStatement const& _node) override; + bool visit(WhileStatement const& _node) override; + bool visit(ForStatement const& _node) override; + void endVisit(VariableDeclarationStatement const& _node) override; + void endVisit(Assignment const& _node) override; + void endVisit(TupleExpression const& _node) override; + void endVisit(UnaryOperation const& _node) override; + void endVisit(BinaryOperation const& _node) override; + void endVisit(FunctionCall const& _node) override; + void endVisit(Identifier const& _node) override; + void endVisit(Literal const& _node) override; + void endVisit(Return const& _node) override; + bool visit(MemberAccess const& _node) override; void arithmeticOperation(BinaryOperation const& _op); void compareOperation(BinaryOperation const& _op); |