2015-01-28 07:50:53 +00:00
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
This file is part of solidity.
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is free software: you can redistribute it and/or modify
|
2015-01-28 07:50:53 +00:00
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is distributed in the hope that it will be useful,
|
2015-01-28 07:50:53 +00:00
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
2016-11-18 23:13:20 +00:00
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
2015-01-28 07:50:53 +00:00
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2014
|
|
|
|
* JSON interface for the solidity compiler to be used from Javascript.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
#include <libdevcore/Common.h>
|
2016-11-15 17:33:28 +00:00
|
|
|
#include <libdevcore/JSON.h>
|
2017-03-16 23:48:51 +00:00
|
|
|
#include <libsolidity/interface/StandardCompiler.h>
|
2015-10-20 22:21:52 +00:00
|
|
|
#include <libsolidity/interface/Version.h>
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2017-06-13 20:47:33 +00:00
|
|
|
#include "license.h"
|
|
|
|
|
2015-01-28 07:50:53 +00:00
|
|
|
using namespace std;
|
|
|
|
using namespace dev;
|
|
|
|
using namespace solidity;
|
|
|
|
|
2016-01-26 15:25:36 +00:00
|
|
|
extern "C" {
|
|
|
|
/// Callback used to retrieve additional source files. "Returns" two pointers that should be
|
|
|
|
/// heap-allocated and are free'd by the caller.
|
|
|
|
typedef void (*CStyleReadFileCallback)(char const* _path, char** o_contents, char** o_error);
|
|
|
|
}
|
|
|
|
|
2017-03-16 23:48:51 +00:00
|
|
|
ReadFile::Callback wrapReadCallback(CStyleReadFileCallback _readCallback = nullptr)
|
|
|
|
{
|
|
|
|
ReadFile::Callback readCallback;
|
|
|
|
if (_readCallback)
|
|
|
|
{
|
|
|
|
readCallback = [=](string const& _path)
|
|
|
|
{
|
|
|
|
char* contents_c = nullptr;
|
|
|
|
char* error_c = nullptr;
|
|
|
|
_readCallback(_path.c_str(), &contents_c, &error_c);
|
|
|
|
ReadFile::Result result;
|
|
|
|
result.success = true;
|
|
|
|
if (!contents_c && !error_c)
|
|
|
|
{
|
|
|
|
result.success = false;
|
|
|
|
result.contentsOrErrorMessage = "File not found.";
|
|
|
|
}
|
|
|
|
if (contents_c)
|
|
|
|
{
|
|
|
|
result.success = true;
|
|
|
|
result.contentsOrErrorMessage = string(contents_c);
|
|
|
|
free(contents_c);
|
|
|
|
}
|
|
|
|
if (error_c)
|
|
|
|
{
|
|
|
|
result.success = false;
|
|
|
|
result.contentsOrErrorMessage = string(error_c);
|
|
|
|
free(error_c);
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
return readCallback;
|
|
|
|
}
|
|
|
|
|
2017-04-12 11:06:01 +00:00
|
|
|
/// Translates a gas value as a string to a JSON number or null
|
|
|
|
Json::Value gasToJson(Json::Value const& _value)
|
|
|
|
{
|
|
|
|
if (_value.isObject())
|
|
|
|
{
|
|
|
|
Json::Value ret = Json::objectValue;
|
|
|
|
for (auto const& sig: _value.getMemberNames())
|
|
|
|
ret[sig] = gasToJson(_value[sig]);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (_value == "infinite")
|
|
|
|
return Json::Value(Json::nullValue);
|
|
|
|
|
|
|
|
u256 value(_value.asString());
|
|
|
|
if (value > std::numeric_limits<Json::LargestUInt>::max())
|
|
|
|
return Json::Value(Json::nullValue);
|
|
|
|
else
|
|
|
|
return Json::Value(Json::LargestUInt(value));
|
|
|
|
}
|
|
|
|
|
2017-04-24 15:15:36 +00:00
|
|
|
Json::Value translateGasEstimates(Json::Value const& estimates)
|
2015-06-01 11:25:02 +00:00
|
|
|
{
|
2017-04-10 13:52:05 +00:00
|
|
|
Json::Value output(Json::objectValue);
|
|
|
|
|
|
|
|
if (estimates["creation"].isObject())
|
2015-06-01 11:25:02 +00:00
|
|
|
{
|
2017-04-10 13:52:05 +00:00
|
|
|
Json::Value creation(Json::arrayValue);
|
2017-04-12 11:06:01 +00:00
|
|
|
creation[0] = gasToJson(estimates["creation"]["executionCost"]);
|
|
|
|
creation[1] = gasToJson(estimates["creation"]["codeDepositCost"]);
|
2017-04-10 13:52:05 +00:00
|
|
|
output["creation"] = creation;
|
2015-06-01 11:25:02 +00:00
|
|
|
}
|
2017-04-11 09:01:24 +00:00
|
|
|
else
|
|
|
|
output["creation"] = Json::objectValue;
|
2017-04-12 11:06:01 +00:00
|
|
|
output["external"] = gasToJson(estimates.get("external", Json::objectValue));
|
|
|
|
output["internal"] = gasToJson(estimates.get("internal", Json::objectValue));
|
2017-04-10 13:52:05 +00:00
|
|
|
|
|
|
|
return output;
|
2015-06-01 11:25:02 +00:00
|
|
|
}
|
|
|
|
|
2016-01-26 15:25:36 +00:00
|
|
|
string compile(StringMap const& _sources, bool _optimize, CStyleReadFileCallback _readCallback)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2017-04-24 15:15:36 +00:00
|
|
|
/// create new JSON input format
|
|
|
|
Json::Value input = Json::objectValue;
|
|
|
|
input["language"] = "Solidity";
|
|
|
|
input["sources"] = Json::objectValue;
|
|
|
|
for (auto const& source: _sources)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2017-04-24 15:15:36 +00:00
|
|
|
input["sources"][source.first] = Json::objectValue;
|
|
|
|
input["sources"][source.first]["content"] = source.second;
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
2017-04-24 15:15:36 +00:00
|
|
|
input["settings"] = Json::objectValue;
|
|
|
|
input["settings"]["optimizer"] = Json::objectValue;
|
|
|
|
input["settings"]["optimizer"]["enabled"] = _optimize;
|
|
|
|
input["settings"]["optimizer"]["runs"] = 200;
|
|
|
|
|
|
|
|
StandardCompiler compiler(wrapReadCallback(_readCallback));
|
|
|
|
Json::Value ret = compiler.compile(input);
|
|
|
|
|
|
|
|
/// transform JSON to match the old format
|
|
|
|
// {
|
|
|
|
// "errors": [ "Error 1", "Error 2" ],
|
|
|
|
// "sourceList": [ "sourcename1", "sourcename2" ],
|
|
|
|
// "sources": {
|
|
|
|
// "sourcename1": {
|
|
|
|
// "AST": {}
|
|
|
|
// }
|
|
|
|
// },
|
|
|
|
// "contracts": {
|
|
|
|
// "Contract1": {
|
|
|
|
// "interface": "[...abi...]",
|
|
|
|
// "bytecode": "ff0011...",
|
|
|
|
// "runtimeBytecode": "ff0011",
|
|
|
|
// "opcodes": "PUSH 1 POP STOP",
|
|
|
|
// "metadata": "{...metadata...}",
|
|
|
|
// "functionHashes": {
|
|
|
|
// "test(uint256)": "11ff2233"
|
|
|
|
// },
|
|
|
|
// "gasEstimates": {
|
|
|
|
// "creation": [ 224, 42000 ],
|
|
|
|
// "external": {
|
|
|
|
// "11ff2233": null,
|
|
|
|
// "3322ff11": 1234
|
|
|
|
// },
|
|
|
|
// "internal": {
|
|
|
|
// }
|
|
|
|
// },
|
|
|
|
// "srcmap" = "0:1:2",
|
|
|
|
// "srcmapRuntime" = "0:1:2",
|
|
|
|
// "assembly" = {}
|
|
|
|
// }
|
|
|
|
// },
|
|
|
|
// "formal": {
|
|
|
|
// "errors": [ "Error 1" ],
|
|
|
|
// "why3": "why3 source"
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
Json::Value output = Json::objectValue;
|
|
|
|
|
|
|
|
if (ret.isMember("errors"))
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2017-04-24 15:15:36 +00:00
|
|
|
output["errors"] = Json::arrayValue;
|
|
|
|
for (auto const& error: ret["errors"])
|
|
|
|
output["errors"].append(
|
|
|
|
!error["formattedMessage"].empty() ? error["formattedMessage"] : error["message"]
|
|
|
|
);
|
2015-09-21 17:43:56 +00:00
|
|
|
}
|
|
|
|
|
2017-04-24 15:15:36 +00:00
|
|
|
output["sourceList"] = Json::arrayValue;
|
|
|
|
for (auto const& source: _sources)
|
|
|
|
output["sourceList"].append(source.first);
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2017-04-24 15:15:36 +00:00
|
|
|
if (ret.isMember("sources"))
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2017-04-24 15:15:36 +00:00
|
|
|
output["sources"] = Json::objectValue;
|
|
|
|
for (auto const& sourceName: ret["sources"].getMemberNames())
|
2015-10-02 20:54:30 +00:00
|
|
|
{
|
2017-04-24 15:15:36 +00:00
|
|
|
output["sources"][sourceName] = Json::objectValue;
|
|
|
|
output["sources"][sourceName]["AST"] = ret["sources"][sourceName]["legacyAST"];
|
2016-09-05 15:09:33 +00:00
|
|
|
}
|
2017-04-24 15:15:36 +00:00
|
|
|
}
|
2016-09-01 18:14:00 +00:00
|
|
|
|
2017-04-24 15:15:36 +00:00
|
|
|
if (ret.isMember("contracts"))
|
|
|
|
{
|
|
|
|
output["contracts"] = Json::objectValue;
|
|
|
|
for (auto const& sourceName: ret["contracts"].getMemberNames())
|
|
|
|
for (auto const& contractName: ret["contracts"][sourceName].getMemberNames())
|
2016-09-01 18:14:00 +00:00
|
|
|
{
|
2017-04-24 15:15:36 +00:00
|
|
|
Json::Value contractInput = ret["contracts"][sourceName][contractName];
|
|
|
|
Json::Value contractOutput = Json::objectValue;
|
|
|
|
contractOutput["interface"] = dev::jsonCompactPrint(contractInput["abi"]);
|
|
|
|
contractOutput["metadata"] = contractInput["metadata"];
|
|
|
|
contractOutput["functionHashes"] = contractInput["evm"]["methodIdentifiers"];
|
|
|
|
contractOutput["gasEstimates"] = translateGasEstimates(contractInput["evm"]["gasEstimates"]);
|
|
|
|
contractOutput["assembly"] = contractInput["evm"]["legacyAssembly"];
|
|
|
|
contractOutput["bytecode"] = contractInput["evm"]["bytecode"]["object"];
|
|
|
|
contractOutput["opcodes"] = contractInput["evm"]["bytecode"]["opcodes"];
|
|
|
|
contractOutput["srcmap"] = contractInput["evm"]["bytecode"]["sourceMap"];
|
|
|
|
contractOutput["runtimeBytecode"] = contractInput["evm"]["deployedBytecode"]["object"];
|
|
|
|
contractOutput["srcmapRuntime"] = contractInput["evm"]["deployedBytecode"]["sourceMap"];
|
|
|
|
output["contracts"][sourceName + ":" + contractName] = contractOutput;
|
2016-09-01 18:14:00 +00:00
|
|
|
}
|
2015-10-02 20:54:30 +00:00
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2016-09-01 18:14:00 +00:00
|
|
|
try
|
|
|
|
{
|
2016-11-15 17:33:28 +00:00
|
|
|
return dev::jsonCompactPrint(output);
|
2016-09-01 18:14:00 +00:00
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
return "{\"errors\":[\"Unknown error while generating JSON.\"]}";
|
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
|
|
|
|
2016-01-26 15:25:36 +00:00
|
|
|
string compileMulti(string const& _input, bool _optimize, CStyleReadFileCallback _readCallback = nullptr)
|
2015-10-15 15:12:22 +00:00
|
|
|
{
|
|
|
|
Json::Reader reader;
|
|
|
|
Json::Value input;
|
|
|
|
if (!reader.parse(_input, input, false))
|
|
|
|
{
|
|
|
|
Json::Value errors(Json::arrayValue);
|
|
|
|
errors.append("Error parsing input JSON: " + reader.getFormattedErrorMessages());
|
|
|
|
Json::Value output(Json::objectValue);
|
|
|
|
output["errors"] = errors;
|
2016-11-15 17:33:28 +00:00
|
|
|
return dev::jsonCompactPrint(output);
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
StringMap sources;
|
|
|
|
Json::Value jsonSources = input["sources"];
|
|
|
|
if (jsonSources.isObject())
|
|
|
|
for (auto const& sourceName: jsonSources.getMemberNames())
|
|
|
|
sources[sourceName] = jsonSources[sourceName].asString();
|
2016-01-26 15:25:36 +00:00
|
|
|
return compile(sources, _optimize, _readCallback);
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
string compileSingle(string const& _input, bool _optimize)
|
|
|
|
{
|
|
|
|
StringMap sources;
|
|
|
|
sources[""] = _input;
|
2016-01-26 15:25:36 +00:00
|
|
|
return compile(sources, _optimize, nullptr);
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
|
2017-03-16 23:48:51 +00:00
|
|
|
|
|
|
|
string compileStandardInternal(string const& _input, CStyleReadFileCallback _readCallback = nullptr)
|
|
|
|
{
|
|
|
|
StandardCompiler compiler(wrapReadCallback(_readCallback));
|
|
|
|
return compiler.compile(_input);
|
|
|
|
}
|
|
|
|
|
2015-10-15 16:29:47 +00:00
|
|
|
static string s_outputBuffer;
|
2015-01-28 07:50:53 +00:00
|
|
|
|
|
|
|
extern "C"
|
|
|
|
{
|
2017-06-13 20:47:33 +00:00
|
|
|
extern char const* license()
|
|
|
|
{
|
|
|
|
/// TOOD: include the copyright information on the top.
|
|
|
|
return licenseText;
|
|
|
|
}
|
2015-09-15 10:27:29 +00:00
|
|
|
extern char const* version()
|
|
|
|
{
|
|
|
|
return VersionString.c_str();
|
|
|
|
}
|
2015-04-22 09:33:02 +00:00
|
|
|
extern char const* compileJSON(char const* _input, bool _optimize)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2015-10-15 16:29:47 +00:00
|
|
|
s_outputBuffer = compileSingle(_input, _optimize);
|
|
|
|
return s_outputBuffer.c_str();
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
extern char const* compileJSONMulti(char const* _input, bool _optimize)
|
|
|
|
{
|
2015-10-15 16:29:47 +00:00
|
|
|
s_outputBuffer = compileMulti(_input, _optimize);
|
|
|
|
return s_outputBuffer.c_str();
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
2016-01-26 15:25:36 +00:00
|
|
|
extern char const* compileJSONCallback(char const* _input, bool _optimize, CStyleReadFileCallback _readCallback)
|
|
|
|
{
|
|
|
|
s_outputBuffer = compileMulti(_input, _optimize, _readCallback);
|
|
|
|
return s_outputBuffer.c_str();
|
|
|
|
}
|
2017-03-16 23:48:51 +00:00
|
|
|
extern char const* compileStandard(char const* _input, CStyleReadFileCallback _readCallback)
|
|
|
|
{
|
|
|
|
s_outputBuffer = compileStandardInternal(_input, _readCallback);
|
|
|
|
return s_outputBuffer.c_str();
|
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|