1 files changed, 93 insertions, 0 deletions
diff --git a/SourceReferenceFormatter.cpp b/SourceReferenceFormatter.cpp
new file mode 100644
index 00000000..b270342c
--- /dev/null
+++ b/SourceReferenceFormatter.cpp
@@ -0,0 +1,93 @@
+/*
+	This file is part of cpp-ethereum.
+
+	cpp-ethereum 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.
+
+	cpp-ethereum 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 cpp-ethereum.  If not, see <http://www.gnu.org/licenses/>.
+*/
+/**
+ * @author Christian <c@ethdev.com>
+ * @date 2014
+ * Formatting functions for errors referencing positions and locations in the source.
+ */
+
+#include <libsolidity/SourceReferenceFormatter.h>
+#include <libsolidity/Scanner.h>
+#include <libsolidity/Exceptions.h>
+
+namespace dev
+{
+namespace solidity
+{
+
+void SourceReferenceFormatter::printSourceLocation(std::ostream& _stream,
+												   Location const& _location,
+												   Scanner const& _scanner)
+{
+	int startLine;
+	int startColumn;
+	std::tie(startLine, startColumn) = _scanner.translatePositionToLineColumn(_location.start);
+	_stream << "starting at line " << (startLine + 1) << ", column " << (startColumn + 1) << "\n";
+	int endLine;
+	int endColumn;
+	std::tie(endLine, endColumn) = _scanner.translatePositionToLineColumn(_location.end);
+	if (startLine == endLine)
+	{
+		_stream << _scanner.getLineAtPosition(_location.start) << std::endl
+				<< std::string(startColumn, ' ') << "^";
+		if (endColumn > startColumn + 2)
+			_stream << std::string(endColumn - startColumn - 2, '-');
+		if (endColumn > startColumn + 1)
+			_stream << "^";
+		_stream << std::endl;
+	}
+	else
+		_stream << _scanner.getLineAtPosition(_location.start) << std::endl
+				<< std::string(startColumn, ' ') << "^\n"
+				<< "Spanning multiple lines.\n";
+}
+
+void SourceReferenceFormatter::printSourcePosition(std::ostream& _stream,
+												   int _position,
+												   const Scanner& _scanner)
+{
+	int line;
+	int column;
+	std::tie(line, column) = _scanner.translatePositionToLineColumn(_position);
+	_stream << "at line " << (line + 1) << ", column " << (column + 1) << std::endl
+			<< _scanner.getLineAtPosition(_position) << std::endl
+			<< std::string(column, ' ') << "^" << std::endl;
+}
+
+void SourceReferenceFormatter::printExceptionInformation(std::ostream& _stream,
+														 Exception const& _exception,
+														 std::string const& _name,
+														 Scanner const& _scanner)
+{
+	_stream << _name;
+	if (std::string const* description = boost::get_error_info<errinfo_comment>(_exception))
+		_stream << ": " << *description;
+
+	if (int const* position = boost::get_error_info<errinfo_sourcePosition>(_exception))
+	{
+		_stream << " ";
+		printSourcePosition(_stream, *position, _scanner);
+	}
+	if (Location const* location = boost::get_error_info<errinfo_sourceLocation>(_exception))
+	{
+		_stream << " ";
+		printSourceLocation(_stream, *location, _scanner);
+	}
+}
+
+}
+}