forked from lix-project/lix
eldritch horrors
4c072c7c5f
the parser treats a plain \r as a newline, error reports do not. this
can lead to interesting divergences if anything makes use of this
feature, with error reports pointing to wrong locations in the input (or
even outside the input altogether).
(cherry picked from commit 2be6b143289e5479cc4a2667bb84e879116c2447)
Change-Id: Ieb7f7655bac8cb0cf5734c60bd41723388f2973c
120 lines
3 KiB
C++
120 lines
3 KiB
C++
#include "position.hh"
|
|
|
|
namespace nix {
|
|
|
|
Pos::Pos(const Pos * other)
|
|
{
|
|
if (!other) {
|
|
return;
|
|
}
|
|
line = other->line;
|
|
column = other->column;
|
|
origin = std::move(other->origin);
|
|
}
|
|
|
|
Pos::operator std::shared_ptr<Pos>() const
|
|
{
|
|
return std::make_shared<Pos>(&*this);
|
|
}
|
|
|
|
bool Pos::operator<(const Pos &rhs) const
|
|
{
|
|
return std::forward_as_tuple(line, column, origin)
|
|
< std::forward_as_tuple(rhs.line, rhs.column, rhs.origin);
|
|
}
|
|
|
|
std::optional<LinesOfCode> Pos::getCodeLines() const
|
|
{
|
|
if (line == 0)
|
|
return std::nullopt;
|
|
|
|
if (auto source = getSource()) {
|
|
LinesIterator lines(*source), end;
|
|
LinesOfCode loc;
|
|
|
|
if (line > 1)
|
|
std::advance(lines, line - 2);
|
|
if (lines != end && line > 1)
|
|
loc.prevLineOfCode = *lines++;
|
|
if (lines != end)
|
|
loc.errLineOfCode = *lines++;
|
|
if (lines != end)
|
|
loc.nextLineOfCode = *lines++;
|
|
|
|
return loc;
|
|
}
|
|
|
|
return std::nullopt;
|
|
}
|
|
|
|
|
|
std::optional<std::string> Pos::getSource() const
|
|
{
|
|
return std::visit(overloaded {
|
|
[](const std::monostate &) -> std::optional<std::string> {
|
|
return std::nullopt;
|
|
},
|
|
[](const Pos::Stdin & s) -> std::optional<std::string> {
|
|
// Get rid of the null terminators added by the parser.
|
|
return std::string(s.source->c_str());
|
|
},
|
|
[](const Pos::String & s) -> std::optional<std::string> {
|
|
// Get rid of the null terminators added by the parser.
|
|
return std::string(s.source->c_str());
|
|
},
|
|
[](const SourcePath & path) -> std::optional<std::string> {
|
|
try {
|
|
return path.readFile();
|
|
} catch (Error &) {
|
|
return std::nullopt;
|
|
}
|
|
}
|
|
}, origin);
|
|
}
|
|
|
|
void Pos::print(std::ostream & out, bool showOrigin) const
|
|
{
|
|
if (showOrigin) {
|
|
std::visit(overloaded {
|
|
[&](const std::monostate &) { out << "«none»"; },
|
|
[&](const Pos::Stdin &) { out << "«stdin»"; },
|
|
[&](const Pos::String & s) { out << "«string»"; },
|
|
[&](const SourcePath & path) { out << path; }
|
|
}, origin);
|
|
out << ":";
|
|
}
|
|
out << line;
|
|
if (column > 0)
|
|
out << ":" << column;
|
|
}
|
|
|
|
std::ostream & operator<<(std::ostream & str, const Pos & pos)
|
|
{
|
|
pos.print(str, true);
|
|
return str;
|
|
}
|
|
|
|
void Pos::LinesIterator::bump(bool atFirst)
|
|
{
|
|
if (!atFirst) {
|
|
pastEnd = input.empty();
|
|
if (!input.empty() && input[0] == '\r')
|
|
input.remove_prefix(1);
|
|
if (!input.empty() && input[0] == '\n')
|
|
input.remove_prefix(1);
|
|
}
|
|
|
|
// nix line endings are not only \n as eg std::getline assumes, but also
|
|
// \r\n **and \r alone**. not treating them all the same causes error
|
|
// reports to not match with line numbers as the parser expects them.
|
|
auto eol = input.find_first_of("\r\n");
|
|
|
|
if (eol > input.size())
|
|
eol = input.size();
|
|
|
|
curLine = input.substr(0, eol);
|
|
input.remove_prefix(eol);
|
|
}
|
|
|
|
}
|