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

Merge pull request #2603 from ethereum/test-jsoncompiler

Browse Source 
Comprehensive tests for jsonCompiler
This commit is contained in:
chriseth 2017-07-26 14:41:24 +02:00 committed by GitHub
commit 0d701c9456
1 changed files with 95 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

97
test/libsolidity/JSONCompiler.cpp
View File

@ -35,7 +35,10 @@ extern "C"
{ {
extern char const* version(); extern char const* version();
extern char const* license(); extern char const* license();
extern char const* compileJSON(char const* _input, bool _optimize);
extern char const* compileJSONMulti(char const* _input, bool _optimize); extern char const* compileJSONMulti(char const* _input, bool _optimize);
extern char const* compileJSONCallback(char const* _input, bool _optimize, void* _readCallback);
extern char const* compileStandard(char const* _input, void* _readCallback);
} }
namespace dev namespace dev
@ -48,9 +51,29 @@ namespace test
namespace namespace
{ {
Json::Value compileSingle(string const& _input)
{
string output(compileJSON(_input.c_str(), dev::test::Options::get().optimize));
Json::Value ret;
BOOST_REQUIRE(Json::Reader().parse(output, ret, false));
return ret;
}
Json::Value compileMulti(string const& _input, bool _callback)
{
string output(
_callback ?
compileJSONCallback(_input.c_str(), dev::test::Options::get().optimize, NULL) :
compileJSONMulti(_input.c_str(), dev::test::Options::get().optimize)
);
Json::Value ret;
BOOST_REQUIRE(Json::Reader().parse(output, ret, false));
return ret;
}
Json::Value compile(string const& _input) Json::Value compile(string const& _input)
{ {
string output(compileJSONMulti(_input.c_str(), dev::test::Options::get().optimize)); string output(compileStandard(_input.c_str(), NULL));
Json::Value ret; Json::Value ret;
BOOST_REQUIRE(Json::Reader().parse(output, ret, false)); BOOST_REQUIRE(Json::Reader().parse(output, ret, false));
return ret; return ret;
@ -81,8 +104,15 @@ BOOST_AUTO_TEST_CASE(basic_compilation)
} }
} }
)"; )";
Json::Value result = compile(input); Json::Value result = compileMulti(input, false);
BOOST_CHECK(result.isObject()); BOOST_CHECK(result.isObject());
// Compare with compileJSONCallback
BOOST_CHECK_EQUAL(
dev::jsonCompactPrint(result),
dev::jsonCompactPrint(compileMulti(input, true))
);
BOOST_CHECK(result["contracts"].isObject()); BOOST_CHECK(result["contracts"].isObject());
BOOST_CHECK(result["contracts"]["fileA:A"].isObject()); BOOST_CHECK(result["contracts"]["fileA:A"].isObject());
Json::Value contract = result["contracts"]["fileA:A"]; Json::Value contract = result["contracts"]["fileA:A"];
@ -119,6 +149,69 @@ BOOST_AUTO_TEST_CASE(basic_compilation)
"\"src\":\"0:14:0\"}],\"id\":2,\"name\":\"SourceUnit\",\"src\":\"0:14:0\"}" "\"src\":\"0:14:0\"}],\"id\":2,\"name\":\"SourceUnit\",\"src\":\"0:14:0\"}"
); );
} }
BOOST_AUTO_TEST_CASE(single_compilation)
{
Json::Value result = compileSingle("contract A { }");
BOOST_CHECK(result.isObject());
BOOST_CHECK(result["contracts"].isObject());
BOOST_CHECK(result["contracts"][":A"].isObject());
Json::Value contract = result["contracts"][":A"];
BOOST_CHECK(contract.isObject());
BOOST_CHECK(contract["interface"].isString());
BOOST_CHECK_EQUAL(contract["interface"].asString(), "[]");
BOOST_CHECK(contract["bytecode"].isString());
BOOST_CHECK_EQUAL(
dev::test::bytecodeSansMetadata(contract["bytecode"].asString()),
"60606040523415600e57600080fd5b5b603680601c6000396000f30060606040525b600080fd00"
);
BOOST_CHECK(contract["runtimeBytecode"].isString());
BOOST_CHECK_EQUAL(
dev::test::bytecodeSansMetadata(contract["runtimeBytecode"].asString()),
"60606040525b600080fd00"
);
BOOST_CHECK(contract["functionHashes"].isObject());
BOOST_CHECK(contract["gasEstimates"].isObject());
BOOST_CHECK_EQUAL(
dev::jsonCompactPrint(contract["gasEstimates"]),
"{\"creation\":[62,10800],\"external\":{},\"internal\":{}}"
);
BOOST_CHECK(contract["metadata"].isString());
BOOST_CHECK(dev::test::isValidMetadata(contract["metadata"].asString()));
BOOST_CHECK(result["sources"].isObject());
BOOST_CHECK(result["sources"][""].isObject());
BOOST_CHECK(result["sources"][""]["AST"].isObject());
BOOST_CHECK_EQUAL(
dev::jsonCompactPrint(result["sources"][""]["AST"]),
"{\"attributes\":{\"absolutePath\":\"\",\"exportedSymbols\":{\"A\":[1]}},"
"\"children\":[{\"attributes\":{\"baseContracts\":[null],\"contractDependencies\":[null],"
"\"contractKind\":\"contract\",\"documentation\":null,\"fullyImplemented\":true,\"linearizedBaseContracts\":[1],"
"\"name\":\"A\",\"nodes\":[null],\"scope\":2},\"id\":1,\"name\":\"ContractDefinition\","
"\"src\":\"0:14:0\"}],\"id\":2,\"name\":\"SourceUnit\",\"src\":\"0:14:0\"}"
);
}
BOOST_AUTO_TEST_CASE(standard_compilation)
{
char const* input = R"(
{
"language": "Solidity",
"sources": {
"fileA": {
"content": "contract A { }"
}
}
}
)";
Json::Value result = compile(input);
BOOST_CHECK(result.isObject());
// Only tests some assumptions. The StandardCompiler is tested properly in another suite.
BOOST_CHECK(result.isMember("sources"));
BOOST_CHECK(result.isMember("contracts"));
}
BOOST_AUTO_TEST_SUITE_END() BOOST_AUTO_TEST_SUITE_END()
} }