diff options
| author | chriseth <chris@ethereum.org> | 2017-05-29 20:12:38 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-29 20:12:38 +0800 |
| commit | 2c4a107f431735a41444c5965f191f93fefb263e (patch) | |
| tree | 440f1ac45a3375c656cb3d21175b8b8bb62e2746 /test/libjulia/Parser.cpp | |
| parent | 4a5dc6a4ea619b90214006a573cbd9c036d2d4a2 (diff) | |
| parent | 2a50e869d060bd42faae9003fa563398ba8b79c1 (diff) | |
| download | dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.gz dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.bz2 dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.lz dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.xz dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.zst dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.zip | |
Merge pull request #2311 from ethereum/julia-types
Validate types for Julia (part 1)
Diffstat (limited to 'test/libjulia/Parser.cpp')
| -rw-r--r-- | test/libjulia/Parser.cpp | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/test/libjulia/Parser.cpp b/test/libjulia/Parser.cpp index 31dbd278..b82c446a 100644 --- a/test/libjulia/Parser.cpp +++ b/test/libjulia/Parser.cpp @@ -54,7 +54,7 @@ bool parse(string const& _source, ErrorList& errors) if (parserResult) { assembly::AsmAnalysisInfo analysisInfo; - return (assembly::AsmAnalyzer(analysisInfo, errors)).analyze(*parserResult); + return (assembly::AsmAnalyzer(analysisInfo, errors, true)).analyze(*parserResult); } } catch (FatalError const&) @@ -110,7 +110,6 @@ do \ BOOST_CHECK(searchErrorMessage(err, (substring))); \ } while(0) - BOOST_AUTO_TEST_SUITE(JuliaParser) BOOST_AUTO_TEST_CASE(smoke_test) @@ -197,6 +196,31 @@ BOOST_AUTO_TEST_CASE(lacking_types) CHECK_ERROR("{ function f(a:u256) -> b {} }", ParserError, "Expected token Colon got 'LBrace'"); } +BOOST_AUTO_TEST_CASE(invalid_types) +{ + /// testing invalid literal + /// NOTE: these will need to change when types are compared + CHECK_ERROR("{ let x:bool := 1:invalid }", TypeError, "\"invalid\" is not a valid type (user defined types are not yet supported)."); + /// testing invalid variable declaration + CHECK_ERROR("{ let x:invalid := 1:bool }", TypeError, "\"invalid\" is not a valid type (user defined types are not yet supported)."); + CHECK_ERROR("{ function f(a:invalid) {} }", TypeError, "\"invalid\" is not a valid type (user defined types are not yet supported)."); +} + +BOOST_AUTO_TEST_CASE(builtin_types) +{ + BOOST_CHECK(successParse("{ let x:bool := true:bool }")); + BOOST_CHECK(successParse("{ let x:u8 := 1:u8 }")); + BOOST_CHECK(successParse("{ let x:s8 := 1:u8 }")); + BOOST_CHECK(successParse("{ let x:u32 := 1:u32 }")); + BOOST_CHECK(successParse("{ let x:s32 := 1:s32 }")); + BOOST_CHECK(successParse("{ let x:u64 := 1:u64 }")); + BOOST_CHECK(successParse("{ let x:s64 := 1:s64 }")); + BOOST_CHECK(successParse("{ let x:u128 := 1:u128 }")); + BOOST_CHECK(successParse("{ let x:s128 := 1:s128 }")); + BOOST_CHECK(successParse("{ let x:u256 := 1:u256 }")); + BOOST_CHECK(successParse("{ let x:s256 := 1:s256 }")); +} + BOOST_AUTO_TEST_SUITE_END() } |