mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			210 lines
		
	
	
		
			5.2 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			210 lines
		
	
	
		
			5.2 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
/*
 | 
						|
	This file is part of solidity.
 | 
						|
 | 
						|
	solidity is free software: you can redistribute it and/or modify
 | 
						|
	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.
 | 
						|
 | 
						|
	solidity is distributed in the hope that it will be useful,
 | 
						|
	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
 | 
						|
	along with solidity.  If not, see <http://www.gnu.org/licenses/>.
 | 
						|
*/
 | 
						|
 | 
						|
#include <test/libsolidity/SyntaxTest.h>
 | 
						|
#include <boost/algorithm/string.hpp>
 | 
						|
#include <boost/algorithm/string/predicate.hpp>
 | 
						|
#include <boost/throw_exception.hpp>
 | 
						|
#include <cctype>
 | 
						|
#include <fstream>
 | 
						|
#include <memory>
 | 
						|
#include <stdexcept>
 | 
						|
 | 
						|
using namespace dev;
 | 
						|
using namespace solidity;
 | 
						|
using namespace dev::solidity::test;
 | 
						|
using namespace std;
 | 
						|
namespace fs = boost::filesystem;
 | 
						|
using namespace boost::unit_test;
 | 
						|
 | 
						|
template<typename IteratorType>
 | 
						|
void skipWhitespace(IteratorType& it, IteratorType end)
 | 
						|
{
 | 
						|
	while (it != end && isspace(*it))
 | 
						|
		++it;
 | 
						|
}
 | 
						|
 | 
						|
template<typename IteratorType>
 | 
						|
void skipSlashes(IteratorType& it, IteratorType end)
 | 
						|
{
 | 
						|
	while (it != end && *it == '/')
 | 
						|
		++it;
 | 
						|
}
 | 
						|
 | 
						|
SyntaxTest::SyntaxTest(string const& _filename)
 | 
						|
{
 | 
						|
	ifstream file(_filename);
 | 
						|
	if (!file)
 | 
						|
		BOOST_THROW_EXCEPTION(runtime_error("Cannot open test contract: \"" + _filename + "\"."));
 | 
						|
	file.exceptions(ios::badbit);
 | 
						|
 | 
						|
	m_source = parseSource(file);
 | 
						|
	m_expectations = parseExpectations(file);
 | 
						|
}
 | 
						|
 | 
						|
bool SyntaxTest::run(ostream& _stream, string const& _indent)
 | 
						|
{
 | 
						|
	m_errorList = parseAnalyseAndReturnError(m_source, true, true, true).second;
 | 
						|
	if (!matchesExpectations(m_errorList))
 | 
						|
	{
 | 
						|
		std::string nextIndentLevel = _indent + "\t";
 | 
						|
		_stream << _indent << "Expected result:" << endl;
 | 
						|
		printExpected(_stream, nextIndentLevel);
 | 
						|
		_stream << _indent << "Obtained result:\n";
 | 
						|
		printErrorList(_stream, m_errorList, nextIndentLevel);
 | 
						|
		return false;
 | 
						|
	}
 | 
						|
	return true;
 | 
						|
}
 | 
						|
 | 
						|
void SyntaxTest::printExpected(ostream& _stream, string const& _indent) const
 | 
						|
{
 | 
						|
	if (m_expectations.empty())
 | 
						|
		_stream << _indent << "Success" << endl;
 | 
						|
	else
 | 
						|
		for (auto const& expectation: m_expectations)
 | 
						|
			_stream << _indent << expectation.type << ": " << expectation.message << endl;
 | 
						|
}
 | 
						|
 | 
						|
void SyntaxTest::printErrorList(
 | 
						|
	ostream& _stream,
 | 
						|
	ErrorList const& _errorList,
 | 
						|
	string const& _indent
 | 
						|
) const
 | 
						|
{
 | 
						|
	if (_errorList.empty())
 | 
						|
		_stream << _indent << "Success" << endl;
 | 
						|
	else
 | 
						|
		for (auto const& error: _errorList)
 | 
						|
			_stream << _indent << error->typeName() << ": " << errorMessage(*error) << endl;
 | 
						|
}
 | 
						|
 | 
						|
bool SyntaxTest::matchesExpectations(ErrorList const& _errorList) const
 | 
						|
{
 | 
						|
	if (_errorList.size() != m_expectations.size())
 | 
						|
		return false;
 | 
						|
	else
 | 
						|
		for (size_t i = 0; i < _errorList.size(); i++)
 | 
						|
			if (
 | 
						|
				(_errorList[i]->typeName() != m_expectations[i].type) ||
 | 
						|
				(errorMessage(*_errorList[i]) != m_expectations[i].message)
 | 
						|
			)
 | 
						|
				return false;
 | 
						|
	return true;
 | 
						|
}
 | 
						|
 | 
						|
string SyntaxTest::errorMessage(Error const& _e)
 | 
						|
{
 | 
						|
	if (_e.comment())
 | 
						|
		return boost::replace_all_copy(*_e.comment(), "\n", "\\n");
 | 
						|
	else
 | 
						|
		return "NONE";
 | 
						|
}
 | 
						|
 | 
						|
string SyntaxTest::parseSource(istream& _stream)
 | 
						|
{
 | 
						|
	string source;
 | 
						|
	string line;
 | 
						|
	string const delimiter("// ----");
 | 
						|
	while (getline(_stream, line))
 | 
						|
		if (boost::algorithm::starts_with(line, delimiter))
 | 
						|
			break;
 | 
						|
		else
 | 
						|
			source += line + "\n";
 | 
						|
	return source;
 | 
						|
}
 | 
						|
 | 
						|
vector<SyntaxTestExpectation> SyntaxTest::parseExpectations(istream& _stream)
 | 
						|
{
 | 
						|
	vector<SyntaxTestExpectation> expectations;
 | 
						|
	string line;
 | 
						|
	while (getline(_stream, line))
 | 
						|
	{
 | 
						|
		auto it = line.begin();
 | 
						|
 | 
						|
		skipSlashes(it, line.end());
 | 
						|
		skipWhitespace(it, line.end());
 | 
						|
 | 
						|
		if (it == line.end()) continue;
 | 
						|
 | 
						|
		auto typeBegin = it;
 | 
						|
		while (it != line.end() && *it != ':')
 | 
						|
			++it;
 | 
						|
		string errorType(typeBegin, it);
 | 
						|
 | 
						|
		// skip colon
 | 
						|
		if (it != line.end()) it++;
 | 
						|
 | 
						|
		skipWhitespace(it, line.end());
 | 
						|
 | 
						|
		string errorMessage(it, line.end());
 | 
						|
		expectations.emplace_back(SyntaxTestExpectation{move(errorType), move(errorMessage)});
 | 
						|
	}
 | 
						|
	return expectations;
 | 
						|
}
 | 
						|
 | 
						|
#if BOOST_VERSION < 105900
 | 
						|
test_case *make_test_case(
 | 
						|
	function<void()> const& _fn,
 | 
						|
	string const& _name,
 | 
						|
	string const& /* _filename */,
 | 
						|
	size_t /* _line */
 | 
						|
)
 | 
						|
{
 | 
						|
	return make_test_case(_fn, _name);
 | 
						|
}
 | 
						|
#endif
 | 
						|
 | 
						|
int SyntaxTest::registerTests(
 | 
						|
	boost::unit_test::test_suite& _suite,
 | 
						|
	boost::filesystem::path const& _basepath,
 | 
						|
	boost::filesystem::path const& _path
 | 
						|
)
 | 
						|
{
 | 
						|
	int numTestsAdded = 0;
 | 
						|
	fs::path fullpath = _basepath / _path;
 | 
						|
	if (fs::is_directory(fullpath))
 | 
						|
	{
 | 
						|
		test_suite* sub_suite = BOOST_TEST_SUITE(_path.filename().string());
 | 
						|
		for (auto const& entry: boost::iterator_range<fs::directory_iterator>(
 | 
						|
			fs::directory_iterator(fullpath),
 | 
						|
			fs::directory_iterator()
 | 
						|
		))
 | 
						|
			numTestsAdded += registerTests(*sub_suite, _basepath, _path / entry.path().filename());
 | 
						|
		_suite.add(sub_suite);
 | 
						|
	}
 | 
						|
	else
 | 
						|
	{
 | 
						|
		static vector<unique_ptr<string>> filenames;
 | 
						|
 | 
						|
		filenames.emplace_back(new string(_path.string()));
 | 
						|
		_suite.add(make_test_case(
 | 
						|
			[fullpath]
 | 
						|
			{
 | 
						|
				std::stringstream errorStream;
 | 
						|
				if (!SyntaxTest(fullpath.string()).run(errorStream, ""))
 | 
						|
					BOOST_ERROR("Test expectation mismatch.\n" + errorStream.str());
 | 
						|
			},
 | 
						|
			_path.stem().string(),
 | 
						|
			*filenames.back(),
 | 
						|
			0
 | 
						|
		));
 | 
						|
		numTestsAdded = 1;
 | 
						|
	}
 | 
						|
	return numTestsAdded;
 | 
						|
}
 |