Skip to content

Commit

Permalink
Disallow enums in interfaces
Browse files Browse the repository at this point in the history
  • Loading branch information
axic committed Mar 17, 2017
1 parent 16a91ef commit 2c4bce2
Show file tree
Hide file tree
Showing 4 changed files with 19 additions and 0 deletions.
1 change: 1 addition & 0 deletions docs/contracts.rst
Original file line number Diff line number Diff line change
Expand Up @@ -933,6 +933,7 @@ Interfaces are similar to abstract contracts, but they cannot have any functions
#. Cannot inherit other contracts or interfaces.
#. Cannot define variables.
#. Cannot define structs.
#. Cannot define enums.

Some of these restrictions might be lifted in the future.

Expand Down
7 changes: 7 additions & 0 deletions libsolidity/analysis/TypeChecker.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -517,6 +517,13 @@ bool TypeChecker::visit(VariableDeclaration const& _variable)
return false;
}

bool TypeChecker::visit(EnumDefinition const& _enum)
{
if (m_scope->contractKind() == ContractDefinition::ContractKind::Interface)
typeError(_enum.location(), "Enumerable cannot be declared in interfaces.");
return false;
}

void TypeChecker::visitManually(
ModifierInvocation const& _modifier,
vector<ContractDefinition const*> const& _bases
Expand Down
1 change: 1 addition & 0 deletions libsolidity/analysis/TypeChecker.h
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,7 @@ class TypeChecker: private ASTConstVisitor
virtual bool visit(StructDefinition const& _struct) override;
virtual bool visit(FunctionDefinition const& _function) override;
virtual bool visit(VariableDeclaration const& _variable) override;
virtual bool visit(EnumDefinition const& _enum) override;
/// We need to do this manually because we want to pass the bases of the current contract in
/// case this is a base constructor call.
void visitManually(ModifierInvocation const& _modifier, std::vector<ContractDefinition const*> const& _bases);
Expand Down
10 changes: 10 additions & 0 deletions test/libsolidity/SolidityNameAndTypeResolution.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -5411,6 +5411,16 @@ BOOST_AUTO_TEST_CASE(interface_variables)
CHECK_ERROR(text, TypeError, "Variables cannot be declared in interfaces");
}

BOOST_AUTO_TEST_CASE(interface_enums)
{
char const* text = R"(
interface I {
enum A { B, C }
}
)";
CHECK_ERROR(text, TypeError, "Enumerable cannot be declared in interfaces");
}

BOOST_AUTO_TEST_CASE(using_interface)
{
char const* text = R"(
Expand Down

0 comments on commit 2c4bce2

Please sign in to comment.