cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Type system, not yet complete.

Browse Source
This commit is contained in:
Christian 2014-10-13 18:22:15 +02:00
parent 082d79dba4
commit de155c13ef
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
solidityNameAndTypeResolution.cpp
View File

@ -49,7 +49,7 @@ BOOST_AUTO_TEST_CASE(smoke_test)
{ {
char const* text = "contract test {\n" char const* text = "contract test {\n"
" uint256 stateVariable1;\n" " uint256 stateVariable1;\n"
" function fun(uint256 arg1) { var x = 2; uint256 y = 3; x = 1; }" " function fun(uint256 arg1) { var x; uint256 y; }"
"}\n"; "}\n";
BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text)); BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
} }
@ -66,8 +66,8 @@ BOOST_AUTO_TEST_CASE(double_stateVariable_declaration)
BOOST_AUTO_TEST_CASE(double_function_declaration) BOOST_AUTO_TEST_CASE(double_function_declaration)
{ {
char const* text = "contract test {\n" char const* text = "contract test {\n"
" function fun() { var x = 2; }\n" " function fun() { var x; }\n"
" function fun() { var y = 9; }\n" " function fun() { var x; }\n"
"}\n"; "}\n";
BOOST_CHECK_THROW(parseTextAndResolveNames(text), std::exception); BOOST_CHECK_THROW(parseTextAndResolveNames(text), std::exception);
} }
@ -75,7 +75,7 @@ BOOST_AUTO_TEST_CASE(double_function_declaration)
BOOST_AUTO_TEST_CASE(double_variable_declaration) BOOST_AUTO_TEST_CASE(double_variable_declaration)
{ {
char const* text = "contract test {\n" char const* text = "contract test {\n"
" function f() { uint256 x = 9; if (true) { uint256 x = 2;} x = 3; }\n" " function f() { uint256 x; if (true) { uint256 x; } }\n"
"}\n"; "}\n";
BOOST_CHECK_THROW(parseTextAndResolveNames(text), std::exception); BOOST_CHECK_THROW(parseTextAndResolveNames(text), std::exception);
} }
@ -84,7 +84,7 @@ BOOST_AUTO_TEST_CASE(name_shadowing)
{ {
char const* text = "contract test {\n" char const* text = "contract test {\n"
" uint256 variable;\n" " uint256 variable;\n"
" function f() { uint8 variable = 2; }" " function f() { uint32 variable ; }"
"}\n"; "}\n";
BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text)); BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
} }
@ -93,7 +93,7 @@ BOOST_AUTO_TEST_CASE(name_references)
{ {
char const* text = "contract test {\n" char const* text = "contract test {\n"
" uint256 variable;\n" " uint256 variable;\n"
" function f() { variable = 2; f(); test; }" " function f(uint256 arg) returns (uint out) { f(variable); test; out; }"
"}\n"; "}\n";
BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text)); BOOST_CHECK_NO_THROW(parseTextAndResolveNames(text));
} }
@ -102,7 +102,7 @@ BOOST_AUTO_TEST_CASE(undeclared_name)
{ {
char const* text = "contract test {\n" char const* text = "contract test {\n"
" uint256 variable;\n" " uint256 variable;\n"
" function f() { notfound = 2; }" " function f(uint256 arg) { f(notfound); }"
"}\n"; "}\n";
BOOST_CHECK_THROW(parseTextAndResolveNames(text), std::exception); BOOST_CHECK_THROW(parseTextAndResolveNames(text), std::exception);
} }