diff options
| author | Lefteris Karapetsas <lefteris@refu.co> | 2015-03-01 01:30:33 +0800 |
|---|---|---|
| committer | Lefteris Karapetsas <lefteris@refu.co> | 2015-03-02 18:51:13 +0800 |
| commit | 447320a91d266c4d5bd3c249081e52c8c1533df5 (patch) | |
| tree | 4958a79df2bb60d91a8af2dc03adcf1ad867a076 | |
| parent | 03bc87031e0f4836a51dba1a8f4c101c903824f9 (diff) | |
| download | dexon-solidity-447320a91d266c4d5bd3c249081e52c8c1533df5.tar.gz dexon-solidity-447320a91d266c4d5bd3c249081e52c8c1533df5.tar.zst dexon-solidity-447320a91d266c4d5bd3c249081e52c8c1533df5.zip | |
getInheritableMembers() does not look at BaseContracts
- Also adding tests for improper accessing members of other contracts.
| -rw-r--r-- | SolidityNameAndTypeResolution.cpp | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/SolidityNameAndTypeResolution.cpp b/SolidityNameAndTypeResolution.cpp index 58cebaeb..81d58d0d 100644 --- a/SolidityNameAndTypeResolution.cpp +++ b/SolidityNameAndTypeResolution.cpp @@ -743,6 +743,35 @@ BOOST_AUTO_TEST_CASE(base_class_state_variable_internal_member) BOOST_CHECK_NO_THROW(parseTextAndResolveNamesWithChecks(text)); } +BOOST_AUTO_TEST_CASE(state_variable_member_of_wrong_class1) +{ + char const* text = "contract Parent1 {\n" + " uint256 internal m_aMember1;\n" + "}\n" + "contract Parent2 is Parent1{\n" + " uint256 internal m_aMember2;\n" + "}\n" + "contract Child is Parent2{\n" + " function foo() returns (uint256) { return Parent2.m_aMember1; }\n" + "}\n"; + BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError); +} + +BOOST_AUTO_TEST_CASE(state_variable_member_of_wrong_class2) +{ + char const* text = "contract Parent1 {\n" + " uint256 internal m_aMember1;\n" + "}\n" + "contract Parent2 is Parent1{\n" + " uint256 internal m_aMember2;\n" + "}\n" + "contract Child is Parent2{\n" + " function foo() returns (uint256) { return Child.m_aMember2; }\n" + " uint256 public m_aMember3;\n" + "}\n"; + BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError); +} + BOOST_AUTO_TEST_CASE(fallback_function) { char const* text = R"( |